Projective coordinates over a local ring

ID: projective-coordinates-over-a-local-ring

For a local ring , every map from into projective space lands in one standard chart: the inverse image of a chart containing the closed point is the whole spectrum. This gives homogeneous coordinates with at least one unit entry, unique up to a common unit. For a nonlocal ring, coordinates may instead merely generate the unit ideal, and general maps can involve a nontrivial invertible sheaf quotient.

New to topics? Read the docs here!