Lemma 72.24.1. Notation and assumption as in Lemma 72.20.1. The morphism of quotient stacks

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

is fully faithful if and only if $R$ is the restriction of $R'$ via the morphism $f : U \to U'$.

Proof. 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$. The functor $[f]$ is fully faithful if and only if the map of sheaves

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

is an isomorphism for every $T, x, y$. We may test this locally on $T$ (in the fppf topology). Hence, by Lemma 72.23.1 we may assume that $x, y$ 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 72.21.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'.$

This is an isomorphism if $R$ is the restriction, because in that case $R = (U \times _ B U) \times _{U' \times _ B U'} R'$, see Lemma 72.16.3 and its proof. Conversely, if the last displayed map is an isomorphism for all $T, a, b$, then it follows that $R = (U \times _ B U) \times _{U' \times _ B U'} R'$, i.e., $R$ is the restriction of $R'$. $\square$

Comment #1813 by OS on

Formulation of Lemma: $R$ is the restriction of $R'$ (not of $R$)

Comment #3216 by William Chen on

Second line of proof: [U'/'R]_T should be [U'/R']_T

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