Representability theorem in derived analytic geometry

DOI10.4171/JEMS/998MaRDI QIDQ2216749zbMATH OpenFDO

Publication date 17 December 2020

Published in Journal of the European Mathematical Society (JEMS) (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1704.01683

analytic cotangent complex complex geometry deformation theory derived geometry derived stacks representability rigid analytic geometry

Mathematics Subject Classification ID

Fundamental constructions in algebraic geometry involving higher and derived categories (homotopical algebraic geometry, derived algebraic geometry, etc.) (14A30) Stacks and moduli problems (14D23) Rigid analytic geometry (14G22) Complex-analytic moduli problems (32G13)

Abstract: We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack. Our result applies to both derived complex analytic geometry and derived non-archimedean analytic geometry (rigid analytic geometry). The representability theorem is of both philosophical and practical importance in derived geometry. The conditions of representability are natural expectations for a moduli functor. So the theorem confirms that the notion of derived analytic space is natural and sufficiently general. On the other hand, the conditions are easy to verify in practice. So the theorem enables us to enhance various classical moduli spaces with derived structures, thus provides plenty of down-to-earth examples of derived analytic spaces. For the purpose of proof, we study analytification, square-zero extensions, analytic modules and cotangent complexes in the context of derived analytic geometry. We will explore applications of the representability theorem in our subsequent works. In particular, we will establish the existence of derived mapping stacks via the representability theorem.

Review text

In the paper under review, the authors prove a representability theorem in derived analytic geometry, analogous to Lurie's generalization of Artin's representablility criteria to derived algebraic geometry. This is an important, standard type result for the study of moduli problems and a crucial step towards a solid theory of derived analytic geometry. More specifically, the authors show that a derived stack for the étale site of derived analytic spaces is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent complex, and its truncation is an analytic stack in the classical (underived) sense. The result applies both to complex analytic geometry and non-archimedean analytic geometry. Central to representability results as in the present paper is deformation theory, which the authors develop here for the derived analytic setup. The authors define an analytic version of the cotangent complex which controls the deformation theory of the derived stack. As in the algebraic setting, the cotangent complex represents a functor of derivations. One key step in order to define the analytic cotangent complex is the elegant description of the \(\infty\)-category of modules over a derived analytic space \(X\) as the \(\infty\)-category of spectrum objects of a certain \(\infty\)-category associated with \(X\). Another important construction is the analytification functor which they establish in the derived setting. To apply derived geometry to classical moduli problems, one may try to enrich classical moduli spaces with derived structures. The paper under review is an important tool in verifying when such enrichments are indeed the correct ones.

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Representability theorem in derived analytic geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2216749)