pith. sign in

arxiv: 2206.00163 · v2 · pith:CKL5ZCF7new · submitted 2022-06-01 · 🧮 math.RT

Branching rule decomposition of the level-1 E₈⁽¹⁾-module with respect to the irregular subalgebra F₄⁽¹⁾ oplus G₂⁽¹⁾

Joshua D. Carey This is my paper

Pith reviewed 2026-05-24 11:35 UTC · model grok-4.3

classification 🧮 math.RT
keywords branching rulesaffine Lie algebrasKac-Moody algebrasE8F4G2theta functionsstring functions
0
0 comments X

The pith

The level-1 E8 affine module decomposes into a direct sum of irreducible F4(1) and G2(1) modules.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper calculates how the basic level-1 representation of the affine Kac-Moody algebra E8 splits when restricted to the subalgebra F4(1) direct sum G2(1). It obtains the decomposition by feeding the embedding into the Kac-Peterson character formula and reducing the result with identities among theta functions, Rogers-Ramanujan series, and string functions. A reader would care because the explicit multiplicities show how the large algebra's representation organizes itself under the smaller one. The work also checks the string functions against Virasoro characters and studies dissections of certain eta-quotients that arise.

Core claim

The level-1 irreducible E8(1)-module V^Λ0 decomposes as a direct sum of irreducible F4(1)⊕G2(1)-modules. The decomposition is obtained from the Kac-Peterson character formula together with theta-function and string-function identities, including those involving the Rogers-Ramanujan series. Virasoro character theory is used to verify string functions stated by Kac and Peterson, and dissections of some eta-quotients are investigated.

What carries the argument

The Kac-Peterson character formula applied to the irregular embedding of F4(1)⊕G2(1) inside E8(1), which produces the branching rule via theta functions and string functions.

Load-bearing premise

The Dynkin-diagram automorphisms of E6 and D4 lift to an embedding of the affine subalgebra F4(1)⊕G2(1) inside E8(1) and the Kac-Peterson formula applies without modification to this irregular embedding.

What would settle it

Compute the graded character of V^Λ0 up to a moderate degree and check whether it equals the sum of the characters of the claimed F4(1)⊕G2(1) summands with the predicted multiplicities.

read the original abstract

