Derived smooth manifolds

DOI10.1215/00127094-2010-021zbMATH Open1420.57073arXiv0810.5174OpenAlexW2167716795MaRDI QIDQ974797FDOQ974797

David I. Spivak

Publication date: 7 June 2010

Published in: Duke Mathematical Journal (Search for Journal in Brave)

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^{i}nfty$-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 $AcapB$ of submanifolds $A,BsubsetX$ exists on the categorical level in our theory, and a cup product formula ${\displaystyle }$[A]smile[B]=[Acap B]${\displaystyle }$ holds, even if the submanifolds are not transverse. One can thus consider the theory of derived manifolds as a {em categorification} of intersection theory.

Full work available at URL: https://arxiv.org/abs/0810.5174

Recommendations

• An introduction to d-manifolds and derived differential geometry
• Derived manifolds from functors of points
• Cohesive categories and manifolds
• A product formula for cobcat and some calculations
• Embedded cobordism categories and spaces of submanifolds

zbMATH Keywords

intersection productsubmanifoldcup productderived cobordism ringderived manifold

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Intersection homology and cohomology in algebraic topology (55N33) Algebraic topology on manifolds and differential topology (57R19)

Cites Work

• Title not available (Why is that?)
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Iterated path integrals
• Title not available (Why is that?)
• Title not available (Why is that?)
• Simplicial presheaves
• Equivalences of monoidal model categories
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• The Cotangent Complex of a Morphism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Complexe cotangent et déformations. I. (The cotangent complex and deformations. I.)
• Homotopical algebraic geometry. II. Geometric stacks and applications
• Homotopical algebraic geometry. I: Topos theory
• On left and right model categories and left and right Bousfield localizations
• C ∞ -Schemes
• Title not available (Why is that?)
• Every homotopy theory of simplicial algebras admits a proper model
• Méthode simpliciale en algèbre homologique et algèbre commutative
• Spectra in model categories and applications to the algebraic cotangent complex
• Hypercovers and simplicial presheaves
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (19)

• Higher Orbifolds and Deligne-Mumford Stacks as Structured Infinity-Topoi
• Title not available (Why is that?)
• Virtual fundamental classes for moduli spaces of sheaves on Calabi-Yau four-folds
• Homotopy in exact categories
• Algebraic Geometry over 𝐶^{∞}-rings
• Dg manifolds, formal exponential maps and homotopy Lie algebras
• On Subcartesian Spaces Leibniz’ Rule Implies the Chain Rule
• Algebraic Spivak's theorem and applications
• The global derived period map
• Derived algebraic cobordism
• Open systems in classical mechanics
• Higher categories of push-pull spans. I: Construction and applications
• Separation theorems in the commutative algebra of C∞-rings and applications
• Constructing span categories from categories without pullbacks
• Chern characters, equivariant traces and derived algebraic geometry
• Chern-Weil forms and abstract homotopy theory
• Smooth Manifolds vs Differential triads
• Conjectures on counting associative 3-folds in 𝐺₂-manifolds
• On topologically big divergent trajectories

This page was built for publication: Derived smooth manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q974797)