[论文解读] Lectures on cyclotomic Hecke algebras

Susumu Ariki|ArXiv.org|Aug 2, 1999

Algebraic structures and combinatorial models参考文献 14被引用 17

一句话总结

本文将类型 $G(m,1,n)$ 的分圆 Hecke 代数作为复反射群代数的形变来引入，利用 Fock 空间实现和来自量子群的规范基。通过 Lusztig 的规范基、Kashiwara 的晶体基以及京都学派的可解晶格模型，建立了这些代数表示理论与几何及组合结构之间的深刻联系，最终形成了一套新框架，用于计算有限经典李型群的模表示，并与 Broué 的导出等价性猜想相联系。

ABSTRACT

These are lecture notes prepared for London Mathematical Society Symposium "Quantum Groups" held in Durham 19-29 July 1999. We give a survey on cyclotomic Hecke algebras. These algebras have been studied by Dipper, James, Malle, Mathas and the author. In lecture one, we start with definitions. We then go on to Specht module theory of cyclotomic Hecke algebras constructed by Dipper, James and Mathas. In lecture two, we explain Ginzburg and Lusztig's theory on affine Hecke algebras and its application to cyclotomic Hecke algebras due to the author. As Kazhdan-Lusztig bases of Hecke algebras describe decomposition numbers of quantum algebras at roots of unity, canonical bases of quantum affine algebras on integrable modules describe decomposition numbers of cyclotomic Hecke algebras at roots of unity. In particular, it turns out that crystal structure in the sense of Kashiwara exists behind the representation theory of cyclotomic Hecke algebras. This was first observed by Lascoux, Leclerc and Thibon. Its interpretation in terms of socle series was proposed by Rouquier. It is further developed in Vazirani's thesis. The special case of Hecke algebras of type A is extensively studied, and its relation to Lusztig conjecture is now very clear. We explain Varagnolo and Vasserot's work and several algorithms proposed so far. Its application to the decomposition numbers of finite general linear groups due to Dipper and James is also explained. The parametrization of simple modules of cyclotomic Hecke algebras over arbitrary fields in terms of crystal graphs of quantum affine algebras is given by Mathas and the author. In the third lecture, we show that this crystal graph description fits well in the Specht module theory. It uses work of Takemura and Uglov, Varagnolo and Vasserot.

研究动机与目标

• 建立类型 $G(m,1,n)$ 的分圆 Hecke 代数作为复反射群代数形变的完整理论。
• 在量子群、几何表示理论和可解晶格模型的高级结构之间，建立这些代数表示理论的桥梁。
• 提供一个 Fock 空间框架，实现规范基与晶体基，从而为模表示理论提供新的计算工具。
• 将该理论与 Broué 的导出等价性猜想在有限李型群模表示理论中的联系建立起来，特别是针对单连通块。
• 展示该理论如何统一并推广类型 A 和 B Hecke 代数的现有结果，包括 Schur-Weyl 对偶性和 Kazhdan-Lusztig 多项式。

提出的方法

• 本文通过包含参数 $v_1, \dots, v_m$ 和 $q$ 的生成元与关系定义分圆 Hecke 代数，关系编码了辫子关系、多项式关系和交换关系。
• 构造从扩展仿射 Hecke 代数 $\hat{H}_n$ 到分圆 Hecke 代数 $\mathcal{H}_n$ 的满同态，将其与 Lusztig 的几何与规范基理论联系起来。
• 使用 Fock 空间作为表示理论的实现，其中 $r$-级 Fock 空间 $\mathcal{F}_{{\bf v}^{-1}}^{-\tilde{\gamma}}$ 配备共轭运算与优势序，以定义规范基。
• 该理论依赖于 Jimbo、Misra、Miwa、Okado 和 Uglov 关于高阶 Fock 空间的成果，以及 Varagnolo-Vasserot 的一级 Fock 空间版本。
• 将晶体基理论应用于 Fock 空间，以计算规范基元素，利用优势序与算盘模型比较组合结构。
• 通过 Kac 的 $q$-维数公式建立与模表示理论的联系，该公式生成了简单 $\mathcal{H}_n$-模的数量。

实验结果

研究问题

• RQ1 如何系统地将类型 $G(m,1,n)$ 的分圆 Hecke 代数构造为复反射群代数的形变？
• RQ2 Fock 空间在实现这些代数的规范基与晶体基中起什么作用？它们如何与量子群和可解晶格模型相关联？
• RQ3 Fock 空间中规范基理论如何为 Kazhdan-Lusztig 多项式及其计算提供新见解？
• RQ4 分圆 Hecke 代数在何种意义上统一并推广了类型 A 和 B Hecke 代数的表示理论？
• RQ5 这些代数如何与有限李型群模表示理论中 Broué 的导出等价性猜想相联系？

主要发现

• 分圆 Hecke 代数 $\mathcal{H}_n(v_1,\dots,v_m;q)$ 通过生成元与关系定义，其关系推广了类型 A 和 B Hecke 代数，其中 $L_i$ 为 Jucy-Murphy 元素。
• 从扩展仿射 Hecke 代数 $\hat{H}_n$ 到 $\mathcal{H}_n$ 的满同态允许应用 Lusztig 的规范基理论。
• Fock 空间 $\mathcal{F}_{{\bf v}^{-1}}^{-\tilde{\gamma}}$ 具备共轭运算与优势序，使得规范基元素可构造为 $G(\lambda) = \lambda + \sum_{\mu \triangleright \lambda} c_{\lambda\mu}({\bf v}) \mu$。
• 该理论通过 Fock 空间实现，为计算 Kazhdan-Lusztig 多项式提供了新算法，优于早期方法。
• Kac 的 $q$-维数公式给出了简单 $\mathcal{H}_n$-模数量的生成函数，将结果扩展至类型 B 及更广范围。
• 该框架通过暗示 Weyl 群 $W(D,\lambda) \simeq G(d,1,a)$ 的形变由分圆 Hecke 代数实现，支持了 Broué 的猜想，为 Rickard 等价性双模复形提供了候选。