93.3 General outline
This section lays out the procedure for discussing the next few examples.
Step I. For each section we fix a Noetherian ring $\Lambda $ and we fix a finite ring map $\Lambda \to k$ where $k$ is a field. As usual we let $\mathcal{C}_\Lambda = \mathcal{C}_{\Lambda , k}$ be our base category, see Formal Deformation Theory, Definition 90.3.1.
Step II. In each section we define a category $\mathcal{F}$ cofibred in groupoids over $\mathcal{C}_\Lambda $. Occasionally we will consider instead a functor $F : \mathcal{C}_\Lambda \to \textit{Sets}$.
Step III. We explain to what extent $\mathcal{F}$ satisfies the Rim-Schlesssinger condition (RS) discussed in Formal Deformation Theory, Section 90.16. Similarly, we may discuss to what extent our $\mathcal{F}$ satisfies (S1) and (S2) or to what extent $F$ satisfies the corresponding Schlessinger's conditions (H1) and (H2). See Formal Deformation Theory, Section 90.10.
Step IV. Let $x_0$ be an object of $\mathcal{F}(k)$, in other words an object of $\mathcal{F}$ over $k$. In this chapter we will use the notation
to denote the predeformation category constructed in Formal Deformation Theory, Remark 90.6.4. If $\mathcal{F}$ satisfies (RS), then $\mathcal{D}\! \mathit{ef}_{x_0}$ is a deformation category (Formal Deformation Theory, Lemma 90.16.11) and satisfies (S1) and (S2) (Formal Deformation Theory, Lemma 90.16.6). If (S1) and (S2) are satisfied, then an important question is whether the tangent space
(see Formal Deformation Theory, Remark 90.12.5 and Definition 90.12.1) is finite dimensional. Namely, this insures that $\mathcal{D}\! \mathit{ef}_{x_0}$ has a versal formal object (Formal Deformation Theory, Lemma 90.13.4).
Step V. If $\mathcal{F}$ passes Step IV, then the next question is whether the $k$-vector space
of infinitesimal automorphisms of $x_0$ is finite dimensional. Namely, if true, this implies that $\mathcal{D}\! \mathit{ef}_{x_0}$ admits a presentation by a smooth prorepresentable groupoid in functors on $\mathcal{C}_\Lambda $, see Formal Deformation Theory, Theorem 90.26.4.
Post a comment
Your email address will not be published. Required fields are marked.
In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$
). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).
All contributions are licensed under the GNU Free Documentation License.
Comments (2)
Comment #6019 by Will Chen on
Comment #6170 by Johan on