[論文レビュー] Weighted Khovanov-Lauda-Rouquier algebras

Ben Webster|arXiv (Cornell University)|Sep 11, 2012

Algebraic structures and combinatorial models参考文献 23被引用数 27

ひとこと要約

この論文は、元のKLR代数に、基になるクーヴィーの辺に実数の重みを付けることで、ゴーストストランドを介した'遠隔作用'関係を可能にする、重み付きKhovanov-Lauda-Rouquier（KLR）代数を導入する。この構成は、サイクロトニック商を一般化し、テンソル積、フォック空間、クーヴィー・シュール代数のカテゴリフィケーションを統一する枠組みを提供する。グローヴェンディーク群はクーヴィーのホール代数と同型であり、双代数同型が自然に定まり、カテゴリフィケーションされた量子群と幾何的表現論を結びつける。

ABSTRACT

In this paper, we define a generalization of Khovanov-Lauda-Rouquier algebras which we call weighted Khovanov-Lauda-Rouquier algebras. We show that these algebras carry many of the same structures as the original Khovanov-Lauda-Rouquier algebras, including induction and restriction functors which induce a twisted biaglebra structure on their Grothendieck groups. We also define natural quotients of these algebras, which in an important special case carry a categorical action of an associated Lie algebra. Special cases of these include the algebras categorifying tensor products and Fock spaces defined by the author and Stroppel in past work. For symmetric Cartan matrices, weighted KLR algebras also have a natural gometric interpretation as convolution algebras, generalizing that for the original KLR algebras by Varagnolo and Vasserot; this result has positivity consequences important in the theory of crystal bases. In this case, we can also relate the Grothendieck group and its bialgebra structure to the Hall algebra of the associated quiver.

研究の動機と目的

• クーヴィーの各向き付き辺 e に対して実数 ϑe ∈ ℝ の重みを導入し、e の先端に接する各ストランドから距離 ϑe 離れた位置に'ゴースト'ラインを定める。
• 重み付きKLR代数を、ストランドとそのゴーストラインの相対的位置に依存する関係を持つ図式的代数の商として定義し、ストランドが固定距離以内に近づいた際に非局所的関係を許容する。
• モジュールの圏における誘導および制限関手を構成し、グローヴェンディーク群にねじれ付き双代数構造を導入する。
• 重み付きKLR代数の'ステディド商'を、カック＝ムーディ代数の作用をカテゴリカルに実現する商として定義し、サイクロトニックKLR代数を一般化する。
• 有限体 𝔽q 上のクーヴィー表現多様体に ℓ-進層を定義し、有理点の集合上で関数 TM を導入し、ストークにおけるフロベニウス作用のスーパートレースを計算する。
• グローヴェンディークトレース公式と混合層の純粋性を用いて、グローヴェンディーク群からホール代数への写像 TM が双代数準同型であることを証明する。

提案手法

• クーヴィーの各向き付き辺 e に対して実数 ϑe ∈ ℝ の重み ϑe を導入し、e の先端に接する各ストランドから距離 ϑe 離れた位置に'ゴースト'ラインを定める。
• ストランドとそのゴーストラインの相対的位置に依存する関係を持つ図式的代数の商として、重み付きKLR代数を定義し、ストランドが固定距離以内に近づいた際に非局所的関係を許容する。
• モジュールの圏における誘導および制限関手を構成し、グローヴェンディーク群にねじれ付き双代数構造を導入する。
• 重み付きKLR代数の'ステディド商'を、カック＝ムーディ代数の作用をカテゴリカルに実現する商として定義し、サイクロトニックKLR代数を一般化する。
• 有限体 𝔽q 上のクーヴィー表現多様体に ℓ-進層を定義し、有理点の集合上で関数 TM を導入し、ストークにおけるフロベニウス作用のスーパートレースを計算する。
• グローヴェンディークトレース公式と混合層の純粋性を用いて、グローヴェンディーク群からホール代数への写像 TM が双代数準同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 ストランドの交差に基づくのではなく、相対的位置に基づく非局所的相互作用を許容するように、元のKLR代数の関係をどのように一般化できるか？
• RQ2 重み付きKLR代数のグローヴェンディーク群の構造は何か？ そしてクーヴィーのホール代数とはどのように関係するか？
• RQ3 重み付きKLR代数の構成は、既知のテンソル積とフォック空間のカテゴリフィケーションを統一できるか？
• RQ4 有限体上の重み付きKLR代数の幾何的解釈は何か？ そしてホール代数とどのように接続されるか？
• RQ5 重み付きKLR代数が元のKLR代数やクーヴィー・シュール代数とモリタ同値となる条件は何か？

主な発見

• 重み付きKLR代数は、置換型の基底と忠実な多項式表現を備え、元のKLR代数構造を一般化する。
• 重み付きKLR代数のグローヴェンディーク群は、誘導および制限関手によって誘導されるねじれ付き双代数構造を持つ。
• 重み付きKLR代数のステディド商は、関連するカック＝ムーディ代数の作用をカテゴリカルに実現する。これは、サイクロトニックKLR代数を一般化する。
• 対称的カルタン行列の場合、重み付きKLR代数は構成的層の畳み込み代数と同型であり、Varagnolo-Vasserotの結果を一般化する。
• 重み付きKLR代数のグローヴェンディーク群からクーヴィーのホール代数への自然な双代数同型が、グローヴェンディークトレース公式によって確立される。
• アフィンの場合、正の重みを持つ重み付きKLR代数のグローヴェンディーク群は、VasserotとVaragnoloが研究した、極小部分代数に-nilpotent 支持を持つホール代数の部分代数と同型である。