---
title: Fusion Rules for Commutant Subalgebras
url: https://www.emergentmind.com/topics/fusion-rules-for-commutant-subalgebras
type: topic
---

# Fusion Rules for Commutant Subalgebras

A commutant subalgebra in the context of fusion categories and vertex operator algebras (VOAs) is the set of objects or operators in a larger structure that commute with a given substructure under fusion or operator product. The determination of fusion rules—the structure coefficients for tensor products of simple objects and modules—of such commutant subalgebras is deeply intertwined with the categorical and algebraic properties of the ambient category, as well as the interplay between subcategories arising from constructions such as the relative Drinfeld commutant and α-induction. The study of these fusion rules not only illuminates the structure and representation theory of operator algebras and quantum field theories but also provides categorical frameworks for understanding decompositions, modular invariants, and symmetry-breaking phenomena.

## 1. The Relative Drinfeld Commutant: Definitions and Core Structures

Let $\mathcal{D}$ be a unitary fusion category and $\mathcal{C}\subset\mathcal{D}$ a full fusion subcategory. The relative Drinfeld commutant, denoted $\mathcal{C}'\cap\mathcal{D}$, is the fusion category whose objects are pairs $(o, E)$, where $o\in\mathrm{Ob}(\mathcal{D})$ and $E=\{E(\beta)\}$ is a half-braiding: a family of unitary intertwiners
\[
E(\beta)\in\mathrm{Hom}(o\circ\beta,\,\beta\circ o),\quad \beta\in\mathrm{Irr}(\mathcal{C}),
\]
satisfying a “braiding–fusion” equation corresponding to naturality with respect to the tensor product structure in $\mathcal{C}$:
\[
E(\beta_1\beta_2)\circ(o\circ X) = (\beta_1\circ E(\beta_2))\circ(E(\beta_1)\circ\beta_2)\circ X
\]
for all $X\in\mathrm{Hom}(\beta_2,\,\beta_1\beta_2)$ and $\beta_{1,2}\in\mathrm{Irr}(\mathcal{C})$ [1706.06816].

