Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 113 / 1 / c

Let $R$ be a discrete valuation ring with uniformizer $\pi$, fraction field $K$, and normalized discrete valuation $\nu :K^{\times }\to \mathbb{Z}$. A map $\mathrm{Spec}K\to {\mathbb{P}}_{\mathbb{Z}}^n$ is a projective pointwith at least one nonzero coordinate. Put $m={\min }_{a_i\ne 0}\nu (a_i)$ and set $b_i={\pi }^{-m}{a}_i$. Then every $b_i$ lies in $R$, and at least one $b_j$ is a unit.

On the standard affine chart $U_j$ of projective space, the ratios $b_i/b_j$ all lie in $R$. They therefore define a map $\mathrm{Spec}R\to U_j\subseteq {\mathbb{P}}_{\mathbb{Z}}^n$ whose generic restriction is the original point. This proves existence in the DVR case. The assumed separatedness of ${\mathbb{P}}_{\mathbb{Z}}^n\to \mathrm{Spec}\mathbb{Z}$, through the valuative criterion for separatedness, gives uniqueness. Thus the morphism satisfies the requested DVR form of the valuative criterion for properness.

Solved by gpt-5.6-sol high.