[论文解读] The $q$-Schur algebras and $q$-Schur dualities of finite type

Li Luo, Weiqiang Wang|arXiv (Cornell University)|Oct 28, 2017

Algebraic structures and combinatorial models参考文献 21被引用 7

一句话总结

本文引入了一类新的 $q$-Schur 代数，其关联于任意复单李代数的 $W$-不变的有限整权集，建立了与相应 Hecke 代数的 $q$-Schur 对偶性。该文提供了代数与几何两种实现方式，构造了具有正性的典范基，并将这些代数与 BGG 范畴 $Σ\mathcal{O}$ 联系起来，对 $G_2$ 类型进行了详细研究。该构造推广了以往的 $q$-Schur 代数，且在类型 $A$ 之外与 Donkin-Doty 代数有根本性不同。主要贡献在于为任意有限型提供了统一的 $q$-Schur 对偶性框架，包含几何与代数构造以及典范基。

ABSTRACT

We formulate a $q$-Schur algebra associated to an arbitrary $W$-invariant finite set $X_{ exttt f}$ of integral weights for a complex simple Lie algebra with Weyl group $W$. We establish a $q$-Schur duality between the $q$-Schur algebra and Hecke algebra associated to $W$. We then realize geometrically the $q$-Schur algebra and duality, and construct a canonical basis for the $q$-Schur algebra with positivity. With suitable choices of $X_{ exttt f}$ in classical types, we recover the $q$-Schur algebras in the literature. Our $q$-Schur algebras are closely related to the category $\mathcal O$, where the type $G_2$ is studied in detail.

研究动机与目标

• 为任意复单李代数的 $W$-不变的有限整权集定义一类新的 $q$-Schur 代数。
• 在 $q$-Schur 代数与 Weyl 群 $W$ 的 Hecke 代数之间建立 $q$-Schur 对偶性。
• 在代数（à la Dipper-James）与几何（à la Beilinson-Lusztig-MacPherson）两种框架下实现 $q$-Schur 代数及其对偶性。
• 利用几何设定中的正性性质，为 $q$-Schur 代数构造一个典范基。
• 将 $q$-Schur 代数与 BGG 范畴 $\mathcal{O}$ 联系起来，并对 $G_2$ 类型进行详细研究。

提出的方法

• 将 $q$-Schur 代数 $\mathcal{S}_q(X_{\mathtt{f}})$ 定义为由 $W$-不变的有限整权集 $X_{\mathtt{f}}$ 参数化的 Hecke 模的中心化子代数。
• 通过 $\mathcal{S}_q$ 与 Hecke 代数 $H_W$ 之间的双中心化子性质建立 $q$-Schur 对偶性。
• 利用旗流形与 $n$-步旗链，推广 BLM 构造，实现 $q$-Schur 代数的几何实现，适用于任意有限型。
• 利用几何技巧构造 $\mathcal{S}_q$ 的典范基，确保结构常数的正性。
• 利用 Weyl 群 $W$ 在权上的作用，定义矩阵系数 $\eta_{\lambda,\mu}$，其生成代数并满足明确关系式。
• 专门研究 $G_2$ 类型以验证构造，给出矩阵系数的显式公式，并验证对偶性与基的性质。

实验结果

研究问题

• RQ1 如何通过 $W$-不变的整权集，将 $q$-Schur 代数从类型 $A$ 推广到任意有限型？
• RQ2 能否在任意有限型中，于 $q$-Schur 代数与 Weyl 群 $W$ 的 Hecke 代数之间建立 $q$-Schur 对偶性？
• RQ3 能否在任意有限型中构造 $q$-Schur 代数的代数与几何实现方式，并使其产生具有正性的典范基？
• RQ4 这些 $q$-Schur 代数如何与 BGG 范畴 $\mathcal{O}$ 相关联？在 $G_2$ 等例外型中其结构如何？
• RQ5 该构造与 $B/C$ 型中的 Donkin-Doty 或 Dipper-James-Mathas 代数有何本质区别？

主要发现

• 将 $q$-Schur 代数 $\mathcal{S}_q(X_{\mathtt{f}})$ 定义为由 $W$-不变的有限整权集 $X_{\mathtt{f}}$ 参数化的 Hecke 模的中心化子代数，推广了经典 $q$-Schur 代数至任意有限型。
• 在 $\mathcal{S}_q(X_{\mathtt{f}})$ 与 Hecke 代数 $H_W$ 之间建立了 $q$-Schur 对偶性，满足双中心化子性质。
• 通过 $n$-步旗链与旗流形，实现了 $\mathcal{S}_q(X_{\mathtt{f}})$ 的几何实现，推广了 BLM 构造至任意有限型。
• 利用几何设定中继承的正性，构造了 $\mathcal{S}_q(X_{\mathtt{f}})$ 的典范基，并证明其与代数结构相容。
• 对于 $G_2$ 类型，计算了矩阵系数 $\eta_{\lambda,\mu}$ 的显式公式，详细验证了对偶性与基的性质。
• 该构造给出了经典 Schur 对偶性的 $q$-模拟，与 Donkin-Doty 和 Dipper-James-Mathas 代数有本质不同，且一般情况下不是拟拟序的。