[论文解读] Vertex Operator Algebras with Two Simple Modules - the Mathur-Mukhi-Sen Theorem Revisited

Geoffrey Mason, Kiyokazu Nagatomo+1 more|arXiv (Cornell University)|Mar 29, 2018

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

一句话总结

本文通过严谨重访 Mathur-Mukhi-Sen 定理，完成了对具有恰好两个不可约模的强正则顶点算子代数（VOA）的数学分类。利用 VOA、模线性微分方程（MLDE）与高斯超几何级数之间的联系，作者证明此类 VOA 要么是四个一级仿射 Kac-Moody 代数之一，要么是中心电荷为 $-22/5$ 的 Yang-Lee Virasoro 极小模型，从而解决了原始 1980 年代工作中长期存在的歧义。

ABSTRACT

Let $V$ be a strongly regular vertex operator algebra and let $\frak{ch}_V$ be the space spanned by the characters of the irreducible $V$-modules.\ It is known that $\frak{ch}_V$ is the space of solutions of a so-called \emph{modular linear differential equation (MLDE)}.\ In this paper we obtain a near-classification of those $V$ for which the corresponding MLDE is irreducible and monic of order $2$.\ As a consequence we derive the complete classification when $V$ has exactly two simple modules.\ It turns out that $V$ is either one of four affine Kac-Moody algebras of level $1$, or the Yang-Lee Virasoro model of central charge ${-}22/5$.\ Our proof establishes new connections between the characters of $V$ and Gauss hypergeometric series, and puts the finishing touches to work of Mathur, Mukhi and Sen who first considered this problem forty years ago.

研究动机与目标

• 解决 Mathur、Mukhi 和 Sen 在 1980 年代提出的、具有两个初等场的二维共形场论的不完整分类问题。
• 对具有恰好两个不可约模的强正则 VOA 提供数学上严格的分类。
• 通过利用现代 MLDE 与超几何函数理论，解决原始 Mathur-Mukhi-Sen 方法中剩余的歧义。
• 对满足不可约、首一、二阶 MLDE 的 VOA 特征函数的完全刻画。
• 证明唯一满足此类条件的 VOA 是四个一级仿射 Kac-Moody 代数与中心电荷为 $c = -22/5$ 的 Yang-Lee Virasoro 极小模型。

提出的方法

• 将强正则 VOA $V$ 的特征空间 $\mathfrak{ch}_V$ 分析为模线性微分方程（MLDE）的解。
• 利用 MLDE 与高斯超几何级数之间的联系，刻画特征函数的模性质。
• 通过 $S$-矩阵的模不变性与对称性条件 $S_{ij} = S_{ji}$ 排除候选 VOA。
• 应用模 Wronskian 与 Zhu 定理，证明 $\mathfrak{ch}_V$ 是阶数为 $n = \dim \mathfrak{ch}_V$ 的 MLDE 的解空间。
• 利用李代数分类与中心电荷约束，排除 $c = 2/5, 38/5, -5, -6, -8, -10$ 等虚假情形。
• 验证唯一一致的 VOA 是 $c = 1, 26/5, -22/5$ 的情形，对应 $V_1$-代数或平凡 $V_1$。

实验结果

研究问题

• RQ1 哪些强正则 VOA 恰好具有两个不可约模，其完整分类为何？
• RQ2 原始 Mathur-Mukhi-Sen 对具有两个初等场的 CFT 的分类能否通过完全数学严谨的方式完成？
• RQ3 高斯超几何级数如何与满足二阶首一 MLDE 的 VOA 特征函数相关联？
• RQ4 模不变性与 $S$-矩阵对称性对具有两个模的候选 VOA 施加了何种约束？
• RQ5 为何某些中心电荷如 $c = -6, -8, -10$ 尽管满足 MLDE，却无法支持此类 VOA？

主要发现

• 具有恰好两个不可约模的强正则 VOA 唯一是四类一级仿射 Kac-Moody 代数：$A_1, A_2, G_2, F_4$。
• 唯一非仿射的情形是中心电荷为 $c = -22/5$ 的 Yang-Lee Virasoro 极小模型，其 $V_1$ 平凡且 $\tilde{c} = 2/5$。
• 这些 VOA 的特征函数可通过高斯超几何级数与模形式（如 $\Delta_3(\tau)$ 和 $I_3(\tau)$）完全描述。
• 当 $c = -6, -8, -10$ 时，由于 $S$-矩阵非对称，违反了配分函数的模不变性，故被排除。
• 通过李代数维数与秩约束，证明 $c = 2/5, 38/5, -5$ 同样导致矛盾，从而完成分类。
• 该证明建立了具有两个模的 VOA 与不可约、首一、二阶 MLDE 解之间的完全且严谨的对应关系。