The Stacks project

Lemma 98.23.4. Let $S$ be a locally Noetherian scheme. Let $\mathcal{X}$ be a category fibred in groupoids over $(\mathit{Sch}/S)_{fppf}$ satisfying (RS*). Let $U = \mathop{\mathrm{Spec}}(A)$ be an affine scheme of finite type over $S$ which maps into an affine open $\mathop{\mathrm{Spec}}(\Lambda )$. Let $x$ be an object of $\mathcal{X}$ over $U$. Let $\xi : E \to \mathop{N\! L}\nolimits _{A/\Lambda }$ be a morphism of $D^{-}(A)$. Assume

1. for every deformation situation $(x, A' \to A)$ we have: $x$ lifts to $\mathop{\mathrm{Spec}}(A')$ if and only if $E \to \mathop{N\! L}\nolimits _{A/\Lambda } \to \mathop{N\! L}\nolimits _{A/A'}$ is zero,

2. there is an isomorphism of functors $T_ x(-) \to \mathop{\mathrm{Ext}}\nolimits ^0_ A(E, -)$ such that $E \to \mathop{N\! L}\nolimits _{A/\Lambda } \to \Omega ^1_{A/\Lambda }$ corresponds to the canonical element (see Remark 98.21.8),

3. the cohomology groups of $E$ are finite $A$-modules.

If $x$ is versal at a closed point $u_0 \in U$, then there exists an open neighbourhood $u_0 \in U' \subset U$ such that $x$ is versal at every finite type point of $U'$.