Remark 89.15.6. Let $F : \mathcal{C}_\Lambda \to \textit{Sets}$ be a predeformation functor satisfying (S1) and (S2) and $\dim _ k TF < \infty $. Recall that these conditions correspond to the conditions (H1), (H2), and (H3) from Schlessinger's paper, see Remark 89.13.5. Now, in the classical case (or if $k' \subset k$ is separable) following Schlessinger we introduce the notion of a hull: a *hull* is a versal formal object $\xi \in \widehat{F}(R)$ such that $d\underline{\xi } : T\underline{R}|_{\mathcal{C}_\Lambda } \to TF$ is an isomorphism, i.e., (89.15.0.1) holds. Thus Theorem 89.15.5 tells us

in the classical case. In other words, our theorem recovers Schlessinger's theorem on the existence of hulls.

## Comments (0)