[论文解读] Vertex operator algebras, fusion rules and modular transformations

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

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

一句话总结

本文在顶点算子代数（VOA）框架下，对广义Verlinde猜想给出了严格的数学证明，表明在$C_2$-余有限性与半单性条件下，简单VOA模的范畴具有模张量范畴结构。该证明依赖于构造一个具有结辫结构的刚性、非退化、有 braided tensor category，从而通过$ au \mapsto -1/\tau$变换实现特征的模不变性。

ABSTRACT

We discuss a recent proof by the author of a general version of the Verlinde conjecture in the framework of vertex operator algebras and the application of this result to the construction of modular tensor tensor category structure on the category of modules for a vertex operator algebra.

研究动机与目标

• 在顶点算子代数的背景下，提出并证明Verlinde猜想的一个普遍且数学严谨的版本。
• 在不依赖有理共形场论物理公理的前提下，于顶点算子代数的模范畴上构造模张量范畴结构。
• 建立由Lepowsky和Huang构造的半单有 braided tensor category 模的刚性与非退化性。
• 将模变换$ \tau \mapsto -1/\tau$作用于真空特征的行动与张量范畴中的范畴作用相联系，从而完整实现Verlinde关系的数学实现。

提出的方法

• 利用带有分级限制条件、$C_2$-余有限性以及存在中心荷为$c$的共形元素的顶点算子代数框架。
• 应用$V$-模范畴中张量积的普遍性质，定义评估与共评估映射，从而确立刚性。
• 将对偶模$W^\prime$同时用作左与右对偶，借助范畴的半单性，将刚性检验简化为对不可约模的检验。
• 使用$F$-符号（结合子）与$S$-矩阵（模$S$-变换），计算辫子复合的迹，以验证非退化性。
• 依赖由$F$-符号与$S$-矩阵导出的Verlinde公式，证明$S$-矩阵可逆，从而确认非退化性。
• 对真空特征应用$ \tau \mapsto -1/\tau$变换，并通过$S$-矩阵将其与范畴中的模作用相联系，从而证明Verlinde猜想。

实验结果

研究问题

• RQ1 在何种条件下，顶点算子代数$V$的Verlinde猜想能在数学上严格成立？
• RQ2 能否仅从顶点算子代数的公理出发，而不依赖有理共形场论的物理公理，构造$V$-模范畴上的模张量范畴结构？
• RQ3 当$V$满足$C_2$-余有限性且满足分级限制条件时，$V$-模的半单有 braided tensor category 是否具有刚性与非退化性？
• RQ4 模变换$ \tau \mapsto -1/\tau$对真空特征的作用，与$V$-模范畴张量范畴中的范畴$S$-矩阵之间有何关系？
• RQ5 在验证张量范畴的非退化性与模性时，$F$-符号与$S$-矩阵的精确作用是什么？

主要发现

• 满足分级限制条件与完全可约性的$C_2$-余有限、简单顶点算子代数的模范畴，具有刚性、非退化、有 braided tensor category 结构。
• 由真空特征的模$S$-变换构成的$S$-矩阵是可逆的，从而确认了张量范畴的非退化性。
• 复合映射$c_{W^{a_2},W^{a_1}} \circ c_{W^{a_1},W^{a_2}}$的迹等于$S_{a_1}^{a_2}/S_e^e$，该矩阵可逆，从而证明了非退化性。
• 通过张量积的普遍性质构造的评估与共评估映射，在经$F$-符号归一化后满足刚性公理，从而确认了刚性。
• 每个不可约模$W^a$上的扭变换为$e^{2\pi i h_a}$，在此基础上，刚性有 braided category 成为一个纤维范畴。
• Verlinde猜想被完全确立：$S$-矩阵对融合规则矩阵进行对角化，且模变换$ \tau \mapsto -1/\tau$与范畴结构一致。