Cohomology with twisted coefficients of the classifying space of a fusion system (Q321389)

The main result of the paper under review is an expression of the cohomology with twisted coefficients of the geometric realization of a centric linking system associated to a \(p\)-local finite group. Recall that a \(p\)-local finite group \((S, \, \mathcal{F}, \, \mathcal{L})\) consists of a finite \(p\)-group \(S\), a saturated fusion system \(\mathcal{F}\), and a centric linking system \(\mathcal{L}\) [\textit{M. Aschbacher} et al., Fusion systems in algebra and topology. Cambridge: Cambridge University Press (2011; Zbl 1255.20001)]. Briefly a fusion system \(\mathcal{F}\) over \(S\) is a small category with objects given by the set of subgroups of \(S\) and morphisms that encode certain conjugacy properties. Let \({\mathcal{F}}^c\) be the full subcategory of \(\mathcal{F}\) with the set of objects being all \(\mathcal{F}\)-centric subgroups of \(S\). Let \(| {\mathcal{L}} |\) denote the geometric realization (nerve) of \(\mathcal{L}\), considered as a small category. Let \(|{\mathcal{L}}|^{\widehat{\;}}_p\) denote the \(p\)-completion of \(|\mathcal{L}|\). Recall [\textit{C. Broto} et al., J. Am. Math. Soc. 16, No. 4, 779--856 (2003; Zbl 1033.55010)] that the inclusion of the classifying space \(BS\) in \(|{\mathcal{L}}|\) induces a natural isomorphism \[ H^*( | {\mathcal{L}}|; \, \mathbf{F}_p) \overset{\simeq}{\longrightarrow} H^*({\mathcal{F}}^c; \, \mathbf{F}_p), \] with \(H^*( |{\mathcal{L}}|^{\widehat{\;}}_p ; \, \mathbf{F}_p) \simeq H^*( |{\mathcal{L}}| ; \, \mathbf{F}_p)\) and \[ H^* ( {\mathcal{F}}^c ; \, \mathbf{F}_p ) := {\overset{\longleftarrow}{{\mathcal{F}}^c}}\lim\, H^*( \mathbf{F}_p). \] The paper under review extends this result to twisted coefficients in an abelian \(p\)-group \(M\) with a nilpotent action of \(\pi_1 ( |{\mathcal{L}}|)\). Specifically, let \((S, \, \mathcal{F}, \, \mathcal{L})\) be a \(p\)-local finite group and \(M\) as above. Proven is that the inclusion of \(BS\) in \(| {\mathcal{L}} |\) induces a natural isomorphism \[ H^* (| {\mathcal{L}} |; \, M) \simeq H^* ( {\mathcal{F}}^c; \, M). \] As a corollary of this result, a description of the cohomology of the classifying space of a fusion system is given in term of \({\mathcal{F}}^c\)-stable elements. For a \(p\)-local finite group and \(M\) an abelian \(p\)-group with an action of \(\pi_1 ( |{\mathcal{L}}|^{\widehat{\;}}_p )\), there are isomorphisms \[ \begin{aligned} & H^*( |{\mathcal{L}}|^{\widehat{\;}}_p ; \, M) \simeq H^*( |{\mathcal{L}}|; \, M) \\ & H^*( |{\mathcal{L}}|^{\widehat{\;}}_p ; \, M) \simeq H^* ( {\mathcal{F}}^c; \, M), \end{aligned} \] which follows from the fact that \(| {\mathcal{L}} |\) is a \(p\)-good space.