[论文解读] 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-余有限的，从而推广了先前的结果。

提出的方法

• 利用C2-余有限性条件作为仿射或Virasoro VOA中奇异向量的类比，构造任意弱模中的最低权向量。
• 使用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)的广义特征空间的直和，从而提供了结构性刻画。