[论文解读] Flatness and Semi-Rigidity of Vertex Operator Algebras

Masahiko Miyamoto|arXiv (Cornell University)|Apr 25, 2011

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

一句话总结

本文在不假定有理性的前提下，为顶点算子代数（VOA）建立了普遍定理，引入了平坦性与半刚性概念，证明了在较弱条件下 $C_2$-余有限的固定点 VOA 的有理性。结果表明，若一个有理的、$C_2$-余有限的 CFT 型 VOA $T$ 具有自同构 $g$，使得其固定点子代数 $V = T^g$ 也是 $C_2$-余有限的，则 $V$ 是有理的，从而将有理性结果推广至标准假设之外的范围。

ABSTRACT

In vertex operator algebra theories, most of the general theorems are proved under the assumptions of rationality and C_2-cofiniteness. In this paper, we obtain several general theorems without the assumption of rationality so that we can use them for proving rationality of given C_2-cofinite vertex operator algebras. For example, we apply them to orbifold models and show that if g is a finite automorphism of a rational C_2-cofinite vertex operator algebra T of CFT-type with T'\cong T and a fixed point subVOA T^g is C_2-cofinite, then T^g is also rational.

研究动机与目标

• 在不假定有理性的前提下，为 VOA 发展普遍定理，以实现对 $C_2$-余有限 VOA 有理性的证明。
• 通过弱化假设，特别是消除对母 VOA 有理性的需求，扩展有理化模型理论。
• 引入并运用平坦性与半刚性概念，作为分析非半单情形下模范畴与融合积的工具。
• 证明在温和条件下，CFT 型 $C_2$-余有限的固定点 VOA 是有理的，即使母 VOA 本身是有理的。

提出的方法

• 引入 $V$-模的修改版 $C_1$-余有限性定义，使其在弱于标准 $C_2$-余有限性的条件下仍可分析。
• 将融合积 $U \boxtimes W$ 定义为一个投射极限，其中 $W \boxtimes U$ 满足所有 $V$-模公理，唯独不满足下截断性。
• 引入半刚性概念：若存在 $\widetilde{W}$，使得 $W \boxtimes \widetilde{W}$ 与 $\widetilde{W} \boxtimes W$ 均为 $V$-模，且某些同态构成覆盖，则称模 $W$ 为半刚性。
• 利用半刚性模 $C$ 的投射包 $P_C$，并证明涉及 $\ker(\rho_C) \boxtimes W$ 的序列的正合性，从而在 $C_2$-余有限性下建立平坦性。
• 应用迹函数与模不变性技术于 intertwining 算子，借助 $S$-变换性质证明有理性。
• 采用条件 I（存在非零同态至 $V$ 的对偶模）与条件 II（迹函数的模不变性）推导出固定点 VOA 的有理性。

实验结果

研究问题

• RQ1 在不假定母 VOA 有理性的情况下，能否建立 $C_2$-余有限固定点 VOA 的有理性？
• RQ2 在非半单 VOA 模范畴中，融合积在何种条件下保持正合性？
• RQ3 半刚性如何作为刚性的非半单类比，以确保模范性与平坦性？
• RQ4 $C_1$-余有限性在弱化有理化模型标准假设中起到何种作用？
• RQ5 能否通过迹函数的模不变性与 $S$-变换性质，利用 intertwining 算子的迹函数证明有理性？

主要发现

• 若 $T$ 是一个有理的、$C_2$-余有限的 CFT 型 VOA，$g$ 是一个有限自同构，且 $V = T^g$ 是 $C_2$-余有限的并满足条件 I，则 $V$ 是有理的。
• 每个简单 $V$-模都同构于某个 $g^k$-扭 $T$-模的子模，从而实现了对简单 $V$-模的完整分类。
• 若 $T$ 满足条件 II（迹函数的模不变性），则固定点 VOA $V = T^g$ 也满足条件 II，从而可应用模张量范畴技术。
• 半刚性意味着：若 $V$ 作为 $V$-模是投射的，则每个半刚性不可约模都是投射的；若所有模均为半刚性，则所有模均为平坦的。
• 在 $C_2$-余有限性下，融合积 $U \boxtimes W$ 表现良好，即序列 $0 \to \ker(\rho_C) \boxtimes W \to P_C \boxtimes W \to C \boxtimes W \to 0$ 是正合的。
• 在 $V$ 上的迹函数 $\Psi_V(Y(\mathcal{Y}))$ 是 intertwining 算子迹函数的线性组合，其 $S$-变换也是此类组合，从而证明了模不变性与有理性。