[论文解读] 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 在模 p 上同调中诱导出 F-同构（或同调簇之间同胚），则当 p 为奇素数时，H 控制 G 中的 p-融合。当 p = 2 时，通过使用更高色度同调理论，该结果依然成立。其核心贡献是一个一般性代数定理，该定理通过初等阿贝尔 p-群（p 为奇素数）或指数不超过 4 的阿贝尔 2-群（p = 2）来检测 p-融合系统的同构关系。

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.

研究动机与目标

• 将 Quillen 关于 Sylow p-子群控制 p-融合的经典结果推广至任意子群 H ≤ G，且 H 在模 p 上同调中诱导出 F-同构的情形。
• 建立一个关于同一有限 p-群上 p-融合系统之间同构关系的通用代数判别准则。
• 通过用更高色度同调理论替代模 p 上同调，将 p-融合控制结果推广至 p = 2 的情形。
• 通过一个结构性代数定理，统一并强化先前结果，包括 Mislin 关于上同调同构的困难定理。
• 提供一个适用于 Sylow 子群之外的 p-融合控制的上同调判别准则，从而扩展 Quillen 型定理的适用范围。

提出的方法

• 证明一个一般性代数定理：当 p 为奇素数时，有限 p-群上 p-融合系统的同构关系可由其初等阿贝尔 p-子群检测。
• 通过将初等阿贝尔 p-群替换为指数至多为 4 的阿贝尔 2-群，将检测结果推广至 p = 2 的情形。
• 利用检测定理证明：若模 p 上同调中存在 F-同构（或同调簇之间同胚），则当 p 为奇素数时，H 控制 G 中的 p-融合。
• 当 p = 2 时，用更高色度同调理论替代模 p 上同调，以实现类似形式的 p-融合控制。
• 将代数检测结果应用于上同调数据，推导出有限群中 p-融合结构的控制关系。
• 利用关于同调簇和 F-同构的已知结果，将拓扑上同调数据与群论中的融合控制联系起来。

实验结果

研究问题

• RQ1 在子群 H ≤ G 诱导出模 p 上同调中 F-同构的条件下，H 在什么条件下控制 G 中的 p-融合？
• RQ2 Quillen 关于 Sylow p-子群控制 p-融合的经典结果能否推广至任意子群 H ≤ G，且 H 在模 p 上同调中诱导出 F-同构的情形？
• RQ3 p-融合系统的同构关系如何通过代数方法检测？在哪些子群上，这种检测已足够？
• RQ4 为将 p-融合控制结果推广至 p = 2 的情形，上同调框架需要进行何种修改？
• RQ5 同调簇结构在多大程度上反映了有限群的融合系统？这一结构如何用于检测融合控制？

主要发现

• 当 p 为奇素数时，若 H ≤ G 在模 p 上同调中诱导出 F-同构，则 H 控制 G 中的 p-融合。
• 若 H 与 G 的模 p 上同调簇同胚，则结论同样成立。
• 当 p 为奇素数时，有限 p-群上 p-融合系统的同构关系可由其初等阿贝尔 p-子群检测。
• 当 p = 2 时，p-融合系统同构的检测需依赖指数至多为 4 的阿贝尔 2-群，而非初等阿贝尔 2-群。
• 使用更高色度同调理论，可将 p-融合控制结果推广至 p = 2 的情形。
• 主代数定理通过将 Mislin 关于上同调同构的结果置于融合系统同构检测的语境中，实现了统一与强化。