2022/06/01 by Carey, Joshua D.
#FOS: Mathematics #Representation Theory (math.RT)
paper · doi:10.48550/arxiv.2206.00163
Given a Lie algebra of type E8, one can use Dynkin diagram automorphisms of the E6 and D4 Dynkin diagrams to locate a subalgebra of type F4⊕ G2. These automorphisms can be lifted to the affine Kac-Moody counterparts of these algebras and give a subalgebra of type F4(1)⊕ G2(1) within a type E8(1) Kac-Moody Lie algebra. We will consider the level-1 irreducible E8(1)-module VΛ0 and investigate its branching rule, that is how it decomposes as a direct sum of irreducible F4(1)⊕ G2(1)-modules. We calculate these branching rules using a character formula of Kac-Peterson which uses theta functions and the so-called "string functions." We will make use of Jacobi's, Ramanujan's and the Borweins' theta functions (and their respective properties and identities) in our calculation, including some identities involving the Rogers-Ramanujan series. Virasoro character theory is used to verify string functions stated by Kac and Peterson. We also investigate dissections of some interesting η-quotients.