Lemma 100.28.12. Let $\mathcal{Z}$ be a reduced, locally Noetherian algebraic stack such that $|\mathcal{Z}|$ is a singleton. Then $\mathcal{Z}$ is a gerbe over a reduced, locally Noetherian algebraic space $Z$ with $|Z|$ a singleton.

Proof. By Properties of Stacks, Lemma 99.11.3 there exists a surjective, flat, locally finitely presented morphism $\mathop{\mathrm{Spec}}(k) \to \mathcal{Z}$ where $k$ is a field. Then $\mathcal{I}_ Z \times _\mathcal {Z} \mathop{\mathrm{Spec}}(k) \to \mathop{\mathrm{Spec}}(k)$ is representable by algebraic spaces and locally of finite type (as a base change of $\mathcal{I}_\mathcal {Z} \to \mathcal{Z}$, see Lemmas 100.5.1 and 100.17.3). Therefore it is locally of finite presentation, see Morphisms of Spaces, Lemma 66.28.7. Of course it is also flat as $k$ is a field. Hence we may apply Lemmas 100.25.4 and 100.27.11 to see that $\mathcal{I}_\mathcal {Z} \to \mathcal{Z}$ is flat and locally of finite presentation. We conclude that $\mathcal{Z}$ is a gerbe by Proposition 100.28.9. Let $\pi : \mathcal{Z} \to Z$ be a morphism to an algebraic space such that $\mathcal{Z}$ is a gerbe over $Z$. Then $\pi$ is surjective, flat, and locally of finite presentation by Lemma 100.28.8. Hence $\mathop{\mathrm{Spec}}(k) \to Z$ is surjective, flat, and locally of finite presentation as a composition, see Properties of Stacks, Lemma 99.5.2 and Lemmas 100.25.2 and 100.27.2. Hence by Properties of Stacks, Lemma 99.11.3 we see that $|Z|$ is a singleton and that $Z$ is locally Noetherian and reduced. $\square$

There are also:

• 2 comment(s) on Section 100.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).