nLab derived complex analytic space

Idea

Complex derived analytic geometry is the refinement of the notion of complex analytic space from geometry to higher geometry/higher algebra.

Related concepts

• higher complex analytic geometry

• derived analytic geometry

References

• Jacob Lurie, sections 11 and 12 of Closed Immersions

• Jacob Lurie, Structured Spaces

• Mauro Porta, Derived complex analytic geometry I: GAGA theorems (arXiv:1506.09042)

• Mauro Porta, Derived Analytic Rings? (preprint including a good theory of modules over analytic rings)

• Frédéric Paugam, Overconvergent global analytic geometry

• Eita Haibara?, Derived analytic geometry: Derived Kähler space and Hodge theory, arXiv:2506.19629 .