Fusion Category Symmetry

• Fusion category symmetry is a framework where symmetry defects are labeled by simple objects in a unitary fusion category, extending conventional finite-group symmetry.
• It encodes fusion, duality, and associativity via F-symbols and quantum dimensions, providing a rigorous method for anomaly detection and classification of gapped phases.
• Exact lattice realizations and operator-algebraic models demonstrate its practical implementation in 1+1 dimensions and offer pathways to higher-categorical generalizations.

Fusion category symmetry is a generalized symmetry structure in which topological defects are not organized by a group of invertible operators but by a fusion category. In $1+1$ dimensions, the basic symmetry defects are topological line operators labeled by simple objects of a unitary fusion category $\mathcal A$; their fusion, duality, and associativity are encoded by fusion multiplicities, dual objects, and $F$-symbols. This framework subsumes ordinary finite-group symmetry as a special case, accommodates non-invertible defects with quantum dimensions larger than one, and admits a bulk interpretation through the Drinfeld center and symmetry topological field theory. The modern literature treats fusion category symmetry simultaneously as an algebraic structure, an anomaly-detection problem, a classification principle for gapped phases and SPT phases, and a source of explicit lattice constructions and higher-categorical generalizations (Thorngren et al., 2019, Zhang et al., 2023).

1. Defect data and categorical structure

In $1+1$ dimensions, a fusion category symmetry is specified by a unitary fusion category $\mathcal A$ whose simple objects $a\in\mathrm{Ob}(\mathcal A)$ label topological line defects. Their fusion is

$a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$

with $N_{ab}^c\in\mathbb N$, a tensor unit $1$, and duals $\bar a$ such that $\mathcal A$0 appears in $\mathcal A$1. Associativity is controlled by $\mathcal A$2-symbols $\mathcal A$3, which satisfy the pentagon equation. Quantum dimensions $\mathcal A$4 are determined by

$\mathcal A$5

Invertible simple objects satisfy $\mathcal A$6, while genuinely non-invertible defects have $\mathcal A$7. If the category is braided, it also has $\mathcal A$8-symbols obeying hexagon equations (Zhang et al., 2023).

This recovers ordinary finite-group symmetry when the category is group-like, for example $\mathcal A$9, but the categorical formulation is strictly broader. In the defect-line language of $F$0-dimensional QFT, the operators $F$1 obey

$F$2

and consistency of different fusion orderings is precisely the pentagon constraint on the $F$3-symbols. The same structure appears in rational CFT, anyon-chain models, and topological boundary theories (Thorngren et al., 2019).

The $F$4-symbols are the categorical analogue of $F$5-symbols. Under minimal assumptions—$F$6-linearity, semisimplicity, finitely many simple objects, and simple unit—these $F$7-symbols enjoy tetrahedral $F$8-symmetry, and this result does not require pivotality, braiding, or unitarity. The formulation via veined fusion categories isolates the associator data while remaining monoidally equivalent to the original fusion category (Fuchs et al., 2021).

The framework is not restricted to isolated finite examples. In $F$9-dimensional CFT, continuous families of topological defect lines can also occur; in the $1+1$0 analysis, continuous fusion category symmetries are related by a Noether theorem to non-local conserved currents. This places categorical symmetry alongside both discrete and continuous symmetry structures, but with the crucial distinction that the defect algebra is generally non-invertible (Thorngren et al., 2021).

2. Anomalies, fiber functors, and the bulk Drinfeld center

A central distinction is between anomaly-free and anomalous fusion category symmetry. Physically, $1+1$1 is non-anomalous if there exists a trivially gapped $1+1$2-dimensional phase with a unique ground state on the circle whose topological lines realize exactly $1+1$3. Mathematically, this is equivalent to the existence of a fiber functor

$1+1$4

or, in Hilbert-space form, to $1+1$5. In the group-like case $1+1$6, the obstruction is the familiar $1+1$7; in the non-invertible case the obstruction is categorical rather than purely group-cohomological (Zhang et al., 2023).

The bulk object governing anomalies is the Drinfeld center $1+1$8. Its simple objects are pairs $1+1$9, with $\mathcal A$0 and half-braiding

