[論文レビュー] Categories O for Dynkin Borel Subalgebras of Root-Reductive Lie Algebras

Thanasin Nampaisarn|arXiv (Cornell University)|Jun 19, 2017

Algebraic structures and combinatorial models被引用数 5

ひとこと要約

本稿は、代数閉体の標数0における根再帰的リーモデル、たとえば $\mathfrak{gl}_\infty(\mathbb{K})$、$\mathfrak{sl}_\infty(\mathbb{K})$、$\mathfrak{so}_\infty(\mathbb{K})$、$\mathfrak{sp}_\infty(\mathbb{K})$ のようなものに対する、古典的 Bernstein-Gelfand-Gelfand (BGG) 類 $\mathcal{O}$ の類似物を導入し、研究する。主な貢献は、Dynkin ボレル部分代数に対する拡張カテゴリ $\bar{\mathcal{O}}$ の構築であり、特定のインジェクティブ包が存在しないにもかかわらず、BGG 対応とブロック分解の結果を確立している。

ABSTRACT

The purpose of my Ph.D. research is to define and study an analogue of the classical Bernstein-Gelfand-Gelfand (BGG) category $\mathcal{O}$ for the Lie algebra $\mathfrak{g}$, where $\mathfrak{g}$ is one of the finitary, infinite-dimensional Lie algebras $\mathfrak{gl}_\infty(\mathbb{K})$, $\mathfrak{sl}_\infty(\mathbb{K})$, $\mathfrak{so}_\infty(\mathbb{K})$, and $\mathfrak{sp}_\infty(\mathbb{K})$. Here, $\mathbb{K}$ is an algebraically closed field of characteristic $0$. We call these categories "extended categories $\mathcal{O}$" and use the notation $\bar{\mathcal{O}}$. While the categories $\bar{\mathcal{O}}$ are defined for all splitting Borel subalgebras of $\mathfrak{g}$, this research focuses on the categories $\bar{\mathcal{O}}$ for very special Borel subalgebras of $\mathfrak{g}$ which we call Dynkin Borel subalgebras. Some results concerning block decomposition and Kazhdan-Lusztig multiplicities carry over from usual categories $\mathcal{O}$ to our categories $\bar{\mathcal{O}}$. There are differences which we shall explore in detail, such as the lack of some injective hulls. In this connection, we study truncated categories $\bar{\mathcal{O}}$ and are able to establish an analogue of BGG reciprocity in the categories $\bar{\mathcal{O}}$.

研究の動機と目的

• 標数0の体上の無限次元根再帰的リーモデル、たとえば $\mathfrak{gl}_\infty$、$\mathfrak{sl}_\infty$、$\mathfrak{so}_\infty$、$\mathfrak{sp}_\infty$ に対する古典的 BGG 類 $\mathcal{O}$ の一般化を図ること。
• 分割ボレル部分代数に対する類似類 $\mathcal{O}$ のアナロジー、すなわち $\bar{\mathcal{O}}$ の定義と分析をし、特に Dynkin ボレル部分代数に焦点を当てる。
• ブロック分解、Kazhdan-Lusztig の重複度公式、および拡張された設定におけるインジェクティブ包の欠如といった構造的性質の調査。
• 有限次元の場合に存在する特定のインジェクティブ対象が欠落しているにもかかわらず、切り詰めたカテゴリ $\bar{\mathcal{O}}$ における BGG 対応の確立。

提案手法

• 分割最大トーラル部分代数の半単純作用とボレル部分代数の局所有限作用を要請することで、根再帰的リーモデルに対する拡張カテゴリ $\bar{\mathcal{O}}$ を定義する。
• 局所有限な全順序の $\mathbb{Z}_{>0}$ に対応する、局所有限全順序の $\mathbb{Z}_{>0}$ に対応する、Dynkin ボレル部分代数に焦点を当てる——これらは、そのディンキン図形 $\mathrm{A}_\infty^{\text{1-sided}}$ および $\mathrm{A}_\infty^{\text{2-sided}}$ によって分類される。
• 重みモジュール理論と根空間分解を用いて、特に最高重みモジュールとの関係において、$\bar{\mathcal{O}}$ 内のモジュールの構造を分析する。
• 切り詰めたカテゴリ $\bar{\mathcal{O}}$ を研究することで、インジェクティブ包が欠落しているため、全カテゴリでは成立しない BGG 対応を回復する。
• 有限次元のファイニタリ リー代数における分割最大トーラル部分代数およびボレル部分代数の既知の分類を活用し、$\mathfrak{sl}_\infty$、$\mathfrak{so}_\infty$、$\mathfrak{sp}_\infty$ 全体にわたって $\bar{\mathcal{O}}$ を一貫して定義する。
• 重み空間分解と双対性を含む、無限次元リー代数の表現論の技法を応用し、ブロックと合成系列の分析に用いる。

実験結果

リサーチクエスチョン

• RQ1 古典的 BGG 類 $\mathcal{O}$ は、$\mathfrak{gl}_\infty(\mathbb{K})$ のような無限次元根再帰的リー代数へどのように一般化できるか？
• RQ2 ブロック分解や Kazhdan-Lusztig 重複度といった構造的性質は、有限次元の $\mathcal{O}$ から拡張カテゴリ $\bar{\mathcal{O}}$ へどのように持ち込まれるか？
• RQ3 なぜ $\bar{\mathcal{O}}$ では特定のインジェクティブ包が存在しないのか、そしてこれはカテゴリの構造にどのように影響するか？
• RQ4 切り詰められた部分カテゴリに制限することで、$\bar{\mathcal{O}}$ における BGG 対応を回復できるか？
• RQ5 $\mathbb{Z}_{>0}$ の局所有限全順序に対応する、ディンキン ボレル部分代数は、$\bar{\mathcal{O}}$ の表現論にどのように影響を与えるか？

主な発見

• 拡張カテゴリ $\bar{\mathcal{O}}$ は、根再帰的リー代数のすべての分割ボレル部分代数に対して定義され、特に $\mathbb{Z}_{>0}$ の局所有限全順序に対応する Dynkin ボレル部分代数に焦点を当てる。
• $\bar{\mathcal{O}}$ におけるブロック分解は、重み上のワイル群作用によって支配され、有限次元の場合と類似しているが、無限次元根系のための修正を要する。
• ヴェルマモジュール内の合成因子の Kazhdan-Lusztig 重複度公式は $\bar{\mathcal{O}}$ へ拡張され、ヘッケ代数との関係が保たれる。
• カテゴリ $\bar{\mathcal{O}}$ は、古典的 $\mathcal{O}$ に存在する特定のインジェクティブ包を欠落しており、これが全カテゴリで完全な BGG 対応を妨げる。
• 切り詰めたカテゴリ $\bar{\mathcal{O}}$ に制限することで、BGG 対応が成功裏に回復され、有限次元の場合の構造的アナロジーが得られる。
• 自己同型を除いて、$\mathfrak{sl}_\infty$ にはちょうど二つの Dynkin ボレル部分代数がある：$\mathrm{A}_\infty^{\text{1-sided}}$ を持つものと $\mathrm{A}_\infty^{\text{2-sided}}$ を持つもので、それぞれ $\mathbb{Z}_{>0}$ の自然な順序と二面的順序に対応する。