[論文レビュー] 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代数および対称群とシュール代数の表現論を用いて、完全な分類を確立し、[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)}) $ が重み2部分空間によって生成されることを示す。
• 対称群 $ S_{n+1} $ およびシュール代数 $ S(2,n+1) $ の表現論を用いて、$ n+1 $ の分割で高々2つの部品を持つものによって、タイプ-(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 予想された[LS]の通り、すべての $ L_{\widehat{\mathfrak{sl}}_2}(n,0)^c $-モジュールがコセット構成によって実現可能であるか？
• RQ2 可換子 $ 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} $ およびシュール代数の表現論とどのように関係するか？
• RQ5 重み2部分空間は、Zhu代数の生成とモジュール構造の制御において果たす役割は何か？

主な発見

• すべての既約 $ M^{(n)} $-モジュールは、2つのタイプに分類される：高々2つの部品を持つ $ n+1 $ の分割に対応するものと、より複雑なタイプ-(II) モジュールである。
• Zhu代数 $ A(M^{(n)}) $ は有限次元かつ半単純であり、これにより任意の許容的 $ M^{(n)} $-モジュールが完全可約であることが示される。
• すべての非同型な既約 $ M^{(n)} $-モジュールのペアに対して $ \mathrm{Ext}^1_{M^{(n)}}(M^1,M^2) $ が消えることから、有理性が確認される。
• Zhu代数の半単純性と拡張の消滅により、$ M^{(n)} $ がすべての $ n \geq 2 $ に対して有理的頂点作用素代数であることが証明される。
• [LS]の予想である、すべての既約 $ M^{(n)} $-モジュールがコセット構成から得られることの真実性が確認される。
• タイプ-(I) モジュールの分類により、シュール代数 $ S(2,n+1) $ の既約表現との間の一対一対応が確立される。