[論文レビュー] On graded presentations of Hecke algebras and their generalizations

Ben Webster|arXiv (Cornell University)|May 2, 2013

Algebraic structures and combinatorial models参考文献 15被引用数 17

ひとこと要約

この論文は、『ヘッケ族』—アフィンヘッケ、クロニクルヘッケ、q-シュール代数を一般化する—と『KLR族』—重み付きおよびクロニクルKLR代数を含む—の代数の完備化の間の段階的同型を確立する。主な貢献は、形式的パラメータでの完備化を通じて、これらの同型を統一的枠組みで実現するものであり、ブルンダン＝クレシュチェフの同型を一般化し、A型およびアフィンA型の広範な表現論的対象の段階的表現を提供する。

ABSTRACT

In this paper, we define a number of closely related isomorphisms. On one side of these isomorphisms sit a number of of algebras generalizing the Hecke and affine Hecke algebras, which we call the "Hecke family"; on the other, we find generalizations of KLR algebras in finite and affine type A, the "KLR family." We show that these algebras have compatible isomorphisms generalizing those between Hecke and KLR algebras given by Brundan and Kleshchev. This allows us to organize a long list of algebras and categories into a single system, including (affine/cyclotomic) Hecke algebras, (affine/cyclotomic) $q$-Schur algebras, (weighted) KLR algebras, category $\mathcal{O}$ for $\mathfrak{gl}_N$ and for the Cherednik algebras for the groups $\mathbb{Z}/e\mathbb{Z}\wr S_m$, and give graded presentations of all of these objects.

研究の動機と目的

• 表現論における多様な代数—例えばアフィンヘッケ代数、クロニクルヘッケ代数、q-シュール代数、KLR代数—を、一つの構造的枠組みで統一すること。
• ブルンダン＝クレシュチェフのヘッケ代数とKLR代数の間の同型を、重み付き、フレーム付き、および組み合わせ型WF代数を含む一般化すること。
• glNのOカテゴリおよびチェレドニク代数を含む広範なクラスの代数とカテゴリに対して段階的表現を提供すること。
• 形式的パラメータとべき等元フィルトレーションを用いて、ヘッケ型とKLR型代数の完備化の間の同型を確立すること。
• 完備化と段階的モラータ同値を用いて、退化型と非退化型の設定の関係を明確にすること。

提案手法

• 『ヘッケ族』（ヘッケ代数およびq-シュール代数を一般化する）と『KLR族』（KLR代数および重み付きKLR代数を一般化する）の2つの代数族を定義する。両者ともランクnとパラメータqでパrameter化される。
• 形式的パラメータhを用いた代数の形式的完備化を導入する。ヘッケ側ではq = qehを用い、KLR側ではhをディンキン図形の変形に用いる。
• O, W, F, WFの4つのタイプごとに、べき等元を保存する写像を介して、ヘッケ型とKLR型代数の完備化の間の同型を構成する。
• 図式的計算と多項式表現を用いて同型を検証し、特に赤いストランドとゴーストストランドを含む交差とべき等元を比較する。
• KLR側の段階的べき等元（例：e′′）を定義し、それらがヘッケ側の不安定なべき等元に対応し、段階的構造と整合することを保証する。
• アリキのq-シュール代数との既知のモラータ同値および段階的モラータ同値の結果（例：）を活用し、段階的構造の整合性を確認する。

実験結果

リサーチクエスチョン

• RQ1 すべてのタイプ（O, W, F, WF）にわたって、一般化されたヘッケ代数とKLR代数の間で統一的な同型枠組みを確立できるか？
• RQ2 完備化の下で、クロニクルヘッケ代数およびq-シュール代数の段階的表現は、KLR代数のそれらとどのように関係するか？
• RQ3 形式的パラメータhは、これらの同型において退化型と非退化型の設定を統一するために果たす役割は何か？
• RQ4 KLRの図式的表現におけるべき等元削減およびゴーストストランド構造の下で、同型はどのように振る舞うか？
• RQ5 これらの同型は、Oカテゴリや量子群のカテゴリフィケーションといったカテゴリカル構造をどの程度保存するか？

主な発見

• 論文は、WF型ヘッケ代数とWF型KLR代数の完備化の間で明示的な同型を構成し、ブルンダン＝クレシュチェフの同型を一般化する。
• 同型写像は、ヘッケ側のべき等元ǫuをKLR側の対応するべき等元euに写し、ゴーストストランドおよび交差の構造を保存する。
• 写像はXrおよびψr作用を尊重し、Xrをゴーストラベルの和および有理関数で表す明示的式（6.4a）および（6.4b）が与えられる。
• クロニクルq-シュール代数の段階的構造は、同次的べき等元e′′によって実現され、アリキの段階的構造と段階的モラータ同値の意味で一致する。
• 完備化プロセスにより、同型が形式的べき級数代数（例：bHhおよびbRh）のレベルで成立することが保証され、退化型と非退化型の設定の統一が可能になる。
• この枠組みは、チェレドニク代数Z/eZ ≀ SnのOカテゴリを、WF型ヘッケ代数の特別な場合として含み、このカテゴリの新しい段階的表現を提供する。