Real affine plane scheme points

ID: real-affine-plane-scheme-points

The points of the real affine plane as a scheme are its prime ideals: the zero ideal, the principal ideals of irreducible real polynomials, and its maximal ideals. The latter have residue field or , by the Zariski lemma and the real closed field property. They correspond respectively to real coordinate pairs and conjugate pairs of nonreal complex coordinate pairs. Thus the scheme contains both nonclosed generic points and closed points absent from the real locus. Its topology is the Zariski topology, and its structure sheaf has sections on each principal open subscheme .

New to topics? Read the docs here!