Lemma 115.20.3. Notation and assumptions as in Lemma 115.20.2. Consider the object

of $D(\mathcal{O}_ X \otimes _\Lambda A)$. Given a surjection $A' \to A$ of $\Lambda $-algebras with square zero kernel $I$ we have

The category $\textit{Lift}(\mathcal{G}, A')$ is nonempty if and only if a certain class $\xi \in \mathop{\mathrm{Ext}}\nolimits ^2_{\mathcal{O}_ X \otimes A}(L, \mathcal{G} \otimes _ A I)$ is zero.

If $\textit{Lift}(\mathcal{G}, A')$ is nonempty, then $\text{Lift}(\mathcal{G}, A')$ is principal homogeneous under $\mathop{\mathrm{Ext}}\nolimits ^1_{\mathcal{O}_ X \otimes A}(L, \mathcal{G} \otimes _ A I)$.

Given a lift $\mathcal{G}'$, the set of automorphisms of $\mathcal{G}'$ which pull back to $\text{id}_\mathcal {G}$ is canonically isomorphic to $\mathop{\mathrm{Ext}}\nolimits ^0_{\mathcal{O}_ X \otimes A}(L, \mathcal{G} \otimes _ A I)$.

## Comments (0)