Fusion categories and homotopy theory
read the original 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.
This paper has not been read by Pith yet.
Forward citations
Cited by 8 Pith papers
-
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 exhibit unusual structures outside standard boundary CFT modules and typically break non-group-like symmetries, characterized via smeared boundary CFTs with an example in the tr...
-
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.
-
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 equivarian...
-
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.
-
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.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.