Derived complex analytic geometry I: GAGA theorems

Abstract

In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme locally almost of finite presentation $X$, the canonical map $X^{\mathrm{an}}\to X$ is flat in the derived sense. Next, we provide a comparison result relating derived complex analytic spaces to geometric stacks. Using these results and building on the previous work arXiv:1412.5166, we prove a derived version of the GAGA theorems. As an application, we prove that the infinitesimal deformation theory of a derived complex analytic moduli problem is governed by a differential graded Lie algebra.

Major restyling, improved and shortened exposition, new applications added. 46 pages

References in corpus (1)

• Dagger Geometry As Banach Algebraic Geometry

Cited by in corpus (7)

• Two-dimensional categorified Hall algebras
• Stein Domains in Banach Algebraic Geometry
• Derived non-archimedean analytic spaces
• Moduli of $p$-adic representations of a profinite group
• Non-archimedean quantum K-invariants
• Derived smooth stacks and prequantum categories
• Derived ${\mathcal{O}}_k$-adic geometry and derived Raynaud localization theorem