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.

Representability of Elliptic Moduli Problems in Derived $C^{\infty}$-Geometry

Derived $C^{\infty}$-Geometry I: Foundations

Recent Results on the Moduli Spaces of Riemann Surfaces

Derived Moduli Spaces of Nonlinear PDEs I: Singular Propagations

A Representability Theorem for Stacks in Derived Geometry Contexts

Relative étale slices and cohomology of moduli spaces

Existence of moduli spaces for algebraic stacks

Representability in non-linear elliptic Fredholm analysis

Moduli spaces of sheaves via affine Grassmannians

A Derived Geometric Approach to Propagation of Solution Singularities for Non-linear PDEs I: Foundations

Shifted symplectic structures on derived analytic moduli of $\ell$-adic local systems and Galois representations

Representability theorem in derived analytic geometry

Moduli spaces of semiorthogonal decompositions in families

Projectivity of good moduli spaces of vector bundles on stacky curves

A differential graded model for derived analytic geometry

Cohomology rings of the moduli of one-dimensional sheaves on the projective plane

Moduli spaces of Lie algebras and foliations

A stratification of moduli of arbitrarily singular curves

Homotopy theory of Stokes structures and derived moduli

On the moduli stack of commutative, 1-parameter formal Lie groups

Moduli stacks of Galois representations and the $p$-adic local Langlands correspondence for $\mathrm{GL}_2(\mathbb{Q}_p)$