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.
- Publication:
-
arXiv e-prints
- Pub Date:
- June 2020
- DOI:
- 10.48550/arXiv.2006.01376
- arXiv:
- arXiv:2006.01376
- Bibcode:
- 2020arXiv200601376B
- Keywords:
-
- Mathematics - Differential Geometry;
- High Energy Physics - Theory;
- Mathematics - Algebraic Geometry;
- Mathematics - Algebraic Topology;
- Mathematics - Category Theory
- E-Print:
- Minor revision