Lemma 99.9.4. Let $f : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. let $W$ be an algebraic space and let $W \to \mathcal{Y}$ be a surjective, flat morphism which is locally of finite presentation. The following are equivalent:

1. $f$ is an (open, resp. closed) immersion, and

2. $V = W \times _\mathcal {Y} \mathcal{X}$ is an algebraic space, and $V \to W$ is an (open, resp. closed) immersion.

Proof. This follows from the general discussion in Section 99.3 and in particular Lemmas 99.3.1 and 99.3.3. $\square$

There are also:

• 2 comment(s) on Section 99.9: Immersions of algebraic stacks

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).