REVIEW 11 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 11 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...
-
Higher symmetries and anomalies in quantum lattice systems
For 1d and 2d quantum lattice systems, this paper shows that anomaly indices are naturally viewed as the pullback of the Postnikov class of a 2-group or 3-group of local symmetries, so anomalies arise from mixing ordi...
-
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.