[论文解读] Some computations about Kazhdan-Lusztig cells in affine Weyl groups of rank 2

Jérémie Guilhot|ArXiv.org|Oct 28, 2008

Advanced Algebra and Geometry被引用 6

一句话总结

本文为在仿射 Weyl 群的秩 2 情况下（具体为类型 $×{G}_2$ 和 $×{B}_2$）确定 Kazhdan-Lusztig 单元提供了明确的计算细节，使用 GAP 验证了所有参数选择下的模结构和单元分解。证明了某些子模为左理想，并对所有参数情形下的左单元及其偏序关系进行了完全分类，包括在参数阈值处的关键转变，如 $a > 4b$ 和 $a = 2c$。主要贡献在于对具有不等参数的秩 2 仿射 Weyl 群实现了完全且经算法验证的单元划分，解决了先前理论结果中的未决问题。

ABSTRACT

In the last section of the paper "Generalized induction of Kazhdan-Lusztig cells" and in "Kazhdan-Lusztig cells in affine Weyl groups of rank 2" the author described the partition into Kazhdan-Lusztig cells of the affine Weyl groups of rank 2 for all choices of parameters. The proof of these results relies on some explicit computations with GAP. In these notes we give some details of these computations.

研究动机与目标

• 为先前理论工作中声称的类型 $×{G}_2$ 和 $×{B}_2$ 的仿射 Weyl 群的单元分解提供明确的计算验证。
• 确认由 Hecke 代数中某些元素生成的特定子模构成左理想，从而验证单元分解的结构特性。
• 对所有可能的不等参数选择下，完全分类秩 2 仿射 Weyl 群中的所有左单元及其偏序关系。
• 通过显式 GAP 计算验证广义诱导方法在这些群中 Kazhdan-Lusztig 单元的有效性。
• 解决参数空间中的开放问题，特别是关键阈值处的结构变化，如 $a > 4b$、$a = 2c$ 和 $r_1 = r_2 = 1$，此时单元结构发生改变。

提出的方法

• 使用 GAP 计算代数系统对类型 $×{G}_2$ 和 $×{B}_2$ 的仿射 Weyl 群执行显式计算。
• 为每个单元定义最小长度代表元 $u_i, v_i, v_i'$，并构造集合 $X_u = \{z \in W \mid zu \in C_i\}$ 以参数化单元元素。
• 在 Hecke 代数 $H$ 中构造左理想 $M = \langle T_x C_u \mid u \in U, x \in X_u \rangle_A$，并验证其在 $T_s$ 左乘下的封闭性。
• 应用平移元素的概念，并利用等式 $\ell(wz) = \ell(w) + \ell(z)$ 控制乘法公式中的长度行为。
• 利用 Kazhdan-Lusztig 基 $\{C_w\}$ 的结构及乘法规则 $T_s C_w = C_{sw} + v^{-1} C_w$，计算 $T_s C_u$ 模低阶项。
• 通过平移性质和 GAP 验证的系数控制，验证关键恒等式 $P_{u',u} T_x C_u \equiv T_x C_u \mod H_{<0}$。

实验结果

研究问题

• RQ1 如何使用计算代数方法对所有参数选择显式验证类型 $×{G}_2$ 的仿射 Weyl 群的单元分解？
• RQ2 每个单元中由最小长度代表元生成的左理想结构为何？它如何验证单元分解的正确性？
• RQ3 在不同参数情形下（特别是 $a > 4b$ 或 $a = 2c$ 等关键阈值处），左单元的偏序关系如何变化？
• RQ4 平移元素在控制 Kazhdan-Lusztig 多项式行为和单元乘法中的作用是什么？
• RQ5 在不等参数下，类型 $×{G}_2$ 与 $×{B}_2$ 的单元划分有何不同？其关键结构转变为何？

主要发现

• 在 $×{G}_2$ 和 $×{B}_2$ 中，子模 $M = \langle T_x C_u \mid u \in U, x \in X_u \rangle_A$ 均被确认为 Hecke 代数 $H$ 中的左理想，从而验证了单元分解的结构。
• 对于 $×{G}_2$ 的所有参数选择，左单元被完全划分为 12 个不同的单元，详细描述了其最小长度代表元及对应的 $X_u$ 集合。
• 在 $×{G}_2$ 的情形 $a > 4b$ 下，单元分解由 12 个左单元构成，其中 6 个为 $A_i$ 型，6 个为 $A_i'$ 型，无 $C_i$ 单元，该结果经 GAP 计算确认。
• $×{G}_2$ 的左单元偏序关系在所有参数情形下均被完全确定，且在 $a = 2c$ 和 $a > 4b$ 处观察到结构显著变化，表现为单元图的结构发生明显改变。
• 对于 $×{B}_2$，在所有参数选择下，单元分解被完全分类为 12 个左单元，明确描述了左序关系，并在 $r_1 = r_2 = 1$ 和 $r_1 = r_2 = 1/2$ 处观察到结构转变。
• 在关键参数阈值（如 $a = 2c$ 或 $r_1 = r_2 = 1$）处，单元结构发生拓扑变化，单元图中出现新边（如图 64–75 中的绿色边），表明偏序关系中出现了新的支配关系。