[论文解读] Minimal length elements in conjugacy classes of extended affine Weyl group

Xuhua He|arXiv (Cornell University)|Apr 23, 2010

Advanced Algebra and Geometry参考文献 25被引用 21

一句话总结

本文研究了经典类型扩展仿射 Weyl 群共轭类中的极小长度元素，证明在类型 A 和 C 中，这些元素是“良好”的——即满足 $ l(w^n) = nl(w) $。通过部分共轭作用和 $ P $-算子，作者构造了极小长度代表元，并将其应用于扩展仿射 Hecke 代数和环群，特别是在仿射 Deligne-Lusztig 簇与 $ \tilde{W} $-共轭类的背景下。

ABSTRACT

We study the minimal length elements in an integral conjugacy class of a classical extended affine Weyl group and we show that these elements are quite "special" in the sense of Geck and Pfeiffer \cite{GP93}. We also discuss some application on extended affine Hecke algebras and loop groups.

研究动机与目标

• 刻画经典类型扩展仿射 Weyl 群共轭类中的极小长度元素。
• 证明此类极小长度元素是“良好”的——即在幂运算下保持长度，特别在类型 A 和 C 中。
• 将 Geck 和 Pfeiffer 的特征表构造框架推广至扩展仿射 Hecke 代数。
• 分析环群 $ J_{b, ho} $ 对仿射 Deligne-Lusztig 簇的 Borel-Moore 同调的作用。
• 建立 $ \tilde{W}_{\text{good}} $ 的结构结果及其与 $ \tilde{W}_{\text{m}} $（极小长度元素）的关系。

提出的方法

• 利用 He (2011) 提出的部分共轭作用，将元素约化至 $ W $-共轭类内的极小长度。
• 引入 $ P $-算子以关联不同的 $ W $-共轭类，并构造极小长度代表元的完整列表。
• 利用 Bruhat 序与通过单个反射的长度减少共轭，证明收敛至极小长度元素。
• 分析 $ J_{b, ho} $ 的结构，即 $ b $ 在扭曲共轭下的稳定子，特别考虑 $ b = \tau $ 或 $ \tau = t^{\text{dominant regular coweight}} $ 的情形。
• 应用 Lang 定理，证明 $ J_{\tau,\rho} / (J_{\tau,\rho} \bigcap I) \to \text{有限群} $，并证明其在同调上作用平凡。
• 利用 $ \tilde{W}_{\text{m}} $ 与 $ \tilde{W}_{\text{good}} $ 的结构，为扩展仿射 Hecke 代数定义特征多项式。

实验结果

研究问题

• RQ1 在经典类型的扩展仿射 Weyl 群共轭类中，极小长度元素是否为“良好”的——即是否满足 $ l(w^n) = nl(w) $？
• RQ2 仿射 Weyl 群中的任意元素是否可通过长度减少的共轭约化为极小长度代表元？
• RQ3 在环群中，$ b $ 关于扭曲共轭的稳定子 $ J_{b,\rho} $ 的结构如何？其在同调上的作用如何？
• RQ4 在特殊共轭类中，极小长度元素与类型 A 和 C 中的“良好”元素之间有何关系？
• RQ5 能否利用极小长度元素将 Geck 和 Pfeiffer 的特征表构造推广至扩展仿射 Hecke 代数？

主要发现

• 在经典类型中，仿射 Weyl 群 $ W_a $ 的任意元素均可通过单个反射的共轭约化为共轭类中的极小长度元素。
• 同一共轭类中任意两个极小长度元素是“强共轭”的——可通过一系列弱减少长度的共轭相互关联。
• 在类型 A 和 C 中，特殊共轭类中任意极小长度元素均为“良好”元素，对所有 $ n \in \mathbb{N} $ 满足 $ l(w^n) = nl(w) $。
• 当 $ b = t^\chi $ 且 $ \chi $ 为极大正则权向量（类型 A 或 C）时，有 $ J_{b,\rho} = T(L)^{\delta_F} $，且 $ J_{b,\rho} \cap I = T(o)^{\delta_F} $ 在 $ X_{\tilde{w},\delta_F}(b) $ 的 Borel-Moore 同调上作用平凡。
• 当 $ \tau = t^{\omega_r} w_{S\setminus\{r\}} w_S $ 且 $ \gcd(n,r)=1 $ 时，有 $ J_{\dot{\tau},\delta_F}/(J_{\dot{\tau},\delta_F} \cap I) \cong \Omega $，其中 $ \Omega = \{ \tilde{x} \in \tilde{W} \mid l(\tilde{x}) = 0 \} $，且其在同调上的作用平凡。
• 扩展仿射 Hecke 代数的特征多项式通过极小长度元素定义，推广了 Geck 和 Pfeiffer 在有限情形下的构造。