The McKay-Thompson series of Mathieu Moonshine modulo two

Basic Information

• Paper ID: 1211.3703
• Title: The McKay-Thompson series of Mathieu Moonshine modulo two
• Authors: Thomas Creutzig, Gerald Höhn, Tsuyoshi Miezaki
• Classification: math.NT (Number Theory)
• Publication Date: December 11, 2013 (arXiv v3)
• Paper Link: https://arxiv.org/abs/1211.3703

Abstract

This paper describes the parity of coefficients in the McKay-Thompson series of Mathieu moonshine. As an application, it proves a conjecture proposed by Cheng, Duncan, and Harvey in Umbral moonshine concerning the Mathieu moonshine case.

Research Background and Motivation

Problem Background

1. Mathieu moonshine phenomenon: In 2010, Eguchi, Ooguri, and Tachikawa discovered a mysterious connection between the Mathieu group M₂₄ and the elliptic genus of K3 surfaces. The Fourier expansion coefficients of the K3 elliptic genus exhibit a striking correspondence with the dimensions of irreducible representations of M₂₄.
2. McKay-Thompson series: By analogy with the monstrous moonshine case, one can consider the McKay-Thompson series corresponding to elements g in conjugacy classes ℓX of M₂₄: $\Sigma_{\ell X}(\tau) = \sum_{n=-1}^{\infty} \text{Tr}(g|K_n) q^{n/8}$
3. Arithmetic properties of coefficients: While these series are known to have integer coefficients, little is understood about their congruence properties modulo primes, particularly modulo 2.

Research Motivation

1. Theoretical refinement: Deeper understanding of the arithmetic structure of Mathieu moonshine
2. Conjecture resolution: Resolving specific conjectures proposed by Cheng-Duncan-Harvey in Umbral moonshine theory
3. Methodological innovation: Developing new techniques for studying the parity of coefficients in moonshine phenomena

Core Contributions

1. Complete characterization of coefficient parity: Provides a complete description of all McKay-Thompson series coefficients modulo 2
2. Proof of CDH conjecture: Proves the Cheng, Duncan, and Harvey conjecture on the occurrence of specific irreducible representations
3. Technical methodology: Combines innovative approaches from modular form theory, Sturm's theorem, and group representation theory
4. Theoretical insights: Reveals deep arithmetic structures in Mathieu moonshine

Methodology Details

Main Theorem

Theorem 1.2: For conjugacy classes ℓX of M₂₄, the coefficient of $q^{n/8}$ in $\Sigma_{\ell X}(\tau)$ is odd if and only if:

• ℓX ∈ {7AB, 14AB, 15AB, 23AB} and n = ℓm², where m is odd; or
• ℓX = 21AB and n = ℓm², where m is odd and not divisible by 3

Technical Framework

1. Parity Function Method

For non-even cases (7AB, 14AB, 15AB, 21AB, 23AB), introduce "parity functions": $f_m(\tau) = \frac{1}{4}\left(\vartheta_3\left(\frac{m\tau}{8}\right) - \vartheta_4\left(\frac{m\tau}{8}\right)\right)$

where $\vartheta_3(\tau) = 1 + \sum_{m=1}^{\infty} 2q^{m^2}$ and $\vartheta_4(\tau) = 1 + \sum_{m=1}^{\infty} 2(-q)^{m^2}$

2. Application of Sturm's Theorem

Utilize Sturm's theorem to verify divisibility properties of modular forms: for modular forms of weight k on $\Gamma_0(N)$, it suffices to verify the first n coefficients, where: $n \geq \frac{k}{12}[\text{SL}_2(\mathbb{Z}) : \Gamma_0(N)]$

3. Correction Function Technique

Introduce appropriate "correction functions" such that the combined function becomes a modular form of a known group, facilitating the application of Sturm's theorem.

Concrete Implementation

Case Study: Proof for 7AB

1. Parity function: $f_7(\tau) = q^{7/8} + q^{63/8} + q^{175/8} + \cdots$
2. Objective: Prove that all coefficients of $(\Sigma_{7AB}(\tau) + f_7(\tau))$ are even
3. Correction function: $\frac{7}{4}\vartheta_3(\tau)^4$
4. Modular form: Construct a weight 2 modular form on $\Gamma_0(448)$
5. Sturm verification: Verify the parity of the first 129 coefficients

Experimental Setup

Computational Verification

