Hostname: page-component-cd9895bd7-hc48f Total loading time: 0 Render date: 2024-12-26T00:33:06.156Z Has data issue: false hasContentIssue false

Husemoller-Witt decompositions and actions of the Steenrod algebra

Published online by Cambridge University Press:  20 January 2009

Andrew Baker
Affiliation:
Department of MathematicsManchester UniversityManchester M13 9PL
Rights & Permissions [Opens in a new window]

Extract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Recently, there has been renewed interest in the homology of connective covers of the classifying spaces BU and BO, and their associated Thom spectra-see e.g. [4,6,9,10,15]. There are now numerous families of generators as well as structural results on the action of the Steenrod algebra. However, these two areas have not been well related since the methods used have tended to emphasise one goal rather than the other. In this paper we show that there are in fact canonical Hopf algebra decompositions for the sub-Hopf algebras of the homology of BU, and BO constructed by S. Kochman in [9], generalising those of [8]. Furthermore, these are clearly and consistently related to the Steenrod algebra action, and provide canonical sets of algebra generators. They should thus allow calculations of the type exemplified in [6] to be carried out in all cases, although of course the complexity of the answer increases rapidly! A by-product of our approach is that we can easily obtain results on these homologies as Hopf algebras, such as selfduality and a computation of endomorphism groups over the Steenrod algebra. We feel that the methods will also give interesting information in the case of some other familiar spaces even if their homology is not self dual (or bipolynomial); we intend to return to this in a sequel.

Type
Research Article
Copyright
Copyright © Edinburgh Mathematical Society 1985

References

REFERENCES

1. Adams, F., Lectures on generalised cohology, SLNM 99 (1969), 1138.Google Scholar
2. Adams, F., Stable Homotopy and Generalised Homology (Math. Lect. Notes, Univ. of Chicago, 1971).Google Scholar
3. Baker, A., A decomposition theorem for certain bipolynomial Hopf algebras, Can. Math. Bull. 27 (1984).CrossRefGoogle Scholar
4. Baker, A., More homology generators for BSU and BSO, Current Trends in Algebraic Topology (Can. Math. Soc. Conf. Proa, 1982), 429435.Google Scholar
5. Brown, E. H. and Peterson, F. P., H*(M0) as an algebra over the Steenrod algebra, Proc. of a Conf. on Homotopy Theory (Soc. Mat. Mex., 1975), 1119.Google Scholar
6. Giambalvo, V. and Pengelley, D. J., The homology of MSpin, Math. Proc. Camb. Phil. Soc. 95 (1984), 427436.CrossRefGoogle Scholar
7. Hazewinkel, M., Formal Groups and Applications (Academic Press, 1978).Google Scholar
8. Husemoller, D., The structure of the Hopf algebra H *(BU) over a Z(p)-algebra, Amer. J. Math. 93 (1971), 329349.CrossRefGoogle Scholar
9. Kochman, S. O., An algebraic filtration of H (BO), Contemp. Math. 19 (1983), 115143.CrossRefGoogle Scholar
10. Kochman, S. O., An algebraic filtration of H*(MO), preprint.Google Scholar
11. Lance, T., Steenrod and Dyer-Lashof operations on BU, Trans. Am. Math. Soc. 276 (1983), 497510.Google Scholar
12. Milnor, J. W., The Steenrod algebra and its dual, Ann. of Math. 67 (1958), 150171.CrossRefGoogle Scholar
13. Mitchell, S. A., Power series methods in unoriented cobordism, Contemp. Math. 19 (1983), 247254.CrossRefGoogle Scholar
14. Patterson, R., The square preserving endomorphisms of H*(BO;Z 2), preprint.Google Scholar
15. Pengelley, D. J., The A-structure of Thom spectra: MSO as an example, Current Trends in Algebraic Topology (Can. Math. Soc. Conf. Proa, 1982), 511513.Google Scholar
16. Ravenel, D. C. and Wilson, W. S., Bipolynomial Hopf algebras, J. Pure and App. Alg. 4 (1974), 4145.CrossRefGoogle Scholar
17. Switzer, R. M., Homology comodules, Invent. Math. 20 (1973), 97102.CrossRefGoogle Scholar
18. Zahler, R., The Adams-Novikov spectral sequence for the spheres, Ann. of Math. 96 (1972), 480504.CrossRefGoogle Scholar