[Paper Review] Proof of the Umbral Moonshine Conjecture

John F. R. Duncan, Michael Griffin+1 more|arXiv (Cornell University)|Mar 4, 2015

Advanced Algebra and Geometry33 references9 citations

TL;DR

This paper proves the Umbral Moonshine Conjecture by constructing infinite-dimensional graded modules for 22 finite groups associated with Niemeier lattices, showing their McKay-Thompson series are mock modular forms via Rademacher sums and vector-valued modular forms. The key result establishes the existence of these modules in all 22 cases, completing the conjecture after Gannon's prior proof for the $M_{24}$ case.

ABSTRACT

The Umbral Moonshine Conjectures assert that there are infinite-dimensional graded modules, for prescribed finite groups, whose McKay-Thompson series are certain distinguished mock modular forms. Gannon has proved this for the special case involving the largest sporadic simple Mathieu group. Here we establish the existence of the umbral moonshine modules in the remaining 22 cases.

Motivation & Objective

• To establish the existence of infinite-dimensional graded modules for the 22 finite groups $G^X$ associated with Niemeier root systems $X$.
• To verify that the McKay-Thompson series of these modules are mock modular forms as predicted by the Umbral Moonshine Conjectures.
• To extend the framework of monstrous moonshine to include mock modular forms and non-monstrous finite groups.
• To resolve the remaining 22 cases of the conjecture after Gannon's proof for the $M_{24}$ case.

Proposed method

• Constructing vector-valued mock modular forms using Rademacher sums for congruence subgroups $\Gamma_0(n_g)$ associated with each group $G^X$.
• Defining shadow forms via Poincaré series to ensure the Rademacher sums have the correct modular properties and transform as mock modular forms.
• Using the metaplectic double cover of $\mathrm{SL}_2(\mathbb{Z})$ to handle multiplier systems and ensure consistency in the vector-valued structure.
• Applying explicit formulas involving theta functions $\theta_{m,r}(\tau,z)$ and meromorphic Jacobi forms to define the initial data for the Rademacher sums.
• Deriving the Rademacher sum expression $R^{X}_{\Gamma_0(n_g),\check{\nu}^X_g}(\tau)$ as a convergent series with Bessel function-weighted Kloostermann sums.
• Adjusting the Rademacher sum by correction terms $\check{t}^{(9)}_g(\tau)$ in the special case $X = A_8^3$ and $o(g) \equiv 0 \mod 3$ to match the required modular behavior.

Experimental results

Research questions

• RQ1 Do there exist infinite-dimensional graded modules for each of the 22 finite groups $G^X$ associated with Niemeier lattices, such that their McKay-Thompson series are mock modular forms?
• RQ2 Can the Rademacher sum construction be used to realize the mock modular forms predicted by the Umbral Moonshine Conjecture for all 22 cases?
• RQ3 How do the modular properties of the Rademacher sums match the required transformation laws under $\Gamma_0(n_g)$ for each $G^X$?
• RQ4 What role do correction terms like $\check{t}^{(9)}_g(\tau)$ play in the $A_8^3$ case, and why are they necessary?
• RQ5 Is the convergence of the Rademacher sum expression guaranteed, and can the rate of convergence be explicitly bounded?

Key findings

• The Umbral Moonshine Conjecture is fully proven for all 22 cases of Niemeier root systems $X$, completing the program initiated by Cheng, Duncan, and Harvey.
• For each $X \neq A_8^3$ or $X = A_8^3$ with $o(g) \not\equiv 0 \mod 3$, the mock modular form $\check{H}^X_g(\tau)$ is given exactly by $-2R^{X}_{\Gamma_0(n_g),\check{\nu}^X_g}(\tau)$, confirming the conjecture.
• In the exceptional case $X = A_8^3$ and $o(g) \equiv 0 \mod 3$, the formula $\check{H}^X_{g,r}(\tau) = -2R^{X}_{\Gamma_0(n_g),\check{\nu}^X_g}(\tau) + \check{t}^{(9)}_g(\tau)$ is required, with $\check{t}^{(9)}_g(\tau)$ explicitly defined via theta functions.
• The convergence of the Rademacher sum is established via analysis of Bessel-function-weighted Kloostermann sums, with bounds derived using Hooley’s method adapted by Gannon.
• The shadow of the resulting mock modular forms is identified as a Poincaré series, ensuring the correct modular properties and matching the conjectured dual structure.
• The construction confirms that the umbral moonshine modules exist and realize the predicted mock modular forms, extending the framework of moonshine beyond the Monster group.