$\mathcal A$1

satisfying the standard compatibility condition $\mathcal A$2. The center is a braided fusion category and describes the $\mathcal A$3-dimensional topological order, or symmetry TFT, whose gapped boundaries classify all $\mathcal A$4-dimensional gapped phases with $\mathcal A$5-symmetry, including symmetry-breaking phases (Zhang et al., 2023).

Gapped boundaries of $\mathcal A$6 are in one-to-one correspondence with Lagrangian algebras $\mathcal A$7. Such an algebra is a commutative separable algebra object with

$\mathcal A$8

There is always a canonical electric Lagrangian algebra $\mathcal A$9, corresponding to a fully symmetry-broken boundary. The anomaly criterion is the existence of a distinct magnetic Lagrangian algebra $a\in\mathrm{Ob}(\mathcal A)$0 disjoint from $a\in\mathrm{Ob}(\mathcal A)$1, equivalently $a\in\mathrm{Ob}(\mathcal A)$2. The symmetry is anomaly-free exactly when such an $a\in\mathrm{Ob}(\mathcal A)$3 exists (Zhang et al., 2023).

This criterion refines the boundary classification of $a\in\mathrm{Ob}(\mathcal A)$4-dimensional gapped phases by module categories. In the Turaev–Viro/Levin–Wen picture, gapped phases with symmetry $a\in\mathrm{Ob}(\mathcal A)$5 are classified by module categories over $a\in\mathrm{Ob}(\mathcal A)$6, and symmetry-preserving SPT phases correspond to the single-simple-object case, equivalently to fiber functors. The boundary/bulk relation is therefore not auxiliary: it is the mechanism by which ’t Hooft anomalies become topological obstructions in one higher dimension (Thorngren et al., 2019).

3. Gapped phases, SPT phases, and symmetry breaking

For non-anomalous fusion category symmetry, the classification of $a\in\mathrm{Ob}(\mathcal A)$7-dimensional gapped phases parallels but extends the finite-group story. Indecomposable semisimple $a\in\mathrm{Ob}(\mathcal A)$8-module categories classify gapped phases, with symmetry-preserving SPT phases corresponding to simple algebraic data and symmetry-breaking phases corresponding to module categories with multiple simples. In the Hopf-algebraic realization $a\in\mathrm{Ob}(\mathcal A)$9, these phases are classified by $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$0-simple left $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$1-comodule algebras up to equivariant Morita equivalence (Inamura, 2021).

A recurring point in recent work is that an anomaly-free fusion-category symmetry is not specified by the fusion category alone. The ultraviolet datum is the pair $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$2, where $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$3 is a unitary fiber functor. This pair determines an on-site kinematical realization, a charge category $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$4, and a trivial phase. In this formulation, SPT phases are classified by Q-systems in the charge category whose image under the forgetful functor is a full matrix algebra $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$5. Fixed-point MPS/TN models built from such Q-systems give explicit microscopic realizations of non-invertible SPT phases (Meng et al., 2024).

The example $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$6 makes the structure concrete. The paper constructs all three SPT phases for this symmetry category, including the trivial phase, identifies the corresponding Q-systems in $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$7, and shows that the three fiber functors form an $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$8-torsor under $a\otimes b \;\cong\; \bigoplus_c N_{ab}^c\,c,$9. The associated lattice dualities realize the categorical statement that the three phases are related by $N_{ab}^c\in\mathbb N$0-duality (Meng et al., 2024).

Time-reversal enlarges the classification problem from oriented to unoriented TQFT. In the SPT regime, $N_{ab}^c\in\mathbb N$1-dimensional bosonic phases with $N_{ab}^c\in\mathbb N$2 symmetry are classified by equivalence classes of quintuples

$N_{ab}^c\in\mathbb N$3

where $N_{ab}^c\in\mathbb N$4 is a fiber functor, $N_{ab}^c\in\mathbb N$5 is the purely time-reversal sign, and $N_{ab}^c\in\mathbb N$6 is compatible with duality and fusion. This reproduces the group-cohomological classification in the special case $N_{ab}^c\in\mathbb N$7, while extending it to non-invertible and self-dual settings such as Tambara–Yamagami symmetry (Inamura, 2021).

