Cyclic comodules, the homology of \(j\), and \(j\)-homology (Q946595): Difference between revisions
From MaRDI portal
Latest revision as of 17:37, 28 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Cyclic comodules, the homology of \(j\), and \(j\)-homology |
scientific article |
Statements
Cyclic comodules, the homology of \(j\), and \(j\)-homology (English)
0 references
23 September 2008
0 references
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.
0 references
connective \(j\)
0 references
comodule
0 references
Steenrod algebra
0 references
Adams spectral sequence
0 references