[论文解读] Classification of some three-dimensional vertex operator algebras

Cameron Franc, Geoffrey Mason|arXiv (Cornell University)|May 17, 2019

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

一句话总结

本文分类了具有恰好三个单模的强正则顶点算子代数（VOA），其特征向量满足首一模线性微分方程且单值性群不可约。通过广义超几何级数分析一族向量值模形式，作者识别出两个无限族的仿射VOA、已知示例，以及一个包含十一种可能特征向量的例外U系列——其中仅有两个被已知VOA实现，暗示不存在其他实现。

ABSTRACT

We discuss the classification of strongly regular vertex operator algebras (VOAs) with exactly three simple modules whose character vector satisfies a monic modular linear differential equation with irreducible monodromy. Our Main Theorem 1 provides a classification of all such VOAs in the form of two infinite families of affine VOAs, several other known examples, in addition to eleven possible exceptional character vectors and associated data that we call the U-series. Only two VOAs are known to realize any of the members of the U-series and we provide evidence that there are no more. The idea in the proof of our Main Theorem is to exploit properties of an algebraic family of vector-valued modular forms solving a family of modular linear differential equations in terms of generalized hypergeometric series.

研究动机与目标

• 对具有恰好三个单模的强正则顶点算子代数（VOA）进行分类。
• 识别其特征向量满足首一模线性微分方程且单值性群不可约的VOA。
• 确定十一类例外特征向量构成的U系列是否可由实际VOA实现。
• 通过分析向量值模形式，利用广义超几何级数建立分类的完备性。

提出的方法

• 分析求解模线性微分方程的一族向量值模形式。
• 利用广义超几何级数描述这些模形式的结构。
• 利用微分方程的单值性性质约束可能的特征向量。
• 应用代数技术研究单值性群及其不可约性。
• 从VOA的模不变性和模性质推导对特征向量的约束。
• 将所得特征数据与已知VOA对比，以识别实现情况。

实验结果

研究问题

• RQ1 哪些具有恰好三个单模的强正则VOA满足首一模线性微分方程且单值性群不可约？
• RQ2 U系列中十一种例外特征向量是否可由实际VOA实现？
• RQ3 广义超几何级数在分类与VOA相关的模向量值形式中起什么作用？
• RQ4 微分方程的单值性性质如何约束VOA的结构？
• RQ5 是否存在超出两个无限族和已知示例的VOA，满足该分类标准？

主要发现

• 分类结果包含两个无限族的仿射VOA及若干已知示例。
• 识别出十一个属于U系列的例外特征向量，其单值性群均不可约。
• 目前仅知有两个VOA实现了U系列中的成员，暗示不存在其他实现。
• 模线性微分方程的结构完全由向量值模形式的广义超几何级数表示决定。
• 微分方程的单值性群不可约，这是分类中的关键约束条件。
• 分析证实了在给定条件下分类的完备性，预期不存在超出已识别族和U系列的其他VOA。