Realisability of \(p\)-stable fusion systems (Q1755560): Difference between revisions

The authors study certain properties of saturated fusion systems on finite \(p\)-groups for odd primes, conditions which they assume throughout. Thus a fusion system \(\mathcal F\) on a finite \(p\)-group \(P\) is said to be \(p\)-stable if, for all \(Q\leq P\) and all \(\chi\in\operatorname{Aut}_{\mathcal F}(Q)\), whenever \([Q,\chi,\chi]=1\), then \(\chi\in O_p(\operatorname{Aut}_{\mathcal F}(Q))\), where \([a,\chi]=a^{-1}(a\chi)\) for all \(a\in Q\) and all \(\chi\in\operatorname{Aut}_{\mathcal F}(Q)\), where morphims are written on the right. It has been shown that a fusion system \(\mathcal F\) is \(p\)-stable if and only if the local normaliser subsystems \(\mathcal{N_F}(Q)\) are \(p\)-stable. In the present article, the authors prove a refinement of this theorem. Namely, they show that \(\mathcal F\) is \(p\)-stable if and only if \(\mathcal{N_F}(Q)\) is \(p\)-stable for every fully normalised, centric, radical subgroups \(Q\) of \(P\). A fusion system \(\mathcal F\) is said to be realisable if it is the fusion system \(\mathcal F_P(G)\) defined by the conjugation action of some group \(G\) on a Sylow \(p\)-subgroup \(P\) of \(G\). If so, we may assume that \(O_{p'}(G)=1\), i.e. that \(G\) is \(p'\)-reduced. The authors define a stable \(p\)-functor to be a positive characteristic \(p\)-functor \(W\) such that \(C_G(W(P))\leq W(P)\) and such that \(N_G(W(P))\) controls strong fusion in \(P\) whenever \(G\) is a \(p\)-stable and \(p\)-constrained finite group with Sylow \(p\)-subgroup \(P\). The authors show that if there exists a stable \(p\)-functor, then every \(p\)-stable fusion system is realisable.