[论文解读] Asymptotic Hecke algebras and involutions

G. Lusztig|arXiv (Cornell University)|Apr 1, 2012

Algebraic structures and combinatorial models参考文献 2被引用 5

一句话总结

本文通过Kazhdan-Lusztig基与特殊对合元定义了一种新作用，在渐近Hecke代数上构造了一个由Weyl群或仿射Weyl群中对合元张成的模，关键贡献是提出了该模的一个猜想性实现：即作为由单个元素生成的理想在Hecke代数中的商，将表示理论与等变向量丛联系起来，并推广了Kottwitz的结果。

ABSTRACT

In a previous paper the author and D. Vogan defined and studied a Hecke algebra module structure on a vector space spanned by the involutions in a Weyl group. In this paper this study is continued by relating it to the asymptotic Hecke algebra.

研究动机与目标

• 在Weyl群或仿射Weyl群的对合元张成的渐近Hecke代数上定义一个模。
• 将该模与有限集上群作用下的等变向量丛联系起来，为经典情形下Kottwitz结果提供概念性解释。
• 提出[LV]中该模的猜想性实现：即作为Hecke代数模由单个元素生成的理想之商。
• 通过Kazhdan-Lusztig基与细胞理论，建立渐近Hecke代数与对合元结构之间的联系。
• 探讨Hecke代数中某些元素在特殊化时是否可表示为群代数元素的整数线性组合，暗示从群到其对合元的投影映射存在。

提出的方法

• 通过Kazhdan-Lusztig基元素 $ c_w $ 定义渐近Hecke代数，其结构常数 $ h_{x,y,z} $ 由 $ c_x c_y = \sum_z h_{x,y,z} c_z $ 导出。
• 引入一个自由 $ \mathcal{A} $-模 $ M $，其基为 $ (a_w)_{w \in \mathbb{I}_*} $，其中 $ \mathbb{I}_* $ 为 $ * $-对合元的集合。
• 通过依赖于相对长度与 $ s^* $ 交换性的显式公式，定义 $ T_s $ 在 $ M $ 上的 $ \mathfrak{H} $-模作用。
• 构造具有基 $ (\tau_w)_{w \in \mathbb{I}_*} $ 的渐近模 $ \mathcal{M} $，其中 $ J $（特殊对合元环）的作用由系数 $ \beta_{x,w,w'} $ 定义，这些系数来自展开式 $ c_x A_w = \sum_{w'} f_{x,w,w'} A_{w'} $ 的提取。
• 利用 $ f_{x,w,w'} $ 在 $ v $-次数 $ 2a(w') $ 上的首项，定义结构常数 $ \beta_{x,w,w'} \in \mathbb{Z} $，确保其有限性与整性。
• 猜想：当 $ u^{-1}=0 $ 时，$ X_w|_{u^{-1}=0} = \sum_{x \in \pi^{-1}(w)} T_x $，其中 $ \pi: W \to \mathbb{I}_* $ 是由长度与交换性规则定义的归纳投影映射。

实验结果

研究问题

• RQ1 如何在渐近Hecke代数框架内实现[LV]中定义的对合元上的 $ \mathfrak{H} $-模结构？
• RQ2 渐近Hecke代数与Weyl群中 $ * $-对合元张成的模之间的确切关系是什么？
• RQ3 能否将渐近Hecke代数上由对合元张成的模实现为Hecke代数模由单个元素生成的理想之商？
• RQ4 某些Hecke代数元素在 $ u^{-1} = 0 $ 处的特殊化是否产生由良定义的投影 $ \pi: W \to \mathbb{I}_* $ 索引的群代数元素的整数线性组合？
• RQ5 是否存在统一的归纳规则，用于定义每个对合元 $ w \in \mathbb{I}_* $ 的原像 $ \pi^{-1}(w) $，使得对所有 $ x \in \pi^{-1}(w) $ 满足 $ l(w) = l(x) + l(x^{-1}w) $？

主要发现

• 渐近Hecke代数在由 $ * $-对合元张成的模 $ M $ 上的作用是良定义的，并可扩展为 $ \underline{\mathfrak{H}} $-模结构。
• 在 $ J $-模 $ \mathcal{M} $ 中，结构常数 $ \beta_{x,w,w'} $ 为整数，且仅当 $ x \sim w \sim w' $ 时非零，确保与双边细胞理论相容。
• $ f_{x,w,w'} $ 在 $ v $-次数 $ 2a(w') $ 上的首项为 $ \beta_{x,w,w'} v^{2a(w')} $，且 $ \beta_{x,w,w'} \in \mathbb{Z} $，提供了精确的渐近展开。
• 在无限二面体群（$ *=1 $）情形下，元素 $ X_w $ 是 $ \mathbb{Z}[u^{-1}] $-系数的 $ T_x $ 的形式线性组合，其在 $ u^{-1} = 0 $ 处的特殊化给出 $ \sum_{x \in \pi^{-1}(w)} T_x $，其中 $ \pi $ 为归纳定义的映射。
• 在所有测试情形（$ A_1, A_2, A_3 $ 及无限二面体群）中，投影 $ \pi $ 均满足 $ l(w) = l(x) + l(x^{-1}w) $ 对所有 $ x \in \pi^{-1}(w) $ 成立，提示存在普遍的结构性质。
• 猜想的映射 $ \pi $ 为归纳定义：若 $ x = s_i x' $ 且 $ l(x) > l(x') $，则当 $ s_i \pi(x') = \pi(x') s_i > \pi(x') $ 时，$ \pi(x) = s_i \pi(x') $；当 $ s_i \pi(x') \neq \pi(x') s_i > \pi(x') $ 时，$ \pi(x) = s_i \pi(x') s_i $；当 $ \pi(x') s_i < \pi(x') $ 时，$ \pi(x) = \pi(x') $。