[论文解读] Genera of Vertex Operator Algebras and three dimensional Topological Quantum Field Theories

Gerald Hoehn|ArXiv.org|Sep 25, 2002

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

一句话总结

本文通过将每个VOA与一个模形式的有 braided tensor category 及其中心荷联系起来，将经典积分二次型的亏格概念推广到顶点算子代数（VOA）上，从而建立了一个统一框架，将VOA与3D拓扑量子场论（TQFT）联系起来。关键贡献是通过该范畴表征VOA的扩展，并利用Ising模型TQFT上的码理论方法，给出了自对偶框式VOA的显式公式。

ABSTRACT

The notion of the genus of a quadratic form is generalized to vertex operator algebras. We define it as the modular braided tensor category associated to a suitable vertex operator algebra together with the central charge. Statements similar as known for quadratic forms are formulated. We further explain how extension problems for vertex operator algebras can bedescribed in terms of the associated modular braided tensor category.

研究动机与目标

• 通过定义与模形式的有 braided tensor category 及其中心荷相关的亏格，将经典积分二次型的亏格理论推广到顶点算子代数上。
• 通过范畴与算术结构，建立一个统一框架，连接二维共形场论、三维TQFT与VOA。
• 将VOA的扩展问题重新表述为与关联模形式的有 braided tensor category 相关的问题，推广了二次型理论中的判别型方法。
• 利用Ising模型TQFT相关的码理论方法，对自对偶框式VOA进行完整分类。
• 当16整除r时，推导出自对偶框式VOA（中心荷为r/2）的相对质量公式，将自同构群大小与码计数联系起来。

提出的方法

• 将有理的、简单的、非负整度的VOA的亏格定义为其表示范畴所关联的模形式的有 braided tensor category，连同其中心荷。
• 利用模范畴的结构来描述VOA的扩展，推广了二次型理论中的判别型方法。
• 将扩展问题建模为从码中产生的阿贝尔模范畴中的极大子范畴的分类问题。
• 通过线性码 $ \newcommand{\cC}{\mathcal{C}} \cC $ 及其对偶 $ \cD = \cC^\perp $ 参数化，将VOA构造为 $ L_{1/2}(0) $ 的张量积的简单电流扩展。
• 应用Tannakian形式化，将模范畴 $ \mathcal{T}(V) $ 与一个带有二次型 $ q $ 的阿贝尔群 $ A $ 联系起来，其中 $ \cC \to A \to \cD $ 是一个短正合列。
• 通过计数满足 $ s(\cD) $ 在 $ (A, q) $ 中为极大子范畴的截面 $ s: \cD \to A $，推导出相对质量公式，从而得到自对偶VOA同构类的和。

实验结果

研究问题

• RQ1 如何将积分二次型的亏格概念推广到顶点算子代数上，同时保持关键算术性质？
• RQ2 VOA的模形式的有 braided tensor category 如何编码扩展信息，类似于二次型理论中的判别型？
• RQ3 自对偶框式VOA与Ising模型3D TQFT上的码之间存在何种精确对应关系？
• RQ4 能否利用码理论与范畴数据，为自对偶框式VOA推导出质量公式？
• RQ5 自对偶框式VOA的自同构群与其关联码和模范畴的对称性之间有何关系？

主要发现

• VOA的亏格被定义为其模形式的有 braided tensor category 搭配中心荷，推广了二次型的亏格概念。
• VOA的扩展问题完全由其关联的模形式的有 braided tensor category 编码，推广了判别型方法。
• 对于中心荷为 $ r/2 $ 且满足 $ 16 \mid r $ 的自对偶框式VOA，其同构类的数量由一个涉及码计数的相对质量公式给出。
• 质量公式为 $ \sum_{V} \frac{1}{|{\rm Aut}_{L_{1/2}^{\otimes r}(0)}(V)|} = \frac{1}{2^r \cdot r!} \sum_{k} 2^{\frac{k(k-1)}{2}+1} \sigma_k(r) $，其中 $ \sigma_k(r) $ 计数满足维度为 $ k $、长度为 $ r $、全1向量属于 $ \cD $，且最小权被8整除的码。
• 蒙羞模 $ V^{\natural} $ 被构造为满足 $ \cC = \cD^\perp $ 的自对偶FVOA，其中 $ \cD $ 是长度为48、最小权为4的词典码。