Lemma 67.16.5. Let $S$ be a scheme. Let $f : X \to Y$ be a quasi-compact morphism of algebraic spaces over $S$. Let $Z$ be the scheme theoretic image of $f$. Let $z \in |Z|$. There exists a valuation ring $A$ with fraction field $K$ and a commutative diagram
such that the closed point of $\mathop{\mathrm{Spec}}(A)$ maps to $z$.
Proof. Choose an affine scheme $V$ with a point $z' \in V$ and an étale morphism $V \to Y$ mapping $z'$ to $z$. Let $Z' \subset V$ be the scheme theoretic image of $X \times _ Y V \to V$. By Lemma 67.16.3 we have $Z' = Z \times _ Y V$. Thus $z' \in Z'$. Since $f$ is quasi-compact and $V$ is affine we see that $X \times _ Y V$ is quasi-compact. Hence there exists an affine scheme $W$ and a surjective étale morphism $W \to X \times _ Y V$. Then $Z' \subset V$ is also the scheme theoretic image of $W \to V$. By Morphisms, Lemma 29.6.5 we can choose a diagram
such that the closed point of $\mathop{\mathrm{Spec}}(A)$ maps to $z'$. Composing with $Z' \to Z$ and $W \to X \times _ Y V \to X$ we obtain a solution. $\square$
Comments (0)