[論文レビュー] Representations of Quiver Hecke Algebras via Lyndon Bases

David Hill, George Melvin+1 more|ArXiv.org|Dec 10, 2009

Algebraic structures and combinatorial models参考文献 11被引用数 5

ひとこと要約

本稿は、右から左への辞書式順序を用いたLyndon語の組合せ論を用いて、有限型Cartanデータに対するquiver Hecke代数の既約表現を構成する。良いLyndon語と双対自己双対基底要素との間に直接的な対応関係を確立し、これらの語に関連する基本表現からの誘導によって、すべての単純モジュールを完全に分類する。

ABSTRACT

A new class of algebras have been introduced by Khovanov and Lauda and independently by Rouquier. These algebras categorify one-half of the Quantum group associated to arbitrary Cartan data. In this paper, we use the combinatorics of Lyndon words to construct the irreducible representations of those algebras associated to Cartan data of finite type. This completes the classification of simple modules for the quiver Hecke algebra initiated by Kleshchev and Ram.

研究の動機と目的

• 有限型Cartanデータに付随するquiver Hecke代数の単純モジュールの分類を完了すること。
• Lyndon語と良い語の組合せ論的枠組みを拡張し、既約表現を構成すること。
• 右から左への辞書式順序の下で、quantized enveloping algebra $\mathcal{U}_q(\mathfrak{n})$ 内の良いLyndon語と双対自己双対基底要素との間の対応関係を確立すること。
• 良いLyndon語に関連する基本モジュールからの誘導による既約表現の構成を一般化すること。
• 各標準モジュールの特徴が $q=1$ で双対PBW基底要素と一致し、既約商が双対自己双対基底要素に対応することを確認すること。

提案手法

• Dynkin図の添字集合 $I$ に対し、$[i]$ $(i \in I)$ で生成される自由結合的代数内の単項式に右から左への辞書式順序を適用すること。
• 右から左の順序の下で、その巡回置換の中で辞書式に最小である単項式として良いLyndon語を特定すること。
• 各良いLyndon語 $l$ に対して、特徴が双対自己双対基底要素 $b^*_l$ に等しい基本表現 $\mathbf{1}_l$ を構成すること。
• 良いLyndon語の非増加積として定義される良い語 $g$ に対して、標準モジュール $\mathcal{M}(g)$ を誘導によって構成すること。
• 右から左の順序に基づき、$\mathcal{M}(g)$ の特徴が $g$ に関連する双対PBW基底要素と一致することを検証すること。
• Arakawa-Suzuki関手の類似および [HKS] の結果を応用し、商モジュールの一意性と既約性を確認すること。

実験結果

リサーチクエスチョン

• RQ1 有限型Cartanデータに対するquiver Hecke代数の既約表現を、Lyndon語の組合せ論を用いて体系的にどのように構成できるか。
• RQ2 右から左への辞書式順序の下で、$\mathcal{U}_q(\mathfrak{n})$ 内の良いLyndon語と双対自己双対基底要素との間の正確な対応関係は何か。
• RQ3 誘導によって構成された標準モジュールは、その唯一の既約商が双対自己双対基底要素と一致するか。
• RQ4 右から左への辞書式順序は、すべての古典的型にわたって良いLyndon語の構造とそれに関連する基底要素の構造をどのように簡略化するか。
• RQ5 Arakawa-Suzuki関手は、この組合せ論的枠組みを通じて、Lie超代数の表現論とquiver Hecke代数をどのように結びつけるか。

主な発見

• 著者らは、各良いLyndon語 $l$ に対して、特徴が双対自己双対基底要素 $b^*_l$ に等しい既約表現 $\mathbf{1}_l$ を構成した。
• 標準モジュール $\mathcal{M}(g)$ は、$\mathbf{1}_{l_i}$ からの誘導によって構成され、$g$ に関連する双対PBW基底要素と一致する特徴を持つ。
• 各標準モジュール $\mathcal{M}(g)$ の唯一の既約商は、$q=1$ で双対自己双対基底要素 $b^*_g$ に対応し、単純モジュールの分類を完全に完了した。
• 型 $C_r$ において、双対自己双対基底要素 $b^*[0,\ldots,j,1,\ldots,j]$ は $q[0] \cdot ([1,\ldots,j]*[1,\ldots,j])$ に等しく、基底に非自明な構造があることを確認した。
• 型 $D_r$ において、双対自己双対基底要素 $b^*_{[0,\ldots,j]}$ は $[1,0,2,\ldots,j] + [0,1,2,\ldots,j]$ の和として与えられ、基底に非自明な対称性が現れている。
• 型 $E_8$ において、高さ29までのすべての良いLyndon語を列挙し、この例外型における基底要素の完全な組合せ的列挙を提供した。