Representability theorem in derived analytic geometry

DOI10.4171/JEMS/998MaRDI QIDQ2216749zbMATH OpenFDO

Authors Mauro Porta, Tony Yue Yu

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

zbMATH Keywords

deformation theoryrepresentabilityrigid analytic geometrycomplex geometryderived geometryderived stacksanalytic cotangent complex

Mathematics Subject Classification ID

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

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.

Recommendations

• Representability of derived stacks
• Derived Hom spaces in rigid analytic geometry
• Derived non-Archimedean analytic Hilbert space
• GAGA theorems in derived complex geometry
• Derived moduli of schemes and sheaves

Cites work

• scientific article; zbMATH DE number 3857279 (Why is no real title available?)
• scientific article; zbMATH DE number 5642271 (Why is no real title available?)
• scientific article; zbMATH DE number 2078157 (Why is no real title available?)
• scientific article; zbMATH DE number 3197387 (Why is no real title available?)
• A study in derived algebraic geometry. Volume I: Correspondences and duality
• Comparison results for derived Deligne-Mumford stacks
• Derived algebraic geometry
• Derived non-Archimedean analytic spaces
• Higher Topos Theory (AM-170)
• Higher analytic stacks and GAGA theorems
• Homotopical algebraic geometry. I: Topos theory
• Lax colimits and free fibrations in \(\infty\)-categories
• Shifted symplectic structures

Cited in

(10)

• Derived non-Archimedean analytic spaces
• Derived Hom spaces in rigid analytic geometry
• Homotopy in exact categories
• Non-Archimedean pinchings
• Analytification of mapping stacks
• Two-dimensional categorified Hall algebras
• Derived non-Archimedean analytic Hilbert space
• GAGA theorems in derived complex geometry
• Non-Archimedean quantum K-invariants
• Representability of derived stacks

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)