OFFSET
0,3
COMMENTS
This lattice is the k=6 member of the family of lattices of SU(3) hyper-roots associated with the module-category D_k(SU(3)) over the fusion (monoidal) category A_k(SU(3)).
The Grothendieck group of the former, a finite abelian category, is a Z+ - module over the Grothendieck ring of the latter, with a basis given by isomorphism classes of simple objects.
Simple objects of A_k(SU(3)) are irreducible integrable representations of the affine Lie algebra of SU(3) at level k.
The classification of module-categories over A_k(SU(3)) was done, using another terminology, by P. Di Francesco and J.-B Zuber, and by A. Ocneanu (see refs below): it contains several infinite families that exist for all values of the positive integer k (among others one finds the A_k(SU(3)) themselves and the orbifold series D_k(SU(3))), and several exceptional cases for special values of k.
To every such module-category one can associate a set of hyper-roots (see refs below) and consider the corresponding lattice, denoted by the same symbol.
Members of the subfamily D_{3s} are special because they have self-fusion (they are flat, in operator algebra parlance). D_6(SU(3)) is the second smallest member of the D_{3s} family (s=2).
With k=6 there are r = ((k+1)*(k+2)/2 - 1)/3 + 3 = 12 simple objects. The rank of the lattice is 2r=24. The lattice is defined by 2*r*(k+3)^2/3 = 648 hyper-roots of norm 6. Det = 3^18. The first shell is made of vectors of norm 4, they are not hyper-roots, and the second shell, of norm 6, contains not only the hyper-roots but other vectors. Note: for lattices of type A_k(SU(3)), vectors of shortest length and hyper-roots coincide, here this is not so.
The lattice is rescaled (q --> q^2): its theta function starts as 1 + 162*q^4 + 2322*q^6 + ... See example.
This theta series is an element of the space of modular forms on Gamma_0(27) of weight 12 and dimension 36. - Andy Huchala, May 14 2023
REFERENCES
P. Di Francesco and J.-B. Zuber, SU(N) lattice integrable models associated with graphs, Nucl. Phys., B 338, pp. 602-646, (1990).
LINKS
Andy Huchala, Table of n, a(n) for n = 0..20000
Robert Coquereaux, Theta functions for lattices of SU(3) hyper-roots, arXiv:1708.00560 [math.QA], 2017.
A. Ocneanu, The Classification of subgroups of quantum SU(N), in "Quantum symmetries in theoretical physics and mathematics", Bariloche 2000, Eds. R. Coquereaux, A. Garcia. and R. Trinchero, AMS Contemporary Mathematics, 294, pp. 133-160, (2000). End of Sec 2.5.
EXAMPLE
G.f. = 1 + 162*x^2 + 2322*x^3 + 35478*x^4 + ...
G.f. = 1 + 162*q^4 + 2322*q^6 + 35478*q^8 + ...
PROG
(Magma)
prec := 10;
gram_matrix := [[6, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, -2, 1, 0, 1, 1, 1, 2, 0, 0, 0, 0, 2], [0, 6, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0, 1, -2, 0, 1, 1, 1, 2, 0, 0, 0, 0, 2], [0, 0, 6, 0, 0, 0, 0, 2, 0, 2, 0, 0, 0, 0, -2, 1, 0, 0, 2, -2, 0, -2, 0, 2], [0, 0, 0, 6, 0, 0, 2, 2, 2, 2, 2, 2, 1, 1, 1, 0, 1, 2, 0, 0, 2, 0, 2, 0], [0, 0, 0, 0, 6, 0, 0, 0, 2, 0, 2, 0, 1, 1, 0, 1, -2, 1, 2, 0, 0, 0, 0, 2], [0, 0, 0, 0, 0, 6, 2, 0, 2, 0, 2, 2, 1, 1, 0, 2, 1, -1, -2, 2, 2, 2, 2, -2], [0, 0, 0, 2, 0, 2, 6, 0, 0, 2, 2, 0, 0, 0, 0, 2, 0, 2, -1, 1, 2, 2, 2, 0], [0, 0, 2, 2, 0, 0, 0, 6, 0, 2, 0, 2, 0, 0, 2, 2, 0, 0, 1, -1, 1, 2, 0, 2], [2, 2, 0, 2, 2, 2, 0, 0, 6, 0, 4, 2, 2, 2, 0, 2, 2, 2, 2, 1, 2, 0, 4, 2], [0, 0, 2, 2, 0, 0, 2, 2, 0, 6, 0, 0, 0, 0, 2, 2, 0, 0, 2, 2, 0, -1, 1, 1], [2, 2, 0, 2, 2, 2, 2, 0, 4, 0, 6, 0, 2, 2, 0, 2, 2, 2, 2, 0, 4, 1, 2, 2], [0, 0, 0, 2, 0, 2, 0, 2, 2, 0, 0, 6, 0, 0, 0, 2, 0, 2, 0, 2, 2, 1, 2, -1], [-2, 1, 0, 1, 1, 1, 0, 0, 2, 0, 2, 0, 6, 0, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0], [1, -2, 0, 1, 1, 1, 0, 0, 2, 0, 2, 0, 0, 6, 0, 0, 0, 0, 0, 0, 2, 0, 2, 0], [0, 0, -2, 1, 0, 0, 0, 2, 0, 2, 0, 0, 0, 0, 6, 0, 0, 0, 0, 2, 0, 2, 0, 0], [1, 1, 1, 0, 1, 2, 2, 2, 2, 2, 2, 2, 0, 0, 0, 6, 0, 0, 2, 2, 2, 2, 2, 2], [1, 1, 0, 1, -2, 1, 0, 0, 2, 0, 2, 0, 0, 0, 0, 0, 6, 0, 0, 0, 2, 0, 2, 0], [1, 1, 0, 2, 1, -1, 2, 0, 2, 0, 2, 2, 0, 0, 0, 0, 0, 6, 2, 0, 2, 0, 2, 2], [2, 2, 2, 0, 2, -2, -1, 1, 2, 2, 2, 0, 0, 0, 0, 2, 0, 2, 6, 0, 0, -2, 0, 4], [0, 0, -2, 0, 0, 2, 1, -1, 1, 2, 0, 2, 0, 0, 2, 2, 0, 0, 0, 6, 0, 0, 2, -2], [0, 0, 0, 2, 0, 2, 2, 1, 2, 0, 4, 2, 2, 2, 0, 2, 2, 2, 0, 0, 6, 2, 2, 0], [0, 0, -2, 0, 0, 2, 2, 2, 0, -1, 1, 1, 0, 0, 2, 2, 0, 0, -2, 0, 2, 6, 0, 0], [0, 0, 0, 2, 0, 2, 2, 0, 4, 1, 2, 2, 2, 2, 0, 2, 2, 2, 0, 2, 2, 0, 6, 0], [2, 2, 2, 0, 2, -2, 0, 2, 2, 1, 2, -1, 0, 0, 0, 2, 0, 2, 4, -2, 0, 0, 0, 6]];
S := Matrix(gram_matrix);
L := LatticeWithGram(S);
T := ThetaSeriesModularForm(L);
Coefficients(PowerSeries(T, prec)); // Andy Huchala, May 14 2023
CROSSREFS
KEYWORD
nonn
AUTHOR
Robert Coquereaux, Sep 01 2017
EXTENSIONS
More terms from Andy Huchala, May 14 2023
STATUS
approved