The OEIS is supported by the many generous donors to the OEIS Foundation.


(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A169657 The classical Lie superfactorial of type Dr ~ SO(2r) : When a Lie group G is simply laced, the classical Lie superfactorial sf_G is the product of s! where s belongs to the multiset E of exponents of G. Here G=Dr. 2
12, 4320, 87091200, 158018273280000, 37845502865178624000000, 1649653134695488211543654400000000, 17257672962657131355854388575443353600000000000 (list; graph; refs; listen; history; text; internal format)



To every simple Lie group G one can associate both a quantum and a classical superfactorial of type G.

The classical Lie superfactorial of type G, denoted sf_G, is defined as the classical limit (q-->1) of the quantum Weyl denominator of G.

If G is simply laced (ADE Dynkin diagrams) ie Ar,Dr,E6,E7,E8 cases, the integer sf_G is the product of s!, where s runs over the multiset of exponents of G.

The usual superfactorial r --> sf[r] is recovered as the Lie superfactorial r --> sf_{Ar} of type Ar [nonascii characters here] SU(r+1), sequence A000178.

The given sequence is the Lie superfactorial of type Dr: r --> sf_{Dr} = (g/2)! Product_{s in 1,3,5,... g-1} s! , with g = 2r-2.

If G is exceptional of type E, the Lie superfactorial does not define an infinite sequence (see A169667).

If G is not simply laced, ie (Br, Cr, G2, F4) cases, the Lie superfactorial is also simply related to the product of factorials s! where s belongs to the multiset E of exponents of G. See sequences A169668.

The classical Lie superfactorial of type G enters the asymptotic expression giving the global dimension of a monoidal category of type G at level k, when k is large.

Call r the rank of G, gamma its Coxeter number, Delta the determinant of the fundamental quadratic form, and dim(G) its dimension, the asymptotic expression reads : k^dim(G) / ((2 pi)^(r gamma) Delta (sf_G)^2 ).


Table of n, a(n) for n=3..9.

R. Coquereaux, Global dimensions for Lie groups at level k and their conformally exceptional quantum subgroups, arxiv:1003.2589

R. Coquereaux, Quantum McKay correspondence and global dimensions for fusion and module-categories associated with Lie groups, arXiv preprint arXiv:1209.6621, 2012. - From N. J. A. Sloane, Dec 29 2012


sfD[r_] := Factorial[(2 r - 2)/2] Product[Factorial[s], {s, 1, (2 r - 2) - 1, 2}]


A000178 gives sf_G for G=Ar=SU(r+1). A169667 gives sf_G for G=E6, E7, E8. A169668 describes sf_G for non-simply laced series.

Sequence in context: A105067 A096732 A127233 * A287889 A288967 A009094

Adjacent sequences:  A169654 A169655 A169656 * A169658 A169659 A169660




Robert Coquereaux, Apr 05 2010



Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recents
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified August 15 12:09 EDT 2022. Contains 356145 sequences. (Running on oeis4.)