[论文解读] Semicontinuity properties of Kazhdan-Lusztig cells

Cédric Bonnafé|arXiv (Cornell University)|Aug 26, 2008

Algebraic structures and combinatorial models参考文献 22被引用 25

一句话总结

本文研究了在不等参数下的考克斯eter群中卡兹丹-卢斯蒂格细胞的半连续性性质，提出了一套基于权函数等价类上拓扑结构的理论框架。该研究提出一个猜想：当参数变化时，细胞划分呈半连续变化，且在有理数比值处发生离散相变，该猜想得到了对二面体群、$F_4$、$B_n$ 及仿射 Weyl 群的显式计算支持。

ABSTRACT

Computations in small Coxeter groups or dihedral groups suggest that the partition into Kazhdan-Lusztig cells with unequal parameters should obey to some semicontinuity phenomenon (as the parameters vary). The aim of this paper is to provide a rigorous theoretical background for supporting this intuition that will allow to state several precise conjectures.

研究动机与目标

• 建立卡兹丹-卢斯蒂格细胞划分在考克斯eter群中随参数变化而呈现的半连续性的理论基础。
• 将小群（如二面体群、$F_4$）中的直觉推广为适用于任意考克斯eter群的精确猜想框架。
• 通过参数比值定义权函数的等价类，从而为细胞划分的稳定性提供拓扑解释。
• 提出关于细胞划分与细胞表示构造相容性的猜想。
• 通过有限群与仿射 Weyl 群等具体例子的详细分析，验证猜想。

提出的方法

• 在考克斯eter群 $W$ 上定义权函数 $L_{a,b}(w) = a\ell_1(w) + b\ell_2(w)$，其中 $S = S_1 \dot{\cup} S_2$，且 $\ell_i$ 为 $S_i$-长度函数。
• 利用比值 $b/a$ 定义权函数的等价类，将参数空间简化为单个有理参数 $\theta = b/a$。
• 通过自由交换群 $\mathbb{Z}[\bar{S}]$ 的正子集在等价类空间上引入拓扑结构，推广至任意全序交换群。
• 基于闭包包含关系，在正锥的单体上定义偏序 $\preccurlyeq$，以建模细胞划分的细化过程。
• 证明：任何在单体上为常数且在 $\preccurlyeq$ 下非增的映射 $\xi$ 均为上半连续，从而为分析细胞稳定性提供拓扑工具。
• 将该框架应用于猜想：细胞划分在临界比值 $r_i$ 之间的区间内保持不变，且在转变点发生细化。

实验结果

研究问题

• RQ1 当不等参数的比值变化时，考克斯eter群的左卡兹丹-卢斯蒂格细胞划分如何变化？
• RQ2 能否将细胞划分中观察到的稳定性与相变现象形式化为适用于任意考克斯eter群的一般猜想？
• RQ3 是否存在一种权函数空间上的拓扑结构，能够捕捉细胞划分的半连续性？
• RQ4 临界参数比值处的细胞划分是否为相邻划分的最细公共粗化？
• RQ5 细胞表示构造是否与所提出的半连续性框架保持相容？

主要发现

• 在二面体群中，猜想成立，且存在单一临界比值 $r_1 = 1$，细胞划分在 $\theta = 1$ 处发生变化。
• 在类型 $F_4$ 中，当 $|S_1| = |S_2| = 2$ 时，猜想成立，临界比值为 $r_1 = 1/2$，$r_2 = 1$，$r_3 = 2$。
• 在类型 $B_n$ 中，当 $|S_1| = n-1$，$|S_2| = 1$ 时，猜想预测存在 $n-1$ 个临界比值 $r_i = i$，且对 $n \leq 6$ 已验证。
• 在仿射情形 $\widetilde{G}_2$ 中，猜想成立，临界比值为 $r_1 = 1$，$r_2 = 3/2$，$r_3 = 2$，由 Guilhot 展示。
• 对于 $\widetilde{B}_2$，Guilhot 确认了所有可能的划分 $S = S_1 \dot{\cup} S_2$ 下的猜想，存在 $m = 3$ 个临界比值。
• 理论框架证明：任何在单体上为常数且在闭包序 $\preccurlyeq$ 下非增的映射均为上半连续，从而支持了半连续性的直觉。