Lemma 100.41.1. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Consider a $2$-commutative solid diagram

where $A$ is a valuation ring with field of fractions $K$. Let $\gamma : (a_1, a_2, \varphi ) \circ j \longrightarrow \Delta _ f \circ x$ be a $2$-morphism witnessing the $2$-commutativity of the diagram. Then

Writing $\gamma = (\alpha _1, \alpha _2)$ with $\alpha _ i : a_ i \circ j \to x$ we obtain two dotted arrows $(a_1, \alpha _1, \text{id})$ and $(a_2, \alpha _2, \varphi )$ in the diagram

\[ \xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r]_-x \ar[d]_ j & \mathcal{X} \ar[d]^ f \\ \mathop{\mathrm{Spec}}(A) \ar[r]^-{f \circ a_1} \ar@{..>}[ru] & \mathcal{Y} } \]The category of dotted arrows for the original diagram and $\gamma $ is a setoid whose set of isomorphism classes of objects equal to the set of morphisms $(a_1, \alpha _1, \text{id}) \to (a_2, \alpha _2, \varphi )$ in the category of dotted arrows.

## Comments (0)