On 2-form gauge models of topological phases

Abstract

We explore various aspects of 2-form topological gauge theories in (3+1)d. These theories can be constructed as sigma models with target space the second classifying space $B^{2}G$ of the symmetry group $G$, and they are classified by cohomology classes of $B^{2}G$. Discrete topological gauge theories can typically be embedded into continuous quantum field theories. In the 2-form case, the continuous theory is shown to be a strict 2-group gauge theory. This embedding is studied by carefully constructing the space of $q$-form connections using the technology of Deligne-Beilinson cohomology. The same techniques can then be used to study more general models built from Postnikov towers. For finite symmetry groups, 2-form topological theories have a natural lattice interpretation, which we use to construct a lattice Hamiltonian model in (3+1)d that is exactly solvable. This construction relies on the introduction of a cohomology, dubbed 2-form cohomology, of algebraic cocycles that are identified with the simplicial cocycles of $B^{2}G$ as provided by the so-called $W$-construction of Eilenberg-MacLane spaces. We show algebraically and geometrically how a 2-form 4-cocycle reduces to the associator and the braiding isomorphisms of a premodular category of $G$-graded vector spaces. This is used to show the correspondence between our 2-form gauge model and the Walker-Wang model.

78 pages

References in corpus (12)

• Generalized Global Symmetries
• Higher Topos Theory
• Higher-Dimensional Algebra V: 2-Groups
• Comments on One-Form Global Symmetries and Their Gauging in 3d and 4d
• Twisted Quantum Double Model of Topological Phases in Two--Dimension
• Twisted Gauge Theory Model of Topological Phases in Three Dimensions
• Non-Abelian String and Particle Braiding in Topological Order: Modular SL(3,Z) Representation and 3+1D Twisted Gauge Theory
• Heisenberg Groups and Noncommutative Fluxes
• Higher Gauge Theory: 2-Connections on 2-Bundles
• Anomalies of discrete symmetries in various dimensions and group cohomology
• Abelian Chern-Simons theory with toral gauge group, modular tensor categories, and group categories
• Topological Quantum Field Theories from Compact Lie Groups

Cited by in corpus (1)

• Higher-form symmetries and 3-group in axion electrodynamics