Lemma 99.4.13. Let $\mathcal{X}$ be an algebraic stack over the base scheme $S$.

$\mathcal{X}$ is DM $\Leftrightarrow $ $\mathcal{X}$ is DM over $S$.

$\mathcal{X}$ is quasi-DM $\Leftrightarrow $ $\mathcal{X}$ is quasi-DM over $S$.

If $\mathcal{X}$ is separated, then $\mathcal{X}$ is separated over $S$.

If $\mathcal{X}$ is quasi-separated, then $\mathcal{X}$ is quasi-separated over $S$.

Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks over the base scheme $S$.

If $\mathcal{X}$ is DM over $S$, then $f$ is DM.

If $\mathcal{X}$ is quasi-DM over $S$, then $f$ is quasi-DM.

If $\mathcal{X}$ is separated over $S$ and $\Delta _{\mathcal{Y}/S}$ is separated, then $f$ is separated.

If $\mathcal{X}$ is quasi-separated over $S$ and $\Delta _{\mathcal{Y}/S}$ is quasi-separated, then $f$ is quasi-separated.

**Proof.**
Parts (5), (6), (7), and (8) follow immediately from Lemma 99.4.12 and Spaces, Definition 63.13.2. To prove (3) and (4) think of $X$ and $Y$ as algebraic stacks over $\mathop{\mathrm{Spec}}(\mathbf{Z})$ and apply Lemma 99.4.12. Similarly, to prove (1) and (2), think of $\mathcal{X}$ as an algebraic stack over $\mathop{\mathrm{Spec}}(\mathbf{Z})$ consider the morphisms

\[ \mathcal{X} \longrightarrow \mathcal{X} \times _ S \mathcal{X} \longrightarrow \mathcal{X} \times _{\mathop{\mathrm{Spec}}(\mathbf{Z})} \mathcal{X} \]

Both arrows are representable by algebraic spaces. The second arrow is unramified and locally quasi-finite as the base change of the immersion $\Delta _{S/\mathbf{Z}}$. Hence the composition is unramified (resp. locally quasi-finite) if and only if the first arrow is unramified (resp. locally quasi-finite), see Morphisms of Spaces, Lemmas 65.38.3 and 65.38.11 (resp. Morphisms of Spaces, Lemmas 65.27.3 and 65.27.8).
$\square$

## Comments (0)

There are also: