[论文解读] Exotic quantum subgroups and extensions of affine Lie algebra VOAs -- part I

Terry Gannon|arXiv (Cornell University)|Jan 18, 2023

Algebraic structures and combinatorial models被引用 4

一句话总结

本文建立了仿射李代数 VOAs $\mathcal{V}(\mathfrak{g},k)$ 的水平 $k$ 的上界 $K(\mathfrak{g})$，使得当 $k > K(\mathfrak{g})$ 时，所有扩张均为单电流型，意味着在此阈值之上不存在异常扩张。该文利用此上界对 $\mathfrak{sl}(4)$ 和 $\mathfrak{sl}(5)$ 的所有模类别进行了分类，给出了显式的模不变量和扩张，并为 $\mathfrak{g}$ 的秩 $\leq 6$ 的完整分类奠定了基础。该结果通过证明在某一水平以上仅存在单电流扩张，将 A-D-E 分类推广至更高秩的李代数，极大地简化了完整 CFT 的分类。

ABSTRACT

Prototypical rational vertex operator algebras are associated to affine Lie algebras at positive integer level k. They correspond physically to the Wess-Zumino-Witten theories, and their representation theory can be captured by quantum groups at roots of unity. One would like to identify the full (bulk) conformal field theories whose chiral halves are those VOAs. Mathematically, these correspond to their module categories. Until now, this has been done only for sl(2) (famously, the A-D-E classification of Cappelli-Itzykson-Zuber) and sl(3). The problem reduces to knowing the possible extensions of those VOAs, and the tensor equivalences between those extensions. Recent progress puts the tensor equivalences in good control, especially for sl(n). This paper focuses on the extensions. We prove that, for any simple g, there is a bound K(g) growing like rank$(g)^3$, such that for any level k>K(g), the only extensions are generic (i.e. simple-current ones). We use that bound to find all extensions for g=sl(4) and sl(5), at all levels, as well as all g=sl(n) at levels $k\le 5$ (only those for k=1 had been classified before). In the sequel to this paper, we find all extensions for all simple g of rank <7 (and the corresponding low level classifications).

研究动机与目标

• 确定与仿射李代数在水平 $k$ 相关的有理顶点算子代数 $\mathcal{V}(\mathfrak{g},k)$ 的所有扩张的完整集合，这对分类完整共形场论至关重要。
• 识别并分类异常扩张——即不来自单电流的扩张——因为这些是 $\mathcal{C}(\mathfrak{g},k)$ 的模类别分类中的主要障碍。
• 建立一个随秩的立方增长的水平上界 $K(\mathfrak{g})$，使得当 $k > K(\mathfrak{g})$ 时，仅存在单电流扩张，从而将分类问题简化为已知结构。
• 利用该上界和已知的共形嵌入，为 $\mathfrak{g} = \mathfrak{sl}(4)$ 和 $\mathfrak{sl}(5)$ 提供完整的模类别列表，包括单电流和异常扩张。
• 通过解决高秩代数的扩张问题，为后续工作中对所有秩 $\leq 6$ 的简单 $\mathfrak{g}$ 的模类别进行完整分类奠定基础。

提出的方法

• 本文引入了 $\mathcal{V}(\mathfrak{g},k)$ 的水平 $k$ 的上界 $K(\mathfrak{g})$，使得当 $k > K(\mathfrak{g})$ 时，不存在异常扩张，该结果依赖于表示范畴的结构和张量等价关系。
• 它利用了模块融合范畴 $\mathcal{C}(\mathfrak{g},k)$ 之间辫子张量等价关系的分类，基于 Edie-Michell 等人的工作，将扩张问题简化为 VOAs 扩张的分类。
• 该方法应用了阿贝尔群作用下的单电流扩张和轨道理论，以表征 $\mathcal{V}(\mathfrak{g},k)$ 的所有可能扩张，特别是针对 $\mathfrak{g} = \mathfrak{sl}(4)$ 和 $\mathfrak{sl}(5)$ 的情况。
• 它利用已知的共形嵌入，如 $\mathcal{V}(A_3,4) \subset \mathcal{V}(C_2,1)$ 和 $\mathcal{V}(A_4,3) \subset \mathcal{V}(A_9,1)$，来识别异常扩张及其对应的模不变量。
• 本文为每种扩张构造了显式的模不变量，包括 $|\chi_{\mathbf{1}} + \chi_{0110}|^2$ 和 $|\chi_{1111}|^2$ 等项，以对相应模类别进行分类。
• 它利用中心 $C$ 的作用和自同构来生成额外的模类别，特别是在 $\mathfrak{sl}(4)$ 的 $k=5$ 异常扩张中。

