[論文レビュー] Automorphisms of fusion systems of sporadic simple groups

Bob Oliver|arXiv (Cornell University)|Apr 19, 2016

Finite Group Theory Research参考文献 29被引用数 7

ひとこと要約

本稿では、大多数の散乱単純群および非アーベルSylow p部分群に対して、その群の外部自己同型群が、pにおける融合系およびリンク系の外部自己同型群に同型であることを確立している。主な結果は、p-融合系がねじれであり、群自身によってねじれに実現されることだが、M₁₁（p=2のとき）のような少数の例外を除く。これらの結果は、多くの場合にOut(G)とOut(BG∧ₚ)の同型を示している。

ABSTRACT

We prove here that with a very small number of exceptions, when $G$ is a sporadic simple group and $p$ is a prime such that the Sylow $p$-subgroups of $G$ are nonabelian, then $Out(G)$ is isomorphic to the outer automorphism groups of the fusion and linking systems of $G$. In particular, the $p$-fusion system of $G$ is tame in the sense of [AOV1], and is tamely realized by $G$ itself except when $G\cong M_{11}$ and $p=2$. From the point of view of homotopy theory, these results also imply that $Out(G)\cong Out(BG^\wedge_p)$ in many (but not all) cases.

研究の動機と目的

• 散乱単純群の外部自己同型群と、さまざまな素数におけるその融合系およびリンク系のそれらを比較すること。
• 散乱単純群のp-融合系がねじれであり、群自身によってねじれに実現される条件を特定すること。
• Out(G)と、p-完備化された分類空間BG∧ₚの外部自己同型群Out(BG∧ₚ)との関係を調査すること。
• 奇素数における散乱群の融合系の構造を分類し、特にSylow部分群が非アーベルである場合に注目すること。
• ねじれ性が失敗する例外的ケース（例：M₁₁ at p=2）を解消し、代替的な実現を同定すること。

提案手法

• 本稿では、Gのp部分群の間の共役関係を記述するカテゴリとしての融合系の定義を用いる。同型写像はG内での共役によって与えられる。
• p中心部分群を対象とし、p'-核部分群をモジュロした写像を持つ、中心的リンク系の概念を適用する。
• リンク系から融合系への自然な函手を用いて、自己同型群を関連付ける。
• ねじれに実現された融合系の概念を適用し、自然な写像Out(G) → Out(L)が分解可能な全射であることを要請する。
• 特に散乱群に対して、Aschbacher, A. および他の研究者による有限群の融合系に関する分類結果に依拠する。
• F₁、F₂、M₁₁などの群における最大の2-局所部分群および中心化子の詳細な群論的解析により、特異部分群およびその自己化器を分析する。

実験結果

リサーチクエスチョン

• RQ1 散乱単純群のp-融合系がねじれであり、群自身によってねじれに実現される条件は何か？
• RQ2 どの散乱群と素数に対して、Out(G) ≅ Out(L_S^c(G))（中心的リンク系の外部自己同型群）が成り立つか？
• RQ3 融合系、リンク系、群Gの外部自己同型群は、特に分類空間のp-完備化を介してどのようにホモトピー的に関係しているか？
• RQ4 散乱群の融合系におけるねじれ性の例外は何か？また、それらは他の群によってどのように実現されるか？
• RQ5 Sylow p部分群およびその部分群の構造的性質（例：ランク、正規構造）は、融合系のねじれ性を決定づけるか？

主な発見

• すべての散乱単純群Gと非アーベルSylow p部分群を有する素数pに対して、Out(G) ≅ Out(L_S^c(G))は、有限個の例外を除きすべてのケースで成り立つ。
• Gの2-融合系は、G ≅ M₁₁のときを除きねじれであり、G自身によってねじれに実現される。M₁₁では、PSL₃(3)がその実現に用いられる。
• 奇素数では、融合系は多くの場合単純であり、'constr.'とマークされた場合は制約付き、括弧内に群が記載された場合はほぼ単純である。
• G ≅ F₁ または F₂ の場合、ランク2の特異部分群の唯一の同型類はZ₂(S)であり、Ker(μ_G) = 1である。これは、融合系における中心の一意性を確認する。
• Z₂(S) ≅ E₄ であり、そのインボリューションがG-共役である場合、Ẑ(F) = {Z₂(S)}が成り立つ。これは、自己化器写像における核の自明性を示すために重要である。
• 例外G = 2⁴:15:4は、Z₂(S)とEが両方とも最大特異部分群の集合に属しうることを示しており、追加の仮定なしには一意性条件が常に満たされないことを示している。