[论文解读] Rational Vertex Operator Algebras and the Effective Central Charge

Chongying Dong, Geoffrey Mason|ArXiv.org|Jan 31, 2002

Algebraic structures and combinatorial models参考文献 16被引用 21

一句话总结

本文证明了强有理顶点算子代数（RVOA）中权一态的李代数是半单的，且其李秩 $ l $ 受有效中心电荷 $ \tilde{c} $ 上界限制。关键贡献在于通过等式 $ \tilde{c} = l = c $ 对格点VOA进行刻画，并通过模形式的性质与向量值模形式，绕过对完整模不变性的需求，对全纯格点VOA进行刻画。

ABSTRACT

We establish that the Lie algebra of weight one states in a (strongly) rational vertex operator algebra is reductive, and that its Lie rank is bounded above by the effective central charge. We show that lattice vertex operator algebras may be characterized by the equalities of the effective central charge, the Lie rank and the central charge, and in particular holomorphic lattice theories may be characterized among all holomorphic vertex operator algebras by the equality of the Lie rank and the central charge.

研究动机与目标

• 建立强有理VOA中权一态李代数的结构约束。
• 证明 $ V_1 $ 的李秩 $ l $ 受有效中心电荷 $ \tilde{c} $ 上界限制。
• 通过等式 $ \tilde{c} = l = c $ 对格点顶点算子代数进行刻画，通过 $ l = c $ 对全holomorphic格点VOA进行刻画。
• 利用向量值模形式作为字符理论中完整模不变性的替代方案。
• 为Schellekens对全holomorphic $ c=24 $ VOA的分类提供严格的数学基础。

提出的方法

• 将RVOA模的分次特征函数分析为向量值模形式，利用傅里叶系数的已知增长界。
• 应用[KM]中关于全纯向量值模形式系数的多项式增长结果，以约束 $ V_1 $ 的结构。
• 利用分解 $ V = M(1) \otimes \Omega_V $ 将Virasoro子代数与权一空间 $ V_1 $ 关联。
• 应用Verma模构造及 $ L(c,0) $ 模的分类，分析Virasoro商模结构。
• 利用单流形扩张的唯一性（推论5.4）从模结构重构格点 $ L $。
• 利用 $ \tilde{c} = c - 24\lambda_{\min} $ 定义有效中心电荷，并将其与共形权重和模特征函数关联。

实验结果

研究问题

• RQ1 强有理顶点算子代数中权一子空间 $ V_1 $ 的李代数结构是什么？
• RQ2 $ V_1 $ 的李秩 $ l $ 与有效中心电荷 $ \tilde{c} $ 有何关系？
• RQ3 能否通过等式 $ \tilde{c} = l = c $ 对格点VOA进行刻画？
• RQ4 条件 $ l = c $ 是否足以在所有全holomorphic VOA中刻画全holomorphic格点VOA？
• RQ5 能否利用向量值模形式绕过RVOA特征函数的模不变性问题？

主要发现

• 强有理VOA中李代数 $ V_1 $ 是半单的，且每个 $ V $-模作为 $ V_1 $-模都是完全可约的。
• $ V_1 $ 的李秩 $ l $ 满足 $ l \leq \tilde{c} $，且等号成立当且仅当 $ V $ 同构于格点顶点算子代数 $ V_L $。
• 格点VOA由条件 $ \tilde{c} = l = c $ 刻画，全holomorphic格点VOA由 $ l = c $ 刻画。
• 有效中心电荷 $ \tilde{c} $ 始终非负，且当 $ V $ 非平凡时严格为正。
• 证明利用了向量值模形式傅里叶系数的多项式增长性质，排除了非格点情形。
• 结果确认了Schellekens的全holomorphic $ c=24 $ VOA列表的完备性，这些VOA恰好是Niemeier格点VOA。