[论文解读] From conjugacy classes in the Weyl group to unipotent classes

G. Lusztig|arXiv (Cornell University)|Mar 1, 2010

Advanced Algebra and Geometry被引用 7

一句话总结

本文通过约化表达式和Bruhat分解的构造，建立了半单代数群的Weyl群共轭类与该群自身中幂幺类之间的对应关系。关键贡献在于为每个Weyl群元素$ w $系统性地关联一个幂幺元素$ u_w $，该方法在经典群中有应用，并与表示理论有深刻联系。

ABSTRACT

Let G be a connected reductive algebraic group over an algebraic closed field. We define a (surjective) map from the set of conjugacy classes in the Weyl group to the set of unipotent classes of G.

研究动机与目标

• 建立Weyl群共轭类与半单代数群中幂幺类之间的典范对应关系。
• 利用约化表达式和Bruhat分解，显式构造与每个Weyl群元素$ w $相关的幂幺元素$ u_w $。
• 在经典群的背景下分析这些幂幺元素的结构，特别是当$ (\kappa - 1)Q = 0 $时。
• 通过群论与组合方法，构建理解幂幺轨道几何的框架。

提出的方法

• 基于$ w $的约化表达式，通过乘积$ \dot{s}_i^h $、$ y_{s_{q_h+1}^h}(c_h) $及其逆元构造幂幺元素$ u_w $。
• 应用Bruhat分解，验证$ (B, u_w B u_w^{-1}) \in \mathcal{O}_w $，从而将构造与轨道$ \mathcal{O}_w $联系起来。
• 在$ (\kappa - 1)Q = 0 $的条件下，固定一个与二次型$ Q $相适应的向量空间$ V $的基，满足$ (e_i, e_j') = \delta_{i,j} $。
• 利用Borel子群$ B $和幂幺根子群$ U' $的结构，确保$ u_w \in U' $，从而保证其为幂幺元。
• 通过Weyl群元素的$ \dot{s}_i $作用，利用共轭生成所需的幂幺元素。
• 通过Bruhat分解的轨道结构验证，该构造能产生定义良好的幂幺元素，且位于目标幂幺类中。

实验结果

研究问题

• RQ1 如何系统地将Weyl群共轭类映射到相应代数群中的幂幺类？
• RQ2 给定一个约化表达式，如何显式构造与给定Weyl群元素$ w $相关的幂幺元素$ u_w $？
• RQ3 条件$ (\kappa - 1)Q = 0 $如何影响幂幺元素的结构及其分类？
• RQ4 Bruhat分解在验证$ u_w $属于正确的幂幺轨道$ \mathcal{O}_w $中起到什么作用？
• RQ5 该构造在经典群中表现如何，特别是在指定基和二次型条件下的行为？

主要发现

• 通过给定公式构造的元素$ u_w $属于幂幺根子群$ U' $，因此是幂幺元。
• 对$ (B, u_w B u_w^{-1}) $属于幂幺轨道$ \mathcal{O}_w $，确认了轨道对应关系。
• 在条件$ (\kappa - 1)Q = 0 $下，存在一个$ V $的基满足$ (e_i, e_j') = \delta_{i,j} $，从而简化了群结构及其作用。
• 该构造与Bruhat分解一致，确保$ u_w $位于正确的双陪集和轨道中。
• 该方法为Weyl群共轭类与幂幺元素的关联提供了统一方式，尤其适用于经典群。
• 公式对$ w $的任意约化表达式均有效，且在给定条件下，结果元素不依赖于约化表达式的选取。