Morphisms in $\mathcal{C}'\cap\mathcal{D}$ are intertwiners in $\mathcal{D}$ compatible with half-braidings. The tensor product is given by
\[
(o, E)\otimes(o', E') = \left(o\circ o',\,\left\{ E(\beta)\circ o'\, \circ\, o\circ E'(\beta)\right\}_\beta\right).
\]

The corresponding tube algebra, $Tube(\mathcal{C},\mathcal{D})$, is defined by
\[
Tube(\mathcal{C},\mathcal{D}) = \bigoplus_{\lambda\in\mathrm{Irr}(\mathcal{D}),\,\mu,\nu\in\mathrm{Irr}(\mathcal{C})} \mathrm{Hom}(\lambda\circ\mu,\,\mu\circ\nu),
\]
with a convolution product and ∗-structure generalizing Ocneanu’s tube algebra for the absolute center. Simple objects of $\mathcal{C}'\cap\mathcal{D}$ correspond bijectively to minimal central projections in $Tube(\mathcal{C},\mathcal{D})$ via irreducible half-braidings [1706.06816].

## 2. Fusion Rules in Relative Commutants: Computation and Factorization

Fusion rules of $\mathcal{C}'\cap\mathcal{D}$ are encoded by the decomposition
\[
X_\alpha \otimes X_\beta \cong \bigoplus_{\gamma\in\mathrm{Irr}(\mathcal{C}'\cap\mathcal{D})} N_{\alpha,\beta}^\gamma X_\gamma,
\]
where $N_{\alpha,\beta}^\gamma = \dim\,\mathrm{Hom}_{\mathcal{C}'\cap\mathcal{D}}\left(X_\alpha \otimes X_\beta, X_\gamma\right)$.

These multiplicities are given by ranks of products of minimal central projections in $Tube(\mathcal{C},\mathcal{D})$:
\[
N_{\alpha,\beta}^\gamma = \mathrm{rank}\left(z_\gamma\,[e^\alpha * e^\beta]\right),
\]
where $e^\alpha$ and $e^\beta$ are associated matrix units for the respective irreducible half-braidings.

A fundamental feature seen in cases where $\mathcal{D}$ arises from α-induction (e.g., in conformal field theory and subfactor theory) is factorization: simple objects in $\mathcal{C}'\cap\mathcal{D}$ may be indexed as $(\lambda, T)$ with $\lambda \in \mathrm{Irr}(\mathcal{C}^\circ)$ (“ambichiral” part) and $T\in\mathrm{Irr}(\mathcal{D}^\pm)$, and the fusion rules factor as
\[
N_{(\lambda_1,T_1),\,(\lambda_2,T_2)}^{(\lambda_3,T_3)} = N_{\lambda_1,\lambda_2}^{\lambda_3}\left(\mathcal{C}^\circ\right) \cdot N_{T_1,T_2}^{T_3}\left(\mathcal{D}^\pm\right).
\]
This property reflects a direct product symmetry, reducing the structure of the commutant fusion ring to the tensor product of the rings from the respective subcategories [1706.06816].

## 3. Modular Tensor Category Approach and Commutant Fusion Rule Theorem

Let $V$ be a simple, rational, $C_2$-cofinite VOA of CFT-type, and $U \subset V$ a vertex operator subalgebra with commutant $U^c = \{v\in V\,|\,u_nv=0\,\forall u\in U,\,n\geq0\}$. Under suitable hypotheses—rationality, $C_2$-cofiniteness, double commutant property, and complete reducibility of $V$ as a $U\otimes U^c$-module—the categories of $U$- and $U^c$-modules, ${}_U\mathcal{C}$ and ${}_{U^c}\mathcal{C}$, are modular tensor categories [2601.00249].

Every simple $V$-module $M^i$ decomposes as
\[
M^i \cong \bigoplus_{\alpha\in J} W^\alpha \otimes M^{(i,\alpha)},
\]
where $W^\alpha$ ranges over simples of $U$, and $M^{(i,\alpha)}$ over those of $U^c$. The main theorem states:
\[
N_{M^{(i,\alpha)},\,M^{(j,\beta)}}^{M^{(k,\gamma)}} = N_{M^i,\,M^j}^{M^k} \cdot N_{W^\alpha,\,W^\beta}^{W^\gamma}
\]
for all indices. Thus, the fusion coefficients in the commutant $U^c$ category are pointwise products of the fusion rules of $V$ and $U$ [2601.00249].

This explicit factorization is rooted in the algebra object structure of $V$ in the Deligne tensor product category ${}_U\mathcal{C}\boxtimes {}_{U^c}\mathcal{C}$, and is enforced by dimension-counting, Frobenius–Perron techniques, and the categorical properties of modularity and full reducibility. The result provides a categorical underpinning for many observed product rules in VOAs and conformal nets.

## 4. Illustrative Examples from Conformal Embeddings and VOAs

### Example: $SU(2)_{10}\subset SO(5)_1$ Conformal Embedding

Let $\mathcal{C} \simeq \mathrm{Rep}\,SU(2)_{10}$ with 11 simples, embedded conformally into $SO(5)_1$. The subfactor yields via α-induction subcategories $\mathcal{D}^\pm$ (6 simples each) and ambichiral $\mathcal{D}^\circ$ (3 simples). The relative commutants:
- $(\mathcal{D}^+)'\cap\mathcal{D}$: simples labelled $(\lambda,T^-)$, $\lambda\in\mathrm{Irr}\,SU(2)_{10}$, $T^-\in\mathrm{Irr}(\mathcal{D}^-)$, total $11 \times 6 = 66$;
- $(\mathcal{D}^\circ)'\cap\mathcal{D}^+$: simples labelled $(\lambda,T^+)$, $3\times6=18$.

The fusion rules have the product form:
\[
(\lambda_a,T_i)\otimes(\lambda_b,T_j) = \sum_{c,k} N^c_{a,b}\;\bigl(SU(2)_{10}\bigr) \cdot N^k_{i,j}\;\bigl(\mathcal{D}^-\bigr)\cdot (\lambda_c,T_k).
\]
This direct product structure pervades the representation theory of conformal field theory commutants and modular invariants [1706.06816].

### Example: $L(21/22,0)\oplus L(21/22,8)$ Commutant VOA

In [2601.00249], with $V=U_{3C}$, $U = L(\frac{1}{2},0)$, and $\mathcal{M}=L(\frac{21}{22},0)\oplus L(\frac{21}{22},8)$ the commutant, the fifteen nonisomorphic simple $\mathcal{M}$-modules $\mathcal{M}_{k,\ell}$ similarly obey fusion rules computed by combining Virasoro minimal model and admissible-triple data:
\[
N_{\mathcal{M}_{i,\alpha},\,\mathcal{M}_{j,\beta}}^{\mathcal{M}_{k,\gamma}}=
N_{U(2i),\,U(2j)}^{U(2k)}\cdot N_{W^\alpha,W^\beta}^{W^\gamma},
\]
with $U(2k)$ indexing $V$-modules and $W^\alpha$ the $L(\frac{1}{2},0)$-minimal model representations. All fusion product decompositions follow from this factorized rule [2601.00249].

## 5. Structural and Symmetry Implications

The factorization phenomenon of fusion rules in commutant subalgebras and relative Drinfeld centers signifies that the relative commutant retains memory of both the ambient and subcategories’ modular data. Particularly when the larger category is built via α-induction from a braided subcategory, the symmetry properties—commutativity, associativity, and duality—descend from those of the constituent fusion rings.

This aligns with the structure of the Drinfeld center (where the ambient subcategory is the trivial category; the absolute center) and embeds into the framework of the Witt group of non-degenerate braided fusion categories, revealing a categorical decomposition of physical and mathematical symmetry types [1706.06816]. For VOAs, these results explain observed decompositions of module categories and provide a modular tensor category-based mechanism for deducing all fusion products in commutant algebras.

## 6. Context, Generalizations, and Outlook

Fusion rule factorization in commutant subalgebras generalizes classical results on centers and quantum doubles by accommodating nontrivial subcategories and relative centralizers. The paradigm unifies the analysis of subfactors, conformal nets, and VOAs via categorical and algebraic techniques—tube algebras, α-induction, and Deligne tensor products—enabling explicit computations in a wide array of settings, including conformal embeddings and orbifolds.

Research directions include the extension to nonunitary settings, fusion rules under orbifold and coset constructions, and the exploration of relations with quantum invariants and topological phases. The explicit correspondence between irreducible half-braidings, minimal central projections, and simple objects remains a cornerstone of the structural analysis of fusion categories and their commutants [1706.06816][2601.00249].

Source: https://www.emergentmind.com/topics/fusion-rules-for-commutant-subalgebras