[論文レビュー] Categorification of (induced) cell modules and the rough structure of generalized Verma modules

Volodymyr Mazorchuk, Catharina Stroppel|arXiv (Cornell University)|Feb 27, 2007

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

ひとこと要約

本稿では、有限ワイル群のヘッケ代数の（誘導された）セルモジュールのカテゴリフィケーションを提示し、型Aにおいてカテゴリフィケーションがセルモジュールの同型類にのみ依存することを示している。主な貢献は、型Aリーモジュール上のパラボリック誘導モジュールの多重度公式であり、一般化されたヴェルマモジュールの粗い構造を特定し、多くの場合においてコスタントの問題に肯定的な回答を提供する。

ABSTRACT

This paper presents categorifications of (right) cell modules and induced cell modules for Hecke algebras of finite Weyl groups. In type $A$ we show that these categorifications depend only on the isomorphism class of the cell module, not on the cell itself. Our main application is multiplicity formulas for parabolically induced modules over a reductive Lie algebra of type $A$, which finally determines the so-called rough structure of generalized Verma modules. On the way we present several categorification results and give the positive answer to Kostant's problem from \cite{Jo} in many cases. We also give a general setup of decategorification, precategorification and categorification.

研究の動機と目的

• 有限ワイル群のヘッケ代数の（右）セルモジュールおよび誘導セルモジュールのカテゴリカルな枠組みを構築すること。
• カテゴリフィケーションを通じて、リーモジュールの表現論とカジダン＝ルシュティグ組合せ論の間の関係を確立すること。
• カテゴリフィケーションから得られる多重度公式を用いて、一般化されたヴェルマモジュールの粗い構造を特定すること。
• 特に型Aにおいて、コスタントの問題に多くの場合で肯定的な回答を提供すること。
• 型Aにおいて、セルモジュールのカテゴリフィケーションがモジュールの同型類にのみ依存し、同値性の意味で一意的であることを示すこと。

提案手法

• パラボリック部分代数に関連するカテゴリ$\mathcal{O}$の部分カテゴリの商カテゴリを構成し、翻訳ファンクターに関して安定であるようにすることで、セルモジュールのカテゴリフィケーションを実現する。
• カテゴリフィケーションされた圏のグロテンディーク群を用いて、ヘッケ代数上のモジュールとしてセルモジュールを回復する。
• 一般化された枠組みを用いて、デカテゴリフィケーション、プレカテゴリフィケーション、カテゴリフィケーションを形式化し、セルモジュールのカテゴリカルなアップグレードを定式化する。
• カテゴリ$\mathcal{O}\{\mathfrak{p},\mathscr{A}\}$を用いたパラボリック誘導を適用し、異なるカテゴリフィケーションを関連づけ、モジュール構造を誘導する。
• ココーンカテゴリ$\mathscr{Y}_{\overline{N}}$と$\mathscr{Y}_{L(y\cdot\mu)}$の同値性を用いて、モジュール間の多重度情報を転送する。
• 最高重みカテゴリにおける標準的および適切な標準的モジュールの構造と、カジダン＝ルシュティグの組合せ論を活用して多重度を計算する。

実験結果

リサーチクエスチョン

• RQ1 ヘッケ代数の（誘導された）セルモジュールは、その表現論的構造を保つ形でカテゴリフィケーション可能か？
• RQ2 型Aにおいて、セルモジュールのカテゴリフィケーションは、モジュールの同型類にのみ依存し、同値性の意味で一意的か？
• RQ3 カテゴリフィケーションと多重度公式を用いて、一般化されたヴェルマモジュールの粗い構造をどのように特定できるか？
• RQ4 型Aの一般化されたヴェルマモジュールに対して、コスタントの問題は肯定的に解けるか？
• RQ5 誘導セルモジュールのカテゴリフィケーションと、カテゴリ$\mathcal{O}$におけるパラボリック誘導モジュールの構造との関係は何か？

主な発見

• 型Aにおいて、セルモジュールのカテゴリフィケーションは同値性の意味で一意的である：二つのセルモジュールが同型ならば、それらのカテゴリフィケーションはヘッケ代数作用と可換なファンクターにより同値である。
• 本稿では、一般化されたヴェルマモジュール$\Delta(\mathfrak{p}, V_X)$の合成因子の多重度公式を確立し、カテゴリの同値性により$[\Delta(\mathfrak{p}, V_X) : L(\mathfrak{p}, V_Y)] = [\Delta(\mathfrak{p}, V_{\hat{\xi}(X)}) : L(\mathfrak{p}, V_{\hat{\xi}(Y)})]$が成り立つことを示している。
• 一般化されたヴェルマモジュールの粗い構造は、カジダン＝ルシュティグの組合せ論が適用可能な標準的カテゴリ$\mathcal{O}$に問題を還元することで特定される。
• 一般化されたヴェルマモジュール$\Delta(\mathfrak{p}, L)$の非可約性は、$(x,w)$が自明な中心的特徴値に対応するブロックにおいてモジュールに関連するペアであるとき、$w = \overline{w}$であることに同値である。
• 本稿は、多くの場合、特に自明な中心的特徴値を持つモジュールに対してコスタントの問題に肯定的な回答を提供しており、翻訳ファンクターを用いて特異な場合へ拡張している。
• ココーンカテゴリ$\mathscr{Y}_{\overline{N}}$と$\mathscr{Y}_{L(y\cdot\mu)}$の同値性により、単純モジュールに一対一対応が誘導され、適切な標準的対象の構造が保たれ、多重度の転送が可能になる。