[論文レビュー] Highest weight theory for finite W-algebras

Jonathan Brundan, Simon M. Goodwin+1 more|ArXiv.org|Jan 9, 2008

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

ひとこと要約

この論文は、極小レヴィ部分代数に含まれる冪零元 e を用いた放物的誘導を介して、Verma 加群を構成することにより、有限 W-代数に対して最高重量理論を確立する。有限次元既約表現は、その最高重量の行同値類が列厳密テーブルックスをもつものにちょうど一致することを証明し、標準的レヴィ型の場合にはロビンソン＝シェンステッド対応を用いて完全な分類を与える。

ABSTRACT

We define analogues of Verma modules for finite W-algebras. By the usual ideas of highest weight theory, this is a first step towards the classification of finite dimensional irreducible modules. Motivated by known results in type A, we then formulate some precise conjectures in the case of nilpotent orbits of standard Levi type.

研究の動機と目的

• 古典的リー理論に類似した有限 W-代数の最高重量理論の構築。
• e が極小レヴィ部分代数 g₀ に含まれるとき、U(g₀,e) からの放物的誘導を用いて、有限 W-代数の Verma 加群を定義すること。
• U(g,e) の有限次元既約表現を、どの最高重量が有限次元既約商を与えるかを特定することによって分類すること。
• 標準的レヴィ型の場合における既約モジュールの有限次元性に関する予想を提示し、検証すること。
• 有限 W-代数の表現論を、ロビンソン＝シェンステッド対応および U(g) の原始的イデアルの関連多様体と結びつけること。

提案手法

• g₀ を e を含む極小レヴィ部分代数とするとき、U(g₀,e)-加群 VΛ を有限次元既約として選び、それを U(g,e) に放物的誘導することにより Verma 加群 M(Λ,e) を構成する。
• L(Λ,e) の合成系列を持つ U(g,e)-加群のカテゴリーオーダー(e) を定義し、BGG カテゴリーオーの一般化とする。
• U(g,e) の制限付き根系を用いて正根系を定義し、これにより最高重量構造を決定する。
• タイプ A において U(g,e) とシフトされたヤングアンの商との同型を用いて、既知の最高重量加群に関する結果を導入する。
• ロビンソン＝シェンステッドの行挿入アルゴリズムを用いて、各最高重量 λ に対してテーブルックス A(λ) を関連付ける。これにより表現論と組合せ論を結びつける。
• L(Λ,e) が有限次元であるための必要十分条件として、Λ の行同値類が列厳密テーブルックスを代表元として持つことであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 有限 W-代数のどの最高重量加群が有限次元既約商を持つのか。
• RQ2 カルタン部分代数が存在しないにもかかわらず、有限 W-代数に対して Verma 加群を体系的にどのように構成できるか。
• RQ3 最高重量にどのような組合せ論的条件を課すと、対応する既約表現が有限次元になるか。
• RQ4 有限 W-代数 U(g,e) のモジュールに対応する U(g) の既約モジュールの annihilator の関連多様体は、そのモジュールの有限次元性とどのように関係するか。
• RQ5 ロビンソン＝シェンステッド対応は、有限 W-代数の有限次元既約表現の分類をどの程度支配するか。

主な発見

• 最高重量 Λ ∈ L に対応する Verma 加群 M(Λ,e) は、唯一の既約商 L(Λ,e) を持ち、標準的な最高重量加群構造を確立する。
• 有限次元既約 U(g,e)-加群の集合は、L⁺ ⊆ L にパラメトライズされ、L⁺ は対応する Verma 加群が有限次元既約商を持つような重量 Λ の集合である。
• L(Λ,e) が有限次元であるための必要十分条件は、Λ の行同値類が列厳密テーブルックスを代表元として持つことである。これは組合せ論的基準を提供する。
• この基準は、対応する U(g)-加群の annihilator の関連多様体が G·e の閉包に等しいことと同値であり、表現論と冪零軌道幾何学を結びつける。
• この分類は [BK2] のタイプ A の結果を回復・拡張し、有限次元性条件がロビンソン＝シェンステッド対応によって完全に特徴づけられている。