nLab
derived smooth manifold

Skip the Navigation Links | Home Page | All Pages | Recently Revised | Authors | Feeds | Export |

Context

Higher geometry

higher geometry / derived geometry

Ingredients

Concepts

Constructions

Examples

Theorems

Contents

Idea

A derived smooth manifold is the generalization of a smooth manifold in derived differential geometry: the derived geometry over the Lawvere theory for smooth algebras (C ∞-rings):

it is a structured (∞,1)-topos whose structure sheaf of functions is a smooth (∞,1)-algebra.

Motivation: correction of limits

According to the general logic of derived geometry, passing from smooth manifolds to derived smooth manifold serves to correct certain limits that do exist in Diff but do not have the correct cohomological behaviour. This concerns notably pullbacks along smooth functions that are not transversal maps.

Pontrjagin-Thom construction

For X a compact smooth manifold, by the Pontrjagin-Thom construction there is a smooth function f:S n→MO from an n-sphere to the Thom spectrum such that if chosen transversal to the zero-section B↪MO the pullback f *B

f *B → B ↓ ↓ S n →f MO\array{ f^* B &\to& B \\ \downarrow && \downarrow \\ S^n &\stackrel{f}{\to}& M O }

is a manifold cobordant to X, so that [X]≃[f *B] in the cobordism ring Ω.

By using derived smooth manifolds instead of ordinary smooth manifolds here, the condition that f be transversal to B could be dropped.

String topology

(…)

Floer homology

(…)

Definition

The following definition characterizes the design criterion for derived smooth manifolds as being objects for which homotopy-intersections

A∩ XB:=A× X hBA \cap_X B := A \times_X^h B

preserve the cup product in the cobordism ring

[A]⌣[B]≃[A∩ XB].[A] \smile [B] \simeq [A \cap_X B] \,.
Definition

We say an (∞,1)-category C supports derived cup products for cobordisms if

  • it is equipped with a full and faithful functor

    i:Diff↪Ci : Diff \hookrightarrow C

    embedding the category of smooth manifolds into it;

  • for any two submanifolds A→X←B (transversal or not) the (∞,1)-pullback

    A∩ XB:=i(A)× i(X)i(B)A \cap_X B := i(A) \times_{i(X)} i(B)

    exists in C;

  • if A→X←B happen to be transverse maps then

    i(A× XB)≃i(A)× i(X)i(B),i(A \times_X B) \simeq i(A) \times_{i(X)} i(B) \,,

    with the image under i of the ordinary pullback in Diff on the left;

  • i preserves the terminal object;

  • (…nice interaction with underlying topological spaces…)

  • for each X∈Diff there is a derived cobordism ring Ω(X) such that …

  • for any submanifolds A→X←B we have

    [A]⌣[B]=[A∩ XB][A] \smile [B] = [A \cap_X B]

    in Ω(X)

    (…)

A central statement about derived smooth manifolds will be

Theorem

The (∞,1)-category of derived smooth manifolds has derived cup products for cobordisms.

This is (Spivak, theorm 1.8).

References

The definition of derived smooth manifolds is indicated at the very end of

A detailed construction and discjussion in terms of the model category presentation by homotopy T-algebras is in

Something roughly related is discussed in

  • Dominic Joyce, D-orbifolds, Kuranishi spaces, and polyfolds talk notes (Jan 2010) (pdf)

There is also

  • Dennis Borisov, Justin Noel, Simplicial approach to derived differential manifolds (arXiv:1112.0033)

Seminar notes on differential derived geometry in general and derived smooth manifolds in particular are in

