[论文解读] The many graded cellular bases of Hecke algebras

C. Bowman|arXiv (Cornell University)|Feb 21, 2017

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

一句话总结

本文为复反射群类型 G(ℓ,1,n) 的环型 Hecke 代数构造了积分分次细胞基，每个电荷的整数提升对应一个基。证明了分解矩阵的单位三角形性质，并通过将分次 Murphy 基推广至所有电荷，验证了 Martin–Woodcock 的猜想，从而将范畴李理论扩展至非渐近情形。

ABSTRACT

We settle a long-standing problem in the theory of Hecke algebras of complex reflection groups by constructing many (graded) integral cellular bases of these algebras. As applications, we explicitly construct the simple modules of Ariki's categorification theorem and prove unitriangularity of decomposition matrices over arbitrary fields, we also prove Martin-Woodcock's conjecture.

研究动机与目标

• 解决复反射群环型 Hecke 代数表示理论中长期存在的开放问题。
• 为每个电荷构造积分分次细胞基，符合 Ariki 的范畴化定理预测。
• 在任意域上，针对 Lusztig 的 aσ 排序，证明分解矩阵的单位三角形性质。
• 验证 Martin–Woodcock 关于非抛物 Kazhdan–Lusztig 多项式在分解矩阵中出现的猜想。
• 将分次 Murphy 基从渐近电荷推广至类型 G(ℓ,1,n) 中所有可能的电荷。

提出的方法

• 基于 Lusztig 的 aσ 排序与 Uglov 的 aσ 分次，利用 ℓ-多分拆与标准表，构造 Hk_n(s) 的细胞基 {Aσ_st}。
• 证明每个基均通过 Hecke 代数的拟半单覆盖的幂等截断得到。
• 运用 Clifford 理论，将 G(ℓ,1,n) 的结果推广至 G(ℓ,d,n) 代数。
• 采用受 Webster 方法启发的离散化与图解方法，但通过 Zℓ 中的整数提升重新解释鬼线与电荷权重。
• 以 (Z/eZ)ℓ 中 e-电荷的整数提升取代先前的加权惯例，统一组合学与图解学。
• 证明商代数 Qℓ,1,n(σ) 的分解矩阵是 Hk_n(s) 的子矩阵，其条目等于非抛物仿射 Kazhdan–Lusztig 多项式。

实验结果

研究问题

• RQ1 每个电荷 σ ∈ N>1 × Zℓ 的整数提升是否都为环型 Hecke 代数 Hk_n(s) 生成一个积分分次细胞基？
• RQ2 对于所有电荷，Hk_n(s) 的分解矩阵是否在 Lusztig 的 aσ 排序下为单位三角形矩阵？
• RQ3 Martin–Woodcock 的猜想是否成立，即 Qℓ,1,n(σ) 的分解矩阵是否为 Hk_n(s) 的子矩阵，且条目由非抛物仿射 Kazhdan–Lusztig 多项式给出？
• RQ4 对每个电荷，Hk_n(s) 的不可约模是否可显式构造为细胞模的典范商？
• RQ5 这些新细胞基与拟半单覆盖及 Schur 代数之间的关系如何，通过 Morita 等价体现？

主要发现

• 环型 Hecke 代数 Hk_n(s) 对每个整数提升 σ ∈ N>1 × Zℓ 均存在唯一的积分分次细胞基，证明了此类基的存在性。
• 在任意域 k 上，Hk_n(s) 的分解矩阵在 ℓ-多分拆 Pℓ_n 上关于 Lusztig 的 aσ 排序为单位三角形矩阵。
• Hk_n(s) 的不可约模可显式构造为细胞模 Sk_σ(λ) 的典范商，参数由 Uglov 的 ℓ-分拆 Σℓ_n 给出。
• Martin–Woodcock 的猜想得到证实：Qℓ,1,n(σ) 的分解矩阵是 Hk_n(s) 的一个方阵子矩阵，其条目等于类型 bAℓ−1 的非抛物仿射 Kazhdan–Lusztig 多项式。
• 商代数 Q1,h,n(σ) 同构于广义 Temperley–Lieb 代数，且与 GLh 的 q-Schur 代数的 Ringel 对偶 Morita 等价。
• 结果将 Brundan–Kleshchev–Wang 的框架从渐近电荷推广至所有加权情形，扩展了关于 Jantzen 求和公式、同调结构与分支法则的已知结果。