[论文解读] A decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2

Xun Xie|arXiv (Cornell University)|Sep 20, 2015

Advanced Algebra and Geometry参考文献 5被引用 7

一句话总结

本文为秩2仿射赫尔代数（类型 $\tilde{B}_2$ 和 $\tilde{G}_2$）在不等参数情形下建立了卡兹丹-卢斯蒂格基的分解公式，表明基元素 $C_{bdu}$ 模更低的双侧细胞可分解为 $E_b C_d F_u$，其中 $E_b$ 与 $F_u$ 相互独立。这使得卢茨蒂格的猜想 P1–P15 的验证问题简化为验证 P8' 和显式计算 $\mathbf{a}$-函数。

ABSTRACT

In this paper, we prove a decomposition formula for the Kazhdan-Lusztig basis of affine Hecke algebras of rank 2 with positive weight function. Then we discuss some applications of this kind of decomposition to Lusztig's conjectures P1-P15.

研究动机与目标

• 为类型 $\tilde{B}_2$ 和 $\tilde{G}_2$ 的秩2仿射赫尔代数建立卡兹丹-卢斯蒂格基的分解公式。
• 研究卢茨蒂格猜想 P1–P15 在秩2仿射威垂群且参数不等时的正确性。
• 将 P1–P15 的验证简化为检查 P8' 和显式计算卢茨蒂格的 $\mathbf{a}$-函数。
• 将先前在最低双侧细胞上使用的方法推广至秩2仿射威垂群中的其他双侧细胞。
• 为研究不等参数下仿射赫尔代数中细胞及其性质提供一个结构性框架。

提出的方法

• 引入分解公式：$C_{bdu} \equiv E_b C_d F_u \mod \mathcal{H}_{<\mathbf{c}}$，其中 $E_b$ 和 $F_u$ 通过 $C_{bd} \equiv E_b C_d \mod \mathcal{H}_{<\mathbf{c}}$ 和 $C_{du} \equiv C_d F_u \mod \mathcal{H}_{<\mathbf{c}}$ 定义。
• 使用古伊洛特对双侧细胞的划分：$\mathbf{c} = \bigsqcup_{d \in D} B_d d U_d$，其中 $d$ 是有限抛物子群中的对合元。
• 将该分解应用于将 $\mathcal{H}_{\leq \mathbf{c}} / \mathcal{H}_{<\mathbf{c}}$ 的 $\mathcal{H}$-双模研究简化为对 $d \in D$ 的生成元 $C_d$ 的研究。
• 通过赫尔代数 $T$-基中的显式计算，在不同参数范围内验证分解公式的正确性。
• 依赖于 $E_b$ 与 $F_u$ 的独立性，以支持对猜想的归纳论证。
• 在秩2情形下验证了必要假设（P4、弱 P8'）以及恒等式 $\mathbf{a}(d) = \deg h_{d,d,d}$ 对 $d \in D$ 成立。

实验结果

研究问题

• RQ1 能否在不等参数的秩2仿射赫尔代数中建立卡兹丹-卢斯蒂格基的分解公式？
• RQ2 该分解在多大程度上简化了卢茨蒂格猜想 P1–P15 的验证？
• RQ3 恒等式 $\mathbf{a}(d) = \deg h_{d,d,d}$ 是否对 $\tilde{B}_2$ 和 $\tilde{G}_2$ 中双侧细胞的指标集 $D$ 内所有 $d$ 成立？
• RQ4 该分解公式是否对所有秩2仿射威垂群的双侧细胞成立？为何其在更高秩中不成立？
• RQ5 在秩2情形下，猜想 P1–P15 是否可简化为 P8' 和 $\mathbf{a}$-函数的显式计算？

主要发现

• 在类型 $\tilde{B}_2$ 和 $\tilde{G}_2$ 的仿射赫尔代数中，对所有 $b \in B_d$、$u \in U_d$ 和 $d \in D$，分解公式 $C_{bdu} \equiv E_b C_d F_u \mod \mathcal{H}_{<\mathbf{c}}$ 成立。
• $\mathcal{H}$-双模 $\mathcal{H}_{\leq \mathbf{c}} / \mathcal{H}_{<\mathbf{c}}$ 由 $C_d$（$d \in D$）生成，且 $E_b$ 与 $F_u$ 相互独立。
• 对 $\tilde{B}_2$ 和 $\tilde{G}_2$ 的猜想 P1–P15 可简化为验证 P8' 和显式计算 $\mathbf{a}$-函数。
• 在秩2情形下，P4 及弱 P8' 的假设均成立，从而支持了该简化。
• 该分解公式在秩2仿射威垂群的所有双侧细胞中均成立，但在更高秩群（如 $B_3$）中一般不成立。
• 在 $T$-基中的显式计算确认了该分解在所有参数范围内均成立，包括 $a > 2b$、$a < 2b$ 和 $a = 2b$ 的情形。