The Omega spectrum for mod 2 \(KO\)-theory (Q782366)

Let \(\underline{KU}\) and \(\underline{KO}\) be 2-periodic complex \(K\)-theory and 8-periodic real \(K\)-theory, respectively, and \(\underline{KU}_{i}\), \(\underline{KO}_{i}\) be the corresponding spaces. Let \(\underline{KR(1)}\) be the real first Morava \(K\)-theory, this coincides with \(\bmod \ 2 \ KO\)-theory, and let \(\underline{KR(1)}_{i}\) be the corresponding spaces, as this is 8-periodic, hence \(i=0,\ldots ,7\). The purpose of this paper is to compute the \(\mathbb{Z}/2\) Hopf homology algebras of the spaces \(\underline{KR(1)}_{i}\). The author gives a full description of these Hopf algebras. In the theorem below, the following notation is used: \(P\) and \(E\) denote exterior and polynomial algebras, respectively, \(TP_{4}=P(x)/(x^{4})\), the Frobenius homomorphism, \(F\), sends \(x\mapsto x^{2}\) and Verschiebung, \(V\), is dual to \(F\). The main result of the paper is Theorem. The homology of the connected component of \(\underline{KR(1)}_{i}\) is as follows. If no \(V\) appears, regard it as zero and the indices \(k\) run over all \(k>0\) \begin{align*} &i=0 & E(x_{k})&\otimes_{k}P(y_{4k+2}) &V(x_{2k})=&x_{k}\\ &i=1&P(x_{2k+1})&\otimes_{k}P(y_{4k+2}) & V(y_{4k+2})=&x_{2k+1}\\ &i=2&P(x_{8k+2})&\otimes_{k}P(y_{4k+3}) &&\\ &i=3&E(x_{8k+3})&\otimes_{k}P(Y_{8k+4})&&\\ &i=4&E(x_{4k})&\otimes_{k}E(y_{8k+5}) & V(x_{8k})=&x_{4k}\\ &i=5&E(x_{4k+1})&\otimes_{k}E(y_{2k}) &V(y_{4k})=y_{2k}, V(y_{8k+2})=&x_{4k+1}\\ &i=6& &\otimes_{k}TP_{4}(x_{k}) &V(x_{2k})=&x_{k}\\ &i=7& E(x_{2k})&\otimes_{k}P(y_{2k+1}) &V(x_{4k})=&x_{2k} \end{align*} In the above formulae, the subscript of an element denotes its degree and the subscript \(k\) in the tensor product is not a field, but an index. To achieve the above computations, the author uses the fibration \(\underline{KO}_{i}\to \underline{KR(1)}_{i}\to \underline{KO}_{i+1}\) and proves that for \(i=1,2,5\) and \(6\) there is a short exact sequence of Hopf algebras \(H_{*}(\underline{KO}_{i})\to H_{*}(\underline{KR(1)}_{i})\to H_{*}(\underline{KO}_{i+1})\) and for \(i=0\) there is a suitable long exact sequence. Then, the author goes case by case for \(i=0,\ldots ,7\) analyzing the corresponding spectral sequence.