4. Lattice realizations and operator-algebraic formulations

Fusion category symmetry admits several exact lattice realizations. One approach starts from a finite-dimensional semisimple Hopf algebra $N_{ab}^c\in\mathbb N$8 with $N_{ab}^c\in\mathbb N$9 and an $1$0-simple left $1$1-comodule algebra $1$2. The resulting state-sum TQFT and commuting-projector Hamiltonian realize all $1$3-dimensional gapped phases with non-anomalous symmetry $1$4. The boundary-condition category is the $1$5-module category $1$6, while the Hamiltonian

$1$7

has the same ground-state projector as the state-sum cylinder (Inamura, 2021).

A complementary route constructs the symmetry operators as matrix-product operators from the Hopf algebra reconstructed by the fiber functor. For a chain with local Hilbert space $1$8, the virtual bond spaces of the MPOs are $1$9 for each simple $\bar a$0, and dualizability forces

$\bar a$1

The coend

$\bar a$2

produces the charge category and the local MPO tensors $\bar a$3; Q-systems in the charge category then furnish fixed-point commuting-projector models (Meng et al., 2024).

The operator-algebraic formulation recasts the same structure in the thermodynamic limit. Given a physical boundary subalgebra $\bar a$4 of a quasi-local algebra, one obtains a canonical fusion category $\bar a$5 acting by bimodules, together with locality-preserving quantum channels $\bar a$6 for each simple $\bar a$7. The invariant algebra is

$\bar a$8

This framework yields a categorical Lieb–Schultz–Mattis theorem: if a pure symmetric state is topological, the corresponding algebra in $\bar a$9 must be Lagrangian; if $\mathcal A$00 has no fiber functor, then any pure symmetric state is necessarily gapless (Evans et al., 7 Jul 2025).

These realizability results come with sharp constraints. If a fusion category acts by bounded-spread bimodules on a tensor-product spin chain, then all quantum dimensions must be integers; conversely, every integral fusion category admits such a bounded-spread action. A strictly on-site action exists if and only if the category admits a fiber functor (Evans et al., 7 Jul 2025). Refining the realization by QCAs extends the construction to all weakly integral fusion categories on tensor-product Hilbert spaces, with QCA and symmetry-operator indices fixed by the categorical data up to redefinitions of the symmetry operators (Wen et al., 14 May 2026). After stabilization by infinite-dimensional ancilla spaces, any unitary fusion category can be realized on a tensor product of infinite-dimensional Hilbert spaces, and any two anyon chains with the same symmetry category become stably equivalent under a locality-preserving unitary (Bunner et al., 20 May 2026).

5. Canonical examples and physical phenomena

Tambara–Yamagami categories are the standard family of examples. For

$\mathcal A$01

the simple objects are $\mathcal A$02, with

$\mathcal A$03

Their anomaly structure is particularly explicit. For $\mathcal A$04, the magnetic Lagrangian algebra exists exactly in the cases stated by the fiber-functor classification: for $\mathcal A$05 odd, anomaly-freedom requires $\mathcal A$06 and $\mathcal A$07 hyperbolic; concretely for $\mathcal A$08, $\mathcal A$09 exists exactly when $\mathcal A$10 is either the off-diagonal bicharacter or the diagonal bicharacter with $\mathcal A$11 a quadratic residue mod $\mathcal A$12, and $\mathcal A$13 must be $\mathcal A$14 (Zhang et al., 2023).

The Ising category is the minimal non-invertible example, with simple objects $\mathcal A$15, dimensions $\mathcal A$16, $\mathcal A$17, and fusion

$\mathcal A$18

