Cohomology of infinite groups realizing fusion systems (Q2280132)

Let \(G\) be a discrete group, \(p\) a prime number and \(S\) a finite \(p\)-group contained in \(G\). The subgroup \(S\) is called a Sylow \(p\)-subgroup if every \(p\)-subgroup of \(G\) is conjugate to a subgroup of \(S\). Given these data, the fusion system, \(\mathcal{F}_{S}(G)\), is the category with objects the subgropus of \(S\) and morphisms given by maps induced by conjugation by elements of \(G\). In general a fusion system \(\mathcal{F}\) is a category with objects the subgroups of a finite \(p\)-group \(S\) and injective homomorphisms satisfying certain axioms. The primary examples are the Sylow \(p\)-subgroups when \(G\) is a finite group. There are many examples of abstract fusion systems that do not arise from finite groups. If \(\mathcal{F}= \mathcal{F}_{S}(G)\) we say that the fusion system is realized by the group \(G\). Given an abstract fusion system \(\mathcal{F}\) there are at least two ways of constructing a group \(\pi\) that realizes this fusion system, one given by \textit{I. J. Leary} and \textit{R. Stancu} [Algebra Number Theory 1, No. 1, 17--34 (2007; Zbl 1131.20012)] and the other one by \textit{G. R. Robinson} [J. Algebra 314, No. 2, 912--923 (2007; Zbl 1184.20024)]. Let \(G\) be a finite group with associated fusion system \(\mathcal{F}_{S}(G)\) and let \(\pi\) be the group that realizes \(\mathcal{F}_{S}(G)\) (given by Leray-Stancu or Robinson). The authors explore relations between \(G\) and \(\pi\). For example, they prove the following: Theorem 1.1. Given \(G\) and \(\pi\) as above, there is a short exact sequence of groups \(1\to F\to\pi \to G\to 1\), where \(F\) is a free group and there is an isomorphism \(H^{n}(\pi;\mathbb{F}_{p})\cong H^{n} (G;\mathbb{F}_{p})\oplus H^{n-1}(G;\mathrm{Hom}(F_{ab},\mathbb{F}_{p}))\). The authors provide infinitely many examples of mod 2 fusion systems where the second cohomology of the group \(\pi\) is not isomorphic to that of \(G\).