Volume 20, issue 3 (2020)

Download this article
Download this article For screen
For printing
Recent Issues

Volume 23
Issue 9, 3909–4400
Issue 8, 3417–3908
Issue 7, 2925–3415
Issue 6, 2415–2924
Issue 5, 1935–2414
Issue 4, 1463–1934
Issue 3, 963–1462
Issue 2, 509–962
Issue 1, 1–508

Volume 22, 8 issues

Volume 21, 7 issues

Volume 20, 7 issues

Volume 19, 7 issues

Volume 18, 7 issues

Volume 17, 6 issues

Volume 16, 6 issues

Volume 15, 6 issues

Volume 14, 6 issues

Volume 13, 6 issues

Volume 12, 4 issues

Volume 11, 5 issues

Volume 10, 4 issues

Volume 9, 4 issues

Volume 8, 4 issues

Volume 7, 4 issues

Volume 6, 5 issues

Volume 5, 4 issues

Volume 4, 2 issues

Volume 3, 2 issues

Volume 2, 2 issues

Volume 1, 2 issues

The Journal
About the Journal
Editorial Board
Editorial Interests
Submission Guidelines
Submission Page
Policies for Authors
Ethics Statement
ISSN (electronic): 1472-2739
ISSN (print): 1472-2747
Author Index
To Appear
Other MSP Journals
On the homotopy theory for Lie $\infty$–groupoids, with an application to integrating $L_\infty$–algebras

Christopher L Rogers and Chenchang Zhu

Algebraic & Geometric Topology 20 (2020) 1127–1219

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.

simplicial manifold, Lie $\infty$–groupoid, $L_\infty$–algebra, category of fibrant objects, hypercover
Mathematical Subject Classification 2010
Primary: 17B55, 18G30, 22A22, 55U35
Received: 5 March 2017
Revised: 15 January 2019
Accepted: 1 May 2019
Published: 27 May 2020
Christopher L Rogers
Department of Mathematics and Statistics
University of Nevada, Reno
Reno, NV
United States
Chenchang Zhu
Mathematisches Institut and Courant Research Centre “Higher Order Structures”
Georg-August-Universität Göttingen