[論文レビュー] Q-Koszul Algebras and Three Conjectures

Brian Parshall, Leonard L. Scott|arXiv (Cornell University)|May 17, 2014

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

ひとこと要約

本稿では、p=2 などの小素数を含むすべての特徴において、半単純代数的群の表現理論を統一的にモデル化する枠組みとして Q-Koszul 代数を導入する。これらの代数における Ext-群と Kazhdan-Lusztig 多項式の関係を示す3つの予想を提示し、S(5,5) において p=2 の場合に明示的な計算が正当化されている。これは、モジュラー表現の背後にある深いホモロジー的構造を示唆している。

ABSTRACT

In previous work, the authors introduced the notion of Q-Koszul algebras, as a tool to "model" module categories for semisimple algebraic groups over fields of large characteristics. Here we suggest the model extends to small characteristics as well. In particular, we present several conjectures in the modular representation theory of semisimple groups which these algebras inspire. They provide a new world-view of modular representation theory, potentially valid for some root systems in all characteristics. In fact, we give a non-trivial example in which $p=2$. This paper begins a systematic study of Q-Koszul algebras, viewed as interesting objects in their own right.

研究の動機と目的

• モジュラー表現理論における Koszul 型ホモロジー的モデルの適用範囲を、大特徴から小特徴へ拡張すること。
• Q-Koszul 代数を、次数 0 部分が quasi-hereditary である新しいクラスの次数付き代数として導入し、古典的 Koszul 代数を一般化すること。
• 代数的群の文脈における Ext-群と Kazhdan-Lusztig 多項式の関係を、関連する次数付き構造を通じて定式化し、検証すること。
• S(5,5) の場合において、p=2 における予想された Ext-次元の予測が正しいことを確認することで、小特徴でも同様に成立することを示し、予想の枠組みが有効であることを示すこと。
• Q-Koszul 代数を独立した対象として体系的に研究を開始し、生成元が次数 1 の成分からなることや、二次的表示を持つことなどの基礎的性質を確立すること。

提案手法

• Q-Koszul 代数を、正の次数付き有限次元代数として定義する。ここで、標準的・コ標準的モジュールの Ext-代数が次数 0 で、ext^n(Δ⁰(λ), ∇₀(μ)⟨r⟩) ≠ 0 ならば n = r を満たすという次数条件を満たす。
• syzygy および A₁ のフィルトレーション技術を用いて、Q-Koszul 代数が A₀ と A₁ で生成され、かつ二次的であることを確立する。
• 量子群の根の単位における関連する次数代数 gr A' を用いて、代数的群 G の表現理論をモデル化する。これには、放物型 Kazhdan-Lusztig 多項式に関する既知の結果を活用する。
• 予想 III を提示する。これは、量子群の根の単位における gr A' における標準的モジュールと非可約モジュールの間の Ext-群が、放物型 Kazhdan-Lusztig 多項式によって決定され、その係数が非負であるというものである。
• A₁ が A₀ における両側加群としてのフィルトレーションと、A₀-双加群構造を用いて、gr A' における Ext-次元の積分公式を導出する。これにより、量子群の表現理論と関連づける。
• S(5,5) において p=2 の場合に、予想を検証し、予測された Ext-次元が既知の計算と一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 Q-Koszul 代数は、p=2 などの小素数を含むすべての素数特徴において、半単純代数的群のモジュラー表現理論を一貫したホモロジー的モデルとして提供できるか？
• RQ2 量子群の根の単位における gr A' の関連する次数代数において、標準的モジュールと非可約モジュールの間の Ext-群は、放物型 Kazhdan-Lusztig 多項式を含む公式を満たすか？
• RQ3 予想の枠組みのもとで、正の特徴における代数的群 G の Ext-代数は、関連する次数代数の Ext-代数を介して計算可能か？
• RQ4 関連する次数代数 gr A' のホモロジー的構造を用いて、元の代数 A における非可約モジュールと標準的／コ標準的モジュールの間の Ext-群を計算できるか？
• RQ5 Q-Koszul 代数の枠組みにより、小特徴でも Kazhdan-Lusztig 係数を用いた Ext-次元の均一な記述が可能か？

主な発見

• p=2 における S(5,5) が、Kazhdan-Lusztig 多項式から導かれる予想された Ext-次元の予測を満たしており、小特徴におけるこの枠組みの非自明な証拠を提供している。
• Q-Koszul 代数は、その次数 0 および次数 1 の成分によって強く生成されており、これは二次的代数であることを示唆している。
• Q-Koszul 代数の次数 1 の成分 A₁ は、A₀ 上の標準的モジュールによるフィルトレーションを持つ。また、(A₀, A₀^op)-両側加群 A₁ は、Δ⁰ ⊗ Δ⁰^op-フィルトレーションを持つ。
• 関連する次数代数 gr A' における標準的モジュールと非可約モジュールの間の Ext-次元は、放物型 Kazhdan-Lusztig 多項式によって予測されており、これらは非負の係数を持つことが知られている。
• 予想の枠組みにより、G の Ext-群は、関連する次数代数の Ext-代数を介して計算可能であると示唆される（予想が成り立つ場合）。
• Conjecture IIb が成り立つならば、関連する次数代数 gr A' は標準 Koszul である。これにより、古典的 Koszul 場合と同様の積分公式が得られる。