[论文解读] Rigidity and modularity of vertex tensor categories

Yi-Zhi Huang|ArXiv.org|Feb 25, 2005

Algebraic structures and combinatorial models参考文献 36被引用 6

一句话总结

本文证明了满足标准条件（非负整数分次、自对偶、弱模完全可约）的简单、$C_2$-余有限顶点算子代数的模的辫子张量范畴是刚性的、平衡的且非退化的，从而确立其为模张量范畴。证明依赖于先前工作中推导出的Verlinde公式，通过融合矩阵与辫子矩阵表明，扭算子平方的迹构成一个可逆矩阵，从而确认非退化性并完成模结构的构建。

ABSTRACT

Let V be a simple vertex operator algebra satisfying the following conditions: (i) The homogeneous subspaces of V of weights less than 0 are 0, the homogeneous subspace of V of weight 0 is spanned by the vacuum and V' is isomorphic to V as a V-module. Every weak V-module gradable by nonnegative integers is completely reducible. (iii) V is C_2-cofinite. (In the presence of Condition (i), Conditions (ii) and (iii) are equivalent to a single condition, namely, that every weak V-module is completely reducible.) Using the results obtained by the author in the formulation and proof of the general version of the Verlinde conjecture and in the proof of the Verlinde formula, we prove that the braided tensor category structure on the category of V-modules is rigid, balanced and nondegenerate. In particular, the category of V-modules has a natural structure of modular tensor category. We also prove that the tensor-categorical dimension of an irreducible V-module is the reciprocal of a suitable matrix element of the fusing isomorphism under a suitable basis.

研究动机与目标

• 解决顶点算子代数表示理论中长期悬而未决的难题：模的辫子张量范畴的刚性与非退化性。
• 确立满足适当条件的顶点算子代数的模范畴为模张量范畴，这是共形场论与拓扑量子场论中的核心结构。
• 将Verlinde公式推广，证明不可约模的范畴维数等于融合同构矩阵元的倒数。
• 在自然的有限性与半单性条件下，为模范畴提供模结构——刚性、平衡与非退化性——的完整证明。

提出的方法

• 使用先前工作（Huang, 2005）中推导出的Verlinde公式，计算张量范畴中扭算子平方的迹。
• 应用融合矩阵与辫子矩阵，分析涉及对偶与张量积的关键序列中的模映射复合。
• 构造一个包含模映射与同构的交换图，以证明复合相等，从而证明刚性。
• 利用Verlinde公式，证明扭算子平方的迹与模S-矩阵成比例。
• 通过证明迹矩阵为可逆矩阵，确立非退化性，该结论源于Verlinde公式与S-矩阵的可逆性。
• 利用弱模的完全可约性等价于$C_2$-余自由性以及$V_{(n)}=0$对$n<0$的条件，确保范畴是半单且行为良好的。

实验结果

研究问题

• RQ1 对于满足$V_{(n)}=0$对$n<0$且$V_{(0)}=\mathbb{C}\mathbf{1}$的$C_2$-余有限、简单顶点算子代数，其模的辫子张量范畴是否具有刚性结构？
• RQ2 此类模的范畴是否非退化，即由扭算子迹构成的S-矩阵是否为可逆矩阵？
• RQ3 不可约模的张量范畴维数能否表示为融合同构矩阵元的倒数？
• RQ4 刚性、平衡与非退化性的组合是否意味着该范畴为模张量范畴？
• RQ5 在缺乏直接构造的情况下，Verlinde公式是否足以证明非退化性与刚性？

主要发现

• $V$-模的辫子张量范畴是刚性的，即每个对象都有满足蛇形方程的对偶，以及相应的评估与协评估映射。
• 该范畴是平衡的，具有满足所需自然性与相容性公理的明确定义的扭同构。
• 该范畴是非退化的：扭算子平方的迹矩阵是可逆的，其元素为$\frac{S_{a_1}^{a_2}}{S_e^e}$，从而确认了非退化性。
• 不可约$V$-模$W^{a}$的张量范畴维数等于$\frac{1}{F_a}$，其中$F_a$是融合同构的矩阵元。
• 在满足所有公理（刚性、辫子、平衡与非退化性）的前提下，$V$-模的范畴是一个模张量范畴。
• 该结果确认了Verlinde公式在确立模性中的作用，解决了顶点算子代数理论中长期悬而未决的难题。