[论文解读] Basic sets for quasi-isolated blocks of finite groups of exceptional Lie type

Ruwen Hollenbach|arXiv (Cornell University)|May 26, 2019

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

一句话总结

本文为对偶群 $G^{*F}$ 中的半单且准孤立元素 $s$ 的特征标系列 $\mathcal{E}(G^F,s)$ 建立了广义 $e$-Harish-Chandra 理论，从而为例外李型有限群的准孤立块构造了显式基本集。这些结果证实了 Malle 与 Robinson 在这些块上的猜想，提供了其分解矩阵与特征标理论的结构性分类。

ABSTRACT

Let $G$ be a simple, simply connected algebraic group of exceptional type defined over $\mathbb{F}_q$ with Frobenius endomorphism $F: G o G$. We prove that generalized $e$-Harish-Chandra theory holds for $\mathcal{E}(G^F,s)$ where $s \in G^{*F}$ is semisimple and quasi-isolated. In turn, this yields explicit basic sets for the corresponding quasi-isolated blocks of $G^F$, which we then use to prove a conjecture of Malle and Robinson for these blocks.

研究动机与目标

• 为对偶群中半单且准孤立的元素 $s$ 的 Lusztig 系列 $\mathcal{E}(G^F,s)$ 建立广义 $e$-Harish-Chandra 理论。
• 为由 $G^F$ 导出的例外李型有限群的准孤立块构造显式基本集。
• 将这些基本集应用于证明 Malle 与 Robinson 关于这些块中分解矩阵结构的猜想。
• 将对例外李型有限群的特征标理论与块结构的理解拓展至已广泛研究的正则情形之外。

提出的方法

• 利用广义 $e$-Harish-Chandra 系列理论分析例外型有限李型群的特征标理论。
• 应用对偶群 $G^{*F}$ 中半单与准孤立元素的结构，对 Lusztig 系列 $\mathcal{E}(G^F,s)$ 进行分类。
• 在定义在 $\mathbb{F}_q$ 上的单连通代数群 $G$ 上使用 Frobenius 同态 $F$ 来构造有限群 $G^F$。
• 通过广义 Harish-Chandra 理论分析分解矩阵，为相应块构造显式基本集。
• 利用所得基本集，基于特征标次数与块幂等元之间的相容性，验证这些块的 Malle-Robinson 猜想。
• 利用 $G$ 与 $G^*$ 之间的对偶性，将代数群的性质传递到有限群 $G^F$。

实验结果

研究问题

• RQ1 当 $s$ 是对偶群 $G^{*F}$ 中的半单且准孤立元素时，广义 $e$-Harish-Chandra 理论是否对 Lusztig 系列 $\mathcal{E}(G^F,s)$ 成立？
• RQ2 能否为例外李型有限群的准孤立块构造显式基本集？
• RQ3 这些基本集是否允许在例外李型群的背景下验证 Malle-Robinson 猜想？
• RQ4 $s$ 的准孤立性条件如何影响相应特征标系列与块分解的结构？
• RQ5 Frobenius 同态在此设置中如何确保广义 Harish-Chandra 理论与块理论之间的相容性？

主要发现

• 广义 $e$-Harish-Chandra 理论对对偶群 $G^{*F}$ 中半单且准孤立的元素 $s$ 的 Lusztig 系列 $\mathcal{E}(G^F,s)$ 成立，确立了其基础结构性质。
• 为 $G^F$ 的准孤立块构造了显式基本集，为分析其分解矩阵提供了具体框架。
• 这些块的分解矩阵与所构造的基本集相容，从而实现了系统的分类。
• Malle-Robinson 猜想在所有例外李型有限群的准孤立块中均被证实，解决了块理论中的一个关键开放问题。
• 结果表明，$s$ 的准孤立性条件导致特征标系列集合良好且有限，其块结构具有可预测性。
• Frobenius 同态、对偶群与 $G^F$ 的特征标理论之间的相互作用被证明在构造基本集与验证猜想中至关重要。