2020/10/20 by Daniel Robert-Nicoud, Robert-Nicoud, Daniel, Bruno Vallette +1
Mathematics · Physics and Astronomy · #18M70 #18N40 #18N50 #18N60 #22E60 #55P62 #Advanced Algebra and Geometry #Advanced Topics in Algebra #Algebraic Geometry and Number Theory #Algebraic Topology (math.AT) #Category Theory (math.CT) #FOS: Mathematics #FOS: Physical sciences #Mathematical Physics (math-ph) #Quantum Algebra (math.QA) #Rings and Algebras (math.RA) #math-ph #math.AT #math.CT #math.MP #math.QA #math.RA #msc:18M70 #msc:18N40 #msc:18N50 #msc:18N60 #msc:22E60 #msc:55P62
paper · pdf · doi:10.48550/arxiv.2010.10485
v1: 89 pages, comments are welcome
arxiv created 2020/10/20 · openalex publication_date 2020/10/20 · arxiv updated 2020/10/21 · openalex created_date 2023/02/03 · openalex updated_date 2026/07/28
We present a novel approach to the problem of integrating homotopy Lie algebras by representing the Maurer-Cartan space functor with a universal cosimplicial object. This recovers Getzler's original functor but allows us to prove the existence of additional, previously unknown, structures and properties. Namely, we introduce a well-behaved left adjoint functor, we establish functoriality with respect to infinity-morphisms, and we construct a coherent hierarchy of higher Baker-Campbell-Hausdorff formulas. Thanks to these tools, we are able to establish the most important results of higher Lie theory. We use the recent developments of the operadic calculus, which leads us to explicit tree-wise formulas at all stage. We conclude by applying this theory to rational homotopy theory: the left adjoint functor is shown to provide us with homotopy Lie algebra models for topological spaces which faithfully capture their rational homotopy type.