[論文レビュー] Reduced fusion systems over 2-groups of small order

Kasper K. S. Andersen, Bob Oliver+1 more|arXiv (Cornell University)|Jun 16, 2016

Finite Group Theory Research参考文献 24被引用数 3

ひとこと要約

この論文は、Benderの定理に基づく強2-埋め込み部分群に関する基準から導かれる条件を満たす2群の計算的分類に依拠して、位数が2^9以下の2群のすべての飽和融合系が実現可能であることを証明している。具体的には、このような群上のすべての削減可能で分解不能な融合系が有限単純群の融合系であり、かつ穏やかであることを示している。証明は、Benderの定理から導かれる基準を満たす2群の計算的分類に依拠しており、この範囲では、唯一の有限単純群のSylow 2部分群、またはより小さい群の積の形をとる群のみが、削減可能な融合系を支持していることが示されている。

ABSTRACT

We prove, when $S$ is a $2$-group of order at most $2^9$, that each reduced fusion system over $S$ is the fusion system of a finite simple group and is tame. It then follows that each saturated fusion system over a $2$-group of order at most $2^9$ is realizable. What is most interesting about this result is the method of proof: we show that among $2$-groups with order in this range, the ones which can be Sylow $2$-subgroups of finite simple groups are almost completely determined by criteria based on Bender's classification of groups with strongly $2$-embedded subgroups.

研究の動機と目的

• 位数が2^9以下の2群のすべての飽和融合系が実現可能かどうかを特定すること。
• 小さな2群上の削減可能で分解不能な融合系を分類し、それらが有限単純群から生じることを示すこと。
• 先行研究が穏やかさと実現可能性を結びつけることを利用し、この範囲における削減可能な融合系の穏やかさを確立すること。
• Benderによる強2-埋め込み部分群をもつ群の分類を応用して、異型または非実現可能な融合系を支持する可能性のある候補2群のリストを制限すること。

提案手法

• MagmaとGAPを用いたコンピュータ支援探索により、削減可能な融合系を支持するために必要な特定の構造的条件を満たす、位数≤2^9のすべての2群を同定すること。
• Alperinの融合定理を応用して、融合系内の自己同型とSの制限からなる射の合成に、射を分解すること。
• Benderの定理に基づく基準から導かれる基準に従い、各2群における「臨界」部分群（潜在的な本質的部分群）を同定すること。
• 各2群における臨界部分群の自己同型群を計算し、各2群上の可能な融合系を同定すること。
• 群論的およびモジュラー表現論的技法（例えば、F_2[G]-加群への作用の分析など）を用いて、異型または非穏やかな系を除外すること。
• 唯一の有限単純群のSylow 2部分群、またはより小さい群の積の形をとる群のみが、必要な条件を満たしていることを確認し、後者は分解不能で削減可能でないため除外されること。

実験結果

リサーチクエスチョン

• RQ1 位数が2^9以下の2群の中で、どの群が削減可能な融合系を支持できるか？
• RQ2 位数≤2^9の2群上のすべての削減可能な融合系は穏やかか？もし穏やかであれば、穏やかさは実現可能性を意味するか？
• RQ3 Benderによる強2-埋め込み部分群をもつ群の分類は、異型または非実現可能な融合系を支持する可能性のある候補2群のリストを制限するために利用可能か？
• RQ4 有限単純群のSylow 2部分群は、この位数範囲内で削減可能な融合系を支持する2群とどの程度一致するか？
• RQ5 どの構造的性質が、削減可能な融合系を支持する2群と支持しない2群を区別するか？

主な発見

• 位数2^7の2328個の群のうち、削減可能な融合系を支持するのに必要な条件を満たすのはわずか9個であり、そのうち6個が有限単純群のSylow 2部分群である。
• 位数2^8の56,092個の群のうち、条件を満たすのはわずか20個であり、そのうち6個が有限単純群のSylow 2部分群である。
• 位数2^9の約10^7個の群のうち、条件を満たすのはわずか34個であり、そのうち10個が有限単純群のSylow 2部分群である。
• 位数≤2^9の2群上のすべての削減可能で分解不能な融合系は、有限単純群の融合系と同型である。
• このようなすべての融合系は穏やかであり、したがって、先行研究が穏やかさと実現可能性を結びつけることから、実現可能である。
• この範囲で削減可能な融合系を支持する唯一の2群は、有限単純群のSylow 2部分群、またはより小さい群の積の形をとる群であり、後者は分解不能で削減可能な系を支持しないことから除外される。