Let F be a predeformation category which has a versal formal object. Then
- F has a minimal versal formal object,
- minimal versal objects are unique up to isomorphism, and
- any versal object is the pushforward of a minimal versal object along a power series ring extension.
See Lemma Tag 06T5.
What is fun about this lemma is that it produces a minimal versal object (as defined in Definition Tag 06T4) from a versal one without assuming Schlessinger’s axioms. If Schlessinger’s axioms are satisfied and one is in the classical case (see Definition Tag 06GC), then a minimal versal formal object is a versal formal object defined over a ring with minimal tangent space. This is discussed in Section Tag 06IL.