Borel cohomology and the relative Gorenstein condition for classifying spaces of compact Lie groups (Q2318416)

For \(G\) a compact Lie group and \(k\) a commutative ring (with Eilenberg-MacLane spectrum \(Hk\)), let \(C^* (BG)\) denote the function spectrum \(F(BG_+, Hk)\), which is a commutative ring spectrum. The aim of this paper is to study the properties of the map \(C^* (BG) \rightarrow C^*(BH)\) of ring spectra, for \(H\subset G\) a closed subgroup. The group \(G\) is said to be \(k\)-connected if it is connected or \(\pi_0 (G)\) is a \(p\)-group for a prime \(p\) such that \(p^n k =0\) for some \(n\geq 1\). The main result states that \[ \hom_{C^* (BG) } (C^*(BH), C^* (BG) ) \simeq F (BH^{-L(G,H)}, Hk ) \] if \(G\) is \(k\)-connected or if the adjoint representation \(LG\) is \(k\)-orientable (here \(L(G,H)\) is the tangent space to the identity coset of \(G/H\), and \(BH^{-L(G,H)}\) is the Thom spectrum). This equivalence is interpreted as a relative Gorenstein property. (This result corrects the hypotheses of Theorem 6.8 of [\textit{D. Benson} and \textit{J. Greenlees}, J. Pure Appl. Algebra 218, No. 4, 642--650 (2014; Zbl 1291.18014)] and completes its proof.) The key ingredient is that, when \(G\) is \(k\)-connected, the Borel cohomology spectrum \(b:= F (EG_+, Hk)\) generates the category of \(b\)-modules. This is proved by using an Eilenberg-Moore type spectral sequence; the \(k\)-connectivity hypothesis ensures convergence. The author also proves that, in the absence of the above hypotheses, one has an equivalence after replacing \(C^*(BH)\) by \(F (BH^{LG}, Hk )\) and \(C^* (BG)\) by \(F (BG^{LG}, Hk )\), considered as \(C^* (BG)\)-modules.