On the homotopy theory for Lie ∞–groupoids, with an application to integrating L∞–algebras

Rogers, Christopher¹ ; Zhu, Chenchang²

¹Department of Mathematics and Statistics, University of Nevada, Reno, Reno, NV, United States
²Mathematisches Institut and Courant Research Centre “Higher Order Structures”, Georg-August-Universität Göttingen, Göttingen, Germany

Algebraic and Geometric Topology, Tome 20 (2020) no. 3, pp. 1127-1219

Résumé

Lie ∞–groupoids are simplicial Banach manifolds that satisfy an analog of the Kan condition for simplicial sets. An explicit construction of Henriques produces certain Lie ∞–groupoids called “Lie ∞–groups” by integrating finite type Lie n–algebras. In order to study the compatibility between this integration procedure and the homotopy theory of Lie n–algebras introduced in the companion paper (1371–1429), we present a homotopy theory for Lie ∞–groupoids. Unlike Kan simplicial sets and the higher geometric groupoids of Behrend and Getzler, Lie ∞–groupoids do not form a category of fibrant objects (CFO), since the category of manifolds lacks pullbacks. Instead, we show that Lie ∞–groupoids form an “incomplete category of fibrant objects” in which the weak equivalences correspond to “stalkwise” weak equivalences of simplicial sheaves. This homotopical structure enjoys many of the same properties as a CFO, such as having, in the presence of functorial path objects, a convenient realization of its simplicial localization. We further prove that the acyclic fibrations are precisely the hypercovers, which implies that many of Behrend and Getzler’s results also hold in this more general context. As an application, we show that Henriques’ integration functor is an exact functor with respect to a class of distinguished fibrations, which we call “quasisplit fibrations”. Such fibrations include acyclic fibrations as well as fibrations that arise in string-like extensions. In particular, integration sends L∞–quasi-isomorphisms to weak equivalences and quasisplit fibrations to Kan fibrations, and preserves acyclic fibrations, as well as pullbacks of acyclic/quasisplit fibrations.

Détail

DOI : 10.2140/agt.2020.20.1127

Classification : 17B55, 18G30, 22A22, 55U35
Keywords: simplicial manifold, Lie $\infty$–groupoid, $L_\infty$–algebra, category of fibrant objects, hypercover

Bibliographie

[1] M P Allocca, Homomorphisms of L∞ modules, J. Homotopy Relat. Struct. 9 (2014) 285 | DOI

[2] M Artin, A Grothendieck, J L Verdier, Théorie des topos et cohomologie étale des schémas, Tome 2 : Exposés V–VIII (SGA 42 ), 270, Springer (1972)

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

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

[5] K Behrend, E Getzler, Geometric higher groupoids and categories, from: "Geometry, analysis and probability" (editors J B Bost, H Hofer, F Labourie, Y Le Jan, X Ma), Progr. Math. 310, Springer (2017) 1 | DOI

[6] C Blohmann, C Zhu, Higher Morita equivalence for L∞ groupoids, in preparation

[7] N Bourbaki

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

[9] V A Dolgushev, A E Hoffnung, C L Rogers, What do homotopy algebras form?, Adv. Math. 274 (2015) 562 | DOI

[10] E J Dubuc, C∞–schemes, Amer. J. Math. 103 (1981) 683 | DOI

[11] D Dugger, Sheaves and homotopy theory, preprint (1998)

[12] J Duskin, Higher-dimensional torsors and the cohomology of topoi: the abelian theory, from: "Applications of sheaves" (editors M P Fourman, C J Mulvey, D S Scott), Lecture Notes in Math. 753, Springer (1979) 255 | DOI

[13] W G Dwyer, D M Kan, Calculating simplicial localizations, J. Pure Appl. Algebra 18 (1980) 17 | DOI

[14] D S Freed, M J Hopkins, Chern–Weil forms and abstract homotopy theory, Bull. Amer. Math. Soc. 50 (2013) 431 | DOI

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

[16] P G Glenn, Realization of cohomology classes in arbitrary exact categories, J. Pure Appl. Algebra 25 (1982) 33 | DOI

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

[18] G Horel, Brown categories and bicategories, Homology Homotopy Appl. 18 (2016) 217 | DOI

[19] M Hovey, Model categories, 63, Amer. Math. Soc. (1999)

[20] J F Jardine, Simplicial objects in a Grothendieck topos, from: "Applications of algebraic –theory to algebraic geometry and number theory, I," (editors S J Bloch, R K Dennis, E M Friedlander, M R Stein), Contemp. Math. 55, Amer. Math. Soc. (1986) 193 | DOI

[21] P T Johnstone, Sketches of an elephant: a topos theory compendium, II, 44, Clarendon (2002)

[22] A Joyal, Lettre d’André Joyal à Alexandre Grothendieck, (1984)

[23] B Jurčo, From simplicial Lie algebras and hypercrossed complexes to differential graded Lie algebras via 1–jets, J. Geom. Phys. 62 (2012) 2389 | DOI

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

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

[26] D Li, Higher groupoid actions, bibundles, and differentiation, PhD thesis, Georg-August-Universität Göttingen (2014)

[27] Z L Low, Universes for category theory, preprint (2013)

[28] S Mac Lane, I Moerdijk, Sheaves in geometry and logic: a first introduction to topos theory, Springer (1994) | DOI

[29] T Nikolaus, U Schreiber, D Stevenson, Principal ∞–bundles : presentations, J. Homotopy Relat. Struct. 10 (2015) 565 | DOI

[30] T Nikolaus, C Schweigert, Equivariance in higher geometry, Adv. Math. 226 (2011) 3367 | DOI

[31] B Noohi, Integrating morphisms of Lie 2–algebras, Compos. Math. 149 (2013) 264 | DOI

[32] J P Pridham, Presenting higher stacks as simplicial schemes, Adv. Math. 238 (2013) 184 | DOI

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

[34] E Riehl, Categorical homotopy theory, 24, Cambridge Univ. Press (2014) | DOI

[35] C L Rogers, Homotopical properties of the simplicial Maurer–Cartan functor, from: "2016 MATRIX annals" (editors D R Wood, J de Gier, C E Praeger, T Tao), MATRIX Book Ser. 1, Springer (2018) 3 | DOI

[36] C L Rogers, An explicit model for the homotopy theory of finite type Lie n–algebras, Algebr. Geom. Topol. 20 (2020) 1371 | DOI

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

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

[39] P Ševera, L∞–algebras as first approximations, from: "XXVI Workshop on Geometrical Methods in Physics" (editors P Kielanowski, A Odzijewicz, M Schlichenmaier, T Voronov), AIP Conf. Proc. 956, Amer. Inst. Phys. (2007) 199 | DOI

[40] W C Waterhouse, Basically bounded functors and flat sheaves, Pacific J. Math. 57 (1975) 597 | DOI

[41] M Weiss, Hammock localization in Waldhausen categories, J. Pure Appl. Algebra 138 (1999) 185 | DOI

[42] J Wolfson, Descent for n–bundles, Adv. Math. 288 (2016) 527 | DOI

[43] C Zhu, n–Groupoids and stacky groupoids, Int. Math. Res. Not. 2009 (2009) 4087 | DOI