[論文レビュー] Mathieu Moonshine and the Geometry of K3 Surfaces

Thomas Creutzig, Gerald Hoehn|arXiv (Cornell University)|Sep 10, 2013

Algebraic structures and combinatorial models参考文献 24被引用数 11

ひとこと要約

本稿は、K3表面の複素楕円的指標が、Mathieu群 $M_{24}$ および頂点演算子超代数 $V^G$（$G$ はホロノミー群）の自然な仮想的モジュール構造を持つことを確立する。有限シミプレクティック自己同型の下での等置楕円的指標が、Mathieuの月光現象の McKay-Thompson 級数と一致することを証明し、K3表面の幾何と頂点代数的構造を通じて月光現象の幾何的実現を達成する。

ABSTRACT

We compare the moonshine observation of Eguchi, Ooguri and Tachikawa relating the Mathieu group M_24 and the complex elliptic genus of a K3 surface with the symmetries of geometric structures on K3 surfaces. Two main results are that the complex elliptic genus of a K3 surface is a virtual module for the Mathieu group M_24 and also for a certain vertex operator superalgebra V^G where G is the holonomy group.

研究の動機と目的

• K3表面の複素楕円的指標と $M_{24}$ の表現論を結びつけることで、Mathieu の月光現象の幾何的・代数的基盤を確立すること。
• K3表面のハイパーカレル幾何から生じる頂点演算子代数構造が、Mathieu の月光によって予言される $M_{24}$-モジュール構造を説明できるかを調査すること。
• ホロモーフィック Lefschetz 固定点公式を用いて計算された等置楕円的指標を、Mathieu の月光の McKay-Thompson 級数と比較すること。
• ${\rm N}=4$ スーパーワイラスロ代数への楕円的指標のキャラクターへの分解が、$V^G$-モジュール構造として実現可能で、$M_{24}$-対称性と整合的かどうかを検討すること。
• $M_2(\Gamma_0(N))$ 内のモジュラー形式および整数的構造との整合性を評価すること。

提案手法

• K3表面の有限シミプレクティック自己同型群の Mukai の分類と、それらが $M_{24}$ に埋め込まれることを用いて、$M_{24}$-モジュール構造との整合性を確立する。
• ホロモーフィック Lefschetz 固定点公式を適用して、有限シミプレクティック群作用の下での K3表面の等置複素楕円的指標を計算する。
• K3表面上のベクトル束を構成し、そのファイバーが $V^G$-モジュール構造を持つようにし、 twisted Todd 指標を仮想的 $V^G$-モジュールのキャラクターとして得る。
• ${\rm N}=4$ スーパーワイラスロ代数を用いて、楕円的指標をキャラクターに分解し、Mathieu の月光におけるモジュラー形式と結びつける。
• 得られたキャラクターを Mathieu の月光の McKay-Thompson 級数と比較し、シミプレクティック自己同型から生じる $M_{24}$ のすべての共轭類について一致を確認する。
• 分解係数 $r_g$ の有理式を解析し、整数性およびモジュラー性を検証して、月光との整合性をテストする。

実験結果

リサーチクエスチョン

• RQ1 K3表面の複素楕円的指標は、すべてのシミプレクティック自己同型群（$M_{24}$ の部分群）と整合する仮想的 $M_{24}$-モジュール構造を備えられるか？
• RQ2 K3表面のハイパーカレル幾何から生じる頂点演算子代数構造は、楕円的指標の ${\rm N}=4$ スーパーワイラスロモジュール構造を説明できるか？
• RQ3 ホロモーフィック Lefschetz 公式を用いて計算された等置楕円的指標は、Mathieu の月光の McKay-Thompson 級数と等価か？
• RQ4 楕円的指標の ${\rm N}=4$ キャラクターへの分解が、$M_{24}$-月光と整合する $V^G$-モジュール構造として実現可能か？
• RQ5 McKay-Thompson 級数に現れるモジュラー形式 $f_g$ は、整数性およびモジュラー制約によって一意に定まるか？ また、幾何的実現と一致するか？

主な発見

• K3表面の複素楕円的指標は、すべての有限シミプレクティック自己同型群（これらは $M_{24}$ の部分群）と整合する仮想的 $M_{24}$-モジュールである。
• 有限シミプレクティック自己同型 $g$ の下での K3表面の等置楕円的指標は、定理 4.3 で示されるように、Mathieu の月光の McKay-Thompson 級数と正確に一致する。
• $M_{24}$ の共轭類 $2B$ および $4A$ の場合、$r_g$ の分解係数について、cyclotomic 多項式 $\Phi_n(t)$ を含む明示的な有理式が得られた。
• $11AB$、$14AB$、$15AB$、$23AB$ のような共轭類では、整数係数の有理式は存在せず、$V^G$-モジュール構造と整合しないことが示された。
• $V^G$-モジュール構造は、${\rm N}=4$ スーパーワイラスロモジュール構造を説明できるが、$r_g$ の非整数係数のため、完全な $M_{24}$-月光の実現は可能でない。
• 本稿は、$M_{24}$-モジュールおよび ${\rm N}=4$ スーパーワイラスロ構造は幾何的に実現可能であるが、現在の幾何的枠組みでは $V^G$-モジュール分解に対する完全な $M_{24}$-月光実現は不可能であると結論づける。