Remark 99.13.10. Lemma 99.13.9 can also be shown using either Artin's Axioms, Lemma 98.24.4 (as in the first proof of Lemma 99.5.11), or using an obstruction theory as in Artin's Axioms, Lemma 98.22.2 (as in the second proof of Lemma 99.5.11). In both cases one uses the deformation and obstruction theory developed in Cotangent, Section 92.23 to translate the needed properties of deformations and obstructions into \mathop{\mathrm{Ext}}\nolimits -groups to which Derived Categories of Spaces, Lemma 75.23.3 can be applied. The second method (using an obstruction theory and therefore using the full cotangent complex) is perhaps the “standard” method used in most references.
Comments (0)