Lemma 77.27.2. Let $S$ be a scheme. Let $B$ be an algebraic space over $S$. Let $G$ be a group algebraic space over $B$. Endow $B$ with the trivial action of $G$. The morphism

$[B/G] \longrightarrow \mathcal{S}_ B$

(Lemma 77.20.2) turns $[B/G]$ into a gerbe over $B$.

Proof. Immediate from Lemma 77.27.1 as the morphisms $B \to B$ and $B \times _ B G \to B$ are surjective as morphisms of sheaves. $\square$

There are also:

• 2 comment(s) on Section 77.27: Gerbes and quotient 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).