[論文レビュー] The Integral quantum loop algebra of $\mathfrak{gl}_n$

Jie Du, Qiang Fu|arXiv (Cornell University)|Apr 23, 2014

Algebraic structures and combinatorial models参考文献 19被引用数 9

ひとこと要約

本稿は、量子ループ代数 $\mathfrak{gl}_n$ の積分形が $\mathbb{Z}[v,v^{-1}]$ 上のリングエル・ホール代数を介して構成されるルスティグ形を備え、三角分解を確立し、アフィン量子シュール代数から正規基底を引き上げることで、ルスティグの予想を証明する。また、アフィン安定化性を用いて、修正された拡張量子アフィン $\mathfrak{sl}_n$ のルスティグの予想を検証する。

ABSTRACT

We will construct the Lusztig form for the quantum loop algebra of $\mathfrak{gl}_n$ by proving the conjecture \cite[3.8.6]{DDF} and establish partially the Schur--Weyl duality at the integral level in this case. We will also investigate the integral form of the modified quantum affine $\mathfrak{gl}_n$ by introducing an affine stabilisation property and will lift the canonical bases from affine quantum Schur algebras to a canonical basis for this integral form. As an application of our theory, we will also discuss the integral form of the modified extended quantum affine $\mathfrak{sl}_n$ and construct its canonical basis to verify a conjecture of Lusztig in this case.

研究の動機と目的

• 量子ループ代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ の積分形 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$ が $\mathcal{Z}$-部分代数であるという予想 [4, 3.8.6] を証明すること。
• 構築された積分形を用いて、$\mathfrak{gl}_n$ における積分的レベルでのシュール＝ウェイル双対性を確立すること。
• 修正された量子アフィン $\mathfrak{gl}_n$ に対してアフィン安定化性を導入し、アフィン量子シュール代数からその積分形への正規基底の引き上げを実現すること。
• 積分的枠組みを用いて、修正された拡張量子アフィン $\mathfrak{sl}_n$ の正規基底を構成することで、ルスティグの予想を検証すること。

提案手法

• 積分リングエル・ホール代数 $\mathfrak{H}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$、0次部分 $U^{0}_{\mathcal{Z}}$、およびその反対代数の積として、積分形 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$ を構成する。
• 著者らが [11] で証明した量子アフィン $\mathfrak{gl}_n$ の実現予想を、主要な技術的道具として用いる。
• 二重リングエル・ホール代数の表現を用いて、三角分解 $\mathbf{U}(\widehat{\mathfrak{gl}}_n) \cong \mathfrak{H}_{\!\vartriangle\!}(n) \cdot \mathbf{U}^0 \cdot \mathfrak{H}_{\!\vartriangle\!}(n)^{\mathrm{op}}$ を確立する。
• 修正された量子群の設定における正規基底の振る舞いを制御するため、アフィン安定化性を定義する。
• 代数の準同型 $\zeta_r$ および $\dot{\zeta}_r$ を用いて、積分リングエル・ホール代数の正規基底と量子シュール代数内の正規基底との関係を関係づける。
• 帰納法および $v^{-1}\mathcal{L}_r$ の性質を用いて、$A \in \Theta_{\!\vartriangle\!}(n,r)$ のとき $\dot{\zeta}_r(\theta_A') = \theta_{A,r}$ が成り立つことを示し、正規基底と整合することを保証する。

実験結果

リサーチクエスチョン

• RQ1 提案された積分形 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}} = \mathfrak{H}_{\!\vartriangle\!}(n)_{\mathcal{Z}} \cdot U^{0}_{\mathcal{Z}} \cdot \mathfrak{H}_{\!\vartriangle\!}(n)_{\mathcal{Z}}^{\mathrm{op}}$ は、量子ループ代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ の部分代数であるか？
• RQ2 この積分形を用いて、$\mathfrak{gl}_n$ におけるシュール＝ウェイル双対性を積分的レベルで確立できるか？
• RQ3 アフィン量子シュール代数の正規基底は、量子アフィン $\mathfrak{gl}_n$ の修正された積分形に正規基底へと引き上げられるか？
• RQ4 この構成は、修正された拡張量子アフィン $\mathfrak{sl}_n$ の正規基底に関するルスティグの予想を検証するか？

主な発見

• 予想 [4, 3.8.6] が証明された：$\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$ は $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ の $\mathcal{Z}$-部分代数として適切に定義されており、well-defined な積分形であることが確認された。
• 積分形 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$ はホップ部分代数であり、積分的アフィン量子シュール代数を商として持つ。
• アフィン安定化性を用いて、アフィン量子シュール代数の正規基底が、量子アフィン $\mathfrak{gl}_n$ の修正された積分形への正規基底へと引き上げられる。
• 構成により、修正された拡張量子アフィン $\mathfrak{sl}_n$ におけるルスティグの予想が検証され、その正規基底が代数的構成によって与えられた。
• $A \in \Theta_{\!\vartriangle\!}(n,r)$ のとき、$\dot{\zeta}_r(\theta_A') = \theta_{A,r}$ であり、そうでないときは 0 となる。これにより、正規基底と整合することが確認された。
• $\theta_A'$ は $\overline{\dot{\zeta}_r(\theta_A')} = \dot{\zeta}_r(\theta_A')$ を満たし、整数性およびバー対合と整合することが保証された。