Lemma 93.11.5. In Example 93.11.1 assume $X$ is a proper algebraic space over $k$. Assume $\Lambda $ is a complete local ring with residue field $k$ (the classical case). Then the functor
of isomorphism classes of objects has a hull. If $\text{Der}_ k(\mathcal{O}_ X, \mathcal{O}_ X) = 0$, then $F$ is prorepresentable.
Proof. The existence of a hull follows immediately from Lemmas 93.11.2 and 93.11.4 and Formal Deformation Theory, Lemma 90.16.6 and Remark 90.15.7.
Assume $\text{Der}_ k(\mathcal{O}_ X, \mathcal{O}_ X) = 0$. Then $\mathcal{D}\! \mathit{ef}_ X$ and $F$ are equivalent by Formal Deformation Theory, Lemma 90.19.13. Hence $F$ is a deformation functor (because $\mathcal{D}\! \mathit{ef}_ X$ is a deformation category) with finite tangent space and we can apply Formal Deformation Theory, Theorem 90.18.2. $\square$
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 (0)