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

G. Lusztig|arXiv (Cornell University)|Aug 16, 2010

Advanced Algebra and Geometry参考文献 4被引用 14

一句话总结

该论文在域的特征 p 满足特定条件时，从单李代数群 G 的幂幺共轭类到其 Weyl 群 W 的共轭类构造了一个典范的逆映射 Ψ。关键结果是：对每个幂幺类 γ，W 的反射表示上 w ∈ W 的固定空间维数在单个共轭类 C₀ 处达到唯一最小值，从而定义 Ψ(γ) = C₀，因此为从 Weyl 群共轭类到幂幺类的映射 Φ 提供了一个良定义的单边逆映射。

ABSTRACT

Let G be a connected reductive group. We define a map from the set of unipotent classes in G to the set of conjugacy classes in the Weyl group (assuming that the characteristic is not bad). This map is a one sided inverse of a map in the opposite direction constructed in an earlier paper.

研究动机与目标

• 定义一个典范的逆映射 Ψ: 幂幺类 → Weyl 群共轭类，满足 Φ ∘ Ψ = id。
• 确立映射 Φ: Weyl 群共轭类 → 幂幺类 具有良定义单边逆映射的条件。
• 证明对每个幂幺类 γ，函数 C ↦ m_C（w ∈ C 在反射表示上的固定空间维数）在 Φ⁻¹(γ) 上达到唯一最小值。
• 将已知的 A 型结果推广，并为 B、C、D 型及例外群提供统一的构造方法。
• 验证 Ψ 与幂幺部分的兼容性，以及在特征 p 下幂幺概形的几何结构。

提出的方法

• 将 m_C 定义为 w ∈ C 在 Weyl 群 W 的反射表示 V 上作用的固定点空间的维数。
• 利用整数分拆上的组合结构：P¹、T、S、P⁰、Q、R，及其之间的双射关系，来参数化幂幺类与 Weyl 群共轭类。
• 构造双射 ι: A′_n → T_n 及其逆 ι′，以证明对每个 c* ∈ T_n，存在唯一的 (r*, p*) ∈ S × P̃ 使得 |p*| 最小。
• 证明对任意 c* ∈ T_n，对偶 (r*, p*) = ι′(c*) 最小化 p* 中的元素个数，从而保证最小 m_C 的唯一性。
• 使用映射 Ξ: P_κ^n → R_n 将分拆与 Weyl 群共轭类关联，其中 Ξ 与 Ξ′ 构成互逆双射。
• 通过不等式 N′_e ≥ N_e 对所有 e 成立，且等号成立当且仅当 (r′*, p′*) = (r*, p*)，验证最小 m_C 的唯一性。

实验结果

研究问题

• RQ1 当 p 不是坏素数或 G 为例外群时，函数 C ↦ m_C 在 Φ⁻¹(γ) 上是否对每个幂幺类 γ 达到唯一最小值？
• RQ2 能否通过最小化 m_C 的方式，定义一个典范的逆映射 Ψ: 幂幺类 → Weyl 群共轭类？
• RQ3 此处构造的映射 Ψ 是否与幂幺概形的几何幂幺部分分解相容？
• RQ4 当 p = 0 时，Ψ 是否与 [KL, 第 9 节] 中定义的映射一致？
• RQ5 分拆上的组合结构（如 T_n、R_n 等）如何编码 Weyl 群共轭类及其固定空间维数？

主要发现

• 对任意幂幺类 γ，函数 C ↦ m_C 在 Φ⁻¹(γ) 中的某个唯一共轭类 C₀ 处达到最小值，从而保证了映射 Ψ: γ ↦ C₀ 良定义。
• 映射 Ψ: 幂幺类 → Weyl 群共轭类 满足 Φ ∘ Ψ = id，因此是 Φ 的单边逆映射。
• 通过组合方法证明最小化器 C₀ 的唯一性：任何其他 (r′*, p′*) ∈ ι⁻¹(c*) 必有 ∑_e N′_e > ∑_e N_e，因此 m_{C′} > m_C。
• 在 A 型中，映射 Φ 是双射，因此 Ψ 显然良定义，且与 Φ 的逆映射一致。
• 在 B、C、D 型及例外群中，构造依赖于分拆理论的双射（如 Ξ 和 ι′），以参数化最小 m_C 的情形。
• 在正特征 p 下，Ψ 对某些类进行了修正：当 p = 2 或 p = 3 时，某些幂幺类分裂为多个类，Ψ 映射到扭曲或修改后的共轭类（如 (A₃ + A₂)₂、(D₈)₃），同时保持最小化条件。