[論文レビュー] A Double Hall Algebra Approach to Affine Quantum Schur--Weyl Theory

Bangming Deng, Jie Du+1 more|arXiv (Cornell University)|Oct 22, 2010

Algebraic structures and combinatorial models参考文献 85被引用数 29

ひとこと要約

本稿は、巡回クーヴィーに対して二重ハル algebra フレームワークを確立し、量子ループ代数 $\mathfrak{gl}_n$ のDrinfeld-Jimbo提示を構成することで、アフィン量子シューア＝ウェイル双対性を証明し、アフィン量子シューア代数の明示的乗法公式を導出する。主な貢献は、二重リングル＝ハル代数によるアフィン量子シューア代数の実現であり、$v=1$ における予想された整形式の古典的極限の証明により、量子群理論における長年の構造的問題を解決する。

ABSTRACT

We investigate the structure of the double Ringel-Hall algebras associated with cyclic quivers and its connections with quantum loop algebras of $\mathfrak{gl}_n$, affine quantum Schur algebras and affine Hecke algebras. This includes their Drinfeld-Jimbo type presentation, affine quantum Schur-Weyl reciprocity, representations of affine quantum Schur algebras, and connections with various existing works by Lusztig, Varagnolo-Vasserot, Schiffmann, Hubery, Chari-Pressley, Frenkel-Mukhin, etc. We will also discuss conjectures on a realization of Beilinson-Lusztig-MacPherson type and Lusztig type integral forms for double Ringel-Hall algebras.

研究の動機と目的

• 巡回クーヴィーの二重リングル＝ハル代数に対して、Drinfeld-Jimbo型の提示を確立し、$\mathfrak{gl}_n$ の量子ループ代数と関連付ける。
• アフィン量子シューア＝ウェイル双対性およびアフィンシューア代数とアフィンヘッケ代数の間の双対性を証明する。
• 二重コセット分解を用いて、アフィン量子シューア代数におけるBLM基底の明示的乗法公式を導出する。
• 二重リングル＝ハル代数の整形式の予想された実現の古典的極限（$v=1$）を定式化し、証明する。
• 二重ハル代数およびアフィンヘッケ代数上の両側加群構造を通じて、アフィン量子シューア代数の構造問題を解決する。

提案手法

• 巡回クーヴィーのリングル＝ハル代数のドリンフェルト双対を構成し、量子ループ代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ に同型なHopf代数構造を獲得する。
• シフマン＝フベリー生成子と交換関係を用いて、二重リングル＝ハル代数 $\mathfrak{D}_{\triangle}(n)$ を明示的な関係で提示する。
• アフィン量子シューア代数 $\mathcal{S}_{\triangle}(n,r)$ をテンソル空間の自己準同型代数として定義し、二重ハル代数の準同型像として実現する。
• テンソル空間上に $\mathfrak{D}_{\triangle}(n)$-$\mathcal{H}_{\triangle}(r)$-両側加群構造を確立し、シューア＝ウェイル双対性を証明する。
• 対称群における二重コセット分解と $\Theta_{\triangle}(n,r)$ 内の行列成分を用いて、BLM基底の乗法公式を導出する。
• 乗法公式が $v=1$ 時に普遍包あらわし代数 $\mathcal{U}(\widehat{\mathfrak{gl}}_n)$ の期待される構造と一致することを示すことにより、実現予想の古典的極限を証明する。

実験結果

リサーチクエスチョン

• RQ1 巡回クーヴィーの二重リングル＝ハル代数はどのようにDrinfeld-Jimbo型に提示可能であり、量子ループ代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ と関係するか？
• RQ2 アフィン量子シューア代数 $\mathcal{S}_{\triangle}(n,r)$ の明確な構造は何か？また、テンソル空間上の両側加群構造からどのように導かれるか？
• RQ3 アフィン量子シューア代数におけるBLM基底の乗法公式は、対称群における二重コセット分解から導出可能か？
• RQ4 古典的極限（$v=1$）は、二重リングル＝ハル代数の整形式の実現において果たす役割は何か？また、$\mathcal{U}(\widehat{\mathfrak{gl}}_n)$ の構造と一致するか？
• RQ5 二重ハル代数における交換関係は、アフィン量子シューア代数における乗法を支配する多項式的恒等式をどのように導くか？

主な発見

• 巡回クーヴィーの二重リングル＝ハル代数 $\mathfrak{D}_{\triangle}(n)$ は、量子ループ代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ に同型なDrinfeld-Jimbo提示を備えており、この量子群の新たな実現を確立する。
• アフィン量子シューア＝ウェイル双対性が成立する：テンソル空間上での二重ハル代数 $\mathfrak{D}_{\triangle}(n)$ とアフィンヘッケ代数 $\mathcal{H}_{\triangle}(r)$ の作用は互いに中心化子である。
• BLM基底の乗法公式は二重コセット分解を用いて導出され、$i \in R_h^\lambda$ における和と行列成分 $b_{s,t}^{(m,i)} = a_{s,t} + \delta_{s,h}(-\delta_{t,t_i} + \delta_{t,mn+t_i})$ を含む明示的表現が得られる。
• 予想された整形式実現の古典的極限（$v=1$）が証明された：乗法公式 $[E^\vartriangle_{h,h+mn} + \operatorname{diag}(\lambda - \mathbf{e}^\vartriangle_h)]_1[A]_1 = \sum_{t \in \mathbb{Z}, a_{h,t} \geq 1} (a_{h,t+mn} + 1)[A + E^\vartriangle_{h,t+mn} - E^\vartriangle_{h,t}]_1$ が成立する。
• アフィン量子シューア代数 $\mathcal{S}_{\triangle}(n,r)$ の構造は、三角分解と両側加群構造により完全に記述され、二重ハル代数から導かれる明示的生成子と関係式が得られる。
• 本稿は、実現予想の古典的極限が成立することを証明した：$v=1$ 特殊化における二重ハル代数は、普遍包あらわし代数 $\mathcal{U}(\widehat{\mathfrak{gl}}_n)$ と一致し、古典的状況での予想を確認する。