[论文解读] Modular invariance of vertex operator algebras satisfying C_2-cofiniteness

Masahiko Miyamoto|ArXiv.org|Sep 10, 2002

Algebraic structures and combinatorial models参考文献 13被引用 12

一句话总结

该论文证明了在顶点算子代数（VOA）中，仅$C_2$-余有限性即可推出广义特征空间的模不变性以及中心指数和共形权重的有理数性。通过引入伪迹函数并利用对称代数技巧，作者证明了广义特征空间在$SL_2(\mathbb{Z})$作用下不变，从而确认了$C_2$-余有限性足以保证有理共形场论性质，而无需假设Zhu代数的半单性。

ABSTRACT

We show that C_2-cofiniteness is enough to prove a modular invariance property of vertex operator algebras without assuming the semisimplicity of Zhu algebra. For example, if a VOA V=\oplus_{m=0}^{\infty}V_m is C_2-cofinite, then the space spanned by generalized characters of V-modules is invariant under the action of SL_2(\Z). In this case, the central charge and conformal weights are all rational numbers. Namely, a VOA satisfying C_2-cofiniteness is a rational conformal field theory in a sense. We also show that C_2-cofiniteness is equivalent to the condition that every weak module is an \N-graded weak module which is a direct sum of generalized eigenspaces of L(0).

研究动机与目标

• 确定仅$C_2$-余有限性是否足以推出VOA中迹函数的模不变性，而无需假设Zhu代数的半单性。
• 解决$C_2$-余有限性是否蕴含有理共形场论（RCFT）结构的开放问题。
• 证明在$C_2$-余有限性条件下，广义特征（真空的伪迹函数）空间是$SL_2(\mathbb{Z})$-不变的。
• 证明$C_2$-余有限性等价于每个弱模均为$L(0)$的广义特征空间的直和。

提出的方法

• 通过Zhu代数$A(V)$上的对称线性映射引入伪迹函数，推广标准迹函数。
• 将广义特征定义为$\mathrm{tr}^\phi_W q^{L(0) - c/24}$，其中$\phi$为与交错模相关的泛函。
• 利用$C_2$-余有限性与弱模在$L(0)$下的广义特征空间分解之间的等价性，确保$q$-展开式良好定义。
• 对伪迹函数空间应用模变换性质，通过递归消除对数项，证明其在$SL_2(\mathbb{Z})$作用下不变。
• 利用$V/C_2(V)$的有限维性来界定有效中心指数，并推导出共形权重的有理数性。
• 利用引理2.4中的生成集论证，控制特征函数的增长，从而在$\mathbb{C}[[q]]\left[\tau\right]$中建立收敛性。

实验结果

研究问题

• RQ1 仅$C_2$-余有限性是否足以推出顶点算子代数中特征空间的模不变性？
• RQ2 是否可在不假设Zhu代数$A(V)$半单性的前提下建立模不变性？
• RQ3 $C_2$-余有限性是否等价于每个弱模均为$L(0)$的广义特征空间的直和？
• RQ4 $C_2$-余有限性是否意味着中心指数和共形权重均为有理数？
• RQ5 广义特征是否可表示为$\mathbb{C}[\tau]$系数的普通特征的线性组合？

主要发现

• 在$C_2$-余有限性下，即使$A(V)$不具半单性，广义特征张成的空间也是$SL_2(\mathbb{Z})$-不变的。
• $C_2$-余有限VOA的中心指数$c$和所有共形权重均为有理数。
• 有效中心指数满足$\tilde{c} \leq \frac{\dim(V/C_2(V)) - 1}{2}$。
• 广义特征是$\mathbb{C}[\tau]$系数的普通特征的线性组合，如命题5.9所示。
• 当且仅当$V$为$C_2$-余有限时，每个弱模均为$L(0)$的广义特征空间的直和，且为$\mathbb{N}$-加权弱模。
• 即使存在对数模，只要考虑广义特征空间，特征空间的模不变性依然成立。