Cyclic comodules, the homology of \(j\), and \(j\)-homology (Q946595): Difference between revisions

This paper provides a calculation of the homology of the connective \(j\) spectrum using comodule techniques. While this homology is already known [see for example \textit{D. M. Davis}, Bol. Soc. Mat. Mex., II. Ser. 20, 6--11 (1975; Zbl 0398.55002); \textit{K. Knapp}, J. Pure Appl. Algebra 101, No.~2, 171--189 (1995; Zbl 0838.55005); \textit{V. Angeltveit} and \textit{J. Rognes}, Algebr. Geom. Topol. 5, 1223--1290 (2005; Zbl 1087.55009)], the present paper gives a simpler method of calculation and it is viewed by the author as a warm-up to more difficult \(K(2)\)-local computations. The result is that \(H_*(j)=(\mathcal{A}//\mathcal{A}(1))_*\otimes E(x_{2p(p-1)-1})\) as a comodule algebra where \(x_{2p(p-1)-1}\) is primitive and there is a non-trivial comodule extension \(\psi(\xi_1^p)=\xi_1^p\otimes 1 + 1\otimes \xi_1^p + \tau_0\otimes x_{2p(p-1)-1}\). This comodule extension is determined by consideration of both the Adams spectral sequence and a suitable algebraic spectral sequence. Since the \(j\) spectrum can be viewed as a pullback in the category of \(E_\infty\)-ring spectra it is itself an \(E_\infty\)-ring spectrum and thus has a symmetric monoidal module category one can compute in. The author calculates the homotopy of the spectrum \(H\mathbb{F}_p\bigwedge_j H\mathbb{F}_p\), which may be thought of as the \(j\)-module dual Steenrod algebra in the sense that it is the Hopf algebra forming the basis for calculating homotopy of \(j\)-modules via a modified Adams spectral sequence. The result expresses its homotopy as a derived power tensor exterior Hopf algebra.