Lemma 91.11.8. Let $(f, f')$ be a morphism of first order thickenings as in Situation 91.9.1. Let $\mathcal{F}$ be an $\mathcal{O}$-module. Assume $(f, f')$ is a strict morphism of thickenings and $\mathcal{F}$ flat over $\mathcal{O}_\mathcal {B}$. There exists an $\mathcal{O}'$-module $\mathcal{F}'$ flat over $\mathcal{O}_{\mathcal{B}'}$ with $i^*\mathcal{F}' \cong \mathcal{F}$, if and only if

the canonical map $f^*\mathcal{J} \otimes _\mathcal {O} \mathcal{F} \to \mathcal{I} \otimes _\mathcal {O} \mathcal{F}$ is an isomorphism, and

the class $o(\mathcal{F}, \mathcal{I} \otimes _\mathcal {O} \mathcal{F}, 1) \in \mathop{\mathrm{Ext}}\nolimits ^2_\mathcal {O}( \mathcal{F}, \mathcal{I} \otimes _\mathcal {O} \mathcal{F})$ of Lemma 91.10.4 is zero.

## Comments (0)

There are also: