Lemma 32.15.1. Let $f : X \to Y$ be a morphism of schemes. Assume $f$ finite type and $Y$ locally Noetherian. Let $y \in Y$ be a point in the closure of the image of $f$. Then there exists a commutative diagram

$\xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r] \ar[d] & X \ar[d]^ f \\ \mathop{\mathrm{Spec}}(A) \ar[r] & Y }$

where $A$ is a discrete valuation ring and $K$ is its field of fractions mapping the closed point of $\mathop{\mathrm{Spec}}(A)$ to $y$. Moreover, we can assume that the image point of $\mathop{\mathrm{Spec}}(K) \to X$ is a generic point $\eta$ of an irreducible component of $X$ and that $K = \kappa (\eta )$.

Proof. By the non-Noetherian version of this lemma (Morphisms, Lemma 29.6.5) there exists a point $x \in X$ such that $f(x)$ specializes to $y$. We may replace $x$ by any point specializing to $x$, hence we may assume that $x$ is a generic point of an irreducible component of $X$. This produces a ring map $\mathcal{O}_{Y, y} \to \kappa (x)$ (see Schemes, Section 26.13). Let $R \subset \kappa (x)$ be the image. Then $R$ is Noetherian as a quotient of the Noetherian local ring $\mathcal{O}_{Y, y}$. On the other hand, the extension $\kappa (x)$ is a finitely generated extension of the fraction field of $R$ as $f$ is of finite type. Thus there exists a discrete valuation ring $A \subset \kappa (x)$ with fraction field $\kappa (x)$ dominating $R$ by Algebra, Lemma 10.119.13. Then

$\xymatrix{ \mathop{\mathrm{Spec}}(\kappa (x)) \ar[d] \ar[rrr] & & & X \ar[d] \\ \mathop{\mathrm{Spec}}(A) \ar[r] & \mathop{\mathrm{Spec}}(R) \ar[r] & \mathop{\mathrm{Spec}}(\mathcal{O}_{Y, y}) \ar[r] & Y }$

gives the desired diagram. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).