[論文レビュー] From forced gradings to Q-Koszul algebras

Brian Parshall, Leonard L. Scott|arXiv (Cornell University)|Feb 24, 2015

Algebraic structures and combinatorial models参考文献 24被引用数 3

ひとこと要約

本稿では、正の特性における単純代数的群 G の分配代数 Dist(G) の商に強制的グレーディングを施すことによって生じる、新たなグレーディング代数のクラス Q-Koszul 代数を導入する。理想フィルトレーションを用いて正グレーディング代数を構成することで、関連するグレーディング代数が標準的 Q-Koszul であることを証明し、Kazhdan-Lusztig理論を介して量子群コホモロジーと代数的群 Ext 群の間の関係を確立する。特に、小さな素数および特異的重みに対して有効である。

ABSTRACT

This paper has two parts. The main goal, carried out in Part I, is to survey some recent work by the authors in which "forced" grading constructions have played a significant role in the representation theory of semisimple algebraic groups $G$ in positive characteristic. The constructions begin with natural finite dimensional quotients of the distribution algebras Dist$(G)$, but then "force" gradings into the picture by passing to positively graded algebras constructed from ideal filtrations of these quotients. This process first guaranteed a place for itself by proving, for large primes, that all Weyl modules have $p$-Weyl filtrations. Later it led, under similar circumstances, to a new "good filtration" result for restricted Lie algebra Ext groups between restricted irreducible $G$-modules. In the process of proving these results, a new kind of graded algebra was invented, called a Q-Koszul algebra. Recent conjectures suggest these algebras arise in forced grading constructions as above, from quotients of Dist$(G)$, even for small primes and even in settings possibly involving singular weights. Related conjectures suggest a promising future for using Kazhdan-Lusztig theory to relate quantum and algebraic group cohomology and Ext groups in these same small prime and possibly singular weight settings. A part of one of these conjectures is proved in Part II of this paper. The proof is introduced by remarks of general interest on positively graded algebras and Morita equivalence, followed by a discussion of recent Koszulity results of Shan-Varagnalo-Vasserot, observing some extensions. Version 2 corrects some minor typos and inaccurate references. The paper will appear in PSPUM.

研究の動機と目的

• 正の特性における代数的群 G の表現およびコホモロジー理論を研究するための枠組みを構築すること。特に、小さな素数および特異的重みに対して有効である。
• モジュラー表現理論において自然な正グレーディングが存在しないという問題を、Dist(G) の有限次元商の理想フィルトレーションによる「強制的グレーディング」の導入によって解決すること。
• 準ヘレディタリー代数と Koszul 代数の間を補間する新しい代数クラス—Q-Koszul 代数および標準的 Q-Koszul 代数—を定義し、その性質を調査すること。
• グレーディング構造と Kazhdan-Lusztig 多項式を用いて、量子群 Ext 群と代数的群 Ext 群の間の関係を確立すること。
• Q-Koszul 性が Morita 同値のもとで保存されることを証明し、Shan-Varagnolo-Vasserot の最近の Koszul 性に関する結果を、タイプ A でない量子群へと拡張すること。

提案手法

• Dist(G) の有限次元商 A から理想フィルトレーションを用いて正グレーディング代数 gr̃A を構成し、自然には存在しないグレーディングを「強制」する。
• Koszul 代数の一般化として、準ヘレディタリー構造と Koszul 構造の間を補間する Q-Koszul 代数を定義し、グレーディング付き設定における Ext 同型に注目する。
• Morita 同値を用いて、Q-Koszul 性が圏の同値のもとで不変であることを示し、導来圏を越えた性質の移行を可能にする。
• Shan-Varagnolo-Vasserot のパラボリック・特異的双対性理論を活用し、タイプ A から他の量子群へ Koszul 性の結果を拡張する。ただし、ある制限条件を満たす必要がある。
• グレーディング付き設定における基底変換技術を応用し、量子群および代数的群における Ext 群に関する予想を、関連するグレーディング代数における同型に還元する。
• Kazhdan-Lusztig 多項式を用いて、量子群コホモロジーにおける Ext 維度の明示的公式を予想し、p > h における p-正則重みの場合に検証する。

実験結果

リサーチクエスチョン

• RQ1 Dist(G) の商に強制的グレーディングを施すことで、小さな素数および特異的重みに対しても Q-Koszul 構造を持つ代数が得られるか。
• RQ2 gr̃A の Q-Koszul 性が、量子群および代数的群設定における Ext 群の同型をどれほど強く示唆するか。
• RQ3 Q-Koszul 性は Morita 同値のもとでどのように振る舞い、これにより表現論における導来同値性にどのような含意を持つのか。
• RQ4 パラボリック・特異的双対性理論を用いて、非タイプ A の設定における q-Schur 代数の Koszul 性を確立できるか。
• RQ5 代数 A 自身が正グレーディングを備え、A ≅ gr̃A が成り立つような条件は何か。また、その場合、Ext 群の計算にどのような含意があるか。

主な発見

• Q-Koszul 性は Morita 同値のもとで不変である。これは第 5 章で証明され、同値な圏を越えた性質の移行の基盤をなす。
• 量子群代数 B = U_ζ,Γ の関連グレーディング代数 gr̃B は、定理 7.2 で示されるように、標準的 Koszul 代数である。
• p-正則重みおよび p ≥ 2h−2 である奇素数 p に対して、A と gr̃A 間の Ext 群を結ぶ予想が成り立つ。これは定理 3.4 により示された。
• p > h であり、Lusztig の文字公式が成り立つ場合、p-正則重みに対して Ext 群の同型に関する予想が証明され、[CPS09] の先行結果が拡張された。
• 量子群設定における Ext 維度が、グレーディング代数設定におけるそれと一致することが示され、複素数体への基底変換のもとでも等式が保たれる。
• 予想 7.3 は、予想 4.6 が成立する場合、既知の結果に帰着される。この証明は、Q-Koszul 性がグレーディング圏における滑らかな基底変換を可能にするという点で、根幹的役割を果たす。