Lemma 93.9.8. In Example 93.9.1 let X be a scheme over k Let p \in X be a point. With \mathcal{D}\! \mathit{ef}_{\mathcal{O}_{X, p}} as in Example 93.8.1 there is a natural functor
of deformation categories.
Lemma 93.9.8. In Example 93.9.1 let X be a scheme over k Let p \in X be a point. With \mathcal{D}\! \mathit{ef}_{\mathcal{O}_{X, p}} as in Example 93.8.1 there is a natural functor
of deformation categories.
Proof. Choose an affine open U = \mathop{\mathrm{Spec}}(P) \subset X containing p. Then \mathcal{O}_{X, p} is a localization of P. We combine the functors from Lemmas 93.9.6, 93.9.7, and 93.8.7. \square
Comments (0)