[論文レビュー] New graded methods in the homological algebra of semisimple algebraic groups

Brian Parshall, Leonard L. Scott|arXiv (Cornell University)|Apr 4, 2013

Algebraic structures and combinatorial models参考文献 22被引用数 8

ひとこと要約

本稿は、正標数における単純代数的群の表現論において、強制的グレーディングを用いて、第一Frobenius核上のExt群が、Lusztigの特徴方程式が成立し、$p \geq 2h-2$ が奇数であるとき、良いフィルトレーションを持つことを示す、新たな階数付きホモロジー的方法を導入する。主な貢献は、アフィンWeyl群のKazhdan-Lusztig多項式を用いた、これらのフィルトレーションにおける双対Weyl加群の重複度を組合せ論的に与える公式である。

ABSTRACT

Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of $\Ext^\bullet_{G_1}(V,W)$ when $V,W$ belong to several important classes of rational $G$-modules, and $G_1$ denotes the first Frobenius kernel of $G$. For example, it is proved that, if $L,L'$ are ($p$-regular) irreducible $G_1$-modules, then $\Ext^n_{G_1}(L,L')^{[-1]}$ has a good filtration with computable multiplicities. This and many other results depend on the entirely new technique of using methods of what we call forced gradings in the representation theory of $G$, as developed by the authors in recent papers, and extended here. In addition to providing proofs, these methods lead effectively to a new conceptual framework for the study of rational $G$-modules, and, in this context, to the introduction of a new class of graded finite dimensional algebras, which we call Q-Koszul algebras. These algebras are similar to Koszul algebras, but are quasi-hereditary, rather than semisimple, in grade 0.

研究の動機と目的

• 強制的グレーディング技術を用いて、単純代数的群の有理表現のための新しい概念的枠組みを構築すること。
• 有理$G$-加群$V,W$に対して、$G$-加群構造$\operatorname{Ext}^n_{G_1}(V,W)$を、特に$V$と$W$が既約またはWeyl加群である場合に研究すること。
• Lusztigの特徴方程式が成立し、$p$が$2h-2$以上で奇数である条件下で、$\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$が良いフィルトレーションをもつことを確立すること。
• 次数0で準素的ヒエラルキー的であるとともに、Koszul型双対性を満たす、新たなクラスの階数付き代数—Q-Koszul代数—を導入・分析すること。
• 準素的ヒエラルキー的代数の文脈において、階数付き構造を用いた再帰的解体法を、ホモロジー的分解を構築するための手法として開発すること。

提案手法

• 著者らは、先行研究で開発された強制的グレーディング技術を用い、表現の階数付きリフトを介して、ホモロジー代数へと拡張する。
• 彼らは、次数0で準素的ヒエラルキー的であり、Koszul型双対性を満たす、新たなクラスの階数付き有限次元代数であるQ-Koszul代数を定義する。
• この手法は、階数付きGrothendieck群と、関連する階数付き圏への分解のリフトに用いられる$\widetilde{\operatorname{gr}}$関手に依存する。
• 重要な技術的道具は、階数付き加群圏における完全系列の可換図式で、上に全射をもつ垂直射を持つもので、Ext群の解析に用いられる。
• 彼らは整数的準素的ヒエラルキー的代数の理論を用い、この文脈で$\operatorname{Tor}$群の消滅結果を証明し、再帰的分解法を支援する。
• この手法は再帰的に適用され、部分代数$\mathfrak{a}$への射影的制限が射影的である射影的加群の存在に依存して、段階的に分解を構築する。

実験結果

リサーチクエスチョン

• RQ1 素数$p$とLusztigの特徴方程式の妥当性に関して、どのような条件下で$\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$が良いフィルトレーションをもつのか。
• RQ2 フィルトレーションにおける双対Weyl加群$\nabla(\gamma)$の重複度が、組合せ論的に計算可能か。
• RQ3 強制的グレーディング技術は、有理$G$-加群の文脈において、モジュール論からホモロジー代数へどのように拡張可能か。
• RQ4 同じ仮定のもとで、Ext群$\operatorname{Ext}^n_{G_1}(\Delta(\lambda),L(\mu))^{[-1]}$および$\operatorname{Ext}^n_{G_1}(L(\mu),\nabla(\lambda))^{[-1]}$の構造はいかなるものか。
• RQ5 新しく導入されたQ-Koszul代数の性質は何か。また、モジュラー表現論の文脈において、古典的Koszul代数をどのように一般化するか。

主な発見

• Lusztigの特徴方程式が成立し、$p \geq 2h-2$ が奇数であるとき、$\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$は、ドミナント重み$\gamma$に対する$\nabla(\gamma)$-項をもつ良いフィルトレーションを持つ。
• Ext群$\operatorname{Ext}^n_{G_1}(L(\lambda),L(\mu))^{[-1]}$における$\nabla(\gamma)$の重複度は、$G$のアフィンWeyl群のKazhdan-Lusztig多項式の係数によって与えられる。
• 同じ仮定のもとで、Ext群$\operatorname{Ext}^n_{G_1}(\Delta(\lambda),L(\mu))^{[-1]}$および$\operatorname{Ext}^n_{G_1}(L(\mu),\nabla(\lambda))^{[-1]}$も良いフィルトレーションをもつ。
• 著者らはQ-Koszul代数—次数0で準素的ヒエラルキー的であり、Koszul型双対性を満たす階数付き代数—を導入し、古典的Koszul理論を拡張する。
• 階数付き構造を用いた再帰的解体法が、射影的加群が部分代数$\mathfrak{a}$への制限が射影的であるという条件に依存して開発された。
• Tor群の消滅結果が確立された：$\operatorname{Tor}^{{\widetilde{A}}}_n({\widetilde{\Delta}}(\lambda)^\circ, {\widetilde{\Delta}}(\mu)) \cong \mathcal{O}$ ならば$n=0$かつ$\lambda=\mu$、そうでなければ0。