REVIEW 10 cited by
Higher-Dimensional Algebra V: 2-Groups
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
A 2-group is a "categorified" version of a group, in which the underlying set G has been replaced by a category and the multiplication map has been replaced by a functor. Various versions of this notion have already been explored; our goal here is to provide a detailed introduction to two, which we call "weak" and "coherent" 2-groups. A weak 2-group is a weak monoidal category in which every morphism has an inverse and every object x has a "weak inverse": an object y such that x tensor y and y tensor x are isomorphic to 1. A coherent 2-group is a weak 2-group in which every object x is equipped with a specified weak inverse x* and isomorphisms i_x: 1 -> x tensor x* and e_x: x* tensor x -> 1 forming an adjunction. We describe 2-categories of weak and coherent 2-groups and an "improvement" 2-functor that turns weak 2-groups into coherent ones, and prove that this 2-functor is a 2-equivalence of 2-categories. We internalize the concept of coherent 2-group, which gives a quick way to define Lie 2-groups. We give a tour of examples, including the "fundamental 2-group" of a space and various Lie 2-groups. We also explain how coherent 2-groups can be classified in terms of 3rd cohomology classes in group cohomology. Finally, using this classification, we construct for any connected and simply-connected compact simple Lie group G a family of 2-groups G_hbar (for integral values of hbar) having G as its group of objects and U(1) as the group of automorphisms of its identity object. These 2-groups are built using Chern-Simons theory, and are closely related to the Lie 2-algebras g_hbar (for real hbar) described in a companion paper.
Forward citations
Cited by 10 Pith papers
-
Understanding Non-Split 2-Group Symmetry: (3+1)D SymTFT, Anomaly and Bordism
For G=(Z2,Z2,triv,1), the authors classify anomalies via oriented and spin bordism in spacetime dimensions d<=5 and derive the (3+1)D SymTFT boundary conditions, including the equivalence of the anomalous symmetry cat...
-
Half-Spacetime Gauging of 2-Group Symmetry in 3d
Half-spacetime gauging of 2-group symmetries in (2+1)d QFTs produces non-invertible duality defects whose fusion rules are derived explicitly from parent theories with mixed anomalies.
-
Categorified structures over moduli spaces: Anomalies, non-invertible symmetries, and exceptional holonomy
The paper conjectures that non-invertible Ising and tricritical Ising symmetries organize closed string states and D-brane categories into categorical bundles over moduli spaces of exceptional holonomy compactifications.
-
Categorical symmetries of T-duality
The categorical automorphism group of the strict Lie 2-group classifying topological T-duality correspondences is a non-central categorical extension of the integral split pseudo-orthogonal group that splits over seve...
-
Quantum geometry from higher gauge theory
The BFCG-Yetter model and the KBF state sum produce the same single-4-simplex amplitude when evaluated on boundary states called G-networks.
-
Holographic Theory of Mixed-Dimensional Statistics and Conservation-Encoding Hopping-Operator Algebras
Statistics of G-conserved invertible mixed-dimensional excitations in d-space are classified by H^{d+2}(BG; R/Z) and realized as boundary excitations of an ω-twisted higher-group gauge theory.
-
On Quantum Aspects of 1-Form Symmetries I: BV-BRST Cohomology and Anomaly Polynomials
Develops Čech-de Rham bicomplex from gerbe data for BV-BRST cohomology of U(1) 2-form gauge theories and anomaly polynomials of 1-form symmetries.
-
Generalized forms of types N = 1, 2 and higher gauge theory
Strict 2- and 3-gauge theory is re-expressed in a single generalized-form formalism in which higher connections, curvatures, Bianchi identities, and gauge transformations match ordinary gauge-theory form, yielding uni...
-
Entanglement of Sections: The pushout of entangled and parameterized quantum information
The pushout of entangled and parameterized quantum information in monoidal categories yields the external tensor product on flat K-theory bundles.
-
Unitary Categorical Symmetries
The paper proposes that twisted-sector local operators transform in *-representations of the tube algebra of a higher fusion category symmetry, and classifies these representations using higher S-matrices.
Discussion (0). Continue with ORCID to comment.