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)