Lemma 106.7.2. Let $\mathcal{X}$ be an algebraic stack over a base scheme $S$. Assume $\mathcal{I}_\mathcal {X} \to \mathcal{X}$ is locally of finite presentation. Let $(A' \to A, x)$ be a deformation situation. Then the functor
is a sheaf on the site $(\textit{Aff}/\mathop{\mathrm{Spec}}(A'))_{fppf}$ of Topologies, Definition 34.7.8.
Proof. Let $\{ T'_ i \to T'\} _{i = 1, \ldots n}$ be a standard fppf covering of affine schemes over $A'$. Write $T' = \mathop{\mathrm{Spec}}(B')$. As usual denote
where the ring is a suitable tensor product. Set $B = B' \otimes _{A'} A$ and $B_{i_0 \ldots i_ p} = B'_{i_0 \ldots i_ p} \otimes _{A'} A$. Denote $y = x|_ B$ and $y_{i_0 \ldots i_ p} = x|_{B_{i_0 \ldots i_ p}}$. Let $\gamma _ i \in F(B'_ i)$ such that $\gamma _{i_0}$ and $\gamma _{i_1}$ map to the same element of $F(B'_{i_0i_1})$. We have to find a unique $\gamma \in F(B')$ mapping to $\gamma _ i$ in $F(B'_ i)$.
Choose an actual object $y'_ i$ of $\textit{Lift}(y_ i, B'_ i)$ in the isomorphism class $\gamma _ i$. Choose isomorphisms $\varphi _{i_0i_1} : y'_{i_0}|_{B'_{i_0i_1}} \to y'_{i_1}|_{B'_{i_0i_1}}$ in the category $\textit{Lift}(y_{i_0i_1}, B'_{i_0i_1})$. If the maps $\varphi _{i_0i_1}$ satisfy the cocycle condition, then we obtain our object $\gamma $ because $\mathcal{X}$ is a stack in the fppf topology. The cocycle condition is that the composition
is the identity. If not, then these maps give elements
Here $J = \mathop{\mathrm{Ker}}(B' \to B)$ and $J_{i_0 \ldots i_ p} = \mathop{\mathrm{Ker}}(B'_{i_0 \ldots i_ p} \to B_{i_0 \ldots i_ p})$. The equality in the displayed equation holds by Lemma 106.7.1 applied to $B' \to B'_{i_0 \ldots i_ p}$ and $y$ and $y_{i_0 \ldots i_ p}$, the flatness of the maps $B' \to B'_{i_0 \ldots i_ p}$ which also guarantees that $J_{i_0 \ldots i_ p} = J \otimes _{B'} B'_{i_0 \ldots i_ p}$. A computation (omitted) shows that $\delta _{i_0i_1i_2}$ gives a $2$-cocycle in the Čech complex
By Descent, Lemma 35.9.2 this complex is acyclic in positive degrees and has $H^0 = \text{Inf}_ y(J)$. Since $\text{Inf}_{y_{i_0i_1}}(J_{i_0i_1})$ acts on morphisms (Artin's Axioms, Remark 98.21.4) this means we can modify our choice of $\varphi _{i_0i_1}$ to get to the case where $\delta _{i_0i_1i_2} = 0$.
Uniqueness. We still have to show there is at most one $\gamma $ restricting to $\gamma _ i$ for all $i$. Suppose we have objects $y', z'$ of $\textit{Lift}(y, B')$ and isomorphisms $\psi _ i : y'|_{B'_ i} \to z'|_{B'_ i}$ in $\textit{Lift}(y_ i, B'_ i)$. Then we can consider
Arguing as before, the obstruction to finding an isomorphism between $y'$ and $z'$ over $B'$ is an element in the $H^1$ of the Čech complex displayed above which is zero. $\square$
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).
All contributions are licensed under the GNU Free Documentation License.
Comments (0)