Group cohomology and control of \(p\)-fusion. (Q464274): Difference between revisions

In this paper the authors show that \(\mathbb F\)-isomorphism implies control of \(p\)-fusion for \(p\) odd, namely: Theorem. Let \(i\colon H\leq G\) be an inclusion of finite groups of index prime to \(p\), \(p\) an odd prime, and consider the induced map on mod \(p\) group cohomology \(i^*\colon\mathbf H^*(G,\mathbb F_p)\to\mathbf H^*(H,\mathbb F_p)\). If for each \(x\in\mathbf H^*(H,\mathbb F_p)\), \(x^{p^k}\in\mathrm{im}(i^*)\) for some \(k\geq 0\), then \(H\) controls \(p\)-fusion in \(G\). They also show that the assumptions in the Theorem that \(H\) and \(G\) share a common Sylow \(p\)-subgroup and that \(p\) is odd are necessary. For \(p=2\) they give analogous results, at the cost of replacing mod \(p\) cohomology with higher chromatic cohomology theories. The Theorem follows from a group theoretic statement which says that for \(p\) odd if \(H\) controls \(p\)-fusion in \(G\) on elementary abelian \(p\)-subgroups then it controls \(p\)-fusion. They formulate and prove the statement in terms of fusion systems and the proof uses Alperin's Fusion Theorem to reduce to a situation where they apply results of J. G. Thompson on \(p'\)-automorphisms of \(p\)-groups.