Lemma 99.28.8. Let $\pi : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. If $\mathcal{X}$ is a gerbe over $\mathcal{Y}$, then $\pi$ is surjective, flat, and locally of finite presentation.

Proof. By Properties of Stacks, Lemma 98.5.4 and Lemmas 99.25.4 and 99.27.11 it suffices to prove to the lemma after replacing $\pi$ by a base change with a surjective, flat, locally finitely presented morphism $\mathcal{Y}' \to \mathcal{Y}$. By Lemma 99.28.7 we may assume $\mathcal{Y} = U$ is an algebraic space and $\mathcal{X} = [U/G]$ over $U$. Then $U \to [U/G]$ is surjective, flat, and locally of finite presentation, see Lemma 99.28.6. This implies that $\pi$ is surjective, flat, and locally of finite presentation by Properties of Stacks, Lemma 98.5.5 and Lemmas 99.25.5 and 99.27.12. $\square$

There are also:

• 2 comment(s) on Section 99.28: Gerbes

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