[論文レビュー] Module structure on $U(\mathfrak{h})$ for Kac-Moody algebras

Yan-an Cai, Haijun Tan+1 more|arXiv (Cornell University)|Jun 6, 2016

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

この論文は、任意のカク＝ムーディ代数 $\mathfrak{g}$ に対して、包あらわし代数 $U(\mathfrak{h})$ を over としてランク 1 の自由な不可約 $\mathfrak{g}$-加群を分類し、このような加群が存在するのは特定の型（A 型および C 型）に限ることを証明し、チルル生成子のねじれ作用を持つ多項式代数による明示的実現を提供する。

ABSTRACT

Let $\g$ be an arbitrary Kac-Moody algebra with a Cartan sualgebra $\h$. In this paper, we determine the category of $\g$-modules that are free $U(\h)$-modules of rank 1.

研究の動機と目的

• 任意のカク＝ムーディ代数 $\mathfrak{g}$ に対して、$U(\mathfrak{h})$-加群としてランク 1 の自由な不可約 $\mathfrak{g}$-加群をすべて分類すること。
• このような加群が存在するカク＝ムーディ代数を特定すること、特に $\mathfrak{sl}_{l+1}$ の既知のケースを超えてどこまで成立するかを明らかにすること。
• 多項式代数を用いた $\mathfrak{h}$-重み生成子とねじれ作用による、これらの加群の明示的実現を提供すること。
• $U(\mathfrak{h})$-自由な非重み加群の構造を、異なる重み空間における次数制約を分析することで解明すること。
• ニルソンの $\mathfrak{sl}_{l+1}$ に対する以前の分類を一般のカク＝ムーディ代数に拡張し、大多数の型に対して存在しないことを証明すること。

提案手法

• カテゴリ $\mathcal{H}(\mathfrak{g})$ を、$U(\mathfrak{h})$-加群としてランク 1 の自由な $\mathfrak{g}$-加群のフル部分カテゴリとして定義する。
• 代数 $\mathfrak{g}$ のチルル基底 $\{e_i, f_i, h_i\}$ を用い、$\mathbb{C}[H_1, \dots, H_l]$ 上での作用を自己同型 $\sigma_i$ とスカラー係数 $a_i, b$ を用いて表現する。
• $H_k$ 変数に関する多項式代数上での $e_i$ および $f_i$ の作用の次数を、$\deg_k$ を用いて $H_k$ への依存度を追跡する。
• 一般化されたカルタン行列に基づいて得られる異なる重み空間（$M_2$, $M_3$ など）における次数制約を比較することで、背理法を適用する。
• $H_k$-多項式および自己同型 $\sigma_i$ を用いた $E_i, F_i$ の作用の明示的パrametrization を用いて、次数の上限を導出する。
• $e_i$ および $f_i$ の作用の次数プロファイルを、異なる重みフィルトレーションにおいて比較し、カルタン行列が A 型または C 型でない限り一貫性が保たれないことを示す。

実験結果

リサーチクエスチョン

• RQ1 どのカク＝ムーディ代数 $\mathfrak{g}$ に対して、$U(\mathfrak{h})$-加群としてランク 1 の自由な不可約 $\mathfrak{g}$-加群が存在するか。
• RQ2 このような加群の分類を $\mathfrak{sl}_{l+1}$ を超えて、他のカク＝ムーディ代数へ拡張できるか。
• RQ3 チルル生成子の作用が、ランク 1 の $U(\mathfrak{h})$-自由加群上で受ける構造的制約は何か。
• RQ4 $M_2$, $M_3$ などの異なる重み空間における次数制約が、非 A/C 型代数に対してどのように矛盾を引き起こすか。
• RQ5 パrameter $\mathbf{a}, b, S$ にどのような条件下で、構成された加群 $M(\mathbf{a}, b, S)$ が不可約になるか。

主な発見

• $\mathcal{H}(\mathfrak{g})$ は、$\mathfrak{g}$ が $A_l$ 型または $C_l$ 型である場合にのみ非空である。
• $\mathfrak{g}$ が $A_l$ 型の場合、$\mathcal{H}(\mathfrak{g})$ の分類は、$\mathbf{a} \in (\mathbb{C}^*)^l$, $b \in \mathbb{C}$, $S \subseteq \{1, \dots, l+1\}$ を満たす $M(\mathbf{a}, b, S)$ によって与えられ、不可約性は $(l+1)b \notin \mathbb{Z}$ または $S \neq \varnothing$ または $S \neq \{1, \dots, l+1\}$ のいずれかが成り立つときに成立する。
• それ以外のカク＝ムーディ代数、特に $B_l$, $D_l$, $E_6$, $E_7$, $E_8$ およびランク 3 の 5 つの例外的一般化カルタン行列に対しては、$\mathcal{H}(\mathfrak{g}) = \varnothing$ である。
• 矛盾は、一貫性のない次数プロファイルに起因する：ある重みフィルトレーションでは $\deg_k(e_i)$ と $\deg_k(f_i)$ がともに 0 または 1 であるが、別のフィルトレーションでは 0 と 2 または 2 と 0 となるため、一貫性が保てない。
• $M_2$ および $M_3$ における重み空間の作用解析により、$e_i$ および $f_i$ の次数制約が同時に満たされるのは、カルタン行列が A 型または C 型である場合に限ることが示された。
• この結果は、ニルソンによる $\mathfrak{sl}_{l+1}$ に対する分類を一般化し、$A_l$ 型および $C_l$ 型を除くすべての有限次元単純リー代数に対して、このような加群が存在しないことを証明した。