[论文解读] Combinatorics of the Springer correspondence for classical Lie algebras and their duals in characteristic 2

Ting Xue|arXiv (Cornell University)|Nov 6, 2009

Advanced Algebra and Geometry参考文献 11被引用 6

一句话总结

本文使用与 Lusztig 和 Spaltenstein 在奇特征和偶特征下相同的组合框架，为特征 2 下的 B、C 和 D 型经典李代数及其对偶提供了统一的组合描述，解决了该理论在特征 2 下长期存在的空白。

ABSTRACT

We give a combinatorial description of the Springer correspondence for classical Lie algebras $\mathfrak{g}$ of type $B,C$ or $D$ and their duals $\mathfrak{g}^*$ in characteristic 2. The combinatorics used here is of the same kind as those appearing in the description of (generalized) Springer correspondence for unipotent case of classical groups $G$ by Lusztig in odd characteristic and by Lusztig and Spaltentstein in characteristic 2. It is very nice that this combinatorics gives a unified description for (generalized) Springer correspondences of classical groups in all cases, namely, in $G$, $\mathfrak{g}$ and $\mathfrak{g}^*$ in all characteristics. Moreover, it gives rise to close formulas for computing the correspondences.

研究动机与目标

• 将 Springer 对应关系扩展到特征 2 下的 B、C 和 D 型经典李代数及其对偶。
• 提供类似于 Lusztig 在奇特征下的工作以及 Lusztig–Spaltenstein 在特征 2 下的工作的闭式组合描述。
• 使用单一组合框架统一描述所有特征下 G、𝔤 和 𝔤* 的广义 Springer 对应关系。
• 解决经典群在特征 2 下 Springer 对应关系缺乏显式公式的问题。

提出的方法

• 本文使用与 Lusztig 和 Spaltenstein 相同的组合工具，基于抛物子群和中心化子的分量群。
• 构造一个代数簇 $ Y_{x,x'} $，用于参数化将李代数中的幂零元 $ x \in \mathfrak{g} $ 共轭到李代数的 Levi 子代数 $ \mathfrak{l} $ 中提升的元素，包含维数估计和分量计数。
• 群 $ A_G(x) \times A_L(x') $ 在 $ Y_{x,x'} $ 的不可约分量上的作用产生一个表示 $ \varepsilon_{x,x'} $，其分解决定了对应关系。
• 通过涉及诱导表示和分量群作用的限制公式编码对应关系，特别是在 $ A_G(x) $ 为 $ \mathbb{F}_2 $-向量空间的情况下。
• 通过诱导和特殊表示理论，建立了 $ \mathfrak{g} $ 和 $ \mathfrak{g}^* $ 中幂零轨道与 Weyl 群不可约表示之间的双射。
• 通过比较特征 2 下分量群结构和诱导表示，证明了 Springer 对应关系与广义 Springer 对应关系之间的相容性。

实验结果

研究问题

• RQ1 如何在特征 2 下对 B、C 和 D 型经典李代数的 Springer 对应关系进行组合描述？
• RQ2 是否存在一个统一的组合框架，能够描述所有特征下 $ \mathfrak{g} $、$ \mathfrak{g}^* $ 和 $ G $ 的 Springer 对应关系，包括特征 2？
• RQ3 能否为特征 2 下的 Springer 对应关系推导出类似于奇特征下的闭式公式？
• RQ4 当特征为 2 且群为经典群时，分量群 $ A_G(x) $ 在 Springer 对应关系中起什么作用？
• RQ5 在特征 2 下，$ G $、$ \mathfrak{g} $ 和 $ \mathfrak{g}^* $ 的广义 Springer 对应关系之间有何关系？

主要发现

• 本文为特征 2 下 B、C 和 D 型经典李代数及其对偶提供了 Springer 对应关系的闭式组合描述。
• 该对应关系使用与 Lusztig 在奇特征下的工作以及 Lusztig–Spaltenstein 在特征 2 下的工作相同的组合框架，实现了所有情况下的统一。
• 通过涉及分量群上诱导表示的限制公式，证明了 $ \mathfrak{g} $ 和 $ \mathfrak{g}^* $ 的 Springer 对应关系与 Weyl 群不可约表示之间存在双射。
• 对于 $ \mathfrak{g}^* $，幂零轨道的集合与集合 $ \mathcal{T}_{\mathbf{W}}^{2*} $ 之间存在双射，后者通过 Weyl 群阶的诱导定义，类似于 $ \mathfrak{g} $ 的 $ \mathcal{T}_{\mathbf{W}}^2 $ 集合。
• 通过证明 $ Y_{x,x'} $ 的分量上的表示 $ \varepsilon_{x,x'} $ 在限制下与预期特征值匹配，建立了 Springer 对应关系与广义 Springer 对应关系之间的相容性。
• 证明了分量群 $ A_G(x) $ 和 $ A_G(\xi) $ 是 $ \mathbb{F}_2 $-向量空间，并通过商构造和基元素 $ \sigma_K $ 定义了对应关系。