101.39 Valuative criteria
We need to be careful when stating the valuative criterion. Namely, in the formulation we need to speak about commutative diagrams but we are working in a $2$-category and we need to make sure the $2$-morphisms compose correctly as well!
Definition 101.39.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Consider a $2$-commutative solid diagram
101.39.1.1
\begin{equation} \label{stacks-morphisms-equation-diagram} \vcenter { \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r]_-x \ar[d]_ j & \mathcal{X} \ar[d]^ f \\ \mathop{\mathrm{Spec}}(A) \ar[r]^-y \ar@{..>}[ru] & \mathcal{Y} } } \end{equation}
where $A$ is a valuation ring with field of fractions $K$. Let
\[ \gamma : y \circ j \longrightarrow f \circ x \]
be a $2$-morphism witnessing the $2$-commutativity of the diagram. (Notation as in Categories, Sections 4.28 and 4.29.) Given (101.39.1.1) and $\gamma $ a dotted arrow is a triple $(a, \alpha , \beta )$ consisting of a morphism $a : \mathop{\mathrm{Spec}}(A) \to \mathcal{X}$ and $2$-arrows $\alpha : a \circ j \to x$, $\beta : y \to f \circ a$ such that $\gamma = (\text{id}_ f \star \alpha ) \circ (\beta \star \text{id}_ j)$, in other words such that
\[ \xymatrix{ & f \circ a \circ j \ar[rd]^{\text{id}_ f \star \alpha } \\ y \circ j \ar[ru]^{\beta \star \text{id}_ j} \ar[rr]^\gamma & & f \circ x } \]
is commutative. A morphism of dotted arrows $(a, \alpha , \beta ) \to (a', \alpha ', \beta ')$ is a $2$-arrow $\theta : a \to a'$ such that $\alpha = \alpha ' \circ (\theta \star \text{id}_ j)$ and $\beta ' = (\text{id}_ f \star \theta ) \circ \beta $.
The preceding definition is a special case of Categories, Definition 4.44.1. The category of dotted arrows depends on $\gamma $ in general. If $\mathcal{Y}$ is representable by an algebraic space (or if automorphism groups of objects over fields are trivial), then of course there is at most one $\gamma $ and one does not need to check the commutativity of the triangle. More generally, we have Lemma 101.39.3. The commutativity of the triangle is important in the proof of compatibility with base change, see proof of Lemma 101.39.4.
Lemma 101.39.2. In the situation of Definition 101.39.1 the category of dotted arrows is a groupoid. If $\Delta _ f$ is separated, then it is a setoid.
Proof.
Since $2$-arrows are invertible it is clear that the category of dotted arrows is a groupoid. Given a dotted arrow $(a, \alpha , \beta )$ an automorphism of $(a, \alpha , \beta )$ is a $2$-morphism $\theta : a \to a$ satisfying two conditions. The first condition $\beta = (\text{id}_ f \star \theta ) \circ \beta $ signifies that $\theta $ defines a morphism $(a, \theta ) : \mathop{\mathrm{Spec}}(A) \to \mathcal{I}_{\mathcal{X}/\mathcal{Y}}$. The second condition $\alpha = \alpha \circ (\theta \star \text{id}_ j)$ implies that the restriction of $(a, \theta )$ to $\mathop{\mathrm{Spec}}(K)$ is the identity. Picture
\[ \xymatrix{ \mathcal{I}_{\mathcal{X}/\mathcal{Y}} \ar[d] & & \mathop{\mathrm{Spec}}(K) \ar[d]^ j \ar[ll]_{(a \circ j, \text{id})} \\ \mathcal{X} & & \mathop{\mathrm{Spec}}(A) \ar[ll]_ a \ar[llu]_{(a, \theta )} } \]
In other words, if $G \to \mathop{\mathrm{Spec}}(A)$ is the group algebraic space we get by pulling back the relative inertia by $a$, then $\theta $ defines a point $\theta \in G(A)$ whose image in $G(K)$ is trivial. Certainly, if the identity $e : \mathop{\mathrm{Spec}}(A) \to G$ is a closed immersion, then this can happen only if $\theta $ is the identity. Looking at Lemma 101.6.1 we obtain the result we want.
$\square$
Lemma 101.39.3. In Definition 101.39.1 assume $\mathcal{I}_\mathcal {Y} \to \mathcal{Y}$ is proper (for example if $\mathcal{Y}$ is separated or if $\mathcal{Y}$ is separated over an algebraic space). Then the category of dotted arrows is independent (up to noncanonical equivalence) of the choice of $\gamma $ and the existence of a dotted arrow (for some and hence equivalently all $\gamma $) is equivalent to the existence of a diagram
\[ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r]_-x \ar[d]_ j & \mathcal{X} \ar[d]^ f \\ \mathop{\mathrm{Spec}}(A) \ar[r]^-y \ar[ru]_ a & \mathcal{Y} } \]
with $2$-commutative triangles (without checking the $2$-morphisms compose correctly).
Proof.
Let $\gamma , \gamma ' : y \circ j \longrightarrow f \circ x$ be two $2$-morphisms. Then $\gamma ^{-1} \circ \gamma '$ is an automorphism of $y$ over $\mathop{\mathrm{Spec}}(K)$. Hence if $\mathit{Isom}_\mathcal {Y}(y, y) \to \mathop{\mathrm{Spec}}(A)$ is proper, then by the valuative criterion of properness (Morphisms of Spaces, Lemma 67.44.1) we can find $\delta : y \to y$ whose restriction to $\mathop{\mathrm{Spec}}(K)$ is $\gamma ^{-1} \circ \gamma '$. Then we can use $\delta $ to define an equivalence between the category of dotted arrows for $\gamma $ to the category of dotted arrows for $\gamma '$ by sending $(a, \alpha , \beta )$ to $(a, \alpha , \beta \circ \delta )$. The final statement is clear.
$\square$
Lemma 101.39.4. Assume given a $2$-commutative diagram
\[ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r]_-{x'} \ar[d]_ j & \mathcal{X}' \ar[d]^ p \ar[r]_ q & \mathcal{X} \ar[d]^ f \\ \mathop{\mathrm{Spec}}(A) \ar[r]^-{y'} & \mathcal{Y}' \ar[r]^ g & \mathcal{Y} } \]
with the right square $2$-cartesian. Choose a $2$-arrow $\gamma ' : y' \circ j \to p \circ x'$. Set $x = q \circ x'$, $y = g \circ y'$ and let $\gamma : y \circ j \to f \circ x$ be the composition of $\gamma '$ with the $2$-arrow implicit in the $2$-commutativity of the right square. Then the category of dotted arrows for the left square and $\gamma '$ is equivalent to the category of dotted arrows for the outer rectangle and $\gamma $.
Proof.
(We do not know how to prove the analogue of this lemma if instead of the category of dotted arrows we look at the set of isomorphism classes of morphisms producing two $2$-commutative triangles as in Lemma 101.39.3; in fact this analogue may very well be wrong.) First proof: this lemma is a special case of Categories, Lemma 4.44.2. Second proof: we are allowed to replace $\mathcal{X}'$ by the $2$-fibre product $\mathcal{Y}' \times _\mathcal {Y} \mathcal{X}$ as described in Categories, Lemma 4.32.3. Then the object $x'$ becomes the triple $(y' \circ j, x, \gamma )$. Then we can go from a dotted arrow $(a, \alpha , \beta )$ for the outer rectangle to a dotted arrow $(a', \alpha ', \beta ')$ for the left square by taking $a' = (y', a, \beta )$ and $\alpha ' = (\text{id}_{y' \circ j}, \alpha )$ and $\beta ' = \text{id}_{y'}$. Details omitted.
$\square$
Lemma 101.39.5. Assume given a $2$-commutative diagram
\[ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r]_-x \ar[dd]_ j & \mathcal{X} \ar[d]^ f \\ & \mathcal{Y} \ar[d]^ g \\ \mathop{\mathrm{Spec}}(A) \ar[r]^-z & \mathcal{Z} } \]
Choose a $2$-arrow $\gamma : z \circ j \to g \circ f \circ x$. Let $\mathcal{C}$ be the category of dotted arrows for the outer rectangle and $\gamma $. Let $\mathcal{C}'$ be the category of dotted arrows for the square
\[ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r]_-{f \circ x} \ar[d]_ j & \mathcal{Y} \ar[d]^ g \\ \mathop{\mathrm{Spec}}(A) \ar[r]^-z & \mathcal{Z} } \]
and $\gamma $. Then $\mathcal{C}$ is equivalent to a category $\mathcal{C}''$ which has the following property: there is a functor $\mathcal{C}'' \to \mathcal{C}'$ which turns $\mathcal{C}''$ into a category fibred in groupoids over $\mathcal{C}'$ and whose fibre categories are categories of dotted arrows for certain squares of the form
\[ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r]_-x \ar[d]_ j & \mathcal{X} \ar[d]^ f \\ \mathop{\mathrm{Spec}}(A) \ar[r]^-y & \mathcal{Y} } \]
and some choices of $y \circ j \to f \circ x$.
Proof.
This lemma is a special case of Categories, Lemma 4.44.3.
$\square$
Definition 101.39.6. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. We say $f$ satisfies the uniqueness part of the valuative criterion if for every diagram (101.39.1.1) and $\gamma $ as in Definition 101.39.1 the category of dotted arrows is either empty or a setoid with exactly one isomorphism class.
Lemma 101.39.7. The base change of a morphism of algebraic stacks which satisfies the uniqueness part of the valuative criterion by any morphism of algebraic stacks is a morphism of algebraic stacks which satisfies the uniqueness part of the valuative criterion.
Proof.
Follows from Lemma 101.39.4 and the definition.
$\square$
Lemma 101.39.8. The composition of morphisms of algebraic stacks which satisfy the uniqueness part of the valuative criterion is another morphism of algebraic stacks which satisfies the uniqueness part of the valuative criterion.
Proof.
Follows from Lemma 101.39.5 and the definition.
$\square$
Lemma 101.39.9. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks which is representable by algebraic spaces. Then the following are equivalent
$f$ satisfies the uniqueness part of the valuative criterion,
for every scheme $T$ and morphism $T \to \mathcal{Y}$ the morphism $\mathcal{X} \times _\mathcal {Y} T \to T$ satisfies the uniqueness part of the valuative criterion as a morphism of algebraic spaces.
Proof.
Follows from Lemma 101.39.4 and the definition.
$\square$
Definition 101.39.10. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. We say $f$ satisfies the existence part of the valuative criterion if for every diagram (101.39.1.1) and $\gamma $ as in Definition 101.39.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{\mathrm{Spec}}(K') \ar[r] \ar@/^2em/[rr]_{x'} \ar[d]_{j'} & \mathop{\mathrm{Spec}}(K) \ar[d]_ j \ar[r]_-x & \mathcal{X} \ar[d]^ f \\ \mathop{\mathrm{Spec}}(A') \ar[r] \ar@/_2em/[rr]^{y'} & \mathop{\mathrm{Spec}}(A) \ar[r]^-y & \mathcal{Y} } \]
with induced $2$-arrow $\gamma ' : y' \circ j' \to f \circ x'$ is nonempty.
We have already seen in the case of morphisms of algebraic spaces, that it is necessary to allow extensions of the fractions fields in order to get the correct notion of the valuative criterion. See Morphisms of Spaces, Example 67.41.6. Still, for morphisms between separated algebraic spaces, such an extension is not needed (Morphisms of Spaces, Lemma 67.41.5). However, for morphisms between algebraic stacks, an extension may be needed even if $\mathcal{X}$ and $\mathcal{Y}$ are both separated. For example consider the morphism of algebraic stacks
\[ [\mathop{\mathrm{Spec}}(\mathbf{C})/G] \to \mathop{\mathrm{Spec}}(\mathbf{C}) \]
over the base scheme $\mathop{\mathrm{Spec}}(\mathbf{C})$ where $G$ is a group of order $2$. Both source and target are separated algebraic stacks and the morphism is proper. Whence it satisfies the uniqueness and existence parts of the valuative criterion (see Lemma 101.43.1). But on the other hand, there is a diagram
\[ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r] \ar[d] & [\mathop{\mathrm{Spec}}(\mathbf{C})/G] \ar[d] \\ \mathop{\mathrm{Spec}}(A) \ar[r] & \mathop{\mathrm{Spec}}(\mathbf{C}) } \]
where no dotted arrow exists with $A = \mathbf{C}[[t]]$ and $K = \mathbf{C}((t))$. Namely, the top horizontal arrow is given by a $G$-torsor over the spectrum of $K = \mathbf{C}((t))$. Since any $G$-torsor over the strictly henselian local ring $A = \mathbf{C}[[t]]$ is trivial, we see that if a dotted arrow always exists, then every $G$-torsor over $K$ is trivial. This is not true because $G = \{ +1, -1\} $ and by Kummer theory $G$-torsors over $K$ are classified by $K^*/(K^*)^2$ which is nontrivial.
Lemma 101.39.11. The base change of a morphism of algebraic stacks which satisfies the existence part of the valuative criterion by any morphism of algebraic stacks is a morphism of algebraic stacks which satisfies the existence part of the valuative criterion.
Proof.
Follows from Lemma 101.39.4 and the definition.
$\square$
Lemma 101.39.12. The composition of morphisms of algebraic stacks which satisfy the existence part of the valuative criterion is another morphism of algebraic stacks which satisfies the existence part of the valuative criterion.
Proof.
Follows from Lemma 101.39.5 and the definition.
$\square$
Lemma 101.39.13. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks which is representable by algebraic spaces. Then the following are equivalent
$f$ satisfies the existence part of the valuative criterion,
for every scheme $T$ and morphism $T \to \mathcal{Y}$ the morphism $\mathcal{X} \times _\mathcal {Y} T \to T$ satisfies the existence part of the valuative criterion as a morphism of algebraic spaces.
Proof.
Follows from Lemma 101.39.4 and the definition.
$\square$
Lemma 101.39.14. A closed immersion of algebraic stacks satisfies both the existence and uniqueness part of the valuative criterion.
Proof.
Omitted. Hint: reduce to the case of a closed immersion of schemes by Lemmas 101.39.9 and 101.39.13.
$\square$
Comments (2)
Comment #2449 by Andrea on
Comment #2491 by Johan on