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.

Derived Moduli Spaces of Nonlinear PDEs II: Variational Tricomplex and BV Formalism

J an 2 01 8 On Variational Properties of Quadratic Curvature Functionals

Derived Moduli Spaces of Nonlinear PDEs I: Singular Propagations

Variational Properties of Quadratic Curvature Functionals

Curvatures of Moduli Space of Curves and Applications

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

The Variational Bi-Complex for Systems of Semi-Linear Hyperbolic PDEs in Three Variables

Towards non-perturbative BV-theory via derived differential geometry

Symplectic and Poisson derived geometry and deformation quantization

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

Geometric structures as variational objects, II

Moduli of algebraic varieties

Stable Envelopes, Vortex Moduli Spaces, and Verma Modules

Poincaré Duality for Smooth Poisson Algebras and BV Structure on Poisson Cohomology

Variational Approach to Various Nonlinear Problems in Geometry and Physics

Non-linear bi-algebraic curves and surfaces in moduli spaces of Abelian differentials

Moduli spaces of semiorthogonal decompositions in families

Duality of differential operators and algebraic de Rham cohomology

Invariant higher-order variational problems II

On the geometry of diffeological vector pseudo-bundles and infinite dimensional vector bundles: automorphisms, connections and covariant derivatives

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