Lemma 101.6.5. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. Then
$f$ is separated if and only if $\Delta _{f, 1}$ and $\Delta _{f, 2}$ are universally closed, and
$f$ is quasi-separated if and only if $\Delta _{f, 1}$ and $\Delta _{f, 2}$ are quasi-compact.
$f$ is quasi-DM if and only if $\Delta _{f, 1}$ and $\Delta _{f, 2}$ are locally quasi-finite.
$f$ is DM if and only if $\Delta _{f, 1}$ and $\Delta _{f, 2}$ are unramified.
Proof. Proof of (1). Assume that $\Delta _{f, 2}$ and $\Delta _{f, 1}$ are universally closed. Then $\Delta _{f, 1}$ is separated and universally closed by Lemma 101.6.4. By Morphisms of Spaces, Lemma 67.9.7 and Algebraic Stacks, Lemma 94.10.9 we see that $\Delta _{f, 1}$ is quasi-compact. Hence it is quasi-compact, separated, universally closed and locally of finite type (by Lemma 101.3.3) so proper. This proves “$\Leftarrow $” of (1). The proof of the implication in the other direction is omitted.
Proof of (2). This follows immediately from Lemma 101.6.4.
Proof of (3). This follows from the fact that $\Delta _{f, 2}$ is always locally quasi-finite by Lemma 101.3.4 applied to $\Delta _ f = \Delta _{f, 1}$.
Proof of (4). This follows from the fact that $\Delta _{f, 2}$ is always unramified as Lemma 101.3.4 applied to $\Delta _ f = \Delta _{f, 1}$ shows that $\Delta _{f, 2}$ is locally of finite type and a monomorphism. See More on Morphisms of Spaces, Lemma 76.14.8. $\square$
Your email address will not be published. Required fields are marked.
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)
There are also: