[論文レビュー] Generalized quiver Hecke algebras

Julia Sauter|arXiv (Cornell University)|Jun 17, 2013

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

ひとこと要約

この論文は、DerksenとWeymanが定義した一般化されたクイバー表現へとVaragnoloとVasserotの幾何的構成を拡張することで、クイバー・ヘケ代数を一般化する。一般化されたクイバー・グレーディング・スプリンガー理論のためのスタインバーグ代数と呼ばれる代数のクラスを構成し、スケュー群環、（アフィン）ニルヘッケ代数、KLR代数を含む。Borelの場合において、生成元と関係式による提示された代数と中心化代数との間に同型を示す。

ABSTRACT

We generalize the geometric construction of quiver Hecke algebras from Varagnolo and Vasserot to a setup with arbitrary connected reductive groups. This corresponds to replacing quiver representations by generalized quiver representations introduced by Derksen and Weyman. The class of algebras which we construct contains (affine) nil Hecke algebras, skew group rings of Weyl groups with polynomial rings and quiver Hecke algebras. We describe an explicit faithful representation in a polynomial ring and we calculate the generators and relations for these algebras.

研究の動機と目的

• クイバー・ヘッケ代数の幾何的構成を、VaragnoloとVasserotの先行研究を拡張して一般化されたクイバー表現へ一般化すること。
• この構成から生じる新しい代数のクラス—一般化されたクイバー・グレーディング・スプリンガー理論のためのスタインバーグ代数—を定義し、研究すること。
• Weyl群と多項式環のスケュー群環、（アフィン）ニルヘッケ代数、KLR代数といった既知の代数を、一つの枠組みで統一すること。
• 生成元と関係式による提示された代数と一般化されたクイバー表現の中心化代数との間に同型を確立すること。
• 主にBorel設定に適応するが、パラボリックの場合への拡張を検討すること。

提案手法

• 連結な再帰的代数群 $\mathbb{G}$、$G = C_{\mathbb{G}}(H)^o$（$H \subset T \subset \mathbb{B}$ におけるアーベル部分群）および $\mathfrak{g}$ 内の既約成分に分解する $G$-表現 $V$ を持つ一般化されたクイバー表現 $(\mathbb{G}, G, V, Gv)$ を用いる。
• スプリンガー理論の幾何的メソッドを適用し、Borel部分群と関連するコクセター系 $(W, S)$（$W$ は $\mathbb{G}$ と $G$ のワイル群）に注目する。
• 生成元 $\widetilde{1_i}, \widetilde{z_i(t)}, \widetilde{\sigma_i(s)}$ を持つ代数 $A$ を関係式 (1)–(5) に従って構成し、バレー関係式と多項式作用を含む。
• 生成元の積をワイル群の簡約語にインデックス付けられた標準単項式の $\mathcal{E}$-線形結合として表すためのストレートニング則を用いる。
• 写像 $c_J: W^J \to W/W_J$ とブルア・順序を用いて最小長代表元を定義し、代数の構造を制御する。
• 代数 $A$ が中心化代数 $\mathcal{Z}_G$ に同型であることを示す。$\mathcal{E}$-線形性と自然な写像 $A \to \mathcal{Z}_G$ の上への性質を用いて、$A = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \widetilde{\sigma(w)}$ を示す。

実験結果

リサーチクエスチョン

• RQ1 クイバー・ヘッケ代数の幾何的構成を、標準的なクイバー設定を超えて一般化されたクイバー表現へどのように拡張できるか。
• RQ2 この一般化された構成から生じる代数のクラスは何か。また、KLR代数やニルヘッケ代数といった既知の代数とどのように関係するか。
• RQ3 主にBorel設定に適応するが、パラボリック設定への拡張はどの程度可能か。
• RQ4 一般化されたクイバー・グレーディング・スプリンガー理論における中心化代数 $\mathcal{Z}_G$ の代数的構造は何か。
• RQ5 生成元と関係式による中心化代数の提示は確立可能か。また、自然に定義された代数 $A$ と同型であるか。

主な発見

• 一般化されたクイバー・グレーディング・スプリンガー理論は、Weyl群と多項式環のスケュー群環、（アフィン）ニルヘッケ代数、KLR代数を特別な場合として含むスタインバーグ代数と呼ばれる代数のクラスを生じる。
• 中心化代数 $\mathcal{Z}_G$ は $\mathcal{Z}_G = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \sigma(w)$ と分解可能である。ここで $\mathbb{W}$ は $G$ のワイル群である。
• 生成元 $\widetilde{1_i}, \widetilde{z_i(t)}, \widetilde{\sigma_i(s)}$ がそれぞれ $1_i, z_i(t), \sigma_i(s)$ に写像される、提示された代数 $A$ から $\mathcal{Z}_G$ への全射代数準同型が構成される。
• ストレートニング則により、$A$ 内の任意の生成元の積は、$w \in \mathbb{W}$ に対して $\mathcal{E}$-スパンの $\widetilde{\sigma(w)}$ の中に含まれる。これは $A = \bigoplus_{w \in \mathbb{W}} \mathcal{E} * \widetilde{\sigma(w)}$ を意味する。
• 同型 $A \cong \mathcal{Z}_G$ は、$\mathcal{E}$-線形性と、写像が基底元上で単射かつ全射であることから導かれる。
• 証明は、$A$ におけるバレー関係式と多項式作用が $\mathcal{Z}_G$ 内の関係と一致することを確認することに依存しており、特に $s\delta_t s$ および $t\delta_s t$ の恒等式と係数の可除性を用いる。