Central Extensions of Smooth 2-Groups and a Finite-Dimensional String 2-Group

Abstract

We provide a model of the String group as a central extension of finite-dimensional 2-groups in the bicategory of Lie groupoids, left-principal bibundles, and bibundle maps. This bicategory is a geometric incarnation of the bicategory of smooth stacks and generalizes the more naïve 2-category of Lie groupoids, smooth functors, and smooth natural transformations. In particular this notion of smooth 2-group subsumes the notion of Lie 2-group introduced by Baez-Lauda. More precisely we classify a large family of these central extensions in terms of the topological group cohomology introduced by G. Segal, and our String 2-group is a special case of such extensions. There is a nerve construction which can be applied to these 2-groups to obtain a simplicial manifold, allowing comparison with with the model of A. Henriques. The geometric realization is an $A_{\infty }$-space, and in the case of our model, has the correct homotopy type of String(n). Unlike all previous models our construction takes place entirely within the framework of finite dimensional manifolds and Lie groupoids. Moreover within this context our model is characterized by a strong uniqueness result. It is a unique central extension of Spin(n).

44 pages, 10 figures, LaTex. Submitted. (v2) Main theorem strengthened to include uniqueness results. (v3) Typos corrected, references added, exposition improved. More details added to proof of main theorem. Section on 2-groups as a localization added. Corrected errors in proofs and statements about extensions of 2-groups; statements of relevant lemmas remain unchanged

Cited by in corpus (37)

• Symmetry protected topological orders and the group cohomology of their symmetry group
• Notes on generalized global symmetries in QFT
• Twisted differential String and Fivebrane structures
• Towards an M5-Brane Model I: A 6d Superconformal Field Theory
• Higher Extensions of Lie Algebroids
• Higher Groupoid Bundles, Higher Spaces, and Self-Dual Tensor Field Equations
• Decomposition, Trivially-Acting Symmetries, and Topological Operators
• Towards an M5-Brane Model II: Metric String Structures
• Smooth 2-Group Extensions and Symmetries of Bundle Gerbes
• Orbifolds by 2-groups and decomposition
• Adjusted Parallel Transport for Higher Gauge Theories
• A Smooth Model for the String Group
• The Non-Abelian Self-Dual String and the (2,0)-Theory
• Toric 2-group anomalies via cobordism
• Bordism for the 2-group symmetries of the heterotic and CHL strings
• ${\mathrm{H}}^4({\mathrm{Co}}_0;\mathbf{Z})=\mathbf{Z}/24$
• Principal $\infty$-Bundles and Smooth String Group Models
• Higher geometry for non-geometric T-duals
• Higher Gauge Theory
• Strictification of etale stacky Lie groups
• Power operations in the Stolz--Teichner program
• Instanton Density Operator in Lattice QCD from Higher Category Theory
• Atiyah sequence and Gauge transformations of a principal $2$-bundle over a Lie groupoid
• The Smith Fiber Sequence and Invertible Field Theories
• Bigerbes
• Infinite Dimensional Topological-Holomorphic Symmetry in Three-Dimensions
• A cohomological proof for the integrability of strict Lie 2-algebras
• Chern correspondence for higher principal bundles
• Differentiating $L_{\infty }$ groupoids
• Groups up to congruence relation and from categorical groups to c-crossed modules
• The first Pontryagin class of a quadratic Lie 2-algebroid
• Many finite-dimensional lifting bundle gerbes are torsion
• Connes fusion of spinors on loop space
• Connecting Through Obstruction; Relating Gauge Gravity and String Theory
• Explicit Non-Abelian Gerbes with Connections
• Flat principal 2-group bundles and flat string structures
• Functoriality of bornological groupoid convolution