## Tag `0A3W`

Chapter 58: Morphisms of Algebraic Spaces > Section 58.41: Valuative criteria

Lemma 58.41.5. Let $S$ be a scheme. Let $f : X \to Y$ be a separated morphism of algebraic spaces over $S$. The following are equivalent

- $f$ satisfies the existence part of the valuative criterion as in Definition 58.41.1,
- given any commutative solid diagram $$ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r] \ar[d] & X \ar[d] \\ \mathop{\mathrm{Spec}}(A) \ar[r] \ar@{-->}[ru] & Y } $$ where $A$ is a valuation ring with field of fractions $K$, there exists a dotted arrow, i.e., $f$ satisfies the existence part of the valuative criterion as in Schemes, Definition 25.20.3.

Proof.We have to show that (1) implies (2). Suppose given a commutative diagram $$ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r] \ar[d] & X \ar[d] \\ \mathop{\mathrm{Spec}}(A) \ar[r] & Y } $$ as in part (2). By (1) there exists a commutative diagram $$ \xymatrix{ \mathop{\mathrm{Spec}}(K') \ar[r] \ar[d] & \mathop{\mathrm{Spec}}(K) \ar[r] & X \ar[d] \\ \mathop{\mathrm{Spec}}(A') \ar[r] \ar[rru] & \mathop{\mathrm{Spec}}(A) \ar[r] & Y } $$ as in Definition 58.41.1 with $K \subset K'$ arbitrary. By Lemma 58.41.4 we can find a morphism $\mathop{\mathrm{Spec}}(A) \to X$ fitting into the diagram, i.e., (2) holds. $\square$

The code snippet corresponding to this tag is a part of the file `spaces-morphisms.tex` and is located in lines 8371–8390 (see updates for more information).

```
\begin{lemma}
\label{lemma-usual-enough}
Let $S$ be a scheme. Let $f : X \to Y$ be a separated morphism of
algebraic spaces over $S$. The following are equivalent
\begin{enumerate}
\item $f$ satisfies the existence part of the valuative criterion
as in Definition \ref{definition-valuative-criterion},
\item given any commutative solid diagram
$$
\xymatrix{
\Spec(K) \ar[r] \ar[d] & X \ar[d] \\
\Spec(A) \ar[r] \ar@{-->}[ru] & Y
}
$$
where $A$ is a valuation ring with field of fractions $K$, there exists
a dotted arrow, i.e., $f$ satisfies the existence part of the valuative
criterion as in
Schemes, Definition \ref{schemes-definition-valuative-criterion}.
\end{enumerate}
\end{lemma}
\begin{proof}
We have to show that (1) implies (2). Suppose given a commutative diagram
$$
\xymatrix{
\Spec(K) \ar[r] \ar[d] & X \ar[d] \\
\Spec(A) \ar[r] & Y
}
$$
as in part (2). By (1) there exists a commutative diagram
$$
\xymatrix{
\Spec(K') \ar[r] \ar[d] & \Spec(K) \ar[r] & X \ar[d] \\
\Spec(A') \ar[r] \ar[rru] & \Spec(A) \ar[r] & Y
}
$$
as in Definition \ref{definition-valuative-criterion} with $K \subset K'$
arbitrary. By Lemma \ref{lemma-push-down-solution} we can find a morphism
$\Spec(A) \to X$ fitting into the diagram, i.e., (2) holds.
\end{proof}
```

## Comments (0)

## Add a comment on tag `0A3W`

Your email address will not be published. Required fields are marked.

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 lower-right corner).

All contributions are licensed under the GNU Free Documentation License.

There are no comments yet for this tag.