The cohomology of symmetric groups and the Quillen map at odd primes. (Q1878451)

Let \(p\) be a prime, \(G\) be a compact Lie group and \(H^*(-)\) be the mod \(p\) cohomology. \textit{D. Quillen} [Ann. Math. (2) 94, 549-572, 573-602 (1971; Zbl 0247.57013)] considered the natural map \[ q_G\colon H^*BG\to\varprojlim_{{\mathcal C}(G)}H^*BE \] where \({\mathcal C}(G)\) is the category whose objects are elementary Abelian \(p\)-subgroups of \(G\), and whose morphisms are inclusions induced by conjugations in \(G\). Quillen proved that \(q_G\) is an \(F\)-isomorphism, i.e. the kernel and the cokernel of \(q_G\) are nilpotent as algebras. \textit{J. H. Gunawardena, J. Lannes} and \textit{S. Zarati} [in Advances in homotopy theory, Proc. Conf. in Honour of I. M. James, Cortona/Italy 1988, Lond. Math. Soc. Lect. Note Ser. 139, 61-68 (1989; Zbl 0693.55012)] characterized, in particular, compact Lie groups such that \(q_G\) is an isomorphism for \(p=2\). The aim of this paper is to study the case \(p\) odd. The authors show that we obtain the same results as in the case \(p=2\) if we replace \(H^*(-)\) by \(\widetilde{\mathcal O}H^*(-)\) where \(\widetilde{\mathcal O}\) [see \textit{J. Lannes, S. Zarati}, Ann. Sci. Éc. Norm. Supér., IV. Sér. 19, No. 2, 303-333 (1986; Zbl 0608.18006), \textit{S. Zarati}, Algebraic topology, Proc. Conf., Göttingen/Ger. 1984, Lect. Notes Math. 1172, 204-209 (1985; Zbl 0583.55011)] is the adjoint functor of the forgetful functor \({\mathcal O}\colon{\mathcal U}'\to{\mathcal U}\), where \(\mathcal U\) (resp. \({\mathcal U}'\)) is the category of unstable \(A\)-modules (resp. unstable \(A\)-modules concentrated in even degrees).