[論文レビュー] Moonshine for Rudvalis's sporadic group I

John F. R. Duncan|ArXiv.org|Sep 15, 2006

Algebraic structures and combinatorial models被引用数 4

ひとこと要約

本稿は、強化されたコンフォーマル構造を備えた頂点演算子超代数（VOSA）を導入し、位数7の巡回群と散発的ルドヴァリス群の直積である自己双対なVOSA（ランク28）を構成する。この群作用に対して二変数マケイ＝トムプソン級数を定義し、そのモジュラー不変性を証明するとともに明示的表現を与えることで、モンスターグループに含まれない散発的群に対する非モンスタームーンシャイン現象を実現する。

ABSTRACT

We introduce the notion of vertex operator superalgebra with enhanced conformal structure, which is a refinement of the notion of vertex operator superalgebra. We exhibit several examples, including a particular one which is self-dual, and whose full symmetry group is a direct product of a cyclic group of order seven with the sporadic simple group of Rudvalis. We thus obtain an analogue of Monstrous Moonshine for a sporadic group not involved in the Monster. Two variable analogues of the usual McKay--Thompson series are naturally associated to the action of the Rudvalis group on this object, and we provide explicit expressions for all the series arising.

研究の動機と目的

• モンスターグループを超えるVOA理論を拡張するため、強化されたコンフォーマル構造を備えた頂点演算子超代数の洗練された枠組みを構築すること。
• 位数7の巡回群と散発的ルドヴァリス群の直積である自己双対なVOSA（ランク28）を構築すること。
• モンスタームーンシャインに類似した、ルドヴァリス群の作用に対する二変数マケイ＝トムプソン級数を定義し、計算すること。
• SL2(Z)の作用の下でこれらの級数がモジュラー不変性を満たすことを確立し、Zhuのモジュラー理論をジャコビ形式に一般化すること。
• VOSA A_Ru が、非自明な小要素をもたないランク28の自己双対な強化VOSAとして、V♮ や VB♮ に類似した特徴付けを満たす証拠を提供すること。

提案手法

• 強化されたコンフォーマル構造を備えた頂点演算子超代数の概念を導入し、追加のスーパーコンフォーマル対称性を組み込むことで、標準的なVOAを精緻化する。
• 線形群とクリフォード代数のモジュールからの非捻りおよび捻りの構成を用いて、特定のVOSA A_Ru を構成する。
• ケイリー代数によるルドヴァリス群の単項式記述を用いて、VOSA上での群作用を定義する。
• m = 28 のクラス E_m に属するジャコビ形式として二変数特徴を定義し、ポアソン和公式およびシータ関数の恒等式を用いて、SL2(Z) における変換性を証明する。
• VOAにおけるZhuのモジュラー理論を適用し、それをU(1)-VOAに拡張し、モジュラー形式の代わりにジャコビ形式を用いる。
• A_Ru の順序付き特徴とそのルドヴァリス群の既約表現への分解を分析することで、二変数マケイ＝トムプソン級数の明示的表現を導出する。

実験結果

リサーチクエスチョン

• RQ1 モンスターグループに含まれない散発的群が、強化されたコンフォーマル構造を備えた自己双対な頂点演算子超代数の完全な対称性群として実現可能か？
• RQ2 ルドヴァリス群の作用に関連する二変数マケイ＝トムプソン級数の明示的表現は何か？
• RQ3 これらの級数はSL2(Z)の作用の下でどのように変換され、モンスタームーンシャインと類似したモジュラー不変性を満たすか？
• RQ4 VOSA A_Ru は、非自明な小要素（次数1/2または1）をもたないランク28の自己双対な強化VOSAとして、一意的であると特徴付けられるか？
• RQ5 ZhuのVOAにおけるモジュラー理論は、ジャコビ形式を用いることでU(1)-VOAへどの程度一般化可能か？

主な発見

• VOSA A_Ru の二変数特徴はクラス E_28 に属し、S と T² で生成されるSL2(Z)の部分群に対する一様次元表現をなす。
• A_Ru の特徴は、重み0、インデックス28のジャコビ形式であり、ルドヴァリス群の既約表現と係数が一致する。例えば 784 = 1 + 783 および 92512 = (2)378 + 406 + 91350 である。
• これらの級数はSL2(Z)の作用の下でモジュラー不変性を示し、シータ関数にポアソン和公式を適用することで変換法則が導かれる。
• A_Ru の特徴は奇数電荷部分空間が消え、p^m と p^{-m} の係数が対称的であり、最初の非ゼロ項は次数0および1/2に現れる。
• 同次部分空間のルドヴァリス群の既約表現への分解は、モンスタームーンシャインで観察される構造（例：196884 = 1 + 196883）と類似している。
• VOSA A_Ru は自己双対であり、非自明な小要素（次数1/2または1）をもたないため、この対称性群をもつランク28の同様の対象として一意的であるとの仮説を支持する。