An explicit model for the homotopy theory of finite-type Lie n–algebras

Rogers, Christopher¹

¹Department of Mathematics and Statistics, University of Nevada, Reno, Reno, NV, United States

Algebraic and Geometric Topology, Tome 20 (2020) no. 3, pp. 1371-1429

Résumé

Lie n–algebras are the L∞ analogs of chain Lie algebras from rational homotopy theory. Henriques showed that finite-type Lie n–algebras can be integrated to produce certain simplicial Banach manifolds, known as Lie ∞–groups, via a smooth analog of Sullivan’s realization functor. We provide an explicit proof that the category of finite-type Lie n–algebras and (weak) L∞–morphisms admits the structure of a category of fibrant objects (CFO) for a homotopy theory. Roughly speaking, this CFO structure can be thought of as the transfer of the classical projective CFO structure on nonnegatively graded chain complexes via the tangent functor. In particular, the weak equivalences are precisely the L∞–quasi-isomorphisms. Along the way, we give explicit constructions for pullbacks and factorizations of L∞–morphisms between finite-type Lie n–algebras. We also analyze Postnikov towers and Maurer–Cartan/deformation functors associated to such Lie n–algebras. The main application of this work is our joint paper with C Zhu (1127–1219), which characterizes the compatibility of Henriques’ integration functor with the homotopy theory of Lie n–algebras and that of Lie ∞–groups.

Détail

DOI : 10.2140/agt.2020.20.1371

Classification : 17B55, 18G55, 55U35, 55P62
Keywords: homotopy Lie algebra, Lie $n$–algebra, category of fibrant objects, simplicial manifold

Bibliographie

[1] J C Baez, A S Crans, Higher-dimensional algebra, VI : Lie 2–algebras, Theory Appl. Categ. 12 (2004) 492

[2] I Barnea, Y Harpaz, G Horel, Pro-categories in homotopy theory, Algebr. Geom. Topol. 17 (2017) 567 | DOI

[3] A K Bousfield, V K A M Gugenheim, On PL de Rham theory and rational homotopy type, 179, Amer. Math. Soc. (1976) | DOI

[4] K S Brown, Abstract homotopy theory and generalized sheaf cohomology, Trans. Amer. Math. Soc. 186 (1973) 419 | DOI

[5] V A Dolgushev, C L Rogers, On an enhancement of the category of shifted L∞–algebras, Appl. Categ. Structures 25 (2017) 489 | DOI

[6] W G Dwyer, J Spaliński, Homotopy theories and model categories, from: "Handbook of algebraic topology" (editor I M James), North-Holland (1995) 73 | DOI

[7] Y Félix, S Halperin, J C Thomas, Rational homotopy theory, 205, Springer (2001) | DOI

[8] E Getzler, Lie theory for nilpotent L∞–algebras, Ann. of Math. 170 (2009) 271 | DOI

[9] E Getzler, J D S Jones, Operads, homotopy algebra and iterated integrals for double loop spaces, preprint (1994)

[10] A Henriques, Integrating L∞–algebras, Compos. Math. 144 (2008) 1017 | DOI

[11] V Hinich, DG coalgebras as formal stacks, J. Pure Appl. Algebra 162 (2001) 209 | DOI

[12] T Lada, M Markl, Strongly homotopy Lie algebras, Comm. Algebra 23 (1995) 2147 | DOI

[13] S Lang, Differential and Riemannian manifolds, 160, Springer (1995) | DOI

[14] J L Loday, B Vallette, Algebraic operads, 346, Springer (2012) | DOI

[15] D Quillen, Rational homotopy theory, Ann. of Math. 90 (1969) 205 | DOI

[16] C L Rogers, C Zhu, On the homotopy theory for Lie ∞–groupoids, with an application to integrating L∞–algebras, Algebr. Geom. Topol. 20 (2020) 1127 | DOI

[17] D Sullivan, Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977) 269 | DOI

[18] M E Sweedler, Hopf algebras, W A Benjamin (1969)

[19] B Vallette, Homotopy theory of homotopy algebras, preprint (2014)

[20] P Ševera, M Širaň, Integration of differential graded manifolds, preprint (2015)