---
title: Fusion Category Symmetries
url: https://www.emergentmind.com/topics/fusion-category-symmetries
type: topic
---

# Fusion Category Symmetries

Fusion category symmetries generalize finite group symmetries by encoding all finite–type topological defect lines—both invertible and non-invertible—via the structure of a rigid semisimple monoidal category with finitely many simple objects and fusion/rule data (fusion coefficients and associators). In 1+1 dimensions, these symmetries are realized in QFTs and lattice models as non-invertible symmetries, whose action on boundary conditions/gapped phases is controlled by the theory of module categories. The classification of gapped phases, construction of TQFTs and lattice Hamiltonians, and the anomaly structure of these symmetries now admit a complete description in terms of Hopf (and weak Hopf) algebra data, module categories, and categorical Morita theory. The framework extends to the description and realization of anomalous and non-anomalous fusion category symmetries, including SPT phases and their edge phenomena.

## 1. Algebraic Framework of Fusion Category Symmetries

A fusion category $\mathcal{C}$ over a field (characteristic zero) is defined as a rigid semisimple monoidal category with finitely many simple objects, simple tensor unit, and finite-dimensional Hom spaces. The data includes:

- Simple objects $x \in \mathrm{Ob}(\mathcal{C})$ representing topological defect lines.
- Fusion rules:
  \[
  x \otimes y \cong \bigoplus_{z \in \mathrm{Irr}(\mathcal{C})} N_{xy}^z\, z, \qquad N_{xy}^z \in \mathbb{Z}_{\geq 0}
  \]
- Associators $\alpha_{x,y,z} : (x \otimes y) \otimes z \to x \otimes (y \otimes z)$, whose matrix elements in chosen bases are the $F$-symbols:
  \[
  F^{abc}_d : \bigoplus_e \mathrm{Hom}(a \otimes b, e) \otimes \mathrm{Hom}(e \otimes c, d) \rightarrow \bigoplus_f \mathrm{Hom}(b \otimes c, f) \otimes \mathrm{Hom}(a \otimes f, d)
  \]
  satisfying the pentagon relation, enforcing associativity up to coherent isomorphism.

Fusion category symmetries generalize group symmetries by allowing non-invertible objects and nontrivial self-fusion ($N_{xx}^y>0$, $x \neq y$). The trivial group case arises as $\mathcal{C} = \mathrm{Vec}_G$, while Tambara–Yamagami, Kac–Paljutkin, and other fusion categories arise when $N_{xy}^z$ and $F$-symbols implement duality or more exotic non-invertible symmetries [2110.12882].

## 2. State-Sum TQFTs and Lattice Realizations

Any non-anomalous fusion category symmetry in 1+1d is realized via state-sum TQFT and commuting-projector lattice Hamiltonians. The central construction is as follows:

- Given a finite-dimensional semisimple Hopf algebra $H$, every non-anomalous $\mathcal{C}$ is equivalent to $\mathrm{Rep} H$.
- Indecomposable gapped phases with $\mathcal{C}$ symmetry correspond to $H$-simple left $H$-comodule algebras $K$:
  \[
  \mathrm{Rep}\, H\text{–module categories} \simeq \{\text{left $K$-modules} \mid K \text{ is $H$-simple left $H$-comodule algebra}\}
  \]
- The state-sum TQFT assigns to each triangulated surface $\Sigma$ a vector space built from $K$ and its bimodules. Partition functions are expressed as weighted sums over edge/face labelings, implementing the categorical data of $K$.
- The corresponding 1d lattice Hamiltonian is:
  \[
  H = \sum_i(1-h_{i,i+1}), \quad h_{i,i+1} = \Delta_K \circ m_K : K_i \otimes K_{i+1} \rightarrow K_i \otimes K_{i+1}
  \]
  where $h_{i,i+1}$ are commuting projectors due to Frobenius separability and symmetry.

The global symmetry action on the lattice is implemented by the $H$-comodule structure $\lambda_K : K \to H \otimes K$, giving explicit operators $U_V$ whose commutation with $H$ follows from Hopf algebra identities [2110.12882].

## 3. Classification of Gapped Phases and Module Categories

