On the Hopf ring for \(ER(n)\) (Q880132)

Let \(E(n)\) be the Johnson-Wilson spectrum at the prime two. \textit{I. Kriz} and \textit{P. Hu} [Topology 40, No. 2, 317--399 (2001; Zbl 0967.55010)] constructed a real Johnson-Wilson spectrum \(ER(n)\) analogously to real cobordism theory. As the title indicates, the authors study the Hopf ring structure of \(ER(n)\), especially of \(ER(2)\). Note that \(ER(1)=KO_{(2)}\). A real spectrum \({\mathbb E}\) is given by a collection of pointed \(\mathbb Z/(2)\)-spaces \({\mathbb E}_V\) indexed by the representation ring \(RO(\mathbb Z/(2))\). By use of Lannes's theory, the authors first show an isomorphism of Hopf algebras \(H_*({\mathbb E}_V)=\Phi H_*({\mathbb E}{\mathbb R}_V)\) for an \(H\)-space \({\mathbb E}_V\) with the projective property, and moreover properties of the natural map \(H_*({\mathbb E}{\mathbb R}_V)\to H_*({\mathbb E}_V)\), namely, that it takes \(x\) to \(V(\Phi(x))\), where \(\Phi\) and \(V\) denote the doubling functor and \textit{Verschiebung}, respectively. Applying this to \(ER(n)\), the first main theorem follows: there are an isomorphism \(\Phi H_* \underline{ER(n)}_{-2^{n+2}(2^{n-1}-1)*}=H_*\underline{E(n)}_{2*}\) and the Hopf ring surjection \(H_* \underline{ER(n)}_{-2^{n+2}(2^{n-1}-1)*}\to H_*\underline{E(n)}_{2*}\) which assigns \(x\) to \(V(\Phi(x))\). Here, note that the homology \(H_*\underline{E(n)}_{2*}\) is well known, \(ER(n)\) and \(E(n)\) are \(2^{n+2}(2^n-1)\) and \(2(2^n-1)\) periodic, respectively, and \(-2^{n+2}(2^{n-1}-1)k\) is \(2k\) modulo \(2(2^n-1)\). The other part of the paper is devoted to determining the Hopf ring structure of \(H_*\underline{ER(2)}_*\), which is another main theorem. It is generated by the element \(e\in H_1\underline{ER(2)}_1\) and the two sub-Hopf rings \(H_*\underline{ER(2)}_{-16*}\) and \(\Phi[ER(2)^*]=H_0\underline{ER(2)}_*\) with some relations. The proof of this is straightforward. The first main result tells the structure of \(H_*\underline{ER(2)}_{-16*}\). Starting from here, \(H_*\underline{ER(2)}_{-16*+i}\) for \(1\leq i\leq 15\) are determined step by step using the bar spectral sequence \(E^2_{*,*}=\)Tor\(^{H_*\underline{ER(2)}_{-16*+i}}\Rightarrow H_*\underline{ER(2)}_{-16*+i+1}\).