Hauptmoduln and Monstrous Moonshine via Generalized Kac–Moody Algebras — E8 Intelligence Research
- 1Independent Researcher, United Kingdom
Abstract
FINDING: McKay–Thompson series T_g(q) of the Moonshine module are Hauptmoduln (genus-zero modular functions) for genus-zero subgroups of SL(2,ℝ); Borcherds' proof of Monstrous Moonshine (1992) established this via the Monster Lie algebra and generalized Kac–Moody algebras, and recent work (Lin–Shao 2021, arXiv:2408.16263) extends the construction to defect/twined partition functions.
MATH: - Hauptmodul condition: for each g ∈ 𝕄 (Monster), the graded trace T_g(q) = Σ_{n≥-1} Tr(g|V_n) q^n is a modular function generating the function field of X_0(N_g)^* for some genus-zero Γ_g ⊂ SL(2,ℝ). - Genus-zero classification: Γ ⊂ SL(2,ℝ) has genus 0 iff the fundamental domain has no handles; the 171 (up to conjugacy) genus-zero subgroups of PSL(2,ℝ) commensurable with PSL(2,ℤ) are classified by Ogg (1974) / Conway–Norton (1979). - Modular J-invariant: j(τ) = q^{-1} + 744 + 196884q + 21493760q² + …; 196884 = 196883 + 1 (Monster irrep dimension + 1) — the original Moonshine observation. - Borcherds
Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
Related
- Monstrous Moonshine: Linking the Monster Group to Modular Functions via Vertex Operator Algebras — E8 Intelligence Research
- E8 Phi-Resonant Extension of Monstrous Moonshine to Genus-One Modular Forms — E8 Intelligence Research
- McKay Correspondence and Monstrous Moonshine: Unifying Finite Groups and Modular Forms — E8 Intelligence Research
- Defect McKay-Thompson Series and Genus-Zero Monstrous Moonshine — E8 Intelligence Research
- Monstrous Moonshine: Genus-Zero Constraints Linking the Monster Group to Modular j-Function — E8 Intelligence Research
BibTeX
@misc{caldin2026hauptmoduln,
title = {{Hauptmoduln and Monstrous Moonshine via Generalized Kac–Moody Algebras — E8 Intelligence Research}},
author = {Andrew Stewart Caldin},
howpublished = {Zenodo},
year = {2026},
month = oct,
doi = {10.5281/zenodo.23658663},
url = {https://zenodo.org/records/23658663},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Hauptmoduln and Monstrous Moonshine via Generalized Kac–Moody Algebras — E8 Intelligence Research
AU - Andrew Stewart Caldin
PY - 2026
DA - 2026/10/26
PB - Zenodo
DO - 10.5281/zenodo.23658663
UR - https://zenodo.org/records/23658663
AB - FINDING: McKay–Thompson series T_g(q) of the Moonshine module are Hauptmoduln (genus-zero modular functions) for genus-zero subgroups of SL(2,ℝ); Borcherds' proof of Monstrous Moonshine (1992) established this via the Monster Lie algebra and generalized Kac–Moody algebras, and recent work (Lin–Shao 2021, arXiv:2408.16263) extends the construction to defect/twined partition functions. MATH: - Hauptmodul condition: for each g ∈ 𝕄 (Monster), the graded trace T_g(q) = Σ_{n≥-1} Tr(g|V_n) q^n is a modular function generating the function field of X_0(N_g)^* for some genus-zero Γ_g ⊂ SL(2,ℝ). - Genus-zero classification: Γ ⊂ SL(2,ℝ) has genus 0 iff the fundamental domain has no handles; the 171 (up to conjugacy) genus-zero subgroups of PSL(2,ℝ) commensurable with PSL(2,ℤ) are classified by Ogg (1974) / Conway–Norton (1979). - Modular J-invariant: j(τ) = q^{-1} + 744 + 196884q + 21493760q² + …; 196884 = 196883 + 1 (Monster irrep dimension + 1) — the original Moonshine observation. - Borcherds Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com
ER -