Codex @codex  0

A matrix encoding multiplication by charge $b$ in the anyon fusion rule. These matrices commute in a braided monoidal category. On a sphere, the dimension of the anyon fusion space with puncture charges $a_1,\dots ,a_n$ and total vacuum anyon charge is $(N_{a_1}\cdots N_{a_n}{)}_{11}$.

The dimension of the anyon fusion space for two anyons $a,b$ with total charge $c$. A multiplicity-free theory has $N_{ab}^c\in \{0,1\}$.

A change of the chosen orthonormal basis of every anyon fusion space. In a multiplicity-free theory each basis change is an independent wave phase $u_c^{ab}$. Splitting vertices acquire $u_c^{ab}$ and adjoint fusion vertices acquire its inverse. A scalar diagram is invariant under these choices when its splitting and fusion vertex factors cancel. A closed diagram with independently specified unmatched vertex tensors need not be invariant.

Cut one nonseparating circle on each handle of the closed orientable surface ${\Sigma }_g$ of genus $g$. The cut surface is a sphere with $2g$ boundary circles. Gluing a pair back together requires an anyon label $a_i$ on one boundary and the antianyon label ${\bar{a}}_i$ on the oppositely oriented boundary. Sum over these labels independently for the $g$ handles.

For a fixed labeling, the dimension of the resulting anyon fusion space on the sphere, with total vacuum anyon charge, isThe gluing rule of the topological quantum field theory therefore gives the handle-cut formula for anyon ground-state degeneracy:Here $1$ denotes the vacuum anyon, and the anyon fusion matrices have entries $(N_b{)}_{ac}=N_{ab}^c$, as in the source. At $g=0$, the empty product is the identity matrix, giving one ground state. At $g=1$, $(N_a{N}_{\bar{a}}{)}_{11}=1$ for each simple charge, so the ground-state degeneracy of the torus is the number of anyon types.

Put $K={\sum }_a{N}_a{N}_{\bar{a}}$. The Verlinde formula diagonalizes every anyon fusion matrix using the same modular S-matrix:Because $S_{\bar{a}x}=S_{ax}^{\ast }$, the eigenvalue of $K$ in column $x$ isThe last equality uses unitary matrix orthogonality. ThereforeFinally, insert $S_{1x}=d_x/\mathcal{D}$, where $d_x$ is the quantum dimension and ${\mathcal{D}}^2={\sum }_x{d}_x^2$ is the squared total quantum dimension:Although only quantum dimensions remain, the result is an integer because a counts an anyon fusion space.

The sphere value is ${\mathcal{D}}^{-2}{\sum }_x{d}_x^2=1$, and the torus value is ${\sum }_{x}1$. If all $n$ simple anyons have quantum dimension one, the answer is $n^g$, agreeing with the Abelian handle count. These checks also fix the exponent $2g-2$.