[论文解读] The McKay-Thompson series of Mathieu Moonshine modulo two

Thomas Creutzig, Gerald Hoehn+1 more|arXiv (Cornell University)|Nov 15, 2012

Advanced Combinatorial Mathematics参考文献 11被引用 5

一句话总结

本文确定了 Mathieu 月光中 McKay-Thompson 系列傅里叶系数的奇偶性，证明当指数为 $\ell m^2$ 且 $m$ 为奇数时，系数为奇数的情形恰好对应于特定共轭类（7AB、14AB、15AB、21AB、23AB）。该结果证实了 Cheng、Duncan 和 Harvey 关于 $M_{24}$-模中某些不可约表示出现的猜想，通过模形式与 Sturm 定理分析模 2 下的系数奇偶性。

ABSTRACT

In this note, we describe the parity of the coefficients of the McKay-Thompson series of Mathieu moonshine. As an application, we prove a conjecture of Cheng, Duncan and Harvey stated in connection with Umbral moonshine for the case of Mathieu moonshine.

研究动机与目标

• 确定 Mathieu 月光中 McKay-Thompson 系列傅里叶系数的奇偶性。
• 验证 Cheng、Duncan 和 Harvey 关于特定不可约 $M_{24}$-表示在月光模中出现的猜想。
• 确立系列系数为奇数的条件，将其与特定共轭类及 $m$ 为奇数的 $\ell m^2$ 形式指数联系起来。
• 通过 Sturm 定理提供基于模形式理论的奇偶性分析证明，以研究模 2 下的系数奇偶性。
• 通过将系数奇偶性与表示多重性关联，深化对 Mathieu 月光中 $M_{24}$-模结构的理解。

提出的方法

• 作者分析了 $M_{24}$ 共轭类 $\ell X$ 的 McKay-Thompson 系列 $\Sigma_{\ell X}(\tau)$，利用从模拟模形式和 theta 函数导出的显式公式。
• 他们将系数奇偶性问题转化为 $\Gamma_0(N)$ 上的模形式，借助已知的涉及 $\Sigma(\tau)$、$\eta(\tau)$ 和 $\phi_2^{(N)}(\tau)$ 的表达式。
• 应用 Sturm 定理，通过检查有限个傅里叶系数的整除性条件来确定系数的奇偶性。
• 证明根据共轭类区分情形，特别关注 $7AB$、$14AB$、$15AB$、$21AB$ 和 $23AB$，这些类中出现奇数系数。
• 对每种情形，作者利用特征标理论与迹恒等式，将奇数系数的贡献与特定共轭不可约表示对的存在联系起来。
• 通过对称性与模性质将论证推广至其余共轭类，从而完整刻画了奇数系数。

实验结果

研究问题

• RQ1 对于 $M_{24}$ 的哪些共轭类 $\ell X$ 及指数 $n/8$，$\Sigma_{\ell X}(\tau)$ 的傅里叶系数为奇数？
• RQ2 在何种 $n$ 与 $\ell$ 的精确条件下，$\Sigma_{\ell X}(\tau)$ 中 $q^{n/8}$ 的系数为奇数？
• RQ3 为何 $M_{24}$ 的某些不可约表示（如 $\chi_3, \chi_4$）仅在系数为奇数时才出现在 $K_n$ 模中？
• RQ4 系数奇偶性如何与 $M_{24}$-模 $K$ 中共轭不可约表示对的多重性相关联？
• RQ5 是否能通过系数奇偶性证明 Cheng、Duncan 和 Harvey 关于特定表示对出现的猜想？

主要发现

• 当且仅当 $\ell X \in \{7AB, 14AB, 15AB, 23AB\}$ 且 $n = \ell m^2$，$m$ 为奇数，或 $\ell X = 21AB$ 且 $n = \ell m^2$，$m$ 为奇数且不被 3 整除时，$\Sigma_{\ell X}(\tau)$ 中 $q^{n/8}$ 的系数为奇数。
• 当 $\ell = 7$ 时，若 $n \equiv 7 \pmod{8}$ 且 $n = 7m^2$，$m$ 为奇数，则表示对 $(\chi_3, \chi_4)$、$(\chi_{12}, \chi_{13})$ 或 $(\chi_{15}, \chi_{16})$ 在 $K_n$ 中具有奇数多重性。
• 当 $\ell = 15$ 时，若 $n = 15m^2$，$m$ 为奇数，则 $(\chi_5, \chi_6)$ 在 $K_n$ 中具有奇数多重性。
• 当 $\ell = 23$ 时，若 $n = 23m^2$，$m$ 为奇数，则 $(\chi_{10}, \chi_{11})$ 在 $K_n$ 中具有奇数多重性。
• 证明确认：若 $\lambda \cong \bar{\lambda}$，则 $K_n$ 中任意不可约表示 $\lambda$ 的多重性为偶数，但仅当系数为奇数且表示属于共轭对时，其多重性才为奇数。
• Cheng、Duncan 和 Harvey 的猜想得到完全证实：指定的共轭对仅在 $q^{n/8}$ 的系数为奇数且 $n = \ell m^2$，$m$ 为奇数时才出现在 $K_n$ 中。