[论文解读] Adjoint Jordan Blocks

George J. McNinch|ArXiv.org|Jun 28, 2002

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

一句话总结

该论文证明，在非常良好特征下，对于一个拟单代数群，若幂零元的阶为 $ p $，则其对应的单连通群的伴随表示中，幂零元与单连通群的伴随表示中，其对应的幂零元的伴随表示的若尔当代数块划分完全一致。对于经典群和 $ G_2 $，该结论在不加任何阶数限制下依然成立，通过张量积比较和对福斯特定理的新证明实现。

ABSTRACT

Let G be a quasisimple algebraic group over an algebraically closed field of characteristic p>0. We suppose that p is very good for G; since p is good, there is a bijection between the nilpotent orbits in the Lie algebra and the unipotent classes in G. If the nilpotent X in Lie(G) and the unipotent u in G correspond under this bijection, and if u has order p, we show that the partitions of ad(X) and Ad(u) are the same. When G is classical or of type G_2, we prove this result with no assumption on the order of u. In the cases where u has order p, the result is achieved through an application of results of Seitz concerning good A_1 subgroups of G. For classical groups, the techniques are more elementary, and they lead also to a new proof of the following result of Fossum: the structure constants of the representation ring of a 1-dimensional formal group law F are independent of F.

研究动机与目标

• 建立代数群伴随表示中幂零元与单连通元的若尔当代数块划分之间的对应关系。
• 将该对应关系从 $ p $-幂零元情形推广至经典群和 $ G_2 $，且不依赖于单连通元的阶。
• 为福斯特关于表示环结构常数与一维形式群律选择无关的定理提供新证明。
• 将正特征下伴随表示的结构与外尔群作用及卡坦子代数上的特征值数据相联系。
• 通过 $ \mathfrak{sl}_2 $-三元组与分次模，将科斯特定理关于正则幂零元的结果推广至更广义的幂零元类。

提出的方法

• 利用塞茨关于良好 $ A_1 $-型子群的结果，分析非常良好特征下单连通元的伴随作用。
• 应用 Springer 同构 $ \theta: \mathcal{N} \to \mathcal{U} $，其保持 $ p $ 次幂映射，以关联幂零轨道与单连通类。
• 使用 $ \mathfrak{sl}_2 $-三元组将李代数分解为不可约表示，并分析对应外尔群元素的作用。
• 在经典群中比较群型与李代数型张量积，以关联 $ \operatorname{Ad}(u) $ 与 $ \operatorname{ad}(X) $ 的结构。
• 利用谢瓦莱定理关于外尔群不变量的性质，将外尔群作用的特征值与 $ \operatorname{ad}(X) $ 的若尔当代数块大小联系起来。
• 应用 Kazhdan-Lusztig 映射，将幂零轨道映射到外尔群中的共轭类，并研究其与若尔当代数块结构的相容性。

实验结果

研究问题

• RQ1 在何种条件下，单连通元 $ u $ 与其对应幂零元 $ X $ 的伴随若尔当代数块划分完全一致？
• RQ2 对于经典群和 $ G_2 $，该划分等价性是否对任意阶的单连通元均成立，而不仅限于阶为 $ p $ 的情况？
• RQ3 用于经典群的技术能否导出福斯特定理的新证明：即一维形式群律表示环的结构常数与形式群律选择无关？
• RQ4 外尔群元素在卡坦子代数上作用的特征值，在多大程度上决定了幂零元 $ X $ 的 $ \operatorname{ad}(X) $ 的若尔当代数块结构？
• RQ5 能否通过外尔群特征值数据，将科斯特定理关于正则幂零元的结果推广至非正则幂零元？

主要发现

• 对于非常良好特征下的拟单代数群，若单连通元 $ u $ 的阶为 $ p $，且 $ X $ 为对应的 $ p $-幂零元，则 $ \operatorname{Ad}(u) $ 与 $ \operatorname{ad}(X) $ 具有相同的若尔当代数块划分。
• 在经典群和 $ G_2 $ 中，该划分等价性不依赖于 $ u $ 的阶，结论可从 $ p $-幂零情形推广至更广范围。
• 通过比较群型与李代数型张量积的方法，导出了福斯特定理的新证明：一维形式群律表示环的结构常数与形式群律的选择无关。
• 对于其关联的 $ \mathfrak{sl}_2 $-三元组在 $ \mathfrak{g}(-2n) $ 中产生正则半单元素的幂零元 $ X $，其伴随作用 $ \operatorname{ad}(X) $ 的若尔当代数块大小为 $ 2f_i + 1 $，其中 $ f_i \equiv -e_i \pmod{n} $，且 $ e_i $ 为外尔群的指数。
• 通过 Kazhdan-Lusztig 映射与 $ X $ 关联的外尔群元素的特征值，可解释 $ \operatorname{ad}(X) $ 的 $ r $ 个若尔当代数块大小，其中 $ r $ 为群的秩。
• 经验性证据表明，对于具有正则外尔群共轭类的特殊幂零元，特征值数据仍能确定 $ r $ 个若尔当代数块大小，但一般性证明尚待建立。