Categorified central extensions, étale Lie 2-groups and Lie's Third Theorem for locally exponential Lie algebras

Abstract

Lie's Third Theorem, asserting that each finite-dimensional Lie algebra is the Lie algebra of a Lie group, fails in infinite dimensions. The modern account on this phenomenon is the integration problem for central extensions of infinite-dimensional Lie algebras, which in turn is phrased in terms of an integration procedure for Lie algebra cocycles. This paper remedies the obstructions for integrating cocycles and central extensions from Lie algebras to Lie groups by generalising the integrating objects. Those objects obey the maximal coherence that one can expect. Moreover, we show that they are the universal ones for the integration problem. The main application of this result is that a Mackey-complete locally exponential Lie algebra (e.g., a Banach-Lie algebra) integrates to a Lie 2-group in the sense that there is a natural Lie functor from certain Lie 2-groups to Lie algebras, sending the integrating Lie 2-group to an isomorphic Lie algebra.

34 pages, essentially revised, to appear in Adv. Math

References in corpus (14)

• Higher-Dimensional Algebra V: 2-Groups
• Integrating L-infinity algebras
• Categorified Symplectic Geometry and the Classical String
• Central Extensions of Smooth 2-Groups and a Finite-Dimensional String 2-Group
• Group Objects and Internal Categories
• Principal 2-bundles and their gauge 2-groups
• Four Equivalent Versions of Non-Abelian Gerbes
• Stacky Lie groups
• Crossed product of groups. Applications
• Strict 2-Groups are Crossed Modules
• A Generalisation of Steenrod's Approximation Theorem
• Integrating central extensions of Lie algebras via Lie 2-groups
• Infinite Simple Bol Loops
• An Infinite Dimensional Approach to the Third Fundamental Theorem of Lie

Cited by in corpus (1)

• Integrating central extensions of Lie algebras via Lie 2-groups