Lemma 93.16.1. In Example 93.8.1 let P be a local complete intersection over k (Algebra, Definition 10.135.1). Then \mathcal{D}\! \mathit{ef}_ P is unobstructed.
Proof. Let (A, Q) \to (k, P) be an object of \mathcal{D}\! \mathit{ef}_ P. Then we see that A \to Q is a syntomic ring map by Algebra, Definition 10.136.1. Hence for any surjection A' \to A in \mathcal{C}_\Lambda we see that there is a morphism (A', Q') \to (A, Q) lifting A' \to A by Smoothing Ring Maps, Proposition 16.3.2. This proves the lemma. \square
Comments (0)