We present an algorithm for an efficient calculation of the fusion rules of twisted representations of untwisted affine Lie algebras. These fusion rules appear in WZW orbifold theories and as annulus coefficients in boundary WZW theories; they provide NIM-reps of the WZW fusion rules.
This is an expository introduction to fusion rules for affine Kac-Moody algebras, with major focus on the algorithmic aspects of their computation and the relationship with tensor product decompositions. Many explicit examples are included with figur
es illustrating the rank 2 cases. New results relating fusion coefficients to tensor product coefficients are proved, and a conjecture is given which shows that the Frenkel-Zhu affine fusion rule theorem can be seen as a beautiful generalization of the Parasarathy-Ranga Rao-Varadarajan tensor product theorem. Previous work of the author and collaborators on a different approach to fusion rules from elementary group theory is also explained.
We show how the fusion rules for an affine Kac-Moody Lie algebra g of type A_{n-1}, n = 2 or 3, for all positive integral level k, can be obtained from elementary group theory. The orbits of the kth symmetric group, S_k, acting on k-tuples of integer
s modulo n, Z_n^k, are in one-to-one correspondence with a basis of the level k fusion algebra for g. If [a],[b],[c] are any three orbits, then S_k acts on T([a],[b],[c]) = {(x,y,z)in [a]x[b]x[c] such that x+y+z=0}, which decomposes into a finite number, M([a],[b],[c]), of orbits under that action. Let N = N([a],[b],[c]) denote the fusion coefficient associated with that triple of elements of the fusion algebra. For n = 2 we prove that M([a],[b],[c]) = N, and for n = 3 we prove that M([a],[b],[c]) = N(N+1)/2. This extends previous work on the fusion rules of the Virasoro minimal models [Akman, Feingold, Weiner, Minimal model fusion rules from 2-groups, Letters in Math. Phys. 40 (1997), 159-169].
We address the question whether the condition on a fusion category being solvable or not is determined by its fusion rules. We prove that the answer is affirmative for some families of non-solvable examples arising from representations of semisimple
Hopf algebras associated to exact factorizations of the symmetric and alternating groups. In the context of spherical fusion categories, we also consider the invariant provided by the $S$-matrix of the Drinfeld center and show that this invariant does determine the solvability of a fusion category provided it is group-theoretical.
In this paper, irreducible modules of the diagonal coset vertex operator algebra $C(L_{mathfrak{g}}(k+l,0),L_{mathfrak{g}}(k,0)otimes L_{mathfrak{g}}(l,0))$ are classified under the assumption that $C(L_{mathfrak{g}}(k+l,0),L_{mathfrak{g}}(k,0)otimes
L_{mathfrak{g}}(l,0))$ is rational, $C_2$-cofinite and certain additional assumption. An explicit modular transformation formula of traces functions of $C(L_{mathfrak{g}}(k+l,0),L_{mathfrak{g}}(k,0)otimes L_{mathfrak{g}}(l,0))$ is obtained. As an application, the fusion rules of $C(L_{E_8}(k+2,0), L_{E_8}(k,0)otimes L_{E_8}(2,0))$ are determined by using the Verlinde formula.
Given a pair of finite groups $F, G$ and a normalized 3-cocycle $omega$ of $G$, where $F$ acts on $G$ as automorphisms, we consider quasi-Hopf algebras defined as a cleft extension $Bbbk^G_omega#_c,Bbbk F$ where $c$ denotes some suitable cohomologica
l data. When $Frightarrow overline{F}:=F/A$ is a quotient of $F$ by a central subgroup $A$ acting trivially on $G$, we give necessary and sufficient conditions for the existence of a surjection of quasi-Hopf algebras and cleft extensions of the type $Bbbk^G_omega#_c, Bbbk Frightarrow Bbbk^G_omega#_{overline{c}} , Bbbk overline{F}$. Our construction is particularly natural when $F=G$ acts on $G$ by conjugation, and $Bbbk^G_omega#_c Bbbk G$ is a twisted quantum double $D^{omega}(G)$. In this case, we give necessary and sufficient conditions that Rep($Bbbk^G_omega#_{overline{c}} , Bbbk overline{G}$) is a modular tensor category.