Because $\mathcal A$19, it does not admit a trivially gapped symmetry-preserving phase, and this is reflected both in continuum and lattice analyses. The $\mathcal A$20 CFT study identifies Ising- and TY-type duality lines, continuous fusion symmetries, and RG constraints from anomaly matching (Thorngren et al., 2021). The $\mathcal A$21 lattice study finds three phases in an Ising fusion-category chain: a symmetric critical phase in the usual critical Ising universality class, a categorical ferromagnetic phase with threefold ground-state degeneracy and fully broken Ising fusion symmetry, and a categorical antiferromagnetic phase that breaks translation and part of the symmetry while remaining critical; no gapped symmetric phase appears (Roychowdhury et al., 22 Apr 2026).

These examples correct a common misconception: non-invertibility does not by itself imply anomaly. Tambara–Yamagami categories can be anomaly-free for specific $\mathcal A$22, and $\mathcal A$23 admits explicit non-invertible SPT phases (Zhang et al., 2023, Meng et al., 2024). The correct criterion is the fiber-functor or magnetic-Lagrangian-algebra condition, not the mere presence of a simple object with $\mathcal A$24.

Explicit weak-Hopf realizations further enlarge the example set. A weak Hopf boundary tube algebra for the Ising category yields an exactly solvable cluster-state Hamiltonian whose cocommutative symmetry operators satisfy the Ising fusion relations on both open and closed chains (Jia, 4 Aug 2025). A related construction reconstructs the Haagerup weak Hopf algebra $\mathcal A$25, realizes Haagerup fusion category symmetry on a tensor-product chain, and produces a weak-Hopf MPS ground state described as a natural generalization of the cluster state (Jia, 2024).

6. Higher-categorical extensions and related directions

Fusion category symmetry in $\mathcal A$26 dimensions is part of a broader hierarchy of categorical symmetries. One systematic upgrade replaces a braided fusion category $\mathcal A$27 by its condensation completion $\mathcal A$28, a fusion $\mathcal A$29-category whose objects are separable algebras in $\mathcal A$30, whose $\mathcal A$31-morphisms are bimodules, and whose higher associativity data are encoded in $\mathcal A$32-symbols. The worked example $\mathcal A$33 makes these data explicit and computable (Xi et al., 2023).

In $\mathcal A$34 dimensions, categorical symmetry is described by fusion $\mathcal A$35-categories. One construction starts from a fusion $\mathcal A$36-category $\mathcal A$37 and produces fusion surface models: $\mathcal A$38-dimensional commuting-projector systems with topological surface and line operators acting as non-invertible symmetries. This includes group anomalies, one-form symmetries, non-invertible one-form symmetries, and the Kitaev honeycomb model as special cases (Inamura et al., 2023). A more general classification result argues that finite spherical fusion $\mathcal A$39-categories arise from triples $\mathcal A$40 encoded by $\mathcal A$41-twisted $\mathcal A$42-crossed extensions of modular categories, thereby organizing categorical symmetries in oriented $\mathcal A$43-dimensional field theory through anomaly cancellation in $\mathcal A$44-dimensional Dijkgraaf–Witten theory (Bullimore et al., 2024).

In $\mathcal A$45 dimensions, self-duality defects lead to fusion $\mathcal A$46-categories. The generalized Tambara–Yamagami fusion $\mathcal A$47-categories studied in the duality-defect literature are classified by graded extensions of $\mathcal A$48, with Brauer–Picard and Picard $\mathcal A$49-groupoids controlling the extension data. Their centers, sylleptic structures, and generalized Witt groups provide the higher-dimensional analogue of the center/Lagrangian-algebra viewpoint familiar from $\mathcal A$50-dimensional fusion category symmetry (Bhardwaj et al., 2024).

Related extensions include $\mathcal A$51-graded fusion-category lattice models interpolating between anyon chains and SPT-edge models (Ning et al., 2023), and fermionization procedures in which a bosonic $\mathcal A$52 symmetry becomes a superfusion-category symmetry $\mathcal A$53 for a weak Hopf superalgebra $\mathcal A$54 determined by a non-anomalous $\mathcal A$55 subgroup (2206.13159). Taken together, these developments indicate that fusion category symmetry is best regarded not as an isolated $\mathcal A$56-dimensional phenomenon but as the first layer of a higher-categorical hierarchy linking defects, anomalies, topological phases, and lattice realizations across dimensions.