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

TL;DR

This paper develops the foundational theory of derived $C^{ abla}$-geometry, establishing structures and tools for studying moduli spaces of PDE solutions in differential geometry and physics.

Contribution

It introduces the first comprehensive framework for derived $C^{ abla}$-geometry, defining $ abla$-categories, $ abla$-schemes, and their properties using Lurie's structured space theory.

Findings

Defined $ abla$-categories and $ abla$-schemes in the derived $C^{ abla}$-geometry context

Proved structural features and basic properties of these geometric objects

Established derived flatness results for derived $C^{ abla}$-rings

Abstract

This work is the first in a series laying the foundations of derived geometry in the $C^{\infty}$ setting, and providing tools for the construction and study of moduli spaces of solutions of Partial Differential Equations that arise in differential geometry and mathematical physics. To advertise the advantages of such a theory, we start with a detailed introduction to derived $C^{\infty}$-geometry in the context of symplectic topology and compare and contrast with Kuranishi space theory. In the body of this work, we avail ourselves of Lurie's extensive work on abstract structured spaces to define $\infty$-categories of derived $C^{\infty}$-rings and $C^{\infty}$-schemes and derived $C^{\infty}$-rings and $C^{\infty}$-schemes with corners via a universal property in a suitable $(\infty,2)$-category of $\infty$-categories with respect to the ordinary categories of manifolds and manifolds with corners (with morphisms the $b$-maps of Melrose in the latter case), and prove many basic structural features about them. Along the way, we establish some derived flatness results for derived $C^{\infty}$-rings of independent interest.