[论文解读] Quasi-isolated elements in reductive groups

Cédric Bonnafé|arXiv (Cornell University)|Feb 17, 2004

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

一句话总结

本文引入并分类了代数闭域上半单代数群中的拟孤立半单元素，通过分析其中心化子是否包含于真抛物子群的Levi子群中，将其与孤立元素区分开来。关键贡献是利用仿射Dynkin图进行分类，为伴随经典群和例外群提供了明确表格，揭示了拟孤立元素的中心化子可能不连通，且当导出群非单连通时，也包括正则元素。

ABSTRACT

A semisimple element $s$ of a connected reductive group $G$ is said {\it quasi-isolated} (respectively {\it isolated}) if $C_G(s)$ (respectively $C_G^0(s)$) is not contained in a Levi subgroup of a proper parabolic subgroup of $G$. We study properties of quasi-isolated semisimple elements and give a classification in terms of the affine Dynkin diagram of $G$. Tables are provided for adjoint simple groups.

研究动机与目标

• 定义并研究半单代数群中的拟孤立半单元素，将其与孤立元素区分开来。
• 利用群的仿射Dynkin图对这类元素进行分类。
• 通过分析中心化子的Weyl群和根系，确定半单元素为拟孤立的条件。
• 为经典型和例外型的伴随单群构造拟孤立元素的显式表格。
• 澄清孤立与拟孤立元素之间的区别，特别是在导出群非单连通的情况下。

提出的方法

• 将拟孤立元素定义为其中心化子不包含于任何真抛物子群的Levi子群中的元素。
• 利用Weyl群作用和根系数据，通过中心化子的Weyl群来刻画拟孤立性的条件。
• 利用同态 $ C_{f G}(s)/C_{f G}^{ m ullet}(s) \to A(s) $ 为同构的事实，将有限群作用与分类联系起来。
• 利用仿射Dynkin图，通过节点子集参数化可能的拟孤立元素的共轭类。
• 通过计算每个候选子集的根系、Weyl群和中心化子的分支群，为伴随经典群和例外群构造显式表格。
• 应用如下判别准则：当且仅当 $ W(s) $ 不包含于 $ W $ 的任何真抛物子群时，$ s $ 为拟孤立元素。

实验结果

研究问题

• RQ1 在半单代数群中，何时一个半单元素是拟孤立的？这与孤立元素有何不同？
• RQ2 如何从中心化子和Weyl群的结构判断一个半单元素是否为拟孤立？
• RQ3 在伴随经典群和例外群中，仿射Dynkin图的哪些子集对应于拟孤立元素？
• RQ4 拟孤立元素的中心化子是否可能不连通？如果是，在何种条件下？
• RQ5 分量群 $ A(s) $ 的阶与 $ s $ 的拟孤立性状态之间有何关系？

主要发现

• 拟孤立元素是指其中心化子的Weyl群 $ W(s) $ 不包含于全Weyl群 $ W $ 的任何真抛物子群中。
• 当且仅当 $ \text{rank}(\text{中心化子}) = \text{rank}(\text{群}) $，即 $ |\nabla(s)| = |\nabla| $ 时，元素才是孤立的，但此条件对拟孤立性并非必需。
• 存在正则半单元素（即中心化子为极大环面的元素）为拟孤立元素，如在 $ \text{PGL}_n $ 中当 $ n $ 在域中可逆时成立。
• 对于 $ \text{PGL}_n $，对应于 $ \text{diag}(1, \rho, \rho^2, \dots, \rho^{n-1}) $ 且 $ \rho^n = 1 $ 的元素 $ s $ 是拟孤立但非孤立的，且 $ |A(s)| = n $。
• 在类型 $ B_n $、$ C_n $ 和 $ D_n $ 中，分类依赖于 $ n $ 的奇偶性及特征 $ p $，其中 $ p \ne 2 $ 是分支群非平凡的关键条件。
• 对于 $ E_6 $ 和 $ E_7 $，表格显示某些拟孤立元素（如 $ E_6 $ 中的 $ \text{type } \text{D}_4 $）并非孤立，且 $ |A(s)| = 3 $，某些情形下要求 $ p \ne 3 $。