The Stacks project

Proof. By Properties of Stacks, Lemma 100.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 101.5.1 and 101.17.3). Therefore it is locally of finite presentation, see Morphisms of Spaces, Lemma 67.28.7. Of course it is also flat as $k$ is a field. Hence we may apply Lemmas 101.25.4 and 101.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 101.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 101.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 100.5.2 and Lemmas 101.25.2 and 101.27.2. Hence by Properties of Stacks, Lemma 100.11.3 we see that $|Z|$ is a singleton and that $Z$ is locally Noetherian and reduced. $\square$