×

The Hopf ring for \(bo\) and its connective covers. (English) Zbl 1115.55001

If \(F_*(\enskip)\) is a multiplicative homology theory and \(E_*\) is a ring spectrum then the homology groups \(F_*(E_*)\) have a coproduct, conjugation, counit and a pair of products which give them the structure of a Hopf ring, i.e., a ring object in the category of coalgebras. The study of such objects was initiated by D. C. Ravenel and W. S. Wilson [J. Pure Appl. Algebra 9, 241–280 (1977; Zbl 0373.57020)] and their computation is of interest to topologists because of their connection with the unstable operations between \(E^* (\enskip)\) and \(F^*(\enskip)\). The paper under review gives a complete computation of this Hopf ring for \(E_* = bo\), the connective real \(K\)-theory spectrum, and \(F_* = \overline{H}_* = H_*(\enskip ; {\mathbb Z}/2)\), ordinary mod \(2\) homology. In an earlier paper the author and N. Strickland [J. Pure Appl. Algebra 166, 247–265 (2002; Zbl 0987.55007)] computed the corresponding Hopf ring for nonconnective real \(K\)-theory, \(\overline{H}_*(KO_*)\). The case of integral ordinary homology, \(H_*(\overline{H}_*)\), is classical. The author shows that \(\overline{H}_*(bo_*)\) injects into the product \(H_* (KO) \otimes H_* (\overline{H}_*)\) and she describes the image. The result is a very large graded tensor product of families of polynomial and exterior algebras coming from these two factors. The method of computation is repeated use of the bar spectral sequence. The paper concludes with the computation of \(\overline{H}_*(bo \langle n \rangle)\), the homology of the connective covers of \(bo\), as Hopf modules over \(\overline{H}_* (bo_*)\).

MSC:

55N15 Topological \(K\)-theory
55P43 Spectra with additional structure (\(E_\infty\), \(A_\infty\), ring spectra, etc.)
Full Text: DOI

References:

[1] Hara, S., The Hopf rings for connective Morava \(K\)-theory and connective complex \(K\)-theory, J. Math. Kyoto Univ., 31, 1, 43-70 (1991) · Zbl 0731.55003
[2] McCleary, J., (A User’s Guide to Spectral Sequences. A User’s Guide to Spectral Sequences, Mathematics Lecture Series, vol. 12 (1985), Publish or Perish Press: Publish or Perish Press Wilmington, Del) · Zbl 0577.55001
[3] Cowen Morton, D. S.; Strickland, N. P., The Hopf rings for KO and KU, J. Pure Appl. Algebra, 166, 247-265 (2002) · Zbl 0987.55007
[4] Ravenel, D. C.; Wilson, W. S., The Hopf ring for complex cobordism, J. Pure Appl. Algebra, 9, 241-280 (1977) · Zbl 0373.57020
[5] Ravenel, D. C.; Wilson, W. S., The Morava \(K\)-theories of Eilenberg-Mac lane spaces and the Conner-Floyd conjecture, Amer. J. Math., 102, 691-748 (1980) · Zbl 0466.55007
[6] Stong, R. E., Determination of \(H^\ast(BO (k, \ldots, \infty), Z_2)\) and \(H^\ast(B U(k, \ldots, \infty), Z_2)\), Trans. Amer. Math. Soc., 107, 526-544 (1963) · Zbl 0116.14702
[7] Wilson, W. S., The Hopf ring for Morava \(K\)-theory, Publ. Res. Inst. Math. Sci., 20, 1025-1036 (1984) · Zbl 0564.55004
[8] Wilson, W. S., Hopf rings in algebraic topology, Expo. Math., 18, 369-388 (2000) · Zbl 0971.55011
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.