## Tag `0CLK`

Chapter 86: Morphisms of Algebraic Stacks > Section 86.33: Valuative criteria

Definition 86.33.10. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. We say $f$ satisfies the

existence part of the valuative criterionif for every diagram (86.33.1.1) and $\gamma$ as in Definition 86.33.1 there exists an extension $K'/K$ of fields, a valuation ring $A' \subset K'$ dominating $A$ such that the category of dotted arrows for the outer rectangle of the diagram $$ \xymatrix{ \mathop{\rm Spec}(K') \ar[r] \ar@/^2em/[rr]_{x'} \ar[d]_{j'} & \mathop{\rm Spec}(K) \ar[d]_j \ar[r]_-x & \mathcal{X} \ar[d]^f \\ \mathop{\rm Spec}(A') \ar[r] \ar@/_2em/[rr]^{y'} & \mathop{\rm Spec}(A) \ar[r]^-y & \mathcal{Y} } $$ with induced $2$-arrow $\gamma' : y' \circ j' \to f \circ x'$ is nonempty.

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

```
\begin{definition}
\label{definition-existence}
Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks.
We say $f$ satisfies the {\it existence part of the valuative criterion}
if for every diagram (\ref{equation-diagram}) and $\gamma$
as in Definition \ref{definition-fill-in-diagram}
there exists an extension $K'/K$ of fields, a valuation ring $A' \subset K'$
dominating $A$ such that the category of dotted arrows for the
outer rectangle of the diagram
$$
\xymatrix{
\Spec(K') \ar[r] \ar@/^2em/[rr]_{x'} \ar[d]_{j'} &
\Spec(K) \ar[d]_j \ar[r]_-x &
\mathcal{X} \ar[d]^f \\
\Spec(A') \ar[r] \ar@/_2em/[rr]^{y'} &
\Spec(A) \ar[r]^-y &
\mathcal{Y}
}
$$
with induced $2$-arrow $\gamma' : y' \circ j' \to f \circ x'$ is nonempty.
\end{definition}
```

## Comments (0)

## Add a comment on tag `0CLK`

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.

There is also 1 comment on Section 86.33: Morphisms of Algebraic Stacks.