Higher limits over the fusion orbit category (Q2161282): Difference between revisions

Let \(G\) be a discrete group and \(\mathcal{C}\) a collection of subgroups of \(G\) closed under conjugation. The \textit{orbit category}, \(\mathcal{O}_{\mathcal{C}}(G)\), is the category with objects the subgroups of \(\mathcal{C}\) and morphisms \(G\)-maps \(G/H\to G/K\). The \textit{fusion category} \(\mathcal{F}_{\mathcal{C}}(G)\) has objects the subgroups in \(\mathcal{C}\) and morphisms given by conjugation. The \textit{fusion orbit category}, \(\overline{\mathcal{F}}_{\mathcal{C}}(G)\) has objects the subgroups in \(\mathcal{C}\) and morphisms \(\mathrm{Mor}(H,K)=K\setminus N_{G}(H,K)/C_{G}(H)\) where \(N_{G}(H,K)=\{g\in G\mid gHg^{-1}\leq K\}\). Let \(X\) be a \(G\)-\(CW\)-complex and \(R\) be a commutative ring. Using suitable functors from the previous categories to the categories of cochain complexes one has ordinary Bredon cohomology for \(X\); the author defines fusion Bredon cohomology for a \(G\)-\(CW\)-\(X\). The author also describes two spectral sequences converging to fusion Bredon cohomology. Then the author studies the behaviour of these spectral sequences for the centralizer and normalizer decompositions for suitable collections of subgroups \(\mathcal{C}\) of \(G\). Let \((S,\mathcal{F},\mathcal{L})\) be a \(p\)-local finite group. A group \(Q\leq S\) is central in \(\mathcal{F}\) if \(C_{\mathcal{F}}(Q)=\mathcal{F}\). The center of \(\mathcal{F}\), \(Z(\mathcal{F})\) is the product of all central subgroups in \(\mathcal{F}\). With this terminology, the author proves the following \textbf{Theorem.} If the subgroup decomposition is sharp for every \(p\)-local finite group \((S, \mathcal{F},\mathcal{L})\) with \(Z(\mathcal{F})\not= 1\), then it is sharp for every \(p\)-local finite group. In the above \textit{sharp} means that the corresponding Bousfield-Kan spectral sequence collapses at the \(E_{2}\)-page to the vertical axis. Another consequence of the analysis of the spectral sequence associated to the normalizer decomposition is \textbf{Theorem.} Let \((S,\mathcal{F},\mathcal{L},)\) be a \(p\)-local finite group. Then the subgroup decomposition is sharp if and only if the normalizer decomposition is sharp over the collection of \(\mathcal{F}\)-centric subgroups. The author also proves some results for saturated fusion systems realized by finite groups.