[論文レビュー] Rationality, Regularity, and C_2-cofiniteness

T. Abe, Geoffrey Buhl+1 more|ArXiv.org|Apr 1, 2002

Algebraic structures and combinatorial models参考文献 7被引用数 24

ひとこと要約

この論文は、頂点演算子代数（VOA）において、有理性とC2-有限性が正則性と同値であることを確立する。著者らは、C2条件とZhuの代数を用いて最低重量ベクトルの構成を行い、C2-有限かつ有理的なVOAにおける任意の弱モジュールが、通常の既約モジュールへの完全可約性を持つことを証明する。主な結果は、C2-有限性と有理性が同時に成り立てば正則性が導かれるというものであり、VOA分野における中心的な予想を解決する。

ABSTRACT

We demonstrate that, for CFT vertex operator algebras, C_2-cofiniteness and rationality is equivalent to regularity. In addition, we show that, for C_2-cofinite vertex operators algebras, irreducible weak modules are ordinary modules and C_2-cofinite, and V_L^+ are C_2-cofinite.

研究の動機と目的

• 頂点演算子代数において、有理性とC2-有限性が正則性を意味することを長年の予想として解決すること。
• C2-有限なVOAにおける既約な弱モジュールが、常に通常モジュールであることを確立すること。
• 任意の正定値偶数格子Lに対して、固定点部分代数V+LがC2-有限であることを証明し、既存の結果を拡張すること。

提案手法

• アフィン的またはVirasoroのVOAにおける特異ベクトルの類似として、C2-有限性条件を用いて任意の弱モジュールに最低重量ベクトルを構成する。
• Buhl（2002）のPBW型生成集合を用いて弱モジュールの構造を分析し、最低重量ベクトルの位置を特定する。
• C2-有限性のもとでZhuの代数A(V)の有限性を活用し、最低重量ベクトルの空間が非自明であることを示す。
• 定理3.3を適用して、単純なA(V)-加群によって生成されるV-モジュールが通常モジュールであることを示す。
• L(0)の一般化固有空間の構造を用いて、VがC2-有限であれば弱モジュールが適切であることを証明する。
• 相互作用作用素とA(V)-双加群に関する結果を応用し、既約な弱モジュールの融合規則の有限性を証明する。

実験結果

リサーチクエスチョン

• RQ1 C2-有限性と有理性が同時に成り立てば、頂点演算子代数において正則性が導かれるか？
• RQ2 C2-有限なVOAにおける既約な弱モジュールは、必ずしも通常モジュールであるか？
• RQ3 任意の正定値偶数格子Lに対して、固定点部分代数V+LはC2-有限であるか？
• RQ4 追加の有限性仮定なしに、既約な弱モジュールの融合規則の有限性を確立できるか？
• RQ5 C2-有限性は、弱モジュールにおけるL(0)の一般化固有空間の構造とどのように関係するか？

主な発見

• C2-有限性と有理性が同時に成り立てば、頂点演算子代数において正則性が導かれる。これは分野における中心的な予想を確認する結果である。
• C2-有限なVOAにおける任意の既約な弱モジュールは、既約な通常モジュールである。これは弱モジュールと通常モジュールのカテゴリの間の強い関係を確立する。
• 任意の正定値偶数格子Lに対して、固定点部分代数V+LはC2-有限である。これは[Y]の結果を一般化する。
• VがC2-有限であれば、既約な弱モジュールの融合規則は有限であり、モジュールに対する追加の有限性仮定は必要ない。
• C2-有限なVOAにおける弱モジュールは、L(0)の一般化固有空間の直和であるときにかつそのときに限り適切である。これは構造的特徴付けを提供する。