Indecomposable module categories over $\mathcal{C}$ classify symmetry-respecting gapped phases; boundary conditions correspond to simple $K$-modules $M$:
\[
\langle M \rangle = \sum_{i_1...\i_N} \operatorname{Tr}(T_M(e_{i_1})...T_M(e_{i_N})) \langle e_{i_1},...,e_{i_N}\rangle
\]
where $T_M : K \rightarrow \operatorname{End}(M)$. The action of symmetry defects (simple bimodules $Y \in {}_K M_K$) on boundaries is realized by tensor product over $K$, inducing the module category structure:
\[
\langle Y \cdot M_j \rangle = \langle Y \otimes_K M_j \rangle = \sum_i N^{Y}_{ij} \langle M_i \rangle
\]
This implements non-negative integer matrix representations (NIM-reps) of $\mathcal{C}$ on the vacua of the boundary system, providing a correspondence with the Ostrik classification of module categories and SPT phases [2110.12882].

## 4. Anomaly Structure and Weak Hopf Generalization

A fusion category symmetry $\mathcal{C}$ is non-anomalous if and only if it admits a fiber functor (i.e., is Tannakian, equivalent to a representation category of a semisimple Hopf algebra). In the presence of anomaly, the appropriate categorical data generalizes to weak (pseudo-unitary connected) semisimple Hopf algebras:
\[
\mathcal{C} \simeq \mathrm{Rep}\, H, \quad H \text{ weak Hopf}, \;\; S^2 = \mathrm{Id}
\]
State-sum constructions, commuting-projector Hamiltonians, and module-category boundary descriptions all extend to this context, with minimal modifications for the nontrivial comultiplication, antipode, and partial associativity of $H$ [2110.12882].

Obstructions to anomaly-freeness are realized concretely as the nonexistence of "magnetic" Lagrangian algebras in the Drinfeld center $\mathcal{Z}(\mathcal{C})$ or, equivalently, the failure to construct a single-vacuum module category [2304.01262].

## 5. Tetrahedral Symmetry and Structural Constraints

The $6j$-symbols ($F$-symbols) in any fusion category satisfy full tetrahedral $S_4$ symmetries under minimal hypotheses: no pivotal or unitarity structure is required, as the tetrahedral group acts on the set of associator transformations by permuting the tensor factors and dualities. Explicitly,
\[
F^{i,j,k;\ell}_{p,q}(\alpha,\beta;\gamma,\delta) = F^{j,i,k;\ell}_{q,p}(\beta,\alpha;\gamma,\delta)
\]
and similar relations for all permutations, as established in [2106.16186]. This symmetry is critical in both categorical computations and in the geometric interpretation of state-sum (TQFT) amplitudes, where the $F$-symbol corresponds to tetrahedron weights that are invariant under apex relabelling.

## 6. Examples: Group and Duality Symmetries, SPT Edge Modes

For $\mathcal{C} = \mathrm{Rep}\, G$ with $G$ finite, phases are labelled by subgroups $H \leq G$ and cocycle data $\omega \in H^2(H, U(1))$. The algebra $K$ and its boundary module structure encode SPT and Higgs phases, boundary ground state degeneracies, and edge anomalies (in SPTs, nontrivial edge degeneracy arises from the projective module structure of $M$ under $K$). In the case of maximal Higgsing, the dual- or self-dual Ising fixed point can be constructed explicitly.

Kramers–Wannier-like dualities (Tambara–Yamagami categories) admit gapped symmetric phases only when the fiber functor (i.e., bosonization) exists. The obstruction is diagnosed via fusion rules and the existence (or not) of the requisite module category structure [2110.12882, 2103.15588, 2304.01262].

## 7. Edge Modes and Physical Realizations

On an open lattice with $K$-localized Hilbert spaces, unique simple $K$ implies unique ground state, but in the SPT case, the edge hosts a degeneracy equal to $\dim M$ at each boundary. This degeneracy is "topologically protected," realizing the expected SPT edge physics. 

The construction provides an explicit algebraic and lattice realization for any non-anomalous fusion category symmetry, including non-invertible and duality-induced symmetries [2110.12882].

---

**References:**
- "On lattice models of gapped phases with fusion category symmetries" [2110.12882]
- "Tetrahedral symmetry of 6j-symbols in fusion categories" [2106.16186]
- "Anomalies of (1+1)D categorical symmetries" [2304.01262]
- "Topological field theories and symmetry protected topological phases with fusion category symmetries" [2103.15588]

Source: https://www.emergentmind.com/topics/fusion-category-symmetries