[論文レビュー] 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

ひとこと要約

本論文は、マチュー月光作用におけるマケイ＝トーマプス級数のフーリエ係数の偶奇を決定し、指数が $\ell m^2$ の形で $m$ が奇数であるとき、係数が奇数となるのは特定の共役類（7AB, 14AB, 15AB, 21AB, 23AB）に限ることを証明する。この結果は、程、ダンプン、ハーヴェイによる、$M_{24}$-加群における特定の既約表現の出現に関する予想を、モジュラー形式とスツルムの定理を用いて、係数の偶奇を modulo 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.

研究の動機と目的

• マチュー月光作用のマケイ＝トーマプス級数におけるフーリエ係数の偶奇を特定すること。
• 程、ダンプン、ハーヴェイによる、月光加群における特定の既約 $M_{24}$-表現の出現に関する予想を検証すること。
• 級数の係数が奇数となる条件を特定し、それらを特定の共役類および $m$ が奇数である形の $\ell m^2$ の指数と結びつけること。
• 係数の偶奇を modulo 2 で分析するためのモジュラー形式論的証明を、スツルムの定理を用いて構築すること。
• 係数の偶奇と表現の重複度との関連を明らかにすることで、マチュー月光作用における $M_{24}$-加群構造をより洗練された理解に高めること。

提案手法

• 著者らは、$M_{24}$ の共役類 $\ell X$ に対するマケイ＝トーマプス級数 $\Sigma_{\ell X}(\tau)$ を分析し、擬モジュラー形式およびシータ関数から導かれた明示的公式を用いる。
• フーリエ係数の偶奇に関する問題を、$\Gamma_0(N)$ 上のモジュラー形式に還元し、$\Sigma(\tau)$、$\eta(\tau)$、$\phi_2^{(N)}(\tau)$ を含む既知の表現を活用する。
• スツルムの定理を適用し、有限個のフーリエ係数における整除条件のチェックによって、係数の偶奇を特定する。
• 共役類に応じた場合分けを実施し、特に係数が奇数となる $7AB$、$14AB$、$15AB$、$21AB$、$23AB$ の場合に注目する。
• 各ケースについて、特性指標理論とトレース恒等式を用い、奇数係数の寄与が特定の共役対の既約表現の存在と関連することを示す。
• 残りの共役類については、対称性およびモジュラー性を用いて拡張し、奇数係数の完全な特徴付けを確認する。

実験結果

リサーチクエスチョン

• RQ1 どの共役類 $\ell X$ の $M_{24}$ および指数 $n/8$ に対して、$\Sigma_{\ell X}(\tau)$ のフーリエ係数が奇数となるか？
• RQ2 $n$ と $\ell$ が満たすべき正確な条件は何か？ すなわち、$q^{n/8}$ の係数が $\Sigma_{\ell X}(\tau)$ で奇数となる条件は？
• RQ3 なぜ $M_{24}$ の特定の既約表現、例えば $\chi_3, \chi_4$ は、$K_n$ 加群に係数が奇数のときのみ出現するのか？
• RQ4 係数の偶奇は、$M_{24}$-加群 $K$ における共役対の既約表現の重複度とどのように関係するか？
• RQ5 程、ダンプン、ハーヴェイによる、特定の表現対の出現に関する予想は、係数の偶奇を用いて証明可能か？

主な発見

• 級数 $\Sigma_{\ell X}(\tau)$ の $q^{n/8}$ の係数が奇数であるのは、$\ell X \in \{7AB, 14AB, 15AB, 23AB\}$ かつ $n = \ell m^2$、$m$ が奇数のとき、または $\ell X = 21AB$ かつ $n = \ell m^2$、$m$ が奇数で 3 で割り切れないときである。
• $\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$ について、$\lambda \cong \bar{\lambda}$ であれば $K_n$ における重複度は偶数であるが、係数が奇数でかつ表現が共役対に属する場合にのみ奇数となる。
• 程、ダンプン、ハーヴェイによる予想は完全に裏付けられた：指定された共役対は、$q^{n/8}$ の係数が奇数で、$n = \ell m^2$、$m$ が奇数のとき、$K_n$ にのみ出現する。