[论文解读] On Non-Generic Finite Subgroups of Exceptional Algebraic Groups

Alastair Litterick|Nov 11, 2015

Finite Group Theory Research参考文献 67被引用 5

一句话总结

本文研究了在任意特征的代数闭域上，例外代数群的非典型有限子群。通过分析表示的可行特征并应用上同调技术，证明了众多几乎单群——尤其是当 n ≥ 10 时的交错群 Altₙ 和对称群 Symₙ——不能作为例外代数群中的李原生子群或非 G-完全可约子群存在，显著限制了其子群结构。

ABSTRACT

The study of finite subgroups of a simple algebraic group $G$ reduces in a sense to those which are almost simple. If an almost simple subgroup of $G$ has a socle which is not isomorphic to a group of Lie type in the underlying characteristic of $G$, then the subgroup is called non-generic. This paper considers non-generic subgroups of simple algebraic groups of exceptional type in arbitrary characteristic. A finite subgroup is called Lie primitive if it lies in no proper subgroup of positive dimension. We prove here that many non-generic subgroup types, including the alternating and symmetric groups $ ext{Alt}_{n}$, $ ext{Sym}_{n}$ for $n \ge 10$, do not occur as Lie primitive subgroups of an exceptional algebraic group. A subgroup of $G$ is called $G$-completely reducible if, whenever it lies in a parabolic subgroup of $G$, it lies in a conjugate of the corresponding Levi factor. Here, we derive a fairly short list of possible isomorphism types of non-$G$-completely reducible, non-generic simple subgroups. As an intermediate result, for each simply connected $G$ of exceptional type, and each non-generic finite simple group $H$ which embeds into $G/Z(G)$, we derive a set of feasible characters, which restrict the possible composition factors of $V \downarrow S$, whenever $S$ is a subgroup of $G$ with image $H$ in $G/Z(G)$, and $V$ is either the Lie algebra of $G$ or a non-trivial Weyl module for $G$ of least dimension. This has implications for the subgroup structure of the finite groups of exceptional Lie type. For instance, we show that for $n \ge 10$, $ ext{Alt}_n$ and $ ext{Sym}_n$, as well as numerous other almost simple groups, cannot occur as a maximal subgroup of an almost simple group whose socle is a finite simple group of exceptional Lie type.

研究动机与目标

• 对例外代数群的非典型有限子群进行分类，特别是那些在基特征下不与典型李型群同构的子群。
• 确定哪些几乎单群可作为例外代数群中的李原生子群出现。
• 识别例外代数群中非 G-完全可约、非典型的单子群的同构类型。
• 为作用在例外群的李代数或最小权 Weyl 模上的有限单群推导可行特征。
• 将这些结果应用于限制例外李型有限群的最大子群结构。

提出的方法

• 定义并计算作用在例外代数群的李代数或最小维 Weyl 模上的有限拟单群的可行特征。
• 利用弗罗贝尼乌斯-施劳夫利指标和一阶上同调群来限制可能的表示和合成因子。
• 应用群上同调与表示理论以检测不动点向量，并确定适当扩张子群的存在性。
• 采用正规化子稳定性与子空间稳定化技术，分析抛物子群中子群的结构。
• 利用倾斜模与有理模的扩张来研究完全可约性与补的存在性。
• 通过表格化的可行特征，系统分析所有例外群（F₄、E₆、E₇、E₈）在各种特征与群类型下的情况。

实验结果

研究问题

• RQ1 哪些非典型的有限子群——尤其是交错群与对称群——可作为例外代数群的李原生子群存在？
• RQ2 例外代数群中非 G-完全可约、非典型的单子群可能的同构类型有哪些？
• RQ3 可行特征如何限制有限子群在李代数或最小 Weyl 模上的表示的合成因子？
• RQ4 通过排除某些几乎单群作为最大子群，能否约束例外李型有限群的子群结构？
• RQ5 上同调不变量与不动点向量分析在证明某些子群不存在性方面起什么作用？

主要发现

• 当 n ≥ 10 时，交错群 Altₙ 和对称群 Symₙ 不能作为任何例外代数群的李原生子群出现。
• 获得了例外代数群中非 G-完全可约、非典型的单子群的同构类型的有限列表。
• 在所有特征下，计算了所有非典型的有限单群作用在 F₄、E₆、E₇ 和 E₈ 的李代数或最小 Weyl 模上的可行特征。
• 结果表明，当 n ≥ 10 时，Altₙ 和 Symₙ 不能是例外李型有限单群为底的几乎单群中的最大子群。
• 通过上同调与投影覆盖分析不动点向量，确认了关键情形下适当扩张子群的不存在性。
• 对于所有例外群，可行特征表提供了可能子群作用的完整障碍列表，从而实现结构分类。