[論文レビュー] Holomorphic Vertex Operator Algebras of Small Central Charges

Chongying Dong, Geoffrey Mason|ArXiv.org|Mar 1, 2002

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

ひとこと要約

本稿は、中心指数 c = 8, 16, 24 の強い有理的で正則なホロモーフィックな頂点演算子代数（VOA）を厳密に分類し、c = 8 および 16 の場合、それらが偶数かつ自己双対な格子に付随する格子VOAと同型であることを証明する。c = 24 の場合、重み1の部分空間はランク ≤ 24 の再帰的リー代数を生成し、V がニエメイヤー格子またはリーク格子に由来する格子VOAであるか、または有理的レベルを持つランク < 24 の半単純リー代数であると示す。

ABSTRACT

We provide a rigorous mathematical foundation to the study of strongly rational, holomorphic vertex operator algebras V of central charge c = 8, 16 and 24 initiated by Schellekens. If c = 8 or 16 we show that V is isomorphic to a lattice theory corresponding to a rank c even, self-dual lattice. If c = 24 we prove, among other things, that either V is isomorphic to a lattice theory corresponding to a Niemeier lattice or the Leech lattice, or else the Lie algebra on the weight one subspace V_1 is semisimple (possibly 0) of Lie rank less than 24.

研究の動機と目的

• c ≤ 24 のホロモーフィック VOA のシュレルケンスの予想的分類に対する厳密な数学的基盤を確立すること。
• ユニタリティなどの未解決の物理的仮定に依存せずに、小中心指数における強い有理的で正則なホロモーフィック VOA の分類を解消すること。
• c=24 の VOA における重み1部分空間 V₁ の構造、特にそのリー代数および関連するレベルを特徴付けること。
• c=24 の場合、V がニエメイヤー格子またはリーク格子に由来する格子VOA であるか、V₁ がランク < 24 の半単純リー代数で有理的レベルを持つことの証明。
• V₁ = 0 の場合、V₂ が次元 196,884 の単純かつ可換な代数構造を持つことを示し、新たな代数的性質を確立すること。

提案手法

• Zhu のモジュラー不変性理論を用いて VOA の階数付き特徴関数を分析し、中心指数およびリー代数構造に制約を導出する。
• アフィンリー代数および最高重量モジュールの理論を適用し、L(0) の不変モジュール上での作用を研究し、バービン型作用素の実固有値を保証する。
• 修正されたバービン型作用素 ω′ = ω_aff + ω_H を定義し、それが重み 2、中心指数 0 の最高重量ベクトルであることを証明する。
• トレース生成関数 Z_V(ω′, τ) が SL(2,Z) 上の重み 2 の正則モジュラー形式であることを示し、したがって恒等的に 0 であることを導く。
• トレース恒等式 Tr_V[L′(0)^2 q^{L(0)-1}] = 0 を用いて、L′(0) のすべての固有値が 0 であることを導出し、最終的に ω′ = 0 を得る。
• アフィンリー代数に対する不変モジュールへの V の分解を活用し、各成分において L(0) が実固有値のみをもつことを証明する。

実験結果

リサーチクエスチョン

• RQ1 c = 8 および 16 の場合、すべての強い有理的で正則なホロモーフィック VOA は、偶数かつ自己双対な格子に付随する格子VOA と同型であるか？
• RQ2 c = 24 の場合、V₁ におけるリー代数構造を完全に特徴付けることは可能か？ そのランクおよびレベルにどのような制約があるか？
• RQ3 V₁ = 0 の場合、V₂ がどのような代数的構造を持つのか？ そして、それが単純かつ可換であるとされる根拠は何か？
• RQ4 ユニタリティの仮定を欠いても、Kac-Moody代数のレベルを制御するための代替的技法によってその欠如を補えるか？
• RQ5 ユニタリティを仮定せずに、c=24 のすべてのホロモーフィック VOA がシュレルケンスの 71 個の候補リー代数のいずれかと V₁ が同型であることを証明することは可能か？

主な発見

• c = 8 の場合、任意の強い有理的で正則なホロモーフィック VOA は、E8 根格子に付随する V_{E8} と同型である。
• c = 16 の場合、同様の VOA は、E8 + E8 または Γ16 という二つの偶数かつ自己双対なランク 16 の格子 L に付随する V_L と同型である。
• c = 24 の場合、V₁ におけるリー代数は再帰的であり、以下の4つの場合のうちちょうど1つが成立する：V₁ = 0、V₁ がランク24のアーベル的（V_Λ と同型）、V₁ がランク24の半単純的（格子VOA）、または V₁ がランク < 24 の半単純的。
• V₁ = 0 の場合、重み2の部分空間 V₂ は次元 196,884 の単純かつ可換な代数構造を持つ。
• V₁ がランク < 24 の半単純的である場合、各単純成分 g_i は有理的レベル k_i を持ち、関連するアフィンVOA は明確に定義された最高重量モジュール構造を持つ。
• ω′ = ω_aff + ω_H の構成は、ω′ = 0 でなければ矛盾を引き起こすため、トレース関数の消滅および最終的に ω′ の消滅を導く。これにより、モジュラートレースの議論の整合性が確認される。