On connective KO-theory of elementary abelian 2-groups (Q470697)

In the previous paper [Homology, Homotopy and Applications 16, 218-243 (2014)] the author obtained the functorial structure of the complex connective \({K}\)-theory for elementary abelian 2-groups \(V\). The main purpose of this paper is to give an analogous description of \(\text{KO}\langle { n} \rangle^{*}\text{(BV)}\) for the spectra \(\text{KO}\langle { n} \rangle\) arisen from the Postnikov tower of \(\text{KO}\). In order to do this, the author introduces the notion of ``detection'' for a tower of general spaces, and using the Postnikov layers \(\text{KO}\langle { n} \rangle \to \Sigma^nH(\text{KO}_n)\), proves that this detection condition holds for all \(\text{KO}\langle { n} \rangle\). This leads to the result below. Let \(QO\langle n \rangle\) be the image of \(\text{KO}\langle { n} \rangle^{*}\text ({BV^\sharp})\) in \(\text{KO}\text ({BV}^\sharp)\) where \(\text{V}^\sharp\) is the dual space of \(\text{V}\). Let \(\theta_n : \Sigma^nH(\text{KO}_n) \to \Sigma^{n+2}H(\text{KO}_{n+1})\) denote the stable operation derived from the Postnikov tower of \(\text{KO}\). Then for \(n \in \mathbb{Z}\) we have a natural exact sequence \[ 0 \to \text{Im}(\Sigma^{-1}\theta_{n-1}) \to \text{KO}\langle { n} \rangle^{*}\text ({BV}^\sharp) \to QO\langle n \rangle \to 0 \] together with formulas for calculating the functors on both sides; where the latter functor in particular is shown to be isomorphic to either type of \(\bar{P}^l_{\mathbb{Z}_2}\) or \(\bar{P}^l_{\mathbb{F}}\) and otherwise to be 0, here \(\bar{P}_F\) denoting the augmentation ideal of \(F[V]\). The exact sequence itself follows from an abstract argument if assumed that \(\text{KO}\langle n \rangle\) satisfy the detection condition and so, as mentioned above, the key requirement here is the detection result. To prove this fact the author uses a cochain complex \({\Hom}_{\mathcal{A}(1)}(\mathcal {E}_\bullet, H\mathbb{F}^*(\text{ BV}^\sharp))\) induced from an exact complex \(\mathcal {E}_\bullet\) of \(\mathcal{A}(1)\)-modules, whose cohomology plays a central role therein. It is noticed that the idea of the proof is based on those of \textit{E. Ossa} [Lect. Notes Math. 1375, 269--275 (1989; Zbl 0683.55001)] and also that the result obtained recovers those of \textit{R. R. Bruner} and \textit{J. P. C. Greenlees} [Connective real \(K\)-theory of finite groups. Providence, RI: American Mathematical Society (AMS) (2010; Zbl 1251.19001)] for \(\text{bo}\).