[論文レビュー] Zhu's algebras, $C_2$-algebras and abelian radicals

Boris Feigin, Evgeny Feigin+1 more|ArXiv.org|Jul 23, 2009

Algebraic structures and combinatorial models参考文献 16被引用数 8

ひとこと要約

本稿では、整数レベルにおける型$A$の頂点演算子代数について、Zhuの代数と$C_2$-代数の次元が等しいことを確立し、$C_2$-代数の$\frak{gl}_n$-加群としての階数付き分解を完全に計算することで、Gaberdiel-Gannon予想を証明した。主な道具は、アーベル的極と、基本表現の対称冪および最高重量加群を含む表現論的同型の理論である。

ABSTRACT

This paper consists of three parts. In the first part we prove that Zhu's and $C_2$-algebras in type $A$ have the same dimensions. In the second part we compute the graded decomposition of the $C_2$-algebras in type $A$, thus proving the Gaberdiel-Gannon's conjecture. Our main tool is the theory of abelian radicals, which we develop in the third part.

研究の動機と目的

• 整数レベルにおける型$A$のアフィンKac-Moody代数に付随する頂点演算子代数について、Zhuの代数と$C_2$-代数の次元が等しいことを確立すること。
• $C_2$-代数$A_{[2]}(\frak{sl}_n;k)$を$\frak{gl}_n$-加群として階数付き分解を計算し、Gaberdiel-Gannon予想を解決すること。
• パラボリック部分代数およびレヴィ分解の文脈において、アーベル的極の理論を発展・適用し、$C_2$-代数の構造を分析すること。
• 不可約最高重量加群$V(k\tilde{\rho}_n)$と$C_2$-代数の成分の直和との間の表現論的同型を確立し、階数付き成分の計算を可能にすること。

提案手法

• 中間の基本的重み$\tilde{ρ}_n$を用いた埋め込み$\frak{sl}_n \hookrightarrow \frak{gl}_{2n}$を通じて、不可約表現$V(k\tilde{\rho}_n)$と$C_2$-代数成分の直和$\bigoplus_{i=0}^k A_{[2]}(\frak{sl}_n;i)$との間の$\frak{sl}_n$-加群の同型を構成する。
• $\frak{gl}_N$におけるレヴィ部分代数$\frak{l} = \frak{gl}_i \oplus \frak{gl}_{N-i}$の構造を用いて、$S^{k+1}(\mathbb{C}^{i*}) \otimes S^{k+1}(\mathbb{C}^{N-i})$の$\frak{l}$-加群構造を分析し、これは$C_2$-代数商における理想を定義する。
• Littlewoodの分岐則を適用して、$\frak{gl}_N$-加群$V_N((k^i))$を$\frak{gl}_i \oplus \frak{gl}_{N-i}$-加群として、不可約成分$V_i(\lambda)^* \otimes V_{N-i}(\lambda)$に分解する。
• 同型$V_N((k^i)) \otimes \mathbb{C}_{-k\omega_i} \simeq S(\mathbb{C}^{i*} \otimes \mathbb{C}^{N-i}) / \langle S^{k+1}(\mathbb{C}^{i*}) \otimes S^{k+1}(\mathbb{C}^{N-i}) \rangle$を用いて、$C_2$-代数を対称代数の商として実現する。
• 球的多様体の基準を活用する：$L$が$\frak{m}^-$に作用するとき、その作用が多重度自由であることは、$P^{-,u}$における作用が球的であることと同値であり、これは$G/P$における作用が球的であることと同値である。
• 最大のパラボリック部分群で$\frak{gl}_n$-加群構造が多重度自由となる場合を分類し、$A_{[2]}^m(\frak{sl}_n;k)$の$\frak{gl}_n$-加群構造が多重度自由となるケースを特定することで、明示的な分解を可能にする。

実験結果

リサーチクエスチョン

• RQ1 整数レベルにおける型$A$の頂点演算子代数について、Zhuの代数と$C_2$-代数は同じ次元を持つのか？
• RQ2 $C_2$-代数$A_{[2]}(\frak{sl}_n;k)$を$\frak{gl}_n$-加群として階数付き分解を明示的に求めることができるか？
• RQ3 型$A$における$C_2$-代数の構造に関するGaberdiel-Gannon予想は正しいか？ もしそうであれば、その成分の正確な加群論的記述は何か？
• RQ4 アーベル的極および球的多様体の理論をどのように用いて、アフィンリー代数表現における$C_2$-代数の構造を分析できるか？
• RQ5 $\frak{gl}_{2n}$の不可約表現$V(k\tilde{\rho}_n)$と、$C_2$-代数成分の直和$\bigoplus_{i=0}^k A_{[2]}(\frak{sl}_n;i)$との間の関係は何か？

主な発見

• すべての$n$と$k$について、Zhuの代数$A(\mathcal{V}(\frak{sl}_n;k))$の次元は、$C_2$-代数$A_{[2]}(\mathcal{V}(\frak{sl}_n;k))$の次元と等しく、型$A$における等値性を確認した。
• $C_2$-代数$A_{[2]}(\frak{sl}_n;k)$は$\frak{gl}_n$-加群として$\bigoplus_{i=0}^k A_{[2]}(\frak{sl}_n;i)$に同型であり、その階数付き成分$A_{[2]}^m(\frak{sl}_n;k)$は$\bigoplus_{\lambda} V_i(\lambda)^* \otimes V_{n-i}(\lambda)$に同型である。ここで$\lambda$は$\lambda_1 \leq k$を満たす分割を走る。
• Gaberdiel-Gannon予想は正当化された：$C_2$-代数$A_{[2]}(\frak{sl}_n;k)$は、$\lambda_1 \leq k$を満たす分割$\lambda$によってインデックス付けされた不可約$\frak{gl}_n$-加群への階数付き分解を持ち、その分解は多重度自由である。
• $\frak{gl}_{2n}$の表現$V(k\tilde{\rho}_n)$は$\frak{sl}_n$-加群として$\bigoplus_{i=0}^k A_{[2]}(\frak{sl}_n;i)$に同型であり、$C_2$-代数成分の表現論的実現を提供する。
• $A_{[2]}^m(\frak{sl}_n;k)$の$\frak{gl}_n$-加群構造は$n$が小さい場合には多重度自由であり、球的多様体の基準により、$L$が$\frak{m}^-$に作用するとき、その作用が多重度自由であるのは型$A$の場合に限ることが確認された。
• アーベル的極および球的多様体の理論は、$C_2$-代数を分析するための統一的な枠組みを提供する。主な洞察は、$C_2$-代数が対称代数の対称冪イデアルによる商として生じ、その構造が$GL_N$の分岐則に従うということである。