实验结果

研究问题

• RQ1 在何种水平 $k$ 以上，$\mathcal{V}(\mathfrak{g},k)$ 的所有扩张均为单电流扩张？该上界 $K(\mathfrak{g})$ 如何随 $\mathfrak{g}$ 的秩增长？
• RQ2 对于 $\mathfrak{g} = \mathfrak{sl}(4)$ 和 $\mathfrak{sl}(5)$，$\mathcal{V}(\mathfrak{g},k)$ 的所有可能扩张（包括单电流和异常类型）是什么？
• RQ3 哪些共形嵌入会产生异常扩张？它们在相应模类别的模不变量中如何体现？
• RQ4 自同构和中心 $C$ 的作用如何从单一扩张生成不同的模类别，特别是在 $\mathfrak{sl}(4)$ 的 $k=5$ 情况下？
• RQ5 对于 $\mathcal{C}(A_4,k)$，完整的模类别列表是什么，包括单电流和异常类型？它们如何通过模不变量参数化？

主要发现

• 对于任意简单李代数 $\mathfrak{g}$，存在一个随秩的立方增长的上界 $K(\mathfrak{g})$，使得当所有 $k > K(\mathfrak{g})$ 时，$\mathcal{V}(\mathfrak{g},k)$ 的唯一扩张为单电流扩张。
• 对于 $\mathfrak{g} = \mathfrak{sl}(4)$，完整的模类别列表包括水平 $k > 2$ 时的单电流类型 $\mathcal{Z}[\mathcal{J}_d]$ 及其乘积 $C\mathcal{Z}[\mathcal{J}_d]$，以及在 $k=5$ 时的一个异常自同构，其具有包含 $4|\chi_{1111}|^2$ 和交叉项的例外模不变量。
• 对于 $\mathfrak{g} = \mathfrak{sl}(5)$，本文识别出共形嵌入 $\mathcal{V}(A_4,3) \subset \mathcal{V}(A_9,1)$、$\mathcal{V}(A_4,5) \subset \mathcal{V}(D_{12},1)$ 和 $\mathcal{V}(A_4,7) \subset \mathcal{V}(A_{14},1)$，每种均具有包含特征标之和与例外项的独立模不变量。
• 在 $\mathfrak{sl}(4)$ 的 $k=5$ 时，异常扩张的模不变量包含 $4|\chi_{1111}|^2 + \langle\chi_{1001}\rangle_5 \overline{\chi_{1111}} + \chi_{1111} \langle\overline{\chi_{1001}}\rangle_5$，且在 $C$ 和自同构下封闭。
• 本文为 $k=5$ 时的异常扩张构造了显式的模不变量，包括 $|\chi_{\mathbf{1}} + \chi_{0110}|^2$ 和 $|\chi_{1111}|^2$ 等项，并识别出五种自同构，通过置换 $\Lambda^e_1, \Lambda^e_{11}, \Lambda^e_{12}$ 生成。
• 对于共形嵌入 $\mathcal{V}(A_4,7) \subset \mathcal{V}(A_{14},1)$，模不变量包含复杂的特征标和，如 $|\chi_{\mathbf{1}} + \chi_{0330} + \chi_{2002} + \chi_{2112} + \langle\chi_{0403}\rangle_c|^2$，并包含涉及 $\chi_{7000}$ 和 $\chi_{0700}$ 的附加项，且在 $C$ 和三个自同构下封闭，分别来自 $\mathcal{Z}^e[\mathcal{J}^e_3]$、$\mathcal{Z}^e[\mathcal{J}^e_5]$ 和 $\mathcal{Z}^e[\mathcal{J}^e_{15}] = C^e$。