[论文解读] 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}]$ 上的 Ringel–Hall 代数构造出 Lusztig 形式，建立了三角分解，并从仿射量子 Schur 代数提升出典范基。通过构造其典范基的仿射稳定化性质，本文验证了 Lusztig 关于修正扩展仿射量子 $\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.

研究动机与目标

• 证明猜想 [4, 3.8.6]：即量子环代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ 的积分形式 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$ 是一个 $\mathcal{Z}$-子代数。
• 利用所构造的积分形式，在 $\mathfrak{gl}_n$ 层次上建立积分 Schur–Weyl 对偶性。
• 为修正仿射量子 $\mathfrak{gl}_n$ 引入仿射稳定化性质，并将仿射量子 Schur 代数中的典范基提升至该积分形式。
• 通过积分框架构造修正扩展仿射量子 $\mathfrak{sl}_n$ 的典范基，从而验证 Lusztig 的猜想。

提出的方法

• 将积分形式 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$ 构造为积分 Ringel–Hall 代数 $\mathfrak{H}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$、0 部分 $U^{0}_{\mathcal{Z}}$ 及其对偶代数的乘积。
• 将作者在 [11] 中证明的仿射量子 $\mathfrak{gl}_n$ 的实现猜想作为关键技术工具。
• 利用双 Ringel–Hall 代数的表示，建立三角分解 $\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$，将积分 Ringel–Hall 代数的典范基与量子 Schur 代数中的典范基联系起来。
• 通过归纳法及 $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$ 层次上建立积分 Schur–Weyl 对偶性？
• RQ3 仿射量子 Schur 代数的典范基是否可提升至量子仿射 $\mathfrak{gl}_n$ 的修正积分形式中的典范基？
• RQ4 该构造是否验证了 Lusztig 关于修正扩展仿射量子 $\mathfrak{sl}_n$ 的典范基的猜想？

主要发现

• 证明了猜想 [4, 3.8.6]：$\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$ 是 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ 的 $\mathcal{Z}$-子代数，确认其为一个定义良好的积分形式。
• 积分形式 $\mathfrak{D}_{\!\vartriangle\!}(n)_{\mathcal{Z}}$ 是一个 Hopf 子代数，并可作为积分仿射量子 Schur 代数的商。
• 通过仿射稳定化性质，仿射量子 Schur 代数的典范基被成功提升至量子仿射 $\mathfrak{gl}_n$ 的修正积分形式中的典范基。
• 该构造验证了 Lusztig 对修正扩展仿射量子 $\mathfrak{sl}_n$ 的猜想，提供了其典范基的代数构造。
• 当 $A \in \Theta_{\!\vartriangle\!}(n,r)$ 时，有 $\dot{\zeta}_r(\theta_A') = \theta_{A,r}$，否则为零，确认其与典范基的相容性。
• 基 $\theta_A'$ 满足 $\overline{\dot{\zeta}_r(\theta_A')} = \dot{\zeta}_r(\theta_A')$，确保其整性及与对合 $\bar{\cdot}$ 的相容性。