Lemma 78.27.1. Notation and assumption as in Lemma 78.21.1. The morphism of quotient stacks

\[ [f] : [U/R] \longrightarrow [U'/R'] \]

turns $[U/R]$ into a gerbe over $[U'/R']$ if $f : U \to U'$ and $R \to R'|_ U$ are surjective maps of fppf sheaves. Here $R'|_ U$ is the restriction of $R'$ to $U$ via $f : U \to U'$.

**Proof.**
We will verify that Stacks, Lemma 8.11.3 properties (2) (a) and (2) (b) hold. Property (2)(a) holds because $U \to U'$ is a surjective map of sheaves (use Lemma 78.24.1 to see that objects in $[U'/R']$ locally come from $U'$). To prove (2)(b) let $x, y$ be objects of $[U/R]$ over a scheme $T/S$. Let $x', y'$ be the images of $x, y$ in the category $[U'/'R]_ T$. Condition (2)(b) requires us to check the map of sheaves

\[ \mathit{Isom}(x, y) \longrightarrow \mathit{Isom}(x', y') \]

on $(\mathit{Sch}/T)_{fppf}$ is surjective. To see this we may work fppf locally on $T$ and assume that come from $a, b \in U(T)$. In that case we see that $x', y'$ correspond to $f \circ a, f \circ b$. By Lemma 78.22.1 the displayed map of sheaves in this case becomes

\[ T \times _{(a, b), U \times _ B U} R \longrightarrow T \times _{f \circ a, f \circ b, U' \times _ B U'} R' = T \times _{(a, b), U \times _ B U} R'|_ U. \]

Hence the assumption that $R \to R'|_ U$ is a surjective map of fppf sheaves on $(\mathit{Sch}/S)_{fppf}$ implies the desired surjectivity.
$\square$

Lemma 78.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 78.20.2) turns $[B/G]$ into a gerbe over $B$.

## Comments (2)

Comment #2049 by Sasha on

Comment #2050 by Johan on