[論文レビュー] Selbstduale Vertexoperatorsuperalgebren und das Babymonster (Self-dual Vertex Operator Super Algebras and the Baby Monster)

Gerald Hoehn|arXiv (Cornell University)|Jun 4, 2007

Peptidase Inhibition and Analysis被引用数 35

ひとこと要約

この論文は、バビーサイズ群が自然に作用するランク $23\frac{1}{2}$ の自己双対な頂点 operator 超代数 $V\!B^\natural$ を構成し、モンスター・モジュールと類似したムーンシャイン的関係を確立する。極大自己双対 VOAs および SVOAs の体系的分類法を用いて、特定のモジュラー特徴関数 $\chi_{1/2}$ を含むこの SVOA の存在を証明し、短いゴレイ符号およびリーチ格子の構造的類似物を提供する。

ABSTRACT

We investigate self-dual vertex operator algebras (VOAs) and super algebras (SVOAs). Using the genus one correlation functions, it is shown that self-dual SVOAs exist only for half-integral central charges. It is described how self-dual SVOAs can be constructed from self-dual VOAs of larger central charge. The analogy with integral lattices and binary codes is emphasized. One main result is the construction of the shorter Moonshine module, a self-dual SVOA of central charge 23.5 on which the Baby monster - the second largest sporadic simple group - acts by automorphisms. The shorter Moonshine module has the character q^(-47/48)*(1+ 4371q^(3/2)+ 96256q^2+ 1143745q^(5/2) +...) and is the "shorter cousin" of the Moonshine module. Its lattice and code analog are the shorter Leech lattice and shorter Golay code. We conjecture that the shorter Moonshine module is the unique SVOA with this character. The final chapter introduces the notion of extremal VOAs and SVOAs. These are self-dual (S)VOAs with character having the same first few coefficients as the vacuum representation of the Virasoro algebra of the same central charge. We show that extremal VOAs exist at least for the central charges 8, 16, 24, 32, 40 and that extremal SVOAs exist only for the central charges c=0.5, 1, ..., 7.5, 8, 12, 14, 15, 15.5, 23.5 and 24. Examples for c=24 (resp. 23.5) are the (shorter) Moonshine module. Again, our results are similar to results known for codes and lattices.

研究の動機と目的

• 極大自己双対な頂点演算子超代数（SVOAs）を体系的に分類するための手法を開発すること。
• モンスター・モジュールと類似した、バビーサイズ群と頂点演算子超代数とのムーンシャイン的関係を確立すること。
• 自己双対性およびモジュラリティの文脈において、符号、格子、VOAs/SVOAs 間の構造的類似性を調査すること。
• ランク $23\frac{1}{2}$ の自己双対な SVOA が存在し、バビーサイズ群が自然に作用することを証明すること。
• $L_{1/2}^{\otimes 48}(0)$ における SVOA 分解を用いて、モンドシュライン・モジュール $V^\natural$ の新しい構成を与えること。

提案手法

• ${\mathbb{Z}}_2$-固定点構成または一般化されたオルビフォールドを用いて、VOAs から SVOAs を構成し、$\mathbb{Z}_2$-ねじれセクターを活用すること。
• モジュラー形式およびジャコビ形式の理論を用いて、SVOA の特徴関数、特に $\chi_{1/2} = \sqrt{\sum_{n\in\mathbb{Z}} q^{n^2/2}/(q^{1/24} \prod_{n=1}^\infty (1-q^n))}$ を分析すること。
• 有限次元の順次成分と重量 2 の conformal ベクトル $\omega$ を持つ頂点演算子超代数の理論を適用すること。
• 極大自己双対 VOAs の分類を、最小重量条件を用いて SVOAs に拡張すること。
• グリース代数およびイデムポテン型構造を用いて、バビーサイズ群作用の背後にある代数的枠組みを分析すること。
• GAP を用いた群論的特徴関数計算および表現論を用いて、バビーサイズ群が SVOA 上に作用することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 ランク $23\frac{1}{2}$ の自己双対な頂点演算子超代数が存在し、バビーサイズ群が自然に作用するか？
• RQ2 極大自己双対 SVOAs はどのように体系的に分類可能であり、その構造的不変量は何か？
• RQ3 このような SVOA のモジュラー特徴関数は何か？ また、その theta-リフト形式 $\chi_{1/2}$ や theta 関数とどのように関係するか？
• RQ4 $L_{1/2}^{\otimes 48}(0)$ におけるムーンシャイン・モジュール $V^\natural$ の分解は、バビーモンスター SVOA の構成にどのように寄与するか？
• RQ5 SVOA の文脈において、リーチ格子や短いゴレイ符号の類似物は何か？ また、バビーモンスターとどのように関係するか？

主な発見

• ランク $23\frac{1}{2}$ の自己双対な頂点演算子超代数 $V\!B^{\natural}$ が存在することが証明され、バビーサイズ群が自然に作用する。
• $V\!B^{\natural}$ の特徴関数は明示的に計算され、$\chi_{V\!B^{\natural}} = \chi_{1/2}^{47} - 47\chi_{1/2}^{23}$ であることが示され、ここで $\chi_{1/2}$ は theta-リフトされたモジュラー形式である。
• この SVOA は、頂点演算子超代数の文脈における短いゴレイ符号および短いリーチ格子の類似物である。
• この構成は、$V^\natural$ を $L_{1/2}^{\otimes 48}(0)$ の作用の下で分解することに依拠し、SVOA 構造を明らかにする。
• 極大自己双対 SVOAs の分類フレームワークが確立され、極大 VOAs の理論が拡張される。
• この研究は、モンスター群のムーンシャインと類似した、バビーモンスター群におけるムーンシャイン的現象を確認する。