[論文レビュー] Generalized Moonshine IV: Monstrous Lie algebras

Scott Carnahan|arXiv (Cornell University)|Aug 30, 2012

Algebraic structures and combinatorial models参考文献 27被引用数 31

ひとこと要約

本稿は、モノスター群の中心化部分群の射影的作用を、月光頂点 operator 代数のねじれモジュールから、ストリング理論的量子化手順を用いて無限次元リー代数として構成する。Fricke 要素に対して、これらの作用の特徴が Hauptmoduln であることを証明し、月光モジュール $V^\natural$ の既約ねじれモジュールについて、ノーダーの一般化月光予想を完全に解決する。

ABSTRACT

For each element of the Fischer-Griess Monster sporadic simple group, we construct an infinite dimensional Lie algebra equipped with a projective action of the centralizer of that element. Our construction is given by a string-theoretic "add a spacetime torus and quantize" functor applied to an abelian intertwining algebra that is formed from a family of twisted modules of the Monster vertex operator algebra. We prove that for all Fricke elements in the Monster, the characters of centralizers acting on the corresponding irreducible twisted modules are Hauptmoduln. From these results, we resolve Norton's Generalized Moonshine Conjecture.

研究の動機と目的

• モノスター群内の可換な要素のペアへの拡張である、ノーダーの一般化月光予想を解決すること。
• 頂点 operator 代数の技法を用いて、モノスター群の各要素に対して、中心化部分群の射影的作用を持つリー代数を構成すること。
• Fricke 要素に対して、これらの作用の次数付きトレース（特徴）が Hauptmoduln であることを証明し、モジュラー不変性を確認すること。
• 頂点 operator 代数、BRST コホロロジー、ボルチェルズ・カク・ムーディー リー代数を結びつける一貫した枠組みを確立すること。
• 既約ねじれ $V^\natural$-モジュールについて、一般化月光予想を完全に解決すること。
• 予想が要請するように、$SL_2(\mathbb{Z})$ 変換性および共役に関する不変性が成り立っていることを検証すること。

提案手法

• モノスター頂点 operator 代数 $V^\natural$ のねじれモジュールから構成されたアーベル相互作用代数に、'時空トーラスを加えて量子化する'函手を適用する。
• 古典型の量子化と BRST コホロロジーを用いて、頂点代数的入力をもとにリー代数の構造を構成する。
• Virasoro 代数の予備的考察を用いて、$L_0$-次数付きとスペクトルフローを定義する。
• ボルチェルズ・カク・ムーディー性質を用いて、リー代数が実単純根を持ち、分母恒等式を許容することを保証する。
• リー代数とそのコホロロジーの間の比較定理を適用して、構成された代数の構造を検証する。
• Fricke 同調性と $g$-有理性を用いて、モジュラー不変性を通じて中心化部分群作用の特徴を Hauptmoduln に結びつける。

実験結果

リサーチクエスチョン

• RQ1 モノスター群の各要素 $g$ に対して、$V^\natural$ から構成された無限次元リー代数に、中心化部分群 $C_{\mathbb{M}}(g)$ の自然な射影的作用が存在するか？
• RQ2 ねじれ $V^\natural$-モジュール上の中心化部分群作用の特徴が、Fricke 要素に対して Hauptmoduln であるか？
• RQ3 特徴の $SL_2(\mathbb{Z})$-作用が、ノーダーの予想が要請する変換性と一致するか？
• RQ4 このリー代数の構成を用いて、既約ねじれ $V^\natural$-モジュールについて、一般化月光予想を完全に解決できるか？
• RQ5 ねじれモジュールの $L_0$-スピンスペクトルは、特徴のモジュラー性と整合的か？

主な発見

• 各 $g \in \mathbb{M}$ に対して、本稿は時空トーラス拡張の量子化によって実現される、中心化部分群 $C_{\mathbb{M}}(g)$ の自然な射影的作用を持つ無限次元リー代数を構成する。
• Fricke 要素のとき、各々のリー代数がボルチェルズ・カク・ムーディーであり、実単純根を持つことが示された。
• Fricke 要素に対して、既約 $g$-ねじれ $V^\natural$-モジュール上の中心化部分群作用の特徴が Hauptmoduln であることが証明された。
• $SL_2(\mathbb{Z})$-共変性が確立され、ノーダーの予想におけるモジュラー変換性が確認された。
• 関数 $Z(g,h;\tau) = \operatorname{Tr}(\tilde{h} q^{L_0 - 1} | V^\natural(g))$ は、定数または Hauptmoduln であり、予想の条件 (3) を満たす。
• 一般化月光予想は完全に解決された：すべての5条件、$SL_2(\mathbb{Z})$-不変性および $J$-関数の特徴付けを含め、ねじれ $V^\natural$-モジュールについて検証された。