Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userAn algorithm for twisted fusion rules
138
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
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.
rate research
Read More
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 figures 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 integers 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 cohomological 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.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
