Derived Differentiable Manifolds

Abstract

We develop the theory of derived differential geometry in terms of bundles of curved $L_{\infty }[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore, we can make sense of "homotopy fibered product" and "derived intersection" of submaifolds in a smooth manifold in the homotopy category of derived manifolds. We construct a factorization of the diagonal using path spaces. First we construct an infinite-dimensional factorization using actual path spaces motivated by the AKSZ construction, then we cut down to finite dimensions using the Fiorenza-Manetti method. The main ingredient is the homotopy transfer theorem for curved $L_{\infty }[1]$-algebras. We also prove the inverse function theorem for derived manifolds, and investigate the relationship between weak equivalence and quasi-isomorphism for derived manifolds.

arXiv commentMinor revision; references added; added a subsection about homotopy fibered products and derived intersections

References in corpus (21)

• The Geometry of the Master Equation and Topological Quantum Field Theory
• Introduction to sh Lie algebras for physicists
• Lie theory for nilpotent L-infinity algebras
• On the perturbation lemma, and deformations
• Supergroupoids, double structures, and equivariant cohomology
• Homological perturbation theory for algebras over operads
• Presenting higher stacks as simplicial schemes
• Tangent spaces and tangent bundles for diffeological spaces
• Derived Smooth Manifolds
• The Atiyah class of a dg-vector bundle
• Differential Graded Schemes I: Perfect Resolving Algebras
• Differential Graded Schemes II: The 2-category of Differential Graded Schemes
• Algebraic models of local period maps and Yukawa algebras
• Homological Algebra for Superalgebras of Differentiable Functions
• A new definition of Kuranishi space
• Simplicial approach to derived differential manifolds
• Differential gorms, differential worms
• Descent of Deligne-Getzler $\infty$-groupoids
• Maurer-Cartan elements and homotopical perturbation theory
• The universal property of derived geometry
• The inverse function theorem for curved L-infinity spaces

Cited by in corpus (2)

• Dg manifolds, formal exponential maps and homotopy Lie algebras
• The inverse function theorem for curved L-infinity spaces