Lemma 105.11.2. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Assume

1. $\mathcal{Y}$ is locally Noetherian,

2. $f$ is locally of finite type and quasi-separated,

3. for every commutative 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] & \mathcal{Y} }$

where $A$ is a discrete valuation ring and $K$ its fraction field and any $2$-arrow $\gamma : y \circ j \to f \circ x$ the category of dotted arrows (Morphisms of Stacks, Definition 100.39.1) is either empty or a setoid with exactly one isomorphism class.

Then $f$ is separated.

Proof. To prove that $f$ is separated we have to show that $\Delta : \mathcal{X} \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$ is proper. We already know that $\Delta$ is representable by algebraic spaces, locally of finite type (Morphisms of Stacks, Lemma 100.3.3) and quasi-compact and quasi-separated (by definition of $f$ being quasi-separated). Choose a scheme $U$ and a surjective smooth morphism $U \to \mathcal{X} \times _\mathcal {Y} \mathcal{X}$. Set

$V = \mathcal{X} \times _{\Delta , \mathcal{X} \times _\mathcal {Y} \mathcal{X}} U$

It suffices to show that the morphism of algebraic spaces $V \to U$ is proper (Properties of Stacks, Lemma 99.3.3). Observe that $U$ is locally Noetherian (use Morphisms of Stacks, Lemma 100.17.5 and the fact that $U \to \mathcal{Y}$ is locally of finite type) and $V \to U$ is of finite type and quasi-separated (as the base change of $\Delta$ and properties of $\Delta$ listed above). Applying Cohomology of Spaces, Lemma 68.19.2 it suffices to show: Given a commutative diagram

$\xymatrix{ \mathop{\mathrm{Spec}}(K) \ar[r]_ v \ar[d]_ j & V \ar[d]^ g \ar[r] & \mathcal{X} \ar[d]^\Delta \\ \mathop{\mathrm{Spec}}(A) \ar[r]^ u \ar@{-->}[ru] \ar@{..>}[rru] & U \ar[r] & \mathcal{X} \times _\mathcal {Y} \mathcal{X} }$

where $A$ is a discrete valuation ring and $K$ its fraction field, there is a unique dashed arrow making the diagram commute. By Morphisms of Stacks, Lemma 100.39.4 the categories of dashed and dotted arrows are equivalent. Assumption (3) implies there is a unique dotted arrow up to isomorphism, see Morphisms of Stacks, Lemma 100.41.1. We conclude there is a unique dashed arrow as desired. $\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).