Lemma 106.3.9 (0BPW)—The Stacks project

Lemma 106.3.9. Let $\mathcal{X} \subset \mathcal{X}'$ be a thickening of algebraic stacks. Then

$\mathcal{X}$ is an algebraic space if and only if $\mathcal{X}'$ is an algebraic space,
$\mathcal{X}$ is a scheme if and only if $\mathcal{X}'$ is a scheme,
$\mathcal{X}$ is DM if and only if $\mathcal{X}'$ is DM,
$\mathcal{X}$ is quasi-DM if and only if $\mathcal{X}'$ is quasi-DM,
$\mathcal{X}$ is separated if and only if $\mathcal{X}'$ is separated,
$\mathcal{X}$ is quasi-separated if and only if $\mathcal{X}'$ is quasi-separated, and
add more here.

Proof. In each case we reduce to a question about the diagonal and then we use Lemma 106.3.8 applied to the morphism of thickenings

$(\mathcal{X} \subset \mathcal{X}') \to \left(\mathop{\mathrm{Spec}}(\mathbf{Z}) \subset \mathop{\mathrm{Spec}}(\mathbf{Z})\right)$

We do this after viewing $\mathcal{X} \subset \mathcal{X}'$ as a thickening of algebraic stacks over $\mathop{\mathrm{Spec}}(\mathbf{Z})$ via Algebraic Stacks, Definition 94.19.2.

Case (1). An algebraic stack is an algebraic space if and only if its diagonal is a monomorphism, see Morphisms of Stacks, Lemma 101.6.3 (this also follows immediately from Algebraic Stacks, Proposition 94.13.3).

Case (2). By (1) we may assume that $\mathcal{X}$ and $\mathcal{X}'$ are algebraic spaces and then we can use More on Morphisms of Spaces, Lemma 76.9.5.

Case (3) – (6). Each of these cases corresponds to a condition on the diagonal, see Morphisms of Stacks, Definitions 101.4.1 and 101.4.2. $\square$

The Stacks project

Comments (0)

Post a comment