Character tables (modular data) for Drinfeld doubles of finite groups
This file contains modular data, in particular the character table, for Drinfeld doubles of finite groups, also called (untwisted) quantum doubles of finite groups.
The monoidal category of representations of a Drinfeld double is modular : a projective representation of SL(2,Z) is obtained from two generators called S and T.
These are two matrices that obey the relations: S^2 = (ST)^3 = C, C^2=1.
S and T are unitary.
S is symmetric.
The matrix C = S^2 is called the conjugation matrix.
Matrix elements of S and T are indexed by the irreducible representations of the Drinfeld double (the simple objects of the category).
The S matrix is the analog of a character table, for the quantum double of a finite group.
Traditionally, a table of characters is written with conjugacy classes along the horizontal and irreducible representations along the vertical, moreover it is normalized in such a way that the first line is 1,1....1.
For this reason, a better analog of the character table of a finite group is not S itself but the table chi with elements chi(m,n) = S(n,m) / S(n,1).
S is symmetric but chi, in general, is not.
The character table of the finite group itself is a normalized (and small) non-contiguous submatrix of S.
The collection of fusion matrices Nm with matrix elements (Nm)_(n,p) encodes the ring structure: (m) (n) = sum_p (Nm)_(n,p) p , where m,n,p are irreducible representations of the Drinfeld double.
S matrices are given as lists of lists.
T matrices are usually sparse (Mathematica syntax).
Fusion matrices are usually sparse (Mathematica syntax).
Each quantum double comes with a summary text file.
The information about the conjugacy classes and their centralizers usually comesfrom GAP. Calculations of S and T matrices are performed in Magma.
The results are then transferred to Mathematica. Calculations of fusion matrices (using the Verlinde formula) are done with Mathematica.
Matrix elements of S and T are exact complex numbers (ie symbolic, not numerical).
Matrix elements of fusion matrices are non negative integers.
The size of S can be rather big. For instance the 1080 elements subgroup of SU(3) has only 17 irreducible representations but its quantum double has 240 irreducible representations. So, the usual character table of the group is 17 x 17 but the table (S matrix) given here is 240 x 240.
Note: The choice of a Lie group (level is infinite) and of one of its finite subgroups determines what is called, in physics, an holomorphic orbifold (central charge c=0). It is a particular type of conformal field theory. Twisted holomorphic orbifolds are obtained by further introducing a 3-cocyle for the finite group (modular data for twisted Drinfled doubles is not given in the present files). Even more general orbifolds are obtained by chosing a Lie group at level k (positive integer), such examples are not considered here. For a discussion of properties of holomorphic orbifolds associated with Drinfeld doubles of finite subgroups of SU(2) and SU(3), see the article Quantum doubles for finite subgroups of SU(2) and SU(3) Lie groups, R. Coquereaux, J.-B. Zuber, ArXiV XXX (2012).
Correspondence with GAP smallgroups:
Sigma36x3 is SmallGroup(108,15), Sigma72x3 is SmallGroup(216,88), Sigma216x3 is SmallGroup(648,532), Sigma360x3 is SmallGroup(1080,260)