[論文レビュー] Classification of simple weight modules over affine Lie algebras

Ivan Dimitrov, Dimitar Grantcharov|ArXiv.org|Oct 5, 2009

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

ひとこと要約

本稿では、アフィンリー代数上の有限次元のウェイト空間を持つすべての単純ウェイト加群を、それらがすべてパラボリック誘導加群またはパラボリック誘導加群のねじれ局所化であることを証明することによって分類する。主な結果は、カスピタル加群（パラボリック誘導でない加群）が、$A_l^{(1)}$ および $C_l^{(1)}$ アフィンリー代数でのみ存在し、それらが有限次元加群とのねじれテンソル積と同型であり、パラメータがスケーリングによって関連していることである。

ABSTRACT

All simple weight modules with finite dimensional weight spaces over affine Lie algebras are classified.

研究の動機と目的

• アフィンリー代数上の有限次元ウェイト空間を持つすべての単純ウェイト加群の分類を完了すること。
• マチューによる有限次元単純リー代数上の有限次元ウェイト加群の分類をアフィン設定に拡張することで、長年の未解決問題を解決すること。
• すべてのこのような加群が、パラボリック誘導加群またはそのパラボリック誘導加群のねじれ局所化であることを確立すること。
• カスピタルウェイト加群が存在する正確な条件を特定し、それらを明示的に分類すること。
• ねじれアフィンリー代数が、有限次元ウェイト空間を持つカスピタルウェイト加群を一切持たないことを示すこと。

提案手法

• 分類問題をカスピタルウェイト加群の分類に還元するパラボリック誘導定理を確立する。
• すべてのウェイト加群でウェイト多重度が有界であるものは、有限長を持つことを証明し、構造的有限性と表現論的有限性を結びつける。
• マチューの局所化に類似したねじれ局所化ファンクターを用いて、すべてのカスピタル加群が単純なパラボリック誘導加群のねじれ局所化として現れることを示す。
• ベルマンとビルビッヒの exp-多項式加群に関する結果、チャリとプレスリーのループ加群に関する結果、およびマチューの分類を応用して、ねじれ局所化の構造を分析する。
• 関与するパラボリック部分代数およびレヴィ成分を特徴づけ、ヘイゼンベルク代数 $\mathcal{H} = \mathcal{L}(\mathfrak{h}) \oplus \mathbb{F}D \oplus \mathbb{F}K$ と同型であるものに焦点を当てる。
• gradedなホモーモーフィズム $\Lambda: \mathfrak{h} \otimes \mathbb{F}[t,t^{-1}] \to \mathbb{F}[t,t^{-1}]$ を用いて、既約加群をパrameter化し、exp-多項式型と純粋な指数型のケースを区別する。

実験結果

リサーチクエスチョン

• RQ1 どのアフィンリー代数が、パラボリック誘導でない有限次元ウェイト空間を持つ単純ウェイト加群を持つのか？
• RQ2 アフィンリー代数上の有限次元ウェイト空間を持つカスピタルウェイト加群の正確な構造は何か？
• RQ3 パラボリック誘導加群のねじれ局所化が単純かつ有限ウェイト多重度を持つための条件は何か？
• RQ4 ループ加群および exp-多項式加群のウェイト多重度は、元の表現論的データとどのように関係しているか？
• RQ5 アフィン設定において、パラボリック誘導とねじれ局所化を組み合わせることで、単純ウェイト加群の分類を完了できるか？

主な発見

• アフィンリー代数上の有限次元ウェイト空間を持つすべての単純ウェイト加群は、パラボリック誘導加群またはそのパラボリック誘導加群のねじれ局所化である。
• カスピタルウェイト加群は、非ねじれアフィンリー代数 $A_l^{(1)}$ および $C_l^{(1)}$ のみに存在する。
• すべてのカスピタルウェイト加群は、あるシフトを除いて、$V_{a_0,a_1,\ldots,a_k}(N \otimes V_1 \otimes \cdots \otimes V_k)$ の形の加群と同型である。ここで $N$ はカスピタル $\mathfrak{g}$-加群であり、各 $V_i$ は有限次元 $\mathfrak{g}$-加群である。
• このようなカスピタル加群の同型類は、$N$ の同型類、各 $V_i$ の同型類、およびパラメータ $a_i$ の非ゼロスカラーによるスケーリングによって決定される。
• ねじれアフィンリー代数は、有限次元ウェイト空間を持つカスピタルウェイト加群を一切持たない。
• パラボリック誘導加群 $V_{\mathfrak{P}}(\Lambda)$ が有限次元ウェイト空間を持つのは、$\Lambda$ が exp-多項式関数であるときであり、かつそのときに限る。また、ウェイト多重度が有界であるのは、$\Lambda$ が純粋な指数関数、すなわち定数多項式の有限和であるとき、かつそのときに限る。