[論文レビュー] On Categories $\mathcal{O}$ for Root-Reductive Lie Algebras

Thanasin Nampaisarn|arXiv (Cornell University)|Nov 30, 2017

Advanced Algebra and Geometry参考文献 10被引用数 3

ひとこと要約

この論文は、特性が0の代数的に閉じた体上の無限次元根再帰的リーヒューベルト代数に対して、ベルンシュタイン＝ゲルファンド＝ゲルファンドのカテゴリ $\mathcal{O}$ の類似を導入する。デインキンのボレル部分代数に注目することで、ヴェルマ加群、合成系列の類似、一般化されたカジダン＝ルシュチリッツ理論を備えた well-behaved なカテゴリ $\bar{\mathcal{O}}$ を確立し、注入的対象の欠如にもかかわらず、切断された部分カテゴリに対して BGG 対称性のバージョンを証明する。

ABSTRACT

Let $\mathfrak{g}$ be a root-reductive Lie algebra over an algebraically closed field $\mathbb{K}$ of characteristic $0$ with a splitting Borel subalgebra $\mathfrak{b}$ containing a splitting maximal toral subalgebra $\mathfrak{h}$. We study the category $\bar{\mathcal{O}}$ consisting of all $\mathfrak{h}$-weight $\mathfrak{g}$-modules which are locally $\mathfrak{b}$-finite and have finite-dimensional $\mathfrak{h}$-weight spaces. The focus is on very special Borel subalgebras called the Dynkin Borel subalgebras. This paper serves as an initial passage to the understanding of categories $\mathcal{O}$ for infinite-dimensional root-reductive Lie algebras.

研究の動機と目的

• 古典的 BGG カテゴリ $\mathcal{O}$ を、特定の制限を満たす再帰的リーヒューベルト代数の直和として得られる無限次元根再帰的リーヒューベルト代数へと拡張すること。
• 分割可能な最大トーラル部分代数 $\mathfrak{h}$ を含む分割可能なボレル部分代数 $\mathfrak{b}$ に関して、$\mathfrak{h}$-半単純かつ $\mathfrak{b}$-作用が局所的有限で、$\mathfrak{h}$-重層が有限次元であるような $\mathfrak{h}$-半単純モジュールからなる一般化カテゴリ $\bar{\mathcal{O}}$ を定義し、その性質を研究すること。
• デインキンのボレル部分代数—有限根系の和集合で特定の順序付けがなされた根系を持つ特別なボレル部分代数—に注目し、これにより $\bar{\mathcal{O}}$ にヴェルマ加群や合成系列の類似といった強力な構造的性質が与えられることを示すこと。
• カジダン＝ルシュチリッツ理論を $\bar{\mathcal{O}}$ に一般化し、注入的対象が存在しないにもかかわらず、切断された部分カテゴリに対して BGG 対称性のバージョンを確立すること。

提案手法

• 分割可能な最大トーラル部分代数 $\mathfrak{h}$ を含む分割可能なボレル部分代数 $\mathfrak{b}$ を用いて、根再帰的リーヒューベルト代数 $\mathfrak{g}$ に対して拡張カテゴリ $\bar{\mathcal{O}}$ を定義し、$\mathfrak{h}$-半単純性、$\mathfrak{b}$-作用の局所的有限性、$\mathfrak{h}$-重層の有限次元性を要請する。
• 根系が有限根系の和集合で、特定の順序付けを持つことにより、より強い構造的結果が得られるデインキンのボレル部分代数に注目する。
• 導来イデアル $[\mathfrak{g}, \mathfrak{g}]$ の構造を活用し、これは $\mathfrak{sl}_\infty$、$\mathfrak{so}_\infty$、$\mathfrak{sp}_\infty$ などの有限次元単純リーヒューベルト代数および単純なフィニタリー・リーヒューベルト代数の直和である。
• ヴェルマ加群を $\mathfrak{b}$-モジュールからの誘導モジュールとして構成し、$\mathfrak{b}$ がデインキンのボレル部分代数であるとき、これらが $\bar{\mathcal{O}}$ の対象であることを示す。
• ウェイリ群の作用とウェイリ群族が重層に誘導する同値関係を用いて、$\bar{\mathcal{O}}$ のブロック分解を分析する。
• 文献 [RCW] の技術を応用し、$\bar{\mathcal{O}}$ の切断された部分カテゴリに対して BGG 対称性を確立し、全カテゴリに注入的対象が存在しないという問題を回避する。

実験結果

リサーチクエスチョン

• RQ1 古典的 BGG カテゴリ $\mathcal{O}$ は、どのようにして無限次元根再帰的リーヒューベルト代数へ一般化できるか？
• RQ2 デインキンのボレル部分代数に関して定義されたカテゴリ $\bar{\mathcal{O}}$ がどのような構造的性質を有するか？
• RQ3 カジダン＝ルシュチリッツ理論は、根再帰的リーヒューベルト代数の $\bar{\mathcal{O}}$ に拡張可能か？
• RQ4 $\bar{\mathcal{O}}$ のブロック構造は、根系とウェイリ群族の作用によってどのように反映されるか？
• RQ5 注入的対象が存在しないにもかかわらず、$\bar{\mathcal{O}}$ に BGG 対称性のバージョンが存在するか？

主な発見

• デインキンのボレル部分代数に関して定義されたカテゴリ $\bar{\mathcal{O}}$ は、リーヒューベルト代数表現論の根幹をなすヴェルマ加群をすべて含む。
• $\bar{\mathcal{O}}$ の任意の対象は、可約またはヴェルマ加群である有限長の商を持つ合成系列の類似を備える。
• カジダン＝ルシュチリッツ理論は $\bar{\mathcal{O}}$ に一般化され、ヴェルマ加群内の合成因子を記述するためにカジダン＝ルシュチリッツ多項式が利用可能になる。
• $\bar{\mathcal{O}}$ のブロック分解は、ウェイリ群族が重層格子に作用することによって制御され、ブロックはこの作用の軌道によって添字づけられる。
• 一部のカテゴリに注入的対象が存在しないにもかかわらず、[RCW] の手法により、$\bar{\mathcal{O}}$ の切断された部分カテゴリに対して BGG 対称性のバージョンが成立することが示された。
• 根再帰的リーヒューベルト代数 $\mathfrak{g}$ の導来イデアル $[\mathfrak{g}, \mathfrak{g}]$ は、有限次元単純リーヒューベルト代数および単純なフィニタリー・リーヒューベルト代数の直和であり、それぞれの重複度は高々可算である。