[论文解读] The commutant of $L_{\widehat{\frak{sl}}_{2}}(n,0)$ in the vertex operator algebra $L_{\widehat{\frak{sl}}_{2}}(1,0)^{\otimes n}$

Cuipo, Jiang+1 more|arXiv (Cornell University)|Nov 4, 2013

Algebraic structures and combinatorial models参考文献 27被引用 6

一句话总结

本文对 $ L_{\widehat{\mathfrak{sl}}_2}(1,0)^{\otimes n} $ 中的共变顶点算子代数 $ L_{\widehat{\mathfrak{sl}}_2}(n,0)^c $ 的所有不可约模进行了分类，证明了对所有 $ n \geq 2 $ 该代数是有理的。作者利用 Zhu 代数以及对称群和 Schur 代数的表示理论，建立了完整的分类，并验证了文献 [LS] 中提出的共变构造猜想。

ABSTRACT

We study the commutant $L_{\widehat{\frak{sl}}_{2}}(n,0)^c$ of $L_{\widehat{\frak{sl}}_{2}}(n,0)$ in the vertex operator algebra $L_{\widehat{\frak{sl}}_{2}}(1,0)^{\otimes n}$, for $n\geq 2$. The main results include a complete classification of all irreducible $L_{\widehat{\frak{sl}}_{2}}(n,0)^c$-modules and a proof that $L_{\widehat{\frak{sl}}_{2}}(n,0)^c$ is a rational vertex operator algebra. As a consequence, every irreducible $L_{\widehat{\frak{sl}}_{2}}(n,0)^c$-module arises from the coset construction as conjectured in \cite{LS}.

研究动机与目标

• 对 $ n \geq 2 $ 时 $ L_{\widehat{\mathfrak{sl}}_2}(1,0)^{\otimes n} $ 中的共变顶点算子代数 $ L_{\widehat{\mathfrak{sl}}_2}(n,0)^c $ 的所有不可约模进行分类。
• 证明 $ L_{\widehat{\mathfrak{sl}}_2}(n,0)^c $ 是一个有理顶点算子代数。
• 验证文献 [LS] 中提出的猜想：所有 $ L_{\widehat{\mathfrak{sl}}_2}(n,0)^c $-模均来自共变构造。
• 建立 Zhu 代数 $ A(M^{(n)}) $ 的结构，并利用其分析模的扩张与不可约性。

提出的方法

• 构造 $ M^{(n)} $ 的生成集，证明其 Zhu 代数 $ A(M^{(n)}) $ 由权为二的子空间生成。
• 利用对称群 $ S_{n+1} $ 和 Schur 代数 $ S(2,n+1) $ 的表示理论，通过 $ n+1 $ 的分拆（至多两部分）对类型-(I) 不可约 $ M^{(n)} $-模进行分类。
• 通过 Zhu 代数的详细结构分析和模扩张空间的研究，分析类型-(II) 不可约模。
• 证明 $ A(M^{(n)}) $ 是有限维且半单的，从而推出任意适定 $ M^{(n)} $-模均为完全可约。
• 利用扩张消失结果，特别是 $ \mathrm{Ext}^1_{M^{(n)}}(M^1,M^2) = 0 $，确立 $ M^{(n)} $ 的有理性。
• 借助关于 $ M^{(2)} $ 和 $ M^{(3)} $ 的已知结果，以及其与 $ V_{\sqrt{2}A_2}^+ $ 的同构关系，建立归纳与比较论证。

实验结果

研究问题

• RQ1 所有 $ L_{\widehat{\mathfrak{sl}}_2}(n,0)^c $-不可约模是否如 [LS] 中所猜想的那样，均可通过共变构造实现？
• RQ2 在 $ L_{\widehat{\mathfrak{sl}}_2}(1,0)^{\otimes n} $ 中，共变代数 $ L_{\widehat{\mathfrak{sl}}_2}(n,0)^c $ 的不可约模的完整分类是什么？
• RQ3 对所有 $ n \geq 2 $，共变代数 $ L_{\widehat{\mathfrak{sl}}_2}(n,0)^c $ 是否为有理顶点算子代数？
• RQ4 Zhu 代数 $ A(M^{(n)}) $ 的结构如何与 $ S_{n+1} $ 和 Schur 代数的表示理论相关联？
• RQ5 权为二的子空间在生成 Zhu 代数及控制模结构方面起什么作用？

主要发现

• 所有不可约 $ M^{(n)} $-模被划分为两类：一类对应于 $ n+1 $ 的分拆（至多两部分），另一类为更复杂的类型-(II) 模。
• Zhu 代数 $ A(M^{(n)}) $ 是有限维且半单的，这意味着每个适定 $ M^{(n)} $-模都是完全可约的。
• 对所有非同构的不可约 $ M^{(n)} $-模对，扩张空间 $ \mathrm{Ext}^1_{M^{(n)}}(M^1,M^2) $ 消失，从而确认了有理性。
• 通过扩张消失与 Zhu 代数的半单性，证明了对所有 $ n \geq 2 $，共变代数 $ M^{(n)} $ 是一个有理顶点算子代数。
• 文献 [LS] 中提出的猜想——所有不可约 $ M^{(n)} $-模均来自共变构造——被证实为真。
• 类型-(I) 模的分类建立了其与 Schur 代数 $ S(2,n+1) $ 的不可约表示之间的一一对应关系。