Derived analytic geometry: Derived Kähler space and Hodge theory

We introduce higher analytic geometry, a novel framework extending Lurie's derived complex analytic spaces. This theory generalizes classical complex analytic geometry, enabling the study of derived Kähler spaces with non-trivial higher homotopy groups. We develop derived de Rham and Dolbeault cohomologies, yielding a Hodge decomposition for compact derived Kähler spaces, and establish a derived Stokes' theorem, unifying classical results with homotopical structures.