On Gauging Symmetry of Modular Categories

Abstract

Topological order of a topological phase of matter in two spacial dimensions is encoded by a unitary modular (tensor) category (UMC). A group symmetry of the topological phase induces a group symmetry of its corresponding UMC. Gauging is a well-known theoretical tool to promote a global symmetry to a local gauge symmetry. We give a mathematical formulation of gauging in terms of higher category formalism. Roughly, given a UMC with a symmetry group $G$, gauging is a 2-step process: first extend the UMC to a $G$-crossed braided fusion category and then take the equivariantization of the resulting category. Gauging can tell whether or not two enriched topological phases of matter are different, and also provides a way to construct new UMCs out of old ones. We derive a formula for the $H^4$-obstruction, prove some properties of gauging, and carry out gauging for two concrete examples.

Final version. To appear in CMP (without the appendix)

References in corpus (3)

• Group-theoretical properties of nilpotent modular categories
• On $G$--equivariant modular categories
• On the Brauer groups of symmetries of abelian Dijkgraaf-Witten theories

Cited by in corpus (46)

• Fermionic Modular Categories and the 16-fold Way
• Reflection and time reversal symmetry enriched topological phases of matter: path integrals, non-orientable manifolds, and anomalies
• In and around Abelian anyon models
• Orbifolds of n-dimensional defect TQFTs
• Topological phases from higher gauge symmetry in 3+1D
• On invariants of Modular categories beyond modular data
• Time-reversal and spatial reflection symmetry localization anomalies in (2+1)D topological phases of matter
• Minimal nondegenerate extensions
• Relative Anomalies in (2+1)D Symmetry Enriched Topological States
• Absolute anomalies in (2+1)D symmetry-enriched topological states and exact (3+1)D constructions
• Higher Categories and Topological Quantum Field Theories
• A study of time reversal symmetry of abelian anyons
• Higher central charges and Witt groups
• Orbifolds of Reshetikhin-Turaev TQFTs
• Classification of Metaplectic Modular Categories
• Spontaneous symmetry breaking from anyon condensation
• Anomaly cascade in (2+1)D fermionic topological phases
• Coherence for monoidal $G$-categories and braided $G$-crossed categories
• Braided zesting and its applications
• From Three Dimensional Manifolds to Modular Tensor Categories
• 3-Fermion topological quantum computation
• Vanishing of categorical obstructions for permutation orbifolds
• Galois Orbits of TQFTs: Symmetries and Unitarity
• $a\times b=c$ in $2+1$D TQFT
• Fusion 3-Categories for Duality Defects
• Extended Functorial Field Theories and Anomalies in Quantum Field Theories
• Gauging Categorical Symmetries in 3d Topological Orders and Bulk Reconstruction
• Beyond Anyons
• Computing Defects Associated to Bounded Domain Wall Structures: The $\mathrm{Vec}(\mathbb{Z}/p\mathbb{Z})$ Case
• Characterization and Classification of Fermionic Symmetry Enriched Topological Phases
• Anomaly of $(2+1)$-Dimensional Symmetry-Enriched Topological Order from $(3+1)$-Dimensional Topological Quantum Field Theory
• Electric-magnetic duality and ${\mathbb{Z}}_2$ symmetry enriched Abelian lattice gauge theory
• Gauging Defects in Quantum Spin Systems
• Fusion Rules for $\mathbb{Z}/2\mathbb{Z}$ Permutation Gauging
• Soft symmetries of topological orders
• Minimal modular extensions for super-Tannakian categories
• Metaplectic Categories, Gauging and Property F
• The rank of $G$-crossed braided extensions of modular tensor categories
• Torsorial actions on G-crossed braided tensor categories
• Permutation actions on modular tensor categories of topological multilayer phases
• Braid group representations from twisted tensor products of algebras
• On Realizing Modular Data
• $G$-crossed braided zesting
• Exactly solvable models for fermionic symmetry-enriched topological phases and fermionic 't Hooft anomaly
• On Generalized Symmetries and Structure of Modular Categories
• Group-theoretical property of some integral non-degenerate fusion categories