[論文レビュー] On the structure of the category O for W-algebras

Ivan Losev|ArXiv.org|Dec 8, 2008

Algebraic structures and combinatorial models参考文献 20被引用数 32

ひとこと要約

この論文は、冪零元 e が主リーマン型である場合、W代数のカテゴリカル・オーダー 𝒪 と一般化されたホイットカー加群のカテゴリの間のカテゴリ同値性を確立する。スクラビンの同値定理の一般化を用いて、著者はW代数のカテゴリカル・オーダー 𝒪 が特定のホイットカー条件を満たす加群のカテゴリと同値であることを証明し、ブルンダン、グッドウィン、クレシュチェフによる予想を解決する。この結果は、W代数の表現論と古典的ホイットカー加群の間の構造的ブリッジを提供する。

ABSTRACT

W-algebra (of finite type) W is a certain associative algebra associated with a semisimple Lie algebra, say g, and its nilpotent element, say e. The goal of this paper is to study the category O for W introduced by Brundan, Goodwin and Kleshchev. We establish an equivalence of this category with certain category of g-modules. In the case when e is of principal Levi type (this is always so when g is of type A) the category of g-modules in interest is the category of generalized Whittaker modules introduced McDowel and studied by Milicic-Soergel and Backelin.

研究の動機と目的

• W代数のカテゴリカル・オーダー 𝒪 と一般化されたホイットカー加群のカテゴリの間のカテゴリ同値性を確立すること。
• ブルンダン、グッドウィン、クレシュチェフによる、e が主リーマン型である場合のW代数のカテゴリカル・オーダー 𝒪 の構造に関する予想 5.3 を解決すること。
• スクラビンの同値定理をW代数および一般化されたホイットカー加群の設定に一般化すること。
• W代数表現論における有限次元表現および annihilator の理解のための構造的フレームワークを提供すること。

提案手法

• W代数の分解定理を用いて、W代数の構造とリー代数の普遍包あらわし代数との間の関係を確立する。
• ねじれ作用と余不変量の構成を介して、W代数のカテゴリカル・オーダー 𝒪 と一般化されたホイットカー加群のカテゴリの間の函手を構成する。
• 主な技術的ステップは、特定の位相的代数が同型であることを示すことであり、ローゼフのスクラビン同値の方法を一般化する。
• 関手の随伴性および準逆関手性を確認することで同値性を検証し、ヘイゼンベルクリー代数の表現論に依存する。
• 最大トーラス T と 𝔤(−1) 内のラグランジュ部分空間 l を用いて、W代数上の T作用の整合性を保証する。
• W代数が T作用を引き継ぎ、関連する順序付き構造を用いて U(𝔤) と 𝒲 の加群を関連付けることを利用している。

実験結果

リサーチクエスチョン

• RQ1 e が主リーマン型である場合、W代数のカテゴリカル・オーダー 𝒪 と一般化されたホイットカー加群のカテゴリの間に同値性が存在するか？
• RQ2 ブルンダン、グッドウィン、クレシュチェフによる、e が主リーマン型の場合のW代数のカテゴリカル・オーダー 𝒪 の構造に関する予想は、証明可能か？
• RQ3 一般化されたホイットカー加群のカテゴリは、W代数および U(𝔤) の表現論とどのように関係するか？
• RQ4 W代数の有限次元表現の構造は、annihilator および関連多様体を用いて記述可能か？
• RQ5 W代数上の T作用は、そのカテゴリカル・オーダー 𝒪 とホイットカー加群を結びつける役割を果たすか？

主な発見

• 論文は定理 4.1 を証明し、e が主リーマン型である場合、W代数のカテゴリカル・オーダー 𝒪 と一般化されたホイットカー加群のカテゴリの間のカテゴリ同値性を確立する。
• この同値性はスクラビンの同値定理を一般化し、ブルンダン、グッドウィン、クレシュチェフの予想 5.3 を確認する。
• 𝒲 のカテゴリカル・オーダー 𝒪 内の加群の annihilator は、同値性下での像の annihilator に対応し、表現論的データを保存する。
• 同値性は、冪零部分代数に関する余不変量をとる函手を介して構成され、テンソル積構成の準逆関手である。
• この結果により、U(𝔤)-加群からの組み合わせ的データを用いて、W代数の有限次元表現の分類が可能になる。
• 応用として、W代数の既約表現の有限次元性および次元 1 のための基準が得られ、特に剛性のある冪零元の場合に特に有効である。