[論文レビュー] Mathieu Moonshine and Orbifold K3s

Matthias R. Gaberdiel, Roberto Volpato|arXiv (Cornell University)|Jun 22, 2012

Algebraic structures and combinatorial models参考文献 25被引用数 9

ひとこと要約

本稿は、K3表面の楕円的生成関数がマチュー群M24の表現に分解されることに由来するマチュー・ムーンシャインを調査する。Fourier係数の分解がM24の表現と一致するにもかかわらず、M24を自己同型群として持つK3シグマモデルは存在しない。著者らは、特に非可換Z5およびZ3のトーラスオルビフォールドが、M24に含まれない例外的な自己同型群を実現することを示し、M24がグローバルな対称性でないにもかかわらず楕円的生成関数に現れる理由を説明する。

ABSTRACT

The current status of `Mathieu Moonshine', the idea that the Mathieu group M24 organises the elliptic genus of K3, is reviewed. While there is a consistent decomposition of all Fourier coefficients of the elliptic genus in terms of Mathieu M24 representations, a conceptual understanding of this phenomenon in terms of K3 sigma-models is still missing. In particular, it follows from the recent classification of the automorphism groups of arbitrary K3 sigma-models that (i) there is no single K3 sigma-model that has M24 as an automorphism group; and (ii) there exist `exceptional' K3 sigma-models whose automorphism group is not even a subgroup of M24. Here we show that all cyclic torus orbifolds are exceptional in this sense, and that almost all of the exceptional cases are realised as cyclic torus orbifolds. We also provide an explicit construction of a Z5 torus orbifold that realises one exceptional class of K3 sigma-models.

研究の動機と目的

• M24がグローバル自己同型群として持たないにもかかわらず、K3表面の楕円的生成関数にM24が現れる理由を理解すること。
• M24の部分群でない自己同型群を持つ例外的K3シグマモデルが、K3理論のモジュライ空間に実際に存在するかを調査すること。
• 特に循環的オルビフォールドを用いて、そのような例外的K3シグマモデルの明示的例を構成すること。
• 循環的トーラスオルビフォールドにおける量子対称性の役割を明らかにし、K3シグマモデルにおける自己同型群に与える影響を解明すること。
• 以前のK3自己同型群分類結果の頑健性を検証するために、以前に仮定されていた例外的ケースの明示的実現を試みること。

提案手法

• 著者らは、K3シグマモデルの自己同型群の分類を用い、M24の部分群でない群のケース、特に先行研究におけるケース(ii)、(iii)、(iv)を特定する。
• T4の非可換Z5トーラスオルビフォールドを明示的に構成し、1つの例外的自己同型群を実現することで、そのようなモデルの存在を示している。
• Z3の場合には、ケース(iii)と(iv)の両方を実現するオルビフォールドの族を提示し、以前の理論的予測を確認している。
• 循環的トーラスオルビフォールドの量子対称性を分析し、これがM24に属さないことを示しており、M24が楕円的生成関数を支配する理由を説明する手がかりを与えている。
• この分析は、ボソン的バージョン演算子代数の技術と、ねじれセクターにおける非可換関係に依拠しており、モノドロミー因子を計算するためにCampbell-Baker-Hausdorffの公式を用いている。
• 格子運動量への群作用を用いて、ねじれセクターにおける局所性条件を検証し、モジュラー不変性を保証している。

実験結果

リサーチクエスチョン

• RQ1 M24がグローバル自己同型群として持たないにもかかわらず、K3の楕円的生成関数の分解にM24が現れるのはなぜか？
• RQ2 M24の部分群でない自己同型群を持つ例外的K3シグマモデルは、K3理論のモジュライ空間に実際に存在するのか？
• RQ3 循環的トーラスオルビフォールドは、K3シグマモデルの分類によって予測された例外的自己同型群を実現できるか？
• RQ4 循環的トーラスオルビフォールドにおける量子対称性の役割は何か？ そして、それらは得られるK3モデルのグローバル自己同型群にどのように影響を与えるか？
• RQ5 Z5およびZ3のオルビフォールドの明示的構成により、自己同型群分類の例外的ケース(ii)、(iii)、(iv)を実現できるか？

主な発見

• 循環的トーラスオルビフォールド、特に非可換Z5およびZ3オルビフォールドは、M24に含まれないすべての例外的自己同型群を実現し、それらがK3モジュライ空間に存在することを確認した。
• T4の非可換Z5トーラスオルビフォールドを明示的に構成し、自己同型群分類のケース(ii)を実現した。これは以前は仮定されていたが、明示的実現がなかった。
• 循環的トーラスオルビフォールドの量子対称性はM24に属さず、M24がグローバル対称性でないにもかかわらず楕円的生成関数を支配する理由を説明するメカニズムを提供している。
• Z3オルビフォールド構成により、分類のケース(iii)と(iv)の両方が実現され、これらの例外的群が物理的に実現可能であることを確認した。
• 本研究は、以前の研究におけるギャップを解消し、例外的ケースが単なる理論的可能性ではなく、明示的なオルビフォールド構成によって実現可能であることを示した。
• 結果として、例外的自己同型群はアノマリーではなく、特に非自明な量子対称性を持つトーラスオルビフォールド構成によって体系的に実現可能であることが示された。