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!