The Stacks project

Lemma 95.27.7. Let $\pi : \mathcal{X} \to \mathcal{Y}$ be a morphism of algebraic stacks. The following are equivalent

  1. $\mathcal{X}$ is a gerbe over $\mathcal{Y}$, and

  2. there exists an algebraic space $U$, a group algebraic space $G$ flat and locally of finite presentation over $U$, and a surjective, flat, and locally finitely presented morphism $U \to \mathcal{Y}$ such that $\mathcal{X} \times _\mathcal {Y} U \cong [U/G]$ over $U$.

Proof. Assume (2). By Lemma 95.27.5 to prove (1) it suffices to show that $[U/G]$ is a gerbe over $U$. This is immediate from Groupoids in Spaces, Lemma 72.26.2.

Assume (1). Any base change of $\pi $ is a gerbe, see Lemma 95.27.3. As a first step we choose a scheme $V$ and a surjective smooth morphism $V \to \mathcal{Y}$. Thus we may assume that $\pi : \mathcal{X} \to V$ is a gerbe over a scheme. This means that there exists an fppf covering $\{ V_ i \to V\} $ such that the fibre category $\mathcal{X}_{V_ i}$ is nonempty, see Stacks, Lemma 8.11.3 (2)(a). Note that $U = \coprod V_ i \to U$ is surjective, flat, and locally of finite presentation. Hence we may replace $V$ by $U$ and assume that $\pi : \mathcal{X} \to U$ is a gerbe over a scheme $U$ and that there exists an object $x$ of $\mathcal{X}$ over $U$. By Lemma 95.27.6 we see that $\mathcal{X} = [U/G]$ over $U$ for some flat and locally finitely presented group algebraic space $G$ over $U$. $\square$


Comments (0)

There are also:

  • 2 comment(s) on Section 95.27: Gerbes

Post a comment

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

Unfortunately JavaScript is disabled in your browser, so the comment preview function will not work.

All contributions are licensed under the GNU Free Documentation License.




In order to prevent bots from posting comments, we would like you to prove that you are human. You can do this by filling in the name of the current tag in the following input field. As a reminder, this is tag 06QH. Beware of the difference between the letter 'O' and the digit '0'.