The paper proves that 2-group symmetries in 3D defect TQFTs from G-crossed braided fusion categories have no gauging obstructions and that gauging the 0-form G-symmetry on the neutral component produces the equivariantisation, with a reciprocal relation when G is commutative.
Fusion categories and homotopy theory
7 Pith papers cite this work. Polarity classification is still indexing.
abstract
We apply the yoga of classical homotopy theory to classification problems of G-extensions of fusion and braided fusion categories, where G is a finite group. Namely, we reduce such problems to classification (up to homotopy) of maps from BG to classifiying spaces of certain higher groupoids. In particular, to every fusion category C we attach the 3-groupoid BrPic(C) of invertible C-bimodule categories, called the Brauer-Picard groupoid of C, such that equivalence classes of G-extensions of C are in bijection with homotopy classes of maps from BG to the classifying space of BrPic(C). This gives rise to an explicit description of both the obstructions to existence of extensions and the data parametrizing them; we work these out both topologically and algebraically. One of the central results of the paper is that the 2-truncation of BrPic(C) is canonically the 2-groupoid of braided autoequivalences of the Drinfeld center Z(C) of C. In particular, this implies that the Brauer-Picard group BrPic(C) (i.e., the group of equivalence classes of invertible C-bimodule categories) is naturally isomorphic to the group of braided autoequivalences of Z(C). Thus, if C=Vec(A), where A is a finite abelian group, then BrPic(C) is the orthogonal group O(A+A^*). This allows one to obtain a rather explicit classification of extensions in this case; in particular, in the case G=Z/2, we rederive (without computations) the classical result of Tambara and Yamagami. Moreover, we explicitly describe the category of all (Vec(A1),Vec(A2))-bimodule categories (not necessarily invertible ones) by showing that it is equivalent to the hyperbolic part of the category of Lagrangian correspondences.
citation-role summary
citation-polarity summary
verdicts
UNVERDICTED 7roles
background 2representative citing papers
Higher gauging of 1-form symmetries on surfaces in 2+1d QFT yields condensation defects whose fusion rules involve 1+1d TQFTs and realizes every 0-form symmetry in TQFTs.
Parameterized families of toric code Hamiltonians realize em-duality pumping and higher-order anyon pumping, diagnosed by topological pumping into tensor-network bond spaces and corner modes.
Gapped phases dual to massless RG flows in 2D CFTs exhibit unusual ordering via spontaneous breaking of non-group-like symmetries and are characterized using smeared boundary CFTs applied to smeared Ishibashi states.
Gauging and duality transformations are equivalent up to constant depth quantum circuits in one-dimensional quantum lattice models, demonstrated via matrix product operators.
Illustrates relations among gauging methods for invertible symmetries in 3D TQFTs and proves Morita equivalence of zested orbifold data for related symmetries.
The paper defines self-G-ality conditions for fusion category symmetries in 1+1D systems and derives LSM-type constraints on many-body ground states along with lattice model examples.
citing papers explorer
-
2-Group Symmetries of 3-dimensional Defect TQFTs and Their Gauging
The paper proves that 2-group symmetries in 3D defect TQFTs from G-crossed braided fusion categories have no gauging obstructions and that gauging the 0-form G-symmetry on the neutral component produces the equivariantisation, with a reciprocal relation when G is commutative.
-
Higher Gauging and Non-invertible Condensation Defects
Higher gauging of 1-form symmetries on surfaces in 2+1d QFT yields condensation defects whose fusion rules involve 1+1d TQFTs and realizes every 0-form symmetry in TQFTs.
-
Parameterized Families of Toric Code Phase: $em$-duality family and higher-order anyon pumping
Parameterized families of toric code Hamiltonians realize em-duality pumping and higher-order anyon pumping, diagnosed by topological pumping into tensor-network bond spaces and corner modes.
-
Characterizing bulk properties of gapped phases by smeared boundary conformal field theories: Role of duality in unusual ordering
Gapped phases dual to massless RG flows in 2D CFTs exhibit unusual ordering via spontaneous breaking of non-group-like symmetries and are characterized using smeared boundary CFTs applied to smeared Ishibashi states.
-
From gauging to duality in one-dimensional quantum lattice models
Gauging and duality transformations are equivalent up to constant depth quantum circuits in one-dimensional quantum lattice models, demonstrated via matrix product operators.
-
Examples of Invertible Gauging via Orbifold Data, Zesting, and Equivariantisation
Illustrates relations among gauging methods for invertible symmetries in 3D TQFTs and proves Morita equivalence of zested orbifold data for related symmetries.
-
Self-$G$-ality in 1+1 dimensions
The paper defines self-G-ality conditions for fusion category symmetries in 1+1D systems and derives LSM-type constraints on many-body ground states along with lattice model examples.