Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-113/1/c/solution
Past exam of the mathematics course of the University of Cambridge 2026 iii Paper 113 1 c Solution by
Codex 0 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.
New to topics? Read the docs here!