Derived Smooth Manifolds

Abstract

We define a simplicial category called the category of derived manifolds. It contains the category of smooth manifolds as a full discrete subcategory, and it is closed under taking arbitrary intersections in a manifold. A derived manifold is a space together with a sheaf of local $C^{\infty }$-rings that is obtained by patching together homotopy zero-sets of smooth functions on Euclidean spaces. We show that derived manifolds come equipped with a stable normal bundle and can be imbedded into Euclidean space. We define a cohomology theory called derived cobordism, and use a Pontrjagin-Thom argument to show that the derived cobordism theory is isomorphic to the classical cobordism theory. This allows us to define fundamental classes in cobordism for all derived manifolds. In particular, the intersection $A\cap B$ of submanifolds $A,B\subset X$ exists on the categorical level in our theory, and a cup product formula $$[A]⌣[B]=[A\cap B]$$ holds, even if the submanifolds are not transverse. One can thus consider the theory of derived manifolds as a {\em categorification} of intersection theory.

57 pages. Reformulation of author's PhD thesis. To appear in Duke Math J.

References in corpus (3)

• Equivalences of monoidal model categories
• Derived Algebraic Geometry V: Structured Spaces
• On (Enriched) Left Bousfield Localization of Model Categories

Cited by in corpus (27)

• On manifolds with corners
• An algebraic approach to virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves
• Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds
• A higher Chern-Weil derivation of AKSZ sigma-models
• Derived algebraic cobordism
• Derived complex analytic geometry I: GAGA theorems
• D-manifolds, d-orbifolds and derived differential geometry: a detailed summary
• Homological Algebra for Superalgebras of Differentiable Functions
• Deriving Deligne-Mumford Stacks with Perfect Obstruction Theories
• Dg manifolds, formal exponential maps and homotopy Lie algebras
• Homotopy L-infinity spaces
• Conjectures on counting associative 3-folds in $G_2$-manifolds
• Derived manifolds and Kuranishi models
• Open Systems in Classical Mechanics
• Derived Differentiable Manifolds
• Algebraic Spivak's theorem and applications
• The universal property of derived geometry
• On Theories of Superalgebras of Differentiable Functions
• The global derived period map
• On the Universal Property of Derived Manifolds
• Tangent $\infty$-categories and Goodwillie calculus
• Separation Theorems in Smooth Commutative Algebra and Applications
• Casson invariants via virtual counting
• Higher categories of push-pull spans, I: Construction and applications
• Homotopy in Exact Categories
• Constructing Span Categories From Categories Without Pullbacks
• On the structure of étale fibrations of $L_{\infty }$-bundles