[论文解读] Representations of the parafermion vertex operator algebras

Chongying Dong, Li Ren|arXiv (Cornell University)|Nov 22, 2014

Algebraic structures and combinatorial models参考文献 34被引用 10

一句话总结

本文证明了对于任意有限维单李代数 $\mathfrak{g}$ 和正整数 $k$，parafermion 顶点算子代数 $K(\mathfrak{g},k)$ 的有理性，并完全分类了其不可约模，即那些来自仿射 Kac-Moody 代数 $\widehat{\mathfrak{g}}$ 在水平 $k$ 处的可积最高权模。证明利用了阿贝尔轨道和共轭构造的最新结果，通过其在 $L_{\widehat{\mathfrak{g}}}(k,0)$ 中作为交换子的实现，表明 $K(\mathfrak{g},k)$ 是有理的且 $C_2$-有限的。

ABSTRACT

The rationality of the parafermion vertex operator algebra associated to any finite dimensional simple Lie algebra and any nonnegative integer is established and the irreducible modules are determined.

研究动机与目标

• 证明对于任意有限维单李代数 $\mathfrak{g}$ 和正整数 $k$，parafermion 顶点算子代数 $K(\mathfrak{g},k)$ 的有理性。
• 完全分类所有 $K(\mathfrak{g},k)$-不可约模，并在 $\widehat{\mathfrak{g}}$ 在水平 $k$ 处的可积最高权模中确定其结构。
• 通过证明在有理 VOA 中，有理子代数的交换子也是有理的，解决共轭构造理论中一个长期存在的猜想。
• 通过 Weyl 群作用提供新识别，完整确定所有 $K(\mathfrak{g},k)$-不可约模的同构类。

提出的方法

• 利用共轭构造：$K(\mathfrak{g},k)$ 是简单仿射 VOA $L_{\widehat{\mathfrak{g}}}(k,0)$ 中海森伯子代数 $M_{\widehat{\mathfrak{h}}}(k)$ 的交换子。
• 应用阿贝尔轨道的最新结果，证明 $V_{\sqrt{k}Q_L} \otimes K(\mathfrak{g},k)$ 是有理的，其中 $Q_L$ 是长根的根格。
• 利用 $V_{\sqrt{k}Q_L}$ 是有理的且 $C_2$-有限的事实，通过分解式 $L_{\widehat{\mathfrak{g}}}(k,0)^G = V_{\sqrt{k}Q_L} \otimes K(\mathfrak{g},k)$（$G$ 为有限阿贝尔群）推导出 $K(\mathfrak{g},k)$ 的有理性。
• 应用文献 [31] 中的共轭定理，表明每个 $K(\mathfrak{g},k)$-不可约模均出现在某个 $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$-模中，其中 $\Lambda$ 为满足 $\langle \Lambda, \theta \rangle \leq k$ 的极大权。
• 对满足 $a_i = 1$ 的每个 $i$，利用 Weyl 反射诱导的自同构，建立 $M^{\Lambda,\lambda}$ 与 $M^{\Lambda^{(i)},\lambda + k\Lambda_i}$ 之间的同构。
• 通过验证 $\Lambda_i \notin Q_L$（在类型 $B_l$ 和 $C_l$ 中），证明这些同构不同于由根格 $Q_L$ 诱导的同构。

实验结果

研究问题

• RQ1 对于任意有限维单李代数 $\mathfrak{g}$ 和正整数 $k$，parafermion 顶点算子代数 $K(\mathfrak{g},k)$ 是否是有理的？
• RQ2 哪些不可约模出现在 $K(\mathfrak{g},k)$ 中？它们与 $\widehat{\mathfrak{g}}$ 在水平 $k$ 处的可积最高权模有何关系？
• RQ3 是否存在超越根格 $Q_L$ 作用的 $K(\mathfrak{g},k)$-不可约模之间的新同构？
• RQ4 能否利用仿射李代数和顶点算子代数的表示论技术，完成 $K(\mathfrak{g},k)$-不可约模的完整分类？

主要发现

• parafermion 顶点算子代数 $K(\mathfrak{g},k)$ 对于任意有限维单李代数 $\mathfrak{g}$ 和正整数 $k$ 是有理的，证实了共轭构造理论中一个长期存在的猜想。
• 所有 $K(\mathfrak{g},k)$-不可约模均作为子模出现在可积最高权模 $L_{\widehat{\mathfrak{g}}}(k,\Lambda)$ 中，其中 $\Lambda$ 为满足 $\langle \Lambda, \theta \rangle \leq k$ 的极大权，$\theta$ 为最大根。
• $K(\mathfrak{g},k)$-不可约模 $M^{\Lambda,\lambda}$ 与 $M^{\Lambda,\lambda + k\beta}$ 同构，对任意 $\beta \in Q_L$ 成立，反映了长根根格的作用。
• 存在新同构：对每个满足 $a_i = 1$ 的 $i$，有 $M^{\Lambda,\lambda} \cong M^{\Lambda^{(i)},\lambda + k\Lambda_i}$，且这些同构不同于 $Q_L$-平移同构。
• 同构 $M^{\Lambda,\lambda} \cong M^{\Lambda^{(i)},\lambda + k\Lambda_i}$ 是非平凡的，因为 $\Lambda_i \notin Q_L$（在类型 $B_l$ 和 $C_l$ 中），通过显式根系计算已验证。
• $K(\mathfrak{g},k)$-不可约模的分类在同构意义下是完整的，其识别完全由 Weyl 群作用和根格结构表征。