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

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

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

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

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

If $\mathcal{Y}$ is DM and $f$ is DM, then $\mathcal{X}$ is DM.

If $\mathcal{Y}$ is quasi-DM and $f$ is quasi-DM, then $\mathcal{X}$ is quasi-DM.

If $\mathcal{Y}$ is separated and $f$ is separated, then $\mathcal{X}$ is separated.

If $\mathcal{Y}$ is quasi-separated and $f$ is quasi-separated, then $\mathcal{X}$ is quasi-separated.

## Comments (0)

There are also: