[論文レビュー] Brewing moonshine for Mathieu

Suresh Govindarajan|arXiv (Cornell University)|Dec 28, 2010

Advanced Algebra and Geometry参考文献 29被引用数 15

ひとこと要約

本稿は、散乱的マチュー群 $M_{12}$ に対する一般化されたムーンシャイン現象を提案し、その共役類を乗法的エータ積、指数1の重さ0のヤコビ形式、および dd モジュラー形式へと結びつける。この結びつきはボルチェルズ型の加法的リフトを通じてなされ、主要な結果として、すべての dd モジュラー形式およびそれに関連する BKM リー超代数が、$M_{12}$ ムーンシャインから生じることを示している。これは、$M_{12}$ と $M_{24}$ を結ぶ外部自己同型を介して、$M_{24}$ ムーンシャインの枠組みを拡張するものである。

ABSTRACT

We propose a moonshine for the sporadic Mathieu group M_12 that relates its conjugacy classes to various modular forms and Borcherds Kac-Moody Lie superalgebras.

研究の動機と目的

• $M_{24}$ のムーンシャイン概念を、散乱的群 $M_{12}$ へと拡張し、一般化されたムーンシャイン対応を同定すること。
• $M_{12}$ の共役類と乗法的エータ積、ヤコビ形式、および dd モジュラー形式との間の関係を確立すること。
• $M_{24}$ ムーンシャインに関連づけられていた dd モジュラー形式が、$M_{12}$ から外部自己同型を介して自然に生じることを示すこと。
• ランク3の BKM リー超代数のウェイル＝カック＝ボルチェルズの分母公式が、$M_{12}$ に関連する dd モジュラー形式として実現されることを示すこと。

提案手法

• $M_{12}$ の外部自己同型 $\varphi$ を用いて、$M_{12}\!:\!2$ を構成し、$M_{24}$ に埋め込むことで、$M_{12}$ と $M_{24}$ 間の共役類の追跡を可能にする。
• $M_{12}$ の共役類（サイクル型）から、$g_{\hat{\rho}}(\tau)$ を介して乗法的エータ積への写像を定義する。ここで $\hat{\rho} = 1^{a_1}2^{a_2}\cdots N^{a_N}$ であり、$\sum i a_i = 12$ を満たす。
• ボルチェルズの加法的リフトを適用し、重さ0のヤコビ形式 $\phi^{\hat{\rho}}_{0,1}(\tau,z)$ を genus 2 の dd モジュラー形式 $\Delta^{(N,M)}_k(\mathbf{Z})$ に変換する。
• Weyl-Kac-Borcherds 分母公式が正確に dd モジュラー形式 $\Delta^{(N,M)}_k(\mathbf{Z})$ に一致する BKM リー超代数 $\mathcal{G}_N(M)$ を構成する。
• $M_{12}\!:\!2$ の24次元表現を用いて、$M_{12}$-不変構造と $M_{24}$-不変モジュラー形式との関係を確立する。特に $1A$ 共役類とイグザの尖点形式 $\Phi_{10}(\mathbf{Z})$ を通じて関係づける。

実験結果

リサーチクエスチョン

• RQ1 外部自己同型を介して、$M_{24}$ のムーンシャイン現象をどのように $M_{12}$ に一般化できるか？
• RQ2 $M_{12}$ のどの共役類が乗法的エータ積および指数1のヤコビ形式に対応するか？
• RQ3 $M_{24}$ ムーンシャインに関連づけられていた dd モジュラー形式が、$M_{12}$ 構造からどのように生じるか？
• RQ4 $M_{12}\!:\!2$ の群拡張は、$M_{24}$ ムーンシャインを $M_{12}$ からどのように実現するか？

主な発見

• $M_{12}$ の15個の共役類のうち12個が乗法的エータ積に対応しており、サイクル型 $1^{12}$, $2^6$, $1^4 2^4$, $3^4$, $2^2 4^2$, $1^2 5^2$ などが含まれる。
• $M_{12}$ の共役類 $4B$ および $8B$ は乗法的エータ積を生成しないが、$4^3$, $3\,9$, $12$ は生成するが、これらは $M_{12}$ の共役類ではない。
• 加法的ボルチェルズリフトにより、重さ0のヤコビ形式 $\phi^{\hat{\rho}}_{0,1}(\tau,z)$ が dd モジュラー形式 $\Delta^{(N,M)}_k(\mathbf{Z})$ に写像され、これが BKM リー超代数の Weyl-Kac-Borcherds 分母公式として実現されていることが示された。
• $M_{12}$ ムーンシャイン枠組みにより、すべての dd モジュラー形式が、$\mathcal{N}=4$ ストリング理論におけるダイオンの degeneracy を数える Siegel モジュラー形式の平方根として自然に実現される。
• $\Delta^{(N,M)}_k(\mathbf{Z})$ に関連する BKM リー超代数 $\mathcal{G}_N(M)$ は、モジュラー形式のフーリエ係数によって定義される根系を持ち、分母公式が dd モジュラー形式と一致する。