Homogeneous coordinate Created 2026-09-29 Updated 2026-10-03
The homogeneous coordinates of a projective point are defined only up to simultaneous multiplication by a nonzero scalar.
Irrelevant ideal of projective space Created 2026-09-24 Updated 2026-09-24
In the standard graded homogeneous coordinate ring of , the irrelevant ideal isIt vanishes only at the origin of the corresponding affine cone, which does not represent a projective point.
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 113 1 c Solution Created 2026-09-24 Updated 2026-09-25
Let be a discrete valuation ring with uniformizer , fraction field , and normalized discrete valuation . A map is a projective pointwith at least one nonzero coordinate. Put and set . Then every lies in , and at least one is a unit.
On the standard affine chart of projective space, the ratios all lie in . They therefore define a map whose generic restriction is the original point. This proves existence in the DVR case. The assumed separatedness of , through the valuative criterion for separatedness, gives uniqueness. Thus the morphism satisfies the requested DVR form of the valuative criterion for properness.
Veronese embedding 2026-09-28
The degree- Veronese embedding sends a projective point to all monomials of degree in its homogeneous coordinates. For example,is a closed immersion with image the conic .