[論文レビュー] Monstrous Moonshine of higher weight

Chongying Dong, Geoffrey Mason|ArXiv.org|Mar 24, 1998

Algebraic structures and combinatorial models参考文献 8被引用数 6

ひとこと要約

本稿は、モジュラー形式の重さが0より高い場合に、モンスタームーンシャインを拡張する。Moonshineモジュールにおける1点相関関数の空間を、上半平面で正則で、無限遠点に高々1位の極をもち、フーリエ展開において定数項が消える非負整数重さのモジュラー形式として特徴づける。主な貢献は、重さkが固定された場合に、群の元とモジュラー形式との間で、モンスター群に不変な一対一対応を構築することであり、これはk=0における元のムーンシャイン現象を一般化する。

ABSTRACT

We determine the space of 1-point correlation functions associated with the Moonshine module: they are precisely those modular forms of non-negative integral weight which are holomorphic in the upper half plane, have a pole of order at most 1 at infinity, and whose Fourier expansion has constant 0. There are Monster-equivariant analogues in which one naturally associates to each element in the Monster a modular form of fixed weight k, the case k=0 corresponding to the original ``Moonshine'' of Conway and Norton.

研究の動機と目的

• 元のモンスタームーンシャイン現象（重さk=0におけるモンスターグループとモジュラー関数の関連）を、より高い重さに一般化すること。
• Moonshineモジュールにおける1点相関関数の空間を、特定のクラスのモジュラー形式として特徴づけること。
• 各固定された重さk ≥ 0に対して、モンスター群に不変なモジュラー形式から群の元への割り当てを確立すること。
• このようなモジュラー形式が生じる条件を明確化すること：正則性、無限遠点における極の位数、定数項の消滅。
• 元のムーンシャイン予想を拡張する、重さの高いムーンシャインの統一的枠組みを提供すること。

提案手法

• 著者たちは、Moonshineモジュールの頂点 operator 代数における1点相関関数を、そのモジュラー不変性の性質を用いて分析する。
• このような相関関数の空間が、上半平面で正則で、非負整数重さkのモジュラー形式として同定される。
• 制約条件を課す：無限遠点に高々1位の極をもち、フーリエ展開において定数項が消えること。
• モンスター群から固定された重さkのモジュラー形式への、標準的かつモンスター群に不変な写像を構成し、k=0におけるj不変量を一般化する。
• モンスター群の表現論と、Moonshineモジュール上でのその元のトレース関数のモジュラー性を用いる。
• 得られた関数が要請されたモジュラー変換則を満たし、群の元と重さkによって一意に定まることを証明する。

実験結果

リサーチクエスチョン

• RQ1 Moonshineモジュールにおける1点相関関数の正確な空間は何か？ そして、モジュラー形式の観点からどのように特徴づけられるか？
• RQ2 k=0における元のモンスタームーンシャインは、k > 0の重さにどのように一般化できるか？
• RQ3 与えられた重さkに対して、相関関数として現れるモジュラー形式が満たすべき条件は何か？
• RQ4 各固定された重さk ≥ 0に対して、標準的かつモンスター群に不変なモジュラー形式から群の元への割り当てが存在するか？
• RQ5 フーリエ展開の定数項は、このようなモジュラー形式の空間を区別するために果たす役割は何か？

主な発見

• Moonshineモジュールにおける1点相関関数の空間は、正確に、上半平面で正則で、無限遠点に高々1位の極をもち、フーリエ展開において定数項が消える非負整数重さkのモジュラー形式からなる。
• 各固定された重さk ≥ 0に対して、モンスター群の各元にモジュラー形式をモンスター群に不変な方法で割り当てることができ、これはk=0における元のムーンシャインを一般化する。
• 相関関数として現れるモジュラー形式は、群の元と重さkによって一意に定まり、modular group SL(2,Z) の作用に対して正しく変換される。
• このような形式のフーリエ展開の定数項は恒等的にゼロであり、これはカスプ形式や他のモジュラー形式とは区別される。
• この構成により、モンスタームーンシャインの体系的かつ高重さへの一般化が得られ、k=0の場合はConwayとNortonの元の予想が回復される。
• 結果として、すべての非負整数重さにおいて、Moonshineモジュールに関連するモジュラーデータの正確かつ完全な特徴づけが確立された。