Deformation of formal schemes through local homology (Q891449)

The article continues a series of papers of the author, resp. joint work with L. Alonso Tarrio and A. Jeremias Lopez. They are aimed to develop an infinitesimal theory of locally noetherian formal schemes ([\textit{L. Alonso Tarrío} et al., Commun. Algebra 35, No. 4, 1341--1367 (2007; Zbl 1124.14006); J. Pure Appl. Algebra 213, No. 7, 1373--1398 (2009; Zbl 1206.14012)], [\textit{M. Pérez Rodríguez}, J. Pure Appl. Algebra 212, No. 11, 2381--2388 (2008; Zbl 1151.14007)]). Here the author introduces a suitable definition of a cotangent complex and provides a deformation theory in this category. Let \(f:{ \mathcal X }\to \mathcal Y\) be a morphism of locally noetherian formal schemes. The author defines a cotangent complex \(\hat{\mathcal L}_{{\mathcal X} / {\mathcal Y}}\) in the derived category \(D^{-} ( {\mathcal X} )\) and proves basic properties like the existence of an augmentation map \(\hat{\mathcal L}_{{\mathcal X} / {\mathcal Y}} \to \hat{\Omega}^1_{{\mathcal X} / {\mathcal Y}}\), functoriality, localization, coherence, the existence of distinguished triangels, flat base change. Results on deformations provide a characterization of smooth and etale morphisms. The paper concludes with a discussion of the cotangent complex and infinitesimal conditions (etaleness, regular closed immersions).