[论文解读] Lusztig's $a$ function for Coxeter groups of rank 3

Peipei Zhou|arXiv (Cornell University)|Jul 11, 2011

Advanced Combinatorial Mathematics参考文献 3被引用 5

一句话总结

本文证明了在特定条件下，所有秩为3的考克斯eter群的吕施蒂格 $a$-函数是有界的：当 $m_{sr} \geq 7$ 且 $m_{st} = 3$ 时，或当 $m_{sr} \geq 5$ 且 $m_{st} \geq 4$ 时。证明依赖于对 Hecke 代数乘积结构的分析，结合强交换条件与抛物子群分解，以有界方式控制结构常数的次数，最终通过有限抛物子群建立统一的有界性。

ABSTRACT

We show that Lusztig's $a$-function of a Coxeter group is bounded if the rank of the Coxeter group is 3.

研究动机与目标

• 解决席亚提出的问题：在秩3考克斯eter群中，吕施蒂格的 $a$-函数是否是有界的。
• 将已知的有界 $a$-函数结果（此前仅在仿射 Weyl 群和完全图的考克斯eter群中成立）推广至秩3群。
• 以有限抛物子群中最长元素的长度为参数，建立 $a$-函数的显式有界性。
• 通过 Hecke 代数乘积与无限秩3考克斯eter群中的强交换条件，提供一种结构性证明。

提出的方法

• 分析归一化 Hecke 代数 $\widetilde{H}$ 中的结构常数 $f_{w,u,v}$，其中 $\widetilde{T}_w = q^{-l(w)/2}T_w$。
• 利用 $a$-函数有界性与 $f_{w,u,v}$ 在 $\xi = q^{1/2} - q^{-1/2}$ 中次数有界的等价性。
• 应用强交换条件对元素进行分解，将问题约化至有限抛物子群。
• 对乘积 $\widetilde{T}_x \widetilde{T}_y$ 的 $l(x) + l(y)$ 进行归纳，基于 $R(x)$ 与 $L(y)$ 的情况分情形分析。
• 利用抛物子群 $W_I$ 及其最长元素 $w_I$ 的性质，特别关注 $I \subset S$ 且 $|I| \leq 2$ 的情形。
• 通过 $\widetilde{T}_{x^\prime v} \widetilde{T}_{y^\prime}$ 的递归分解方式处理乘积 $\widetilde{T}_x \widetilde{T}_y$，其中 $v \in W_I$，并借助归纳法与已知引理控制次数。

实验结果

研究问题

• RQ1 吕施蒂格的 $a$-函数是否对所有秩3的无限考克斯eter群都有界？
• RQ2 在 $m_{sr}$ 与 $m_{st}$ 的何种阶条件下，秩3考克斯eter群中的 $a$-函数是有界的？
• RQ3 是否仅通过有限抛物子群中最长元素的长度，即可控制 $a$-函数的有界性？
• RQ4 $R(w)$ 与 $L(w)$ 的集合如何影响秩3群中 Hecke 代数乘积的结构？
• RQ5 强交换条件是否能有效控制无限考克斯eter群中结构常数的次数？

主要发现

• 当 $m_{sr} \geq 7$ 且 $m_{st} = 3$ 时，所有秩3考克斯eter群的 $a$-函数有界，其界取决于 $\{s,r\}$-抛物子群中最长元素的长度。
• 当 $m_{sr} \geq 5$ 且 $m_{st} \geq 4$ 时，$a$-函数有界，其界由 $\max\{m_{sr}, m_{st}\}$ 决定。
• 不存在元素 $w \in W$ 使得 $w = (w_1)(st) = (w_2)(sr)$，这一性质对排除无界行为至关重要。
• 在关键情形中，$f_{w,u,v}$ 的次数被有界于 $a = \max\{m_{sr}, m_{st}\}$，特别是当 $R(x) \cup L(y) \neq \{t,r\}$ 时。
• 当 $R(x) = \{t,r\}$ 且 $L(y) = \{t,r\}$ 时，通过分解为次数有界的项，证明了 $\widetilde{T}_x \widetilde{T}_y$ 的次数至多为 $a$。
• 证明表明，$a$-函数的有界性由某些有限抛物子群中最长元素的长度控制，从而推广了仿射 Weyl 群中的已知结果。