[论文解读] 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

一句话总结

本文为循环 quiver 建立了双 Hall 代数框架，以构造 $\mathfrak{gl}_n$ 的量子环代数的 Drinfeld-Jimbo 表示，证明了仿射量子 Schur-Weyl 对偶性，并推导出仿射量子 Schur 代数的显式乘法公式。关键贡献在于通过双 Ringel-Hall 代数实现了仿射量子 Schur 代数的构造，并证明了在 $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.

研究动机与目标

• 为循环 quiver 的双 Ringel-Hall 代数建立类似 Drinfeld-Jimbo 的表示形式，将其与 $\mathfrak{gl}_n$ 的量子环代数联系起来。
• 证明仿射量子 Schur-Weyl 对偶性与仿射 Schur 代数和仿射 Hecke 代数之间的对偶关系。
• 通过双陪集分解，推导出仿射量子 Schur 代数中 BLM 基的显式乘法公式。
• 提出并证明双 Ringel-Hall 代数积分形式的一个猜想实现的古典极限（$v=1$）。
• 通过双 Hall 代数与仿射 Hecke 代数上的双模结构，解决仿射量子 Schur 代数的结构问题。

提出的方法

• 构造循环 quiver 的 Ringel-Hall 代数的 Drinfeld 双代数，得到一个与量子环代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ 同构的 Hopf 代数结构。
• 使用 Schiffmann-Hubery 生成元与换位子公式，以显式关系呈现双 Ringel-Hall 代数 $\mathfrak{D}_{\triangle}(n)$。
• 将仿射量子 Schur 代数 $\mathcal{S}_{\triangle}(n,r)$ 定义为张量空间的自同态代数，将其作为双 Hall 代数的同态像实现。
• 在张量空间上建立 $\mathfrak{D}_{\triangle}(n)$-$\mathcal{H}_{\triangle}(r)$-双模结构，以证明 Schur-Weyl 对偶性。
• 通过对称群中的双陪集分解与 $\Theta_{\triangle}(n,r)$ 中的矩阵元，推导 BLM 基的乘法公式。
• 通过证明在 $v=1$ 情况下乘法公式与普遍包络代数 $\mathcal{U}(\widehat{\mathfrak{gl}}_n)$ 的预期结构一致，证明了实现猜想的古典极限。

实验结果

研究问题

• RQ1 如何为循环 quiver 的双 Ringel-Hall 代数建立类似 Drinfeld-Jimbo 的表示形式？它与量子环代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ 的关系是什么？
• RQ2 仿射量子 Schur 代数 $\mathcal{S}_{\triangle}(n,r)$ 的精确结构是什么？它如何从张量空间上的双模结构中产生？
• RQ3 能否通过对称群中的双陪集分解，推导出仿射量子 Schur 代数中 BLM 基的乘法公式？
• RQ4 在实现双 Ringel-Hall 代数的积分形式时，$v=1$ 的古典极限起什么作用？它是否与 $\mathcal{U}(\widehat{\mathfrak{gl}}_n)$ 的结构一致？
• RQ5 双 Hall 代数中的换位子公式如何导出控制仿射量子 Schur 代数乘法的多项式恒等式？

主要发现

• 循环 quiver 的双 Ringel-Hall 代数 $\mathfrak{D}_{\triangle}(n)$ 允许一个与量子环代数 $\mathbf{U}(\widehat{\mathfrak{gl}}_n)$ 同构的 Drinfeld-Jimbo 表示，从而为该量子群提供了新的实现形式。
• 仿射量子 Schur-Weyl 对偶性成立：双 Hall 代数 $\mathfrak{D}_{\triangle}(n)$ 与仿射 Hecke 代数 $\mathcal{H}_{\triangle}(r)$ 在张量空间上的作用互为彼此的中心化子。
• 通过双陪集分解推导出仿射量子 Schur 代数中 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$ 成立。
• 通过三角分解与双模结构，完全描述了仿射量子 Schur 代数 $\mathcal{S}_{\triangle}(n,r)$ 的结构，其显式生成元与关系均来自双 Hall 代数。
• 本文证明了实现猜想的古典极限成立：双 Hall 代数在 $v=1$ 时的特化与普遍包络代数 $\mathcal{U}(\widehat{\mathfrak{gl}}_n)$ 一致，从而在经典情形下证实了该猜想。