[论文解读] Flatness of Tensor Products and Semi-Rigidity for $C_2$-cofinite Vertex Operator Algebras. II (Functional part)

Masahiko Miyamoto|arXiv (Cornell University)|Sep 21, 2009

Advanced Topics in Algebra被引用 1

一句话总结

该论文证明，在一个 CFT 型、C_2-余有限的简单顶点算子代数（VOA）的迹函数的 S-变换中，若不存在伪迹函数，则所有模都是半刚性（semirigid），且其特征函数均出现在真空特征函数的 S-变换中。作为关键推论，若一个有限自同构作用下的固定点子VOA 是 C_2-余有限的，则其为有理的，从而将有理性结果推广至对称子结构。

ABSTRACT

Let V be a simple C_2-cofinite VOA of CFT-type and we assume that there is a simple module U such that \Hom_V(U\boxtimes V',V) ot=0 where V' is a restricted dual of V. As the author has shown, an S-transformation S(\Psi_V) of a trace function \Psi_V on V corresponding \begin{pmatrix}0&-1\cr 1&0\end{pmatrix} may contain pseudo-trace functions. Our assumption in this paper is that no pseudo-trace functions appear in S(\Psi_V). Under these assumptions, we prove that every V-module W is semirigid and \Psi_W appears in S(\Psi_V). As a corollary of our main theorem, a fixed point subVOA of a rational VOA of CFT-type by an automorphism of finite order becomes rational if fixed point subVOA is C_2-cofinite.

研究动机与目标

• 研究当真空特征函数的 S-变换中不出现伪迹函数时，C_2-余有限的 CFT 型 VOA 上模的结构。
• 建立所有模均为半刚性的条件，以确保强有限性与刚性性质。
• 在给定假设下，证明所有模的特征函数均出现在真空特征函数的 S-变换中。
• 在子VOA 为 C_2-余有限的条件下，将有理性结果推广至有限群作用下的固定点子VOA。

提出的方法

• 假设真空迹函数 Ψ_V 的 S-变换 S(Ψ_V) 中不出现伪迹函数。
• 利用简单模 U 满足 Hom_V(U□V', V) ≠ 0 的非零同态条件，以确保非退化的对偶结构。
• 应用泛函分析技术，分析 S-变换下迹函数的模形式性质。
• 依赖 C_2-余有限性与 CFT 型假设，以保证表示理论的有限维性与特征函数的良好行为。
• 证明在给定约束下，S-变换 S(Ψ_V) 包含所有模的特征函数 Ψ_W。
• 通过模的半刚性与 Ψ_W 在 S(Ψ_V) 中的包含关系，推导出固定点子VOA 的有理性。

实验结果

研究问题

• RQ1 在何种条件下，真空特征函数的 S-变换中仅包含标准迹函数，而不含伪迹函数？
• RQ2 S(Ψ_V) 中伪迹函数的缺失如何影响 C_2-余有限的 CFT 型 VOA 的模范畴？
• RQ3 能否从 S(Ψ_V) 中伪迹函数的缺失推导出所有模的半刚性？
• RQ4 若所有 Ψ_W 均包含于 S(Ψ_V)，是否可推出有限自同构作用下固定点子VOA 的有理性？
• RQ5 在何种条件下，一个有理 VOA 的 C_2-余有限固定点子VOA 本身也是有理的？

主要发现

• 在假设 S(Ψ_V) 中不出现伪迹函数的前提下，每个 V-模 W 均为半刚性。
• 每个模 W 的特征函数 Ψ_W 均作为分量出现在真空特征函数的 S-变换 S(Ψ_V) 中。
• S(Ψ_V) 中伪迹函数的缺失确保了迹函数具有清晰的模形式结构。
• 在有限自同构作用下，一个有理 CFT 型 VOA 的固定点子VOA 若为 C_2-余有限，则其本身为有理的。
• 该结果在 C_2-余有限性条件下，将有理性推广至群作用下 VOA 的对称子结构。
• 函数框架将模的刚性与模 S-变换中病理项（即伪迹函数）的缺失直接关联。