Hopf constructions and higher projective planes for iterated loop spaces
Authors:
Nicholas J. Kuhn, Michael Slack and Frank Williams
Journal:
Trans. Amer. Math. Soc. 347 (1995), 12011238
MSC:
Primary 55P35; Secondary 55P45, 55P47, 55S12
DOI:
https://doi.org/10.1090/S00029947199512828909
MathSciNet review:
1282890
Fulltext PDF Free Access
Abstract  References  Similar Articles  Additional Information
Abstract: We define a category, $\mathcal {H}_p^n$ (for each $n$ and $p$), of spaces with strong homotopy commutativity properties. These spaces have just enough structure to define the $\bmod p$ DyerLashof operations for $n$fold loop spaces. The category $\mathcal {H}_p^n$ is very convenient for applications since its objects and morphisms are defined in a homotopy invariant way. We then define a functor, $P_p^n$, from $\mathcal {H}_p^n$ to the homotopy category of spaces and show $P_p^n$ to be left adjoint to the $n$fold loop space functor. We then show how one can exploit this adjointness in cohomological calculations to yield new results about iterated loop spaces.

J. F. Adams, On the nonexistence of elements of Hopf invariant one, Ann. of Math. (2) 72 (1960), 20104.
S. Araki and T. Kudo, Topology of ${H_n}$spaces and ${H_n}$squaring operations, Mem. Fac. Sci. Kyushu Univ. Ser. A 10 (1956), 85120.
M. Arkowitz and P. Silberbush, Some properties of Hopftype constructions, preprint.
J. M. Boardman and R. Vogt, Homotopy everything $H$spaces, Bull. Amer. Math. Soc. 74 (1968), 11171122.
W. Browder, Homology operations and loop spaces, Illinois J. Math. 4 (1960), 347357.
W. Browder and E. Thomas, On the projective plane of an $H$space, Illinois J. Math. 7 (1963), 492502.
F. R. Cohen, T. J. Lada, and J. P. May, The homology of iterated loop spaces, Lecture Notes in Math., vol. 533, Springer, Berlin and New York, 1976.
F. R. Cohen, J. P. May, and L. R. Taylor, Splitting of certain spaces $CX$, Math. Proc. Cambridge Philos. Soc. 84 (1978), 465496.
E. Dyer and R. Lashof, Homology of iterated loop spaces, Amer. J. Math. 84 (1962), 3588.
Y. Hemmi, The projective plane of an $H$pairing, J. Pure Appl. Algebra 75 (1991), 277296.
J. R. Hubbuck, On homotopy commutative $H$spaces, Topology 8 (1969), 119126.
R. Kane, Implications in Morava $K$theory, Mem. Amer. Math. Soc. 340 (1986).
N. Kuhn, The geometry of the JamesHopf maps, Pacific J. Math. 102 (1982), 397412.
, Extended powers of spectra and a generalized KahnPriddy theorem, Topology 23 (1985), 473480.
J. P. Lin, Two torsion and the loop space conjecture, Ann. of Math. (2) 115 (1982), 3591.
M. Mahowald, The metastable homotopy of ${S^n}$, Mem. Amer. Math. Soc. 72 (1967).
J. P. May, The geometry of iterated loop spaces, Lecture Notes in Math., vol. 271, Springer, Berlin and New York, 1972.
R. J. Milgram, Iterated loop spaces, Ann. of Math. (2) 84 (1966), 386403.
, Unstable homotopy from the stable point of view, Lecture Notes in Math., vol. 368, Springer, Berlin and New York, 1974.
H. R. Miller, A spectral sequence for the homology of an infinite delooping, Pacific J. Math. 79 (1978), 139155.
G. Nishida, Cohomology operations in iterated loop spaces, Proc. Japan Acad. 44 (1968), 104109.
M. Slack, Maps between iterated loop spaces, J. Pure Appl. Algebra 73 (1991), 181201.
, Infinite loop spaces with trivial DyerLashof operations, Math. Proc. Cambridge Philos. Soc. (1993).
J. Stasheff, $H$spaces from the homotopy point of view, Lectures Notes in Math., vol. 161, Springer, Berlin and New York, 1970.
N. Steenrod, A convenient category of topological spaces, Michigan Math. J. 14 (1967), 133152.
E. Thomas, On functional cup operations and the transgression operator, Arch. Math. (Basel) 12 (1961), 435444.
, Steenrod squares and $H$spaces. I, II, Ann. of Math. (2) 77 (1963), 306317; 81 (1965), 473495.
Retrieve articles in Transactions of the American Mathematical Society with MSC: 55P35, 55P45, 55P47, 55S12
Retrieve articles in all journals with MSC: 55P35, 55P45, 55P47, 55S12
Additional Information
Article copyright:
© Copyright 1995
American Mathematical Society