Past exam of the mathematics course of the University of Cambridge 2012 iii Paper 13 1 ii Solution Created 2026-10-03 Updated 2026-10-07
Put . There is an explicit isomorphism from the principal open subset to the affine algebraic setIts inverse is projection, and both maps are regular maps. The coordinate ring isby the universal property of localization. Since regular functions on an affine variety are its coordinate ring, this proves the natural -algebra isomorphism
Now . A regular function on determines one element of the function field , and its restrictions belong to and . Conversely, elements of their intersection glue because they agree on . ThusIf a reduced fraction has denominator dividing a power of and also a power of , unique factorization makes its denominator a unit. Therefore puncturing the plane does not change its ring of global regular functions:If were an affine variety, its inclusion would correspond to the identity isomorphism . The equivalence between affine varieties and their coordinate rings would make an isomorphism, contradicting the missing origin. Hence is not affine. This illustrates regular functions on the punctured affine plane: the coordinate ring alone does not recover a nonaffine variety.