[论文解读] Elliptic elements in a Weyl group: a homogeneity property

G. Lusztig|arXiv (Cornell University)|Jul 28, 2010

Advanced Algebra and Geometry参考文献 7被引用 7

一句话总结

该论文证明，对于半单代数群 $ G $ 的 Weyl 群 $ \mathbb{W} $ 中任意椭圆共轭类 $ C $，当 $ w \in C_{\min} $ 且 $ \gamma = \Phi(C) $ 时，集合 $ \mathfrak{B}^\gamma_w $（即满足 $ (B, gBg^{-1}) \in \mathcal{O}_w $ 的对 $ (g,B) \in \gamma \times \mathcal{B} $）构成一个单 $ G $-轨道。证明结合了经典型的逐类分析与例外型的计算机辅助验证（使用 CHEVIE 和 Green 函数），确认了椭圆元素的齐性性质。

ABSTRACT

Let G be a reductive group over an algebraically closed field whose characteristic is not a bad prime for G. Let w be an elliptic element of the Weyl group which has minimal length in its conjugacy class. We show that there exists a unique unipotent class X in G such that the following holds: if V is the variety of pairs consisting of an element g in X and a Borel subgroup B such that B,gBg^{-1} are in relative position w, then V is a homogeneous G-space.

研究动机与目标

• 建立半单代数群 Weyl 群中椭圆共轭类的齐性性质。
• 证明当 $ w \in C_{\min} $ 且 $ \gamma = \Phi(C) $ 时，$ \mathfrak{B}^\gamma_w $ 是单个 $ G $-轨道，其中 $ C \in \underline{\mathbb{W}}_{el} $。
• 将关于有限个轨道的已知结果推广至椭圆情形下的单轨道更强结论。
• 使用特征表与 Green 函数，通过计算验证例外群的情形。

提出的方法

• 经典型的分类讨论：类型 $ A $ 简单，类型 $ C $ 中等复杂，类型 $ B $ 与 $ D $ 复杂。
• 将例外型情形约化为使用 CHEVIE 包计算 Hecke 代数特征表与 Green 多项式。
• 在好与坏特征下使用 Green 函数，并通过 Geck 的证明验证其正确性。
• 应用有限李型群的不动点计数方法，比较轨道大小并推导出集合相等性。
• 构造 $ G $-不变代数簇 $ \mathfrak{B}^\gamma_w $，并分析其在 Frobenius 自同态 $ F $ 下的 $ F $-不动点。
• 利用 Levi 子群与抛物子群分析 $ \mathfrak{B}^\gamma_w $ 的结构，特别是通过 $ P^K_B $ 与 $ L $-作用。

实验结果

研究问题

• RQ1 当 $ C $ 为椭圆共轭类时，$ \mathfrak{B}^\gamma_w $ 是否在 $ w \in C_{\min} $ 且 $ \gamma = \Phi(C) $ 时构成单个 $ G $-轨道？
• RQ2 能否将 $ \mathfrak{B}^\gamma_w $ 的齐性性质推广至椭圆类之外？
• RQ3 $ \mathfrak{B}^\gamma_w $ 及其 $ F $-不动点的维数如何与 $ \underline{l}(w) $、$ \mu(w) $ 和 $ \dim \gamma $ 等不变量相关？
• RQ4 Green 函数与特征表在验证例外群轨道结构中的作用是什么？

主要发现

• 对于任意椭圆共轭类 $ C \in \underline{\mathbb{W}}_{el} $，当 $ w \in C_{\min} $ 且 $ \gamma = \Phi(C) $ 时，集合 $ \mathfrak{B}^\gamma_w $ 是单个 $ G $-轨道。
• $ \mathfrak{B}^\gamma_w $ 的维数为 $ \frac{1}{2}(\dim G_{ad} + \dim \gamma - \mu(w) + \underline{l}(w)) $，与单个轨道 $ Z $ 的维数一致。
• $ \mathfrak{B}^\gamma_w $ 中 $ F $-不动点的数量为 $ |G_{ad}^F| q^{-(1/2)(\dim G_{ad} - \dim \gamma - \mu(w) - \underline{l}(w))} (q-1)^{-\mu(w)} $，与单个轨道 $ Z^F $ 的大小一致。
• 对于例外群，通过 CHEVIE、Green 多项式与特征表的计算验证了结果，确认了轨道数量相等。
• 证明表明 $ \mathcal{B}_g^w $ 在 $ g \in \gamma $ 的中心化子 $ Z(g) $ 作用下是单个轨道。
• 该结果在所有类型中一致成立，证明中的分类差异仅反映结构复杂性，而非该性质的失效。