Given a Lie algebra of type $E_8$, one can use Dynkin diagram automorphisms of the $E_6$ and $D_4$ Dynkin diagrams to locate a subalgebra of type $F_4\oplus G_2$. These automorphisms can be lifted to the affine Kac-Moody counterparts of these algebras and give a subalgebra of type $F_4^{(1)}\oplus G_2^{(1)}$ within a type $E_8^{(1)}$ Kac-Moody Lie algebra. We will consider the level-1 irreducible $E_8^{(1)}$-module $V^{\Lambda_0}$ and investigate its branching rule, that is how it decomposes as a direct sum of irreducible $F_4^{(1)}\oplus G_2^{(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 $\eta$-quotients.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims that Dynkin diagram automorphisms of E6 and D4 lift to an embedding of the irregular affine subalgebra F4^(1) ⊕ G2^(1) inside E8^(1), and that the level-1 irreducible E8^(1)-module V^Λ0 decomposes into a direct sum of irreducible F4^(1)⊕G2^(1)-modules whose multiplicities are obtained by applying the Kac-Peterson character formula, followed by explicit evaluations of the resulting theta-function and string-function identities (including Jacobi, Ramanujan, Borwein, and Rogers-Ramanujan series). Virasoro character theory is invoked to confirm certain string functions, and dissections of selected η-quotients are examined.

Significance. If the embedding is shown to be a valid Lie-algebra homomorphism at the affine level and the character formula applies without modification, the resulting explicit branching rule supplies a concrete example of an irregular embedding decomposition at level 1. The combination of the Kac-Peterson formula with classical theta identities and an independent Virasoro verification constitutes a reproducible computational method; the η-quotient analysis may also be of independent interest in q-series identities.

major comments (2)
  1. [embedding construction / lifting argument] The section describing the subalgebra embedding asserts that the Dynkin automorphisms of E6 and D4 lift to the affine Kac-Moody setting and that the Kac-Peterson formula therefore applies unmodified, but supplies no explicit verification that the lift preserves the affine grading, maps the imaginary root δ correctly, or induces a trivial 2-cocycle on the central extension. Because the subsequent character identities rest on this assumption, an explicit check on Chevalley generators or root-lattice action is required to confirm the formula computes the correct branching rule.
  2. [string-function calculations] The string-function identities obtained after applying the Kac-Peterson formula are stated without accompanying sample numerical checks (e.g., coefficient comparison up to a fixed grade or q-expansion truncation) that would allow independent confirmation that the theta-function reductions were performed correctly. Such a verification table would directly address the applicability concern for the irregular case.
minor comments (2)
  1. [introduction] Notation for the level-1 highest weight Λ0 and the subalgebra generators should be introduced with a brief reminder of the standard affine root-system conventions to aid readers unfamiliar with the irregular embedding.
  2. [theta-function identities] The paper cites several classical theta-function identities; adding a short appendix listing the precise forms used (with equation numbers) would improve traceability of the reductions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive suggestions. We address each major comment below and indicate the planned revisions.

read point-by-point responses

  1. Referee: The section describing the subalgebra embedding asserts that the Dynkin automorphisms of E6 and D4 lift to the affine Kac-Moody setting and that the Kac-Peterson formula therefore applies unmodified, but supplies no explicit verification that the lift preserves the affine grading, maps the imaginary root δ correctly, or induces a trivial 2-cocycle on the central extension. Because the subsequent character identities rest on this assumption, an explicit check on Chevalley generators or root-lattice action is required to confirm the formula computes the correct branching rule.

    Authors: We agree that the current text does not contain an explicit verification of the affine lift. While the construction follows the standard procedure via Dynkin diagram automorphisms (which is known to induce a Lie algebra homomorphism at the finite level), an explicit check confirming preservation of the affine grading, correct mapping of δ, and triviality of the 2-cocycle would strengthen the argument. In the revised manuscript we will add a short subsection providing this verification on the Chevalley generators and root-lattice action. revision: yes

  2. Referee: The string-function identities obtained after applying the Kac-Peterson formula are stated without accompanying sample numerical checks (e.g., coefficient comparison up to a fixed grade or q-expansion truncation) that would allow independent confirmation that the theta-function reductions were performed correctly. Such a verification table would directly address the applicability concern for the irregular case.

    Authors: We accept that the absence of numerical checks makes independent verification more difficult. In the revision we will insert a table displaying the q-expansion coefficients of the relevant string functions and the resulting theta-function identities, truncated at a sufficient grade (e.g., up to q^{20}), together with a brief description of how the coefficients were obtained from the Kac-Peterson formula. revision: yes

Circularity Check

0 steps flagged

No circularity: derivation applies external Kac-Peterson formula and classical theta/string identities

full rationale

The paper obtains the branching rule by direct application of the Kac-Peterson character formula to the asserted embedding, followed by substitution of known Jacobi, Ramanujan, Borwein theta-function identities and Virasoro character verifications. These are independent external results whose validity does not depend on the paper's target decomposition. No quantities are defined in terms of the output, no parameters are fitted to the same data set, and no load-bearing step reduces to a self-citation or ansatz introduced by the authors themselves. The derivation therefore remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on two domain assumptions standard in the field and on the correctness of classical theta-function identities; no new free parameters or invented entities are introduced in the abstract.

axioms (2)
  • domain assumption Dynkin diagram automorphisms of E6 and D4 lift to an embedding of F4(1) ⊕ G2(1) inside E8(1).
    Invoked in the first paragraph of the abstract as the source of the subalgebra.
  • domain assumption The Kac-Peterson character formula applies directly to the level-1 module under this embedding.
    Used to obtain the branching rule; stated as the calculation method.

pith-pipeline@v0.9.0 · 5787 in / 1487 out tokens · 53500 ms · 2026-05-24T11:35:25.465478+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

7 extracted references · 7 canonical work pages · 1 internal anchor

  1. [1]

    On the two- dimensional theta functions of the Borweins

    [AAW06] Ayse Alaca, Saban Alaca, and Kenneth S. Williams. “On the two- dimensional theta functions of the Borweins”. In: Acta Arithmetica 124 (2006), pp. 177–195. [Aiy+00] S.R. Aiyangar et al. Collected Papers of Srinivasa Ramanujan . AMS Chelsea Publishing Series. AMS Chelsea Pub., 2000.isbn: 9780821820766. url: https://books.google.com/books?id=oSioAM4w...

    work page doi:10.1090/memo/0880 2006

  2. [2]

    In: Proc

    [Ber91] Bruce C. Berndt. “q-Series and Theta-Functions”. In: Ramanujan’s Note- books: Part III . New York, NY: Springer New York, 1991, pp. 11–86. isbn: 978-1-4612-0965-2. doi: 10.1007/978- 1- 4612- 0965- 2_2 . url: https://doi.org/10.1007/978-1-4612-0965-2_2 . [BT87] Denis Bernard and Jean Thierry-Mieg. “Level one representations of the simple affine Kac-M...

    work page doi:10.1007/978- 1991

  3. [3]

    Verma modules over the virasoro algebra

    isbn: 9783319561721. url: https://books.google.com/ books?id=d9QnDwAAQBAJ. [FF84] B. L. Feigin and D. B. Fuchs. “Verma modules over the virasoro algebra”. In: Topology. Ed. by Ludwig D. Faddeev and Arkadii A. Mal’cev. Berlin, Heidelberg: Springer Berlin Heidelberg, 1984, pp. 230–245. isbn: 978-3- 540-38863-0. [Fin88] N.J. Fine. Basic Hypergeometric Series...

    work page 1984

  4. [4]

    Unitary representations of the Vira- soro and super-Virasoro algebras

    isbn: 9780821815243. url: https : / / books . google . com / books ? id = JmzyBwAAQBAJ. [GKO86] P. Goddard, A. Kent, and D. Olive. “Unitary representations of the Vira- soro and super-Virasoro algebras”. In: Communications in Mathematical Physics 103.1 (1986), pp. 105–119. doi: cmp/1104114626. url: https: //doi.org/. [HIM86] Toyokazu Hiramatsu, Noburo Ish...

    work page doi:10.2969/jmsj/03810067 1986

  5. [6]

    Decompositions of representations of exceptional affine algebras with respect to conformal subalgebras

    isbn: 9789814522212. url: https : / / books . google.com/books?id=Fzu7CgAAQBAJ. [KS88] Victor G. Kac and Mihaela Niculescu Sanielevici. “Decompositions of representations of exceptional affine algebras with respect to conformal subalgebras”. In: Phys. Rev. D 37 (8 Apr. 1988), pp. 2231–2237. doi: 10.1103/PhysRevD.37.2231 . url: https://link.aps.org/doi/10. 1...

    work page doi:10.1103/physrevd.37.2231 1988

  6. [7]

    Goldman: The symplectic nature of fundamental groups of surfaces, Advances in Math

    url: https : / / www . sciencedirect.com/science/article/pii/0001870888900552. [Lep80] James Lepowsky. “Application of the numerator formula to k-rowed plane partitions”. In: Advances in Mathematics 35 (1980), pp. 179–194. [Lio63] J. Liouville. “Sur la forme x2 + xy + y2 + 2z2 + 2zt + 2t2.” fre. In: Journal de Math´ ematiques Pures et Appliqu´ ees(1863), ...

    work page arXiv 1980

  7. [8]

    Decomposition of Level-1 Representations of D_4^(1) With Respect to its Subalgebra G_2^(1) in the Spinor Construction

    48550/ARXIV.1209.0018. url: https://arxiv.org/abs/1209.0018. 93 [Ram19] S. Ramanujan. “Proof of certain identities in combinatory analysis”. In: Proc. Cambridge Philos. Soc. 19 (1919), pp. 214–216. [Rog21] L. J. Rogers. “On a Type of Modular Relation”. In: Proceedings of the London Mathematical Society s2-19.1 (1921), pp. 387–397. doi: https: //doi.org/10...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1112/plms/s2-19.1.387 1919