Revised on February 13, 2013 12:59:59 by Urs Schreiber (82.169.65.155)
Edit | Back in time (16 revisions) | See changes | History | Views: Print | TeX | Source | Linked from: NQ-supermanifold, differentiable stack, Diff, smooth infinity-groupoid, smooth algebra, generalized smooth space, CartSp, differential geometry, geometry, noncommutative geometry, Klein 2-geometry, topology, smooth Lorentzian space, classifying space, generalized complex geometry, geometric infinity-function theory, diffeological space, D-module, path groupoid, structured (infinity,1)-topos, perfect infinity-stack, derived smooth manifold, locally modeled monoid, synthetic differential geometry, algebraic geometry, algebraic stack, topological stack, manifold, algebraic space, Erlangen program, 2009 May changes, orbifold, Lie group, orbispace, 2009 July changes, stratifold, smooth space, differential form, diffeomorphism, geometry (for structured (infinity,1)-toposes), formally smooth morphism, cotangent bundle, tangent bundle, Models for Smooth Infinitesimal Analysis, differential forms in synthetic differential geometry, differential topology, Gelfand spectrum, transversal maps, algebraic variety, diffiety, infinity-space, space, analytic geometry, cartesian space, infinitesimal object, formal scheme, algebraic group, A Survey of Elliptic Cohomology, derived algebraic geometry, higher geometry - contents, higher geometry, generalized scheme, Structured Spaces, A Survey of Elliptic Cohomology - cohomology theories, de Rham complex, Deligne-Mumford stack, locally ringed space, A Survey of Elliptic Cohomology - formal groups and cohomology, cotangent complex, Riemannian manifold, structure sheaf, de Rham space, synthetic differential geometry applied to algebraic geometry, de Rham theorem, moduli space, pentagon decagon hexagon identity, isometry, proper map, derived noncommutative geometry, rigid analytic geometry, derived scheme, geometric stack, A Survey of Elliptic Cohomology - elliptic curves, synthetic differential supergeometry, smooth topos, Kock-Lawvere axiom, amazing right adjoint, Euclidean geometry, microlinear space, synthetic differential geometry - contents, smooth locus, Tietze extension theorem, group scheme, pseudo-Riemannian metric, Poincare group, Christoffel symbols, Riemannian metric, vector field, A Survey of Elliptic Cohomology - the derived moduli stack of derived elliptic curves, Levi-Civita connection, pseudo-Riemannian manifold, Riemannian geometry, Hopf algebroid, etale morphism of schemes, Riemann surface, Banach manifold, foliation, Fermat theory, smooth loop space, local Lie group, exotic smooth structure, geodesic, differentiable map, differential equation, etale map, Hadamard lemma, schematic homotopy type, applications of (higher) category theory, quotient space, tubular neighbourhood, spin connection, David Spivak, fpqc site, simplicial C-infinity-ring, Isbell duality, jet space, ordinary differential equation, D-geometry, geodesic flow, Hodge star operator, Klein geometry, Cartan geometry, G-structure, normal bundle, manifold structure of mapping spaces, smooth manifold, smooth map, variational calculus, volume form, Poincare lemma, Cahiers topos, Lie derivative, Artin stack, submersion, infinity-Lie group, complex geometry, function algebras on infinity-stacks, affine line, Lie group cohomology, bundle 2-gerbe, ball, gauge transformation, spin geometry, vielbein, infinitesimally thickened point, derived loop space, derived geometry, Stokes theorem, coisotropic submanifold, homotopy T-algebra, differentiation, chain rule, spectral action, holonomy groupoid, locally representable structured (infinity,1)-topos, anabelian geometry, Steenrod-Wockel approximation theorem, morphism of finite type, projective stack, symmetric space, derived moduli space, gerbe (in differential geometry), dg-geometry, formally etale morphism, Jacobian, strongly connected topos, Tannaka duality for Lie groupoids, projective space, Tannaka duality for geometric stacks, smooth infinity-groupoid -- structures, locally ringed topos, formally unramified morphism, geometric infinity-stack, D-scheme, Boman's theorem, fppf site, synthetic differential infinity-groupoid, atlas, diffeomorphism group, locally algebra-ed topos, morphism of finite presentation, formal smooth manifold, Laplace operator, wave equation, differential calculus, jet bundle, complex manifold, critical point, complex structure, tangent complex, local diffeomorphism, homogeneous space, timelike curve, concrete smooth infinity-groupoid, orthogonal structure, C-infinity topology, infinite-dimensional manifold, Borel's theorem, Cauchy surface, Gelfand duality, Killing vector, Killing spinor, torsion of a metric connection, higher Klein geometry, higher geometric quantization, gradient flow, foliation of a Lie algebroid, non-commutative analytic space, kinematic tangent space, contents of contents, moduli space of Riemannian metrics, isometry group, Killing-Yano tensor, moment of inertia, special holonomy, Ricci flow, Morse homology, gradient, angular velocity, Euler-Arnold equation, invariant differential form, divergence, higher Cartan geometry, curl, Hadwiger's theorem, higher symplectic geometry, tensor, n-plectic form, on the manifold structure of singular loops, Killing tensor, differential graded manifold, Knizhnik-Zamolodchikov equation, dg-scheme, derived differential geometry, deformation context, formal moduli problem, higher differential geometry, exceptional generalized geometry, Berkovich space, bump function, integration of differential forms, immersion of smooth manifolds, Einstein tensor, string^c 2-group, stratified space, convenient manifold, ILH manifold, smooth groupoid, generalized vielbein, generalized tangent bundle, type II geometry, formal loop space, canonical bundle, Theta characteristic, Hilbert manifold, The Geometry of Physics - An Introduction, almost Hermitian structure, synthetic differential super infinity-groupoid, maximal torus, pullback of a differential form, Riemann normal coordinates, geometry of physics, motivation for higher differential geometry, generalized G2-manifold, smooth superalgebra, field (physics), nonabelian Stokes theorem, Dolbeault complex, Berger's theorem, Bn-geometry, singular foliation, Hitchin functional, associative 3-form, operational tangent space, higher noncommutative geometry, density, Weyl group, Bott connection, higher Atiyah groupoid, double Lie groupoid, Lie algebroid-groupoid, foliation of a Lie groupoid, noncommutative topology, synthetic tangent bundle, Goerss-Hopkins-Miller theorem