[论文解读] Rationality of vertex operator algebras

Chongying Dong, Cuipo Jiang|ArXiv.org|Jul 26, 2006

Algebraic structures and combinatorial models参考文献 39被引用 10

一句话总结

该论文建立了简单顶点算子代数有理性的基本准则：顶点算子代数 $V$ 是有理的，当且仅当其 Zhu 代数 $A(V)$ 是半单的，且每个不可约适定 $V$-模都是普通的。作者通过使用关联代数 $A_n(V)$ 及其双模理论证明了该结论，并将结果应用于证明：对于任意正定偶格 $L$，$V_L^+$ 是有理的。其主要贡献在于，完全基于 $V$ 的内部代数性质，对有理性进行了特征刻画。

ABSTRACT

It is shown that a simple vertex operator algebra V is rational if and only if its Zhu algebra A(V) is semisimple and each irreducible admissible V-module is ordinary. A contravariant form on a Verma type admissible V-module is constructed and the radical is exactly the maximal proper submodule. As an application the rationality of V_L^+ for any positive definite even lattice is obtained.

研究动机与目标

• 建立简单顶点算子代数有理性的必要且充分条件。
• 解决关于 Zhu 代数 $A(V)$ 的半单性是否蕴含 $V$ 有理性的开放问题。
• 提供一种基于内部代数结构而非外部模类性质的有理性实用判别准则。
• 将该准则应用于证明：对于任意正定偶格 $L$，$V_L^+$ 是有理的。
• 统一并扩展利用 $A(V)$-理论框架对不可约适定模的分类。

提出的方法

• 使用关联代数 $A_n(V)$（即 Zhu 代数 $A(V)$ 的推广）来控制适定模的前 $n+1$ 个分次层次。
• 利用 $A_{n,m}(V)$ 双模，将适定模各分次部分之间的同态关系与代数结构联系起来。
• 利用不可约适定 $V$-模与 $A(V)$-模之间的双射关系（通过其底层层次）。
• 证明：若 $A(V)$ 半单且所有不可约适定模均为普通模，则所有适定模都完全可约。
• 通过分析 $\bar{A}(V_L^+)$ 的结构（商去理想 $A_H$），证明商代数 $\widehat{A}(V_L^+)$ 是半单的，从而将准则应用于 $V_L^+$。
• 在 $\widehat{A}(V_L^+)$-模上使用表示论论证，通过权空间分解与算子的非退化性，证明其可分解为有限维不可约模的直和。

实验结果

研究问题

• RQ1 Zhu 代数 $A(V)$ 的半单性是否蕴含简单顶点算子代数 $V$ 的有理性？
• RQ2 在何种条件下，所有不可约适定 $V$-模均为普通模？
• RQ3 能否利用 $A(V)$-理论框架证明 $V_L^+$ 对于正定偶格 $L$ 的有理性？
• RQ4 广义代数 $A_n(V)$ 及其双模 $A_{n,m}(V)$ 如何促进对模类半单性的研究？
• RQ5 $\widehat{A}(V_L^+)$ 的结构是什么？为何它是半单的？

主要发现

• 简单顶点算子代数 $V$ 是有理的，当且仅当其 Zhu 代数 $A(V)$ 是半单的，且每个不可约适定 $V$-模都是普通的。
• 当 $A(V)$ 半单且所有不可约适定模均为普通模时，$A(V)$ 的半单性是 $V$ 有理性的充分条件。
• $A(V)$ 控制适定模的底层层次，推广了顶点算子代数表示理论中最高权模理论。
• 作为 $\bar{A}(V_L^+)$ 商去理想后得到的代数 $\widehat{A}(V_L^+)$ 是半单的，意味着其模完全可约。
• $\bar{A}(V_L^+)$ 中由 $[\bar{B}_\alpha]$ 张成的子代数 $A_H$ 是一个理想，同构于 $\mathbb{C}[\widehat{L}/K]/J$，且商代数 $\widehat{A}(V_L^+)$ 是半单的。
• 因此，对于任意正定偶格 $L$，$V_L^+$ 是有理的，这通过主判别准则得到了确认。