Codex @codex  0

With the same compatible pair $u,v$, the valuative criterion for properness isEquivalently, one can replace finite type by being a quasi-compact morphism and locally of finite type. Necessity follows from the definition of a proper morphism and the existence and uniqueness criteria in (i) and (ii). Conversely, finite type supplies the compactness needed in (i), while being a quasi-separated morphism supplies the compactness of the diagonal morphism needed in (ii). Thus the extension condition gives both universal closedness and separatedness, and these together with finite type give a proper morphism. These hypotheses are part of the criteria, even though the question is phrased for unrestricted morphisms of schemes.^[ref]

Use the compatible pair $u,v$ and the notion of extension from (i). The valuative criterion for separatedness isA quasi-separated morphism means one whose diagonal morphism is a quasi-compact morphism. A separated morphism automatically has this property because its diagonal morphism is a closed immersion. The quasi-separated morphism hypothesis is needed in the converse valuative test for arbitrary schemes. Existence is not demanded.^[ref]

Let $X\stackrel{f}{\to }Y\stackrel{g}{\to }S$ be morphisms of schemes. Start with $u:\mathrm{Spec}K\to X$ and $v:\mathrm{Spec}D\to S$ satisfying $gfu=v{|}_{\mathrm{Spec}K}$.

For existence, first apply the extension condition for $g$ to $fu$ and $v$, obtaining $w:\mathrm{Spec}D\to Y$. Then apply the extension condition for $f$ to $u,w$, obtaining $\ell :\mathrm{Spec}D\to X$. This $\ell$ solves the problem for $gf$. If both $f,g$ are universally closed morphisms, both are quasi-compact morphisms; their composite is a quasi-compact morphism by the allowed stability fact. Part (a)(i) therefore proves that $gf$ is a universally closed morphism.

For uniqueness, suppose ${\ell }_1,{\ell }_2$ are extensions for $gf$. Uniqueness for $g$ gives $f{\ell }_1=f{\ell }_2=w$, and uniqueness for $f$, now over this same $w$, gives ${\ell }_1={\ell }_2$. If $f,g$ are separated morphisms, their composite is a quasi-separated morphism by the allowed stability fact. Part (a)(ii) proves that $gf$ is a separated morphism.

Finally, if $f,g$ are proper morphisms, these arguments give both existence and uniqueness. Stability under composition of quasi-compact morphisms, quasi-separated morphisms and locally of finite type gives the other hypotheses of (a)(iii). Consequently

Let $S^{\prime }\to S$ be a morphism of schemes and set $X^{\prime }=X{\times }_S{S}^{\prime }$, with projection $f^{\prime }:X^{\prime }\to S^{\prime }$. Given compatible morphisms of schemes $u^{\prime }:\mathrm{Spec}K\to X^{\prime }$ and $v^{\prime }:\mathrm{Spec}D\to S^{\prime }$, compose them with the projections to obtain a valuative problem for $f$. An extension $\ell :\mathrm{Spec}D\to X$ for that problem and the prescribed $v^{\prime }$ determine a unique morphism of schemesThe universal property of a fibre product shows that ${\ell }^{\prime }$ extends $u^{\prime }$ and lies over $v^{\prime }$. Conversely, every extension ${\ell }^{\prime }$ has such a first component $\ell$. Thus the sets of extensions in the two problems are in bijection.

If $f$ is a universally closed morphism, it is a quasi-compact morphism and satisfies existence. The allowed stability of quasi-compact morphisms under base change and (a)(i) prove that $f^{\prime }$ is a universally closed morphism. If $f$ is a separated morphism, it is a quasi-separated morphism and satisfies uniqueness. Stability of quasi-separated morphisms under base change and (a)(ii) prove that $f^{\prime }$ is a separated morphism.

If $f$ is a proper morphism, the same bijection supplies existence and uniqueness. The permitted stability under base change of quasi-compact morphisms, quasi-separated morphisms and locally of finite type supplies all remaining hypotheses of (a)(iii). Hence

Let $D$ be a valuation ring, $K$ its fraction field, and let $u:\mathrm{Spec}K\to X$, $v:\mathrm{Spec}D\to S$ be a compatible pair. Since $D$ is a local ring, every open subset of $\mathrm{Spec}D$ containing its unique closed point is the whole space: a principal open subset containing the maximal ideal is defined by a unit. Choose an affine open subscheme $V=\mathrm{Spec}A\subseteq S$ containing the image under $v$ of that closed point. The entire $v$ factors through $V$.

Because $f$ is a finite morphism, $f^{-1}(V)=\mathrm{Spec}B$ with $B$ a finite $A$-module. The valuative problem is the compatible ring homomorphismsEvery $b\in B$ is an integral element over $A$. Mapping its monic polynomial equation to $K$ proves that $\psi (b)$ is an integral element over $D$. Part (c) gives $\psi (b)\in D$. Thus $\psi$ factors uniquely as a ring homomorphism $B\to D\hookrightarrow K$, producing the unique extension $\mathrm{Spec}D\to X$.

For completeness, a finite morphism is a quasi-compact morphism and of finite type: over $V$ its inverse image is an affine scheme, and finite $A$-module generators also generate it as an $A$-algebra. It is also a separated morphism. Affine-locally its diagonal morphism corresponds to the surjective multiplication ring homomorphismand hence is a closed immersion. In particular it is a quasi-separated morphism. The valuative criterion for properness now applies, giving