• Sturm bound calculation: Compute specific verification bounds for each case
• Coefficient calculation: Precisely compute Fourier coefficients of McKay-Thompson series
• Modular form identification: Confirm that constructed functions are indeed modular forms on the corresponding congruence subgroups

Verification Ranges

Number of coefficients requiring verification for different cases:

• 7AB, 14AB: 129 coefficients
• 15AB, 23AB: 385 coefficients
• 21AB: 1537 coefficients

Experimental Results

Main Results

Complete proof of Theorem 1.2: Through case-by-case analysis, completely determines the coefficient parity patterns for all 26 McKay-Thompson series.

Non-even cases (Section 2):

• 7AB: Coefficients are odd when n = 7m², m odd
• 14AB: Same pattern as 7AB
• 15AB: Coefficients are odd when n = 15m², m odd
• 21AB: Coefficients are odd when n = 21m², m odd and not divisible by 3
• 23AB: Coefficients are odd when n = 23m², m odd

Even cases (Section 3):

• All coefficients of McKay-Thompson series for the remaining 21 conjugacy classes are even

Application Results

Theorem 4.1: Proves the occurrence of specific irreducible representation pairs:

• ℓ = 7: Total multiplicity of $\chi_3 \oplus \chi_4$ and $\chi_{12} \oplus \chi_{13}$ is odd
• ℓ = 15: Multiplicity of $\chi_5 \oplus \chi_6$ is odd
• ℓ = 23: Multiplicity of $\chi_{10} \oplus \chi_{11}$ is odd

Proof of CDH conjecture: Obtained as a direct corollary of Theorem 4.1.

Related Work

Historical Background

1. Monstrous moonshine: Conway-Norton's pioneering work establishing connections between the Monster group and modular functions
2. K3 elliptic genus: Eguchi-Ooguri-Tachikawa's discovery of connections between M₂₄ and K3 surfaces
3. Umbral moonshine: Cheng-Duncan-Harvey's generalized moonshine theory

Technical Development

1. Modular form theory: Utilizing properties of Eisenstein series and the η-function
2. Sturm's theorem: Systematic application in moonshine research
3. Group representation theory: Application of character theory in coefficient analysis

Conclusions and Discussion

Main Conclusions

1. Complete classification: First complete characterization of modulo 2 properties of McKay-Thompson series in Mathieu moonshine
2. Conjecture resolution: Successfully proves important conjectures in Umbral moonshine theory
3. Methodological contribution: Develops systematic methods for studying arithmetic properties of moonshine coefficients

Limitations

1. Missing algebraic structures: Unlike monstrous moonshine, Mathieu moonshine lacks underlying algebraic structures such as vertex operator algebras
2. Other primes: Methods primarily target the modulo 2 case; generalization to other primes requires further research
3. Generalization: Extension to other Umbral moonshine cases remains to be explored

Future Directions

1. Algebraic structures: Seeking underlying algebraic structures for Mathieu moonshine
2. Other primes: Investigating congruence properties modulo other primes
3. Umbral generalization: Applying methods to other Umbral moonshine cases

In-Depth Evaluation

Strengths

1. Technical innovation: Cleverly combines modular form theory and group representation theory, creatively employing parity functions and correction functions
2. Complete results: Provides complete classification for all cases without omissions
3. Computational rigor: Provides verifiable proof methods through Sturm's theorem
4. Applied value: Successfully resolves important conjectures in the field

Weaknesses

1. Computational complexity: Some cases require verification of numerous coefficients, resulting in substantial computational burden
2. Method specificity: Highly technical; generalization to other problems may be difficult
3. Theoretical explanation: Lacks deep theoretical explanation for why these specific patterns occur

Impact

1. Theoretical contribution: Provides important arithmetic information for Mathieu moonshine theory
2. Methodological value: Offers technical reference for studying other moonshine phenomena
3. Conjecture resolution: Advances development of Umbral moonshine theory

Applicable Scenarios

1. Moonshine research: Coefficient analysis for other moonshine phenomena
2. Modular form applications: Arithmetic applications of modular forms in number theory
3. Group representations: Study of arithmetic properties of finite group representations

References

This paper cites important literature in moonshine theory, modular form theory, and group representation theory, particularly:

• Conway-Norton's pioneering work on monstrous moonshine
• Eguchi-Ooguri-Tachikawa's discovery of connections between K3 surfaces and M₂₄
• Cheng-Duncan-Harvey's Umbral moonshine theory
• Sturm's classical theorem on congruence properties of modular forms