-
Representability of Elliptic Moduli Problems in Derived $C^{\infty}$-Geometry
Authors:
Pelle Steffens
Abstract:
We study moduli spaces of solutions of nonlinear Partial Differential Equations on manifolds in the framework of derived $C^{\infty}$-geometry. For an arbitrary smooth stack $S$, we define $S$-families of nonlinear PDEs acting between $S$-families of submersions over an $S$-family of manifolds and show that in case the family of PDEs is elliptic and the base family of manifolds is proper over $S$,…
▽ More
We study moduli spaces of solutions of nonlinear Partial Differential Equations on manifolds in the framework of derived $C^{\infty}$-geometry. For an arbitrary smooth stack $S$, we define $S$-families of nonlinear PDEs acting between $S$-families of submersions over an $S$-family of manifolds and show that in case the family of PDEs is elliptic and the base family of manifolds is proper over $S$, then the moduli stack of solutions is relatively representable by quasi-smooth derived $C^{\infty}$-schemes over $S$. Along the way, we develop tools to analyse the local structure of families of mapping stacks between manifolds and explain how to compare mapping stacks in smooth and in derived geometry. To access the notion of a family of PDEs over an arbitrary smooth base stack, we introduce a formalism of stacks of relative jets. Finally, we show how natural ideas from (higher) topos theory can be leveraged to facilitate the application of nonlinear Fredholm analysis to derived stacks of solutions of elliptic PDEs.
△ Less
Submitted 12 April, 2024; v1 submitted 11 April, 2024;
originally announced April 2024.
-
Derived $C^{\infty}$-Geometry I: Foundations
Authors:
Pelle Steffens
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…
▽ More
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.
△ Less
Submitted 15 June, 2023; v1 submitted 17 April, 2023;
originally announced April 2023.
-
On the Universal Property of Derived Manifolds
Authors:
David Carchedi,
Pelle Steffens
Abstract:
It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equivalence. Namely, the $\infty$-category $\mathbf{DMfd}$ of derived manifolds has finite limits, is idempotent complete, and receives a functor from the category of manifolds which preserves transverse pullbacks and the t…
▽ More
It is well known that any model for derived manifolds must form a higher category. In this paper, we propose a universal property for this higher category, classifying it up to equivalence. Namely, the $\infty$-category $\mathbf{DMfd}$ of derived manifolds has finite limits, is idempotent complete, and receives a functor from the category of manifolds which preserves transverse pullbacks and the terminal object, and moreover is universal with respect to these properties. We then show this universal property is equivalent to another one, intimately linking the $\infty$-category of derived manifolds to the theory of $C^\infty$-rings. More precisely, $\mathbb{R}$ is a $C^\infty$-ring object in $\mathbf{DMfd}$, and the pair $\left(\mathbf{DMfd},\mathbb{R}\right)$ is universal among idempotent complete $\infty$-categories with finite limits and a $C^\infty$-ring object. We then show that (a slight extension beyond the quasi-smooth setting of) Spivak's original model satisfies our universal property.
△ Less
Submitted 15 May, 2019;
originally announced May 2019.
