[論文レビュー] Integrability of C_2-cofinite vertex operator algebras

Chongying Dong, Geoffrey Mason|ArXiv.org|Jan 23, 2006

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

ひとこと要約

この論文は、単純で $C_2$-cofinite な強力な CFT 型の頂点演算子代数が、可積分なアフィンリーリー代数作用を持つことを確立している。その任意の単純なリーリー部分代数は、正の整数 $k$ に対して $L(k,0)$ に同型な最高重量モジュールを生成し、全代数は対応するアフィンカク＝ムーディ代数の可積分モジュールである。この可積分性は、頂点演算子代数に強い算術的および構造的制約を課し、アフィン構成における有理型と $C_2$-cofiniteness の関係を結ぶ。

ABSTRACT

The following integrability theorem for vertex operator algebras V satisfying some finiteness conditions(C_2-cofinite and CFT-type) is proved: the vertex operator subalgebra generated by a simple Lie subalgebra {\frak g} of the weight one subspace V_1 is isomorphic to the irreducible highest weight \hat{\frak g}-module L(k, 0) for a positive integer k, and V is an integrable \hat{\frak g}-module. The case in which {\frak g} is replaced by an abelian Lie subalgebra is also considered, and several consequences of integrability are discussed.

研究の動機と目的

• $C_2$-cofiniteness および強力な CFT 型条件の下で頂点演算子代数の可積分性を確立すること。
• 特に、$V_1$ 内のリーリー部分代数によって生成される頂点演算子代数の構造を明確にすること、特にそれらが $L(k,0)$ モジュールに同型であることを示すこと。
• アフィン VOAs に対して、有理型と $C_2$-cofiniteness が同値であることを探索すること。
• アーベルなリーリー部分代数の役割とそれらがラティス VOAs とどのように関連するかを調査すること。
• $C_2$-cofiniteness と有理型が、アフィンカク＝ムーディ代数の最高重量モジュールに関連する頂点演算子代数に対して同値であることを証明すること。

提案手法

• Zhu の $C_2$-cofiniteness 条件を用いて、$V$ における非再重複モードを持つ PBW 型の生成集合を確立する。
• 頂点演算子代数の構造を用いて、括弧 $[u,v] = u_0 v$ と不変な双一次形式 $\langle u,v\rangle = u_1 v$ を用いて $V_1$ 上にリーリー代数構造を定義する。
• アフィンカク＝ムーディ代数の表現論を活用し、単純なリーリー部分代数 $\mathfrak{g} \subset V_1$ によって生成される頂点演算子部分代数が、ある正の整数 $k$ に対して $L(k,0)$ に同型であることを示す。
• ハイゼンベルクおよびラティス VOAs の作用を用いて、$V$ を $M(1) \otimes \Omega_V(0)$ 上のモジュールとして分解し、正定値な偶数ラティス $L$ の構成に至る。
• フュージョン則とモジュール同型を用いて、すべての $\alpha \in L$ に対して $\Omega_V(\alpha) \cong \Omega_V(0)$ であることを示し、$L \subseteq P$ かつ $L$ が偶数かつ正定値であることを示す。
• 重み格子 $P$ のランク条件を用いて、$\oplus_{\alpha \in L} M(1,\alpha)$ がラティス頂点演算子代数 $V_L$ に同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 単純なリーリー部分代数 $\mathfrak{g} \subset V_1$ によって生成される頂点演算子部分代数が、正の整数 $k$ に対して $L(k,0)$ に同型となるのはどのような条件下か？
• RQ2 $C_2$-cofiniteness は、アフィンカク＝ムーディ代数 $\hat{\mathfrak{g}}$ の $V$ 上の作用の可積分性を保証するのに十分か？
• RQ3 アフィンカク＝ムーディ代数の最高重量モジュールに関連する頂点演算子代数に対して、有理型と $C_2$-cofiniteness は同値か？
• RQ4 $V_1$ 内のアーベルなリーリー部分代数によって生成される頂点演算子代数は、ラティス頂点演算子代数として実現可能か？
• RQ5 重み格子 $P$ が有理型であり、かつ $V$ がラティス部分代数 $V_L$ を含むことを保証する条件は何か？

主な発見

• 単純なリーリー部分代数 $\mathfrak{g} \subset V_1$ によって生成される頂点演算子部分代数は、ある正の整数 $k$ に対して $L(k,0)$ に同型であり、$V$ は可積分な $\hat{\mathfrak{g}}$-モジュールである。
• $C_2$-cofiniteness および強力な CFT 型の仮定の下で、$\mathfrak{g}$ 上に制限された双一次形式 $\langle \cdot, \cdot \rangle$ は非退化である。
• アフィンカク＝ムーディ代数の最高重量モジュールに関連する頂点演算子代数に対して、有理型と $C_2$-cofiniteness は同値である。
• 重み格子 $P$ から構成された正定値な偶数ラティス $L$ に対して、ラティス頂点演算子代数 $V_L$ は $V$ の部分代数として実現される。
• 頂点演算子代数 $V$ は、$M(1) \otimes \Omega_V(0)$ 上の直和として分解され、$L$ における陪類代表 $\mu_i$ に対して、成分が $M(1,\alpha + \mu_i) \otimes \Omega_V(\mu_i)$ に同型であることが確認され、ラティス構造が裏付けられる。
• アーベルなリーリー部分代数がラティス VOA を生成するという予想は、重み格子 $P$ の有理型と同値であり、$P$ のランクが $\mathfrak{g}$ のランクに等しい場合に成立する。