[論文レビュー] Umbral Moonshine and the Niemeier Lattices

Miranda C. N. Cheng, John F. R. Duncan+1 more|arXiv (Cornell University)|Jul 22, 2013

Advanced Algebra and Geometry参考文献 47被引用数 22

ひとこと要約

本論文は、23個のニエメイヤー格子（非自明なルート系をもつランク24の偶数ユニモジュラー格子）とアンブレル・ムーンシャインの間の接続を確立する。各格子に対して有限群と、ラマヌジャンのモック・シータ関数を含む成分をもつベクトル値モック・モジュラー形式を関連付ける。主な貢献は、アンブレル・ムーンシャイン予想の提唱であり、各ニエメイヤー格子が、特徴的なタイプのモック・モジュラー形式であるgraded trace関数をもつ無限次元モジュールを備えると仮定するもので、モノスターモンシャインを一般化し、 McKay対応を通じてニエメイヤーのルート系と種数0の群を結びつける。

ABSTRACT

In this paper we relate umbral moonshine to the Niemeier lattices: the 23 even unimodular positive-definite lattices of rank 24 with non-trivial root systems. To each Niemeier lattice we attach a finite group by considering a naturally defined quotient of the lattice automorphism group, and for each conjugacy class of each of these groups we identify a vector-valued mock modular form whose components coincide with mock theta functions of Ramanujan in many cases. This leads to the umbral moonshine conjecture, stating that an infinite-dimensional module is assigned to each of the Niemeier lattices in such a way that the associated graded trace functions are mock modular forms of a distinguished nature. These constructions and conjectures extend those of our earlier paper, and in particular include the Mathieu moonshine observed by Eguchi-Ooguri-Tachikawa as a special case. Our analysis also highlights a correspondence between genus zero groups and Niemeier lattices. As a part of this relation we recognise the Coxeter numbers of Niemeier root systems with a type A component as exactly those levels for which the corresponding classical modular curve has genus zero.

研究の動機と目的

• マチュー・ムーンシャインのケースに限らないアンブレル・ムーンシャインの枠組みを、23すべてのニエメイヤー格子へと拡張すること。
• 各ニエメイヤー格子に対して、その自己同型群の商として有限群を定義し、各共役類に対してモック・モジュラー形式を定義すること。
• ニエメイヤー格子のルート系のコクセター数（A型成分を含むもの）と、種数0のモジュラー群のレベルとの対応を確立すること。
• アンブレル・ムーンシャイン予想を提唱し、証拠を提示すること。無限次元モジュールがニエメイヤー格子と関連づけられ、そのgraded trace関数が特徴的なタイプのモック・モジュラー形式であるとすること。

提案手法

• 各ニエメイヤー格子に対して、その自己同型群の商として有限群を構成し、ルート系への作用に注目する。
• 関連する有限群の各共役類に対して、Eichler–Zagier作用素とヤコビ形式を用いてベクトル値モック・モジュラー形式を定義する。
• モック・モジュラー形式のシャドウ理論を用い、これらの形式の成分がラマヌジャンの既知のモック・シータ関数と関係することを示す。
• 正則ヤコビ形式の理論と、その重さ0ヤコビ形式への分解を用い、アンブレル・モック・モジュラー形式を構成する。
• 得られた形式のフーリエ係数が、既知のモック・シータ関数の展開と一致することを検証する。特に、λ=2〜14+7および30+6,10,15のケースについて。
• ニエメイヤー格子のルート系のコクセター数（A型成分を含むもの）と、種数0のモジュラー群のレベルとの対応を確立し、種数0条件を確認する。

実験結果

リサーチクエスチョン

• RQ1 アンブレル・ムーンシャインをマチュー・ムーンシャインのケースから、23すべてのニエメイヤー格子へ体系的に拡張する方法は何か？
• RQ2 ニエメイヤー格子に関連する有限群と、それに対応するベクトル値モック・モジュラー形式との間の明確な関係は何か？
• RQ3 どのレベルのモジュラー群がニエメイヤー格子のルート系に対応するか？また、これは種数0曲線とどのように関係するか？
• RQ4 モック・モジュラー形式の成分が、ラマヌジャンのモック・シータ関数とどの程度一致するか？
• RQ5 各ニエメイヤー格子に対して、そのgraded trace関数が特徴的なタイプのモック・モジュラー形式であるような一貫性のある無限次元モジュールを関連づけることができるか？

主な発見

• アンブレル・ムーンシャイン予想が提唱された。これは、各ニエメイヤー格子に対して、特徴的な性質をもつモック・モジュラー形式であるgraded trace関数をもつ無限次元モジュールが存在するとするものである。
• 23個のニエメイヤー格子のうち17個について、関連するモック・モジュラー形式の成分が、既知のラマヌジャンのモック・シータ関数と一致しており、特にλ=2〜14+7および30+6,10,15のケースで顕著である。
• A型成分をもつニエメイヤー格子のルート系のコクセター数は、対応する古典的モジュラー曲線が種数0であるようなレベルに丁度一致し、種数0の群と直接的な関係を確立する。
• 各λおよび共役類についてのモック・モジュラー形式のフーリエ係数が計算され、23すべてのニエメイヤー格子において一貫したパターンを示している。
• 正則ヤコビ形式の重さ0成分への分解は、ニエメイヤー格子からアンブレル・モック・モジュラー形式を体系的に構成する手法を提供する。
• 各モック・モジュラー形式のシャドウが明示的に計算され、ヤコビ形式であることが示された。これにより、調和マース形式の理論による構成の整合性が裏付けられた。