[論文レビュー] Variety isomorphism in group cohomology and control of p-fusion

David J. Benson, Jesper Grodal+1 more|arXiv (Cornell University)|Oct 4, 2012

Algebraic Geometry and Number Theory被引用数 1

ひとこと要約

本稿では、有限群 G の部分群 H ≤ G が mod p コホロロジーにおいて F-同型を誘導するならば、p が奇数のとき H は G における p-融合を制御することを確立している。p = 2 の場合、高次のクロミティックコホロロジー理論を用いることで同様の結果が得られる。主な貢献は、p が奇数のとき p-融合系の同型を初等アーベル p-部分群（p = 2 のとき、指数 ≤ 4 のアーベル 2-部分群）を用いて検出する一般化された代数的定理の確立である。

ABSTRACT

Abstract. We show that if an inclusion of finite groups H ≤ G of index prime to p induces a homeomorphism of mod p cohomology varieties, or equivalently an F –isomorphism in mod p cohomology, then H controls p–fusion in G, if p is odd. This generalizes classical results of Quillen who proved this when H is a Sylow p–subgroup, and furthermore implies a hitherto difficult result of Mislin about cohomology isomorphisms. For p = 2 we give analogous results, at the cost of replacing mod p cohomology with higher chromatic cohomology theories. The results are consequences of a general algebraic theorem we prove, that says that isomorphisms between p–fusion systems over the same finite p–group are detected on elementary abelian p–groups if p odd and abelian 2–groups of exponent at most 4 if p = 2. 1.

研究の動機と目的

• Sylow p-部分群が p-融合を制御することに関する Quillen の古典的結果を、mod p コホロロジーで F-同型を誘導する任意の部分群 H ≤ G に一般化すること。
• 同じ有限 p-群上の p-融合系の同型を検出する一般化された代数的基準を確立すること。
• mod p コホロロジーを高次のクロミティックコホロロジー理論に置き換えることで、p = 2 の場合の p-融合制御結果を拡張すること。
• 構造的代数的定理を用いて、Mislin の困難なコホロロジー同型に関する定理を統一的かつ強化すること。
• Sylow 部分群に限らない範囲にまで拡張可能なコホロロジー的基準を提供し、Quillen 型定理の適用範囲を広げること。

提案手法

• 一般化された代数的定理の証明：p が奇数のとき、有限 p-群上の p-融合系の同型は初等アーベル p-部分群上で検出可能である。
• p = 2 の場合に、初等アーベル p-群の代わりに指数が 4 以下のアーベル 2-部分群を用いることで検出結果を拡張する。
• 検出定理を用いて、mod p コホロロジーにおける F-同型（またはコホロロジー多様体のホメオモーフィズム）が、p が奇数のとき H が G における p-融合を制御することを示す。
• p = 2 の場合、mod p コホロロジーを高次のクロミティックコホロロジー理論に置き換えることで、類似の p-融合制御を達成する。
• 代数的検出結果をコホロロジー的データに適用し、有限群における p-融合の構造的制御を導出する。
• 既知のコホロロジー多様体および F-同型に関する結果を活用し、トポロジカルなコホロロジー的データと群論的融合制御を結びつける。

実験結果

リサーチクエスチョン

• RQ1 H ≤ G が mod p コホロロジーで F-同型を誘導するという条件下で、H が G における p-融合を制御する条件は何か？
• RQ2 Sylow p-部分群に関する古典的 Quillen 結果を、mod p コホロロジーで F-同型を誘導する任意の部分群 H ≤ G に一般化できるか？
• RQ3 p-融合系の同型はどのように代数的に検出可能であり、どの部分群上でその検出が十分か？
• RQ4 p = 2 の場合に p-融合制御結果を拡張するためのコホロロジー枠組みの修正は何か？
• RQ5 コホロロジー多様体の構造は有限群の融合系をどの程度反映しており、それを用いて融合制御を検出できるか？

主な発見

• p が奇数のとき、H ≤ G が mod p コホロロジーで F-同型を誘導するならば、H は G における p-融合を制御する。
• 同様の結論は、H と G の mod p コホロロジー多様体がホメオモーフィックである場合にも成り立つ。
• p が奇数のとき、有限 p-群上の p-融合系の同型は初等アーベル p-部分群上で検出可能である。
• p = 2 の場合、p-融合系の同型の検出には、初等アーベル 2-部分群の代わりに指数が 4 以下のアーベル 2-部分群が必要である。
• 高次のクロミティックコホロロジー理論の使用により、p = 2 における p-融合制御結果を拡張できる。
• 主な代数的定理は、Mislin のコホロロジー同型に関する結果を、融合系の同型検出という文脈に位置づけることで統一的かつ強化している。