[論文レビュー] 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.

研究の動機と目的

• 例外的代数群の非一般な有限部分群を分類すること、特に基礎の特徴と同型でない群のLie型のものとは限らないものについて。
• 例外的代数群におけるリー原始的部分群として現れる可能性のあるほとんど単純群を特定すること。
• 例外的代数群における非G-完全可約で非一般な単純部分群の同型型を同定すること。
• 例外的群のリー代数または最小次元のWeylモジュールに作用する有限単純群の妥当な特徴を導出すること。
• これらの結果を応用して、例外的Lie型の有限群の最大部分群構造を制約すること。

提案手法

• 例外的代数群のリー代数または最小次元のWeylモジュールに作用する有限準単純群の妥当な特徴を定義し計算すること。
• フロベニウス＝シュール指標と第一コホモロジー群を用いて、可能な表現および合成因子を制限すること。
• 群コホモロジーと表現論を用いて固定ベクトルを検出し、適切な上位群の存在を同定すること。
• 正規化子安定性と部分空間安定化子技術を用いて、パラボリック部分群内の部分群構造を分析すること。
• ティルティングモジュールと有理モジュールの拡張を用いて、完全可約性と補完の存在を研究すること。
• 表形式の妥当な特徴を用いて、F₄、E₆、E₇、E₈ についてのさまざまな特徴と群の型を体系的に分析すること。

実験結果

リサーチクエスチョン

• RQ1 非一般な有限部分群、特に交差群や対称群が、例外的代数群におけるリー原始的部分群として現れる可能性は何か？
• RQ2 例外的代数群における非G-完全可約で非一般な単純部分群の可能な同型型は何か？
• RQ3 妥当な特徴は、リー代数または最小Weylモジュール上の有限部分群の表現の合成因子をどのように制限するか？
• RQ4 特定のほとんど単純群を最大部分群として除外することで、例外的Lie型の有限群の部分群構造を制約できるか？
• RQ5 コホモロジー不変量と固定ベクトル解析は、特定の部分群の非存在を示す際に果たす役割は何か？

主な発見

• n ≥ 10 のとき、交差群 Altₙ および対称群 Symₙ は、いかなる例外的代数群のリー原始的部分群としても現れない。
• 例外的代数群における非G-完全可約で非一般な単純部分群の同型型は有限個に制限される。
• すべての非一般な有限単純群が、F₄、E₆、E₇、E₈ のリー代数または最小Weylモジュールに作用する場合の妥当な特徴が、すべての特徴に対して計算された。
• この結果により、n ≥ 10 のとき、Altₙ および Symₙ は、例外的Lie型の有限単純群をソケルとするほとんど単純群の最大部分群にはなり得ない。
• コホモロジーと射影被覆による固定ベクトルの解析により、主要なケースで適切な上位群の非存在が確認された。
• すべての例外的群について、妥当な特徴表は、部分群作用の可能性に対する完全な障害リストを提供し、構造的分類を可能にする。