Theorem 90.15.5. Let $\mathcal{F}$ be a predeformation category. Consider the following conditions

$\mathcal{F}$ has a minimal versal formal object satisfying (90.15.0.1),

$\mathcal{F}$ has a minimal versal formal object satisfying (90.15.0.2),

the following conditions hold:

$\mathcal{F}$ satisfies (S1).

$\mathcal{F}$ satisfies (S2).

$\dim _ k T\mathcal{F}$ is finite.

We always have

\[ (1) \Rightarrow (3) \Rightarrow (2). \]

If $k' \subset k$ is separable, then all three are equivalent.

**Proof.**
Lemma 90.15.2 shows that (1) $\Rightarrow $ (3). Lemmas 90.13.4 and 90.15.4 show that (3) $\Rightarrow $ (2). If $k' \subset k$ is separable then $\text{Der}_\Lambda (k, k) = 0$ and we see that (90.15.0.1) $=$ (90.15.0.2), i.e., (1) is the same as (2).

An alternative proof of (3) $\Rightarrow $ (1) in the classical case is to add a few words to the proof of Lemma 90.13.4 to see that one can right away construct a versal object which satisfies (90.15.0.1) in this case. This avoids the use of Lemma 90.13.4 in the classical case. Details omitted.
$\square$

## Comments (0)