Skip to main content

Infinite Loop Spaces, Dyer–Lashof Algebra, Cohomology of the Infinite Symmetric Group and Modular Invariants

  • Conference paper
  • First Online:
Algebraic Modeling of Topological and Computational Structures and Applications (AlModTopCom 2015)

Part of the book series: Springer Proceedings in Mathematics & Statistics ((PROMS,volume 219))

  • 561 Accesses

Abstract

In this lecture note we survey results obtained under the research program Thalis (Kechagias, J. Homotopy Relat. Struct. 8(2), 201–229, (2013), [24], J. Pure Appl. Algebra 219(4), 839–863, (2015), [25]) and place them in the context of algebraic topology. It is divided into two parts. In the first part, we survey infinite loop spaces, \(\varOmega \)-spectra, and their relation with the symmetric groups. In the second part, we express the component Dyer–Lashof coalgebras as subalgebras of a cofree unstable coalgebra on two cogenerators using an extension of the Peterson conjecture. We also compare and approximate \(H^{*}\left( Q_{0}S^{0};\mathbb {Z}/p \mathbb {Z}\right) \) with certain free objects using modular invariants. A new basis for \(H^{*}\left( B\varSigma _{\infty }; \mathbb {Z}/p \mathbb {Z}\right) \) is provided.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Institutional subscriptions

Similar content being viewed by others

References

  1. Adams, J.F.: Infinite Loop Spaces. Annals of Mathematics Studies, vol. 90. Princeton University Press, Princeton (1978) (University of Tokyo Press, Tokyo)

    Google Scholar 

  2. Adem, A., Milgram, R.J.: Cohomology of Finite Groups. Grundlehren der Mathematischen Wissenschaften, vol. 309, p. viii+327. Springer, Berlin (1994)

    Google Scholar 

  3. Adem, A., Maginnis, J.S., Milgram, R.J.: Symmetric invariants and cohomology of groups. Mathematische Annalen 287, 391–411 (1990)

    Article  MathSciNet  MATH  Google Scholar 

  4. Barratt, M., Priddy, S.: On the homology of non-connected monoids and their associated groups. Comment. Math. Helv. 47, 1–14 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  5. Boardman, J.M., Vogt, R.M.: Homotopy Invariant Algebraic Structures on Topological Spaces. Lecture Notes in Mathematics, vol. 347. Springer, Berlin (1973), x+257 pp

    Google Scholar 

  6. Bousfield, A.K., Kan, D.M.: The homotopy spectral sequence of a space with coefficients in a ring. Topology 11, 79–106 (1972)

    Article  MathSciNet  MATH  Google Scholar 

  7. Browder, W.: Homology operations and loop spaces. Ill. J. Math. 4, 347–357 (1960)

    MathSciNet  MATH  Google Scholar 

  8. Brown, E.H.: Cohomology theories. Ann. Math 75(2), 467–484 (1962)

    Article  MathSciNet  MATH  Google Scholar 

  9. Chon, P.H.: Modular coinvariants and the \({mod}\) \(p\) homology of \(QS^{k}\). Proc. Lond. Math. Soc 112(3) (2016); no. 2, 351–374

    Google Scholar 

  10. Cohen, F., Lada, T., May, J.P.: The Homology of Iterated Loop Spaces. Lecture Notes in Mathematics, vol. 533. Springer, Berlin (1976), vii+490 pp

    Google Scholar 

  11. Dickson, L.E.: A fundamental system of invariants of the general modular linear group with a solution of the form problem. Trans. A. M. S. 12, 75–98 (1911)

    Article  MathSciNet  MATH  Google Scholar 

  12. Dyer, E., Lashof, R.K.: Homology of iterated loop spaces. Am. J. Math. 84, 35–88 (1962)

    Article  MathSciNet  MATH  Google Scholar 

  13. Eilenberg, S., MacLane, S.: Relations between homology and homotopy groups of spaces. Ann. Math. 46(2), 480–509 (1945)

    Article  MathSciNet  MATH  Google Scholar 

  14. Feshbach, M.: The \({mod}2\) cohomology rings of the symmetric groups and invariants. Topology 41(1), 57–84 (2002)

    Google Scholar 

  15. Giusti, G., Salvatore, P., Sinha, D.: The \({mod}2\) cohomology rings of symmetric groups. J. Topol. 5(1), 169–198 (2012)

    Google Scholar 

  16. Hovey, M.: Model Categories. Mathematical Surveys and Monographs, vol. 63, p. 213. A. M. S., Oxford (1999)

    MATH  Google Scholar 

  17. Hung, N.H.V.: The \({mod} 2 \) cohomology algebras of symmetric groups. Jpn. J. Math. (N.S.) 13(1), 169–208 (1987)

    Google Scholar 

  18. Hung, N.H.V.: The homomorphisms between the Dickson-Mui algebras as modules over the Steenrod algebra. Math. Ann. 353(3), 827–866 (2012)

    Google Scholar 

  19. Jardine, J.F.: Representability theorems for presheaves of spectra. J. Pure Appl. Algebra 215(1), 77–88 (2011)

    Article  MathSciNet  MATH  Google Scholar 

  20. Kan, D.M.: Adjoint functors. Trans. Am. Math. Soc. 87, 294–329 (1958)

    Article  MathSciNet  MATH  Google Scholar 

  21. Kechagias, N.E.: The Steenrod algebra action on generators of rings of invariants of subgroups of \(GL_{n}({\mathbb{F}}_p)\). Proc. Am. Math. Soc. 118(3), 943–952 (1993)

    Google Scholar 

  22. Kechagias, N.E.: Extended Dyer-Lashof algebras and modular coinvariants. Manuscripta Math. 84(3–4), 261–290 (1994)

    Google Scholar 

  23. Kechagias, N.E.: A Steenrod-Milnor action ordering on Dickson invariants (2008), 16 pp

    Google Scholar 

  24. Kechagias, N.E.: Dickson invariants and a new description of \(H^{\ast }(Q_{0}S^{0}; {\mathbb{F}}_p)\) via \(H^{\ast }(B\Sigma _{\infty };{\mathbb{F}}_p)\). J. Homotopy Relat. Struct. 8(2), 201–229 (2013)

    Google Scholar 

  25. Kechagias, N.E.: The component Dyer-Lashof coalgebras as subcoalgebras of free unstable coalgebras. J. Pure Appl. Algebra 219(4), 839–863 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  26. Kudo, T., Araki, S.: On \( H_{\ast }(\Omega N(S^{n});{\mathbb{F}}_2)\). Proc. Jpn. Acad. 32, 333–335 (1956)

    Google Scholar 

  27. Kudo, T., Araki, S.: Topology of \(H_{n}\)-spaces and \(H\)-squaring operations. Mem. Fac. Sci. Kyūsyū Univ. Ser. A. 10, 85–120 (1956)

    Google Scholar 

  28. Lima, E.L.: The Spanier-Whitehead duality in new homotopy categories. Summa Brasil. Math. 4(1959), 91–148 (1959)

    MathSciNet  MATH  Google Scholar 

  29. Madsen, I.: On the action of the Dyer-Lashof algebra in \(H_{\ast }(G)\). Pac. J. Math. 60(1), 235–275 (1975)

    Google Scholar 

  30. Madsen, Ib., Milgram, R.J.: The Classifying Spaces for Surgery and Cobordism of Manifolds. Annals of Mathematics Studies, vol. 92. Princeton University Press, Princeton (1979), xii+279 pp (University of Tokyo Press, Tokyo)

    Google Scholar 

  31. May, J.P.: Some remarks on the structure of Hopf algebras. Proc. A. M. S. 23(3), 708–713 (1969)

    Article  MathSciNet  MATH  Google Scholar 

  32. May, J.P.: Categories of Spectra and Infinite Loop Spaces. Lecture Notes in Mathematics, vol. 99, pp. 448–479. Springer, Berlin (1969)

    Google Scholar 

  33. May, J.P.: The Geometry of Iterated Loop Spaces. Lectures Notes in Mathematics, vol. 271. Springer, Berlin (1972), viii+175 pp

    Google Scholar 

  34. May, J.P., Thomason, R.: The uniqueness of infinite loop space machines. Topology 17(3), 205–224 (1978)

    Article  MathSciNet  MATH  Google Scholar 

  35. Milgram, R.J.: Iterated loop spaces. Ann. Math. 84(2), 386–403 (1966)

    Google Scholar 

  36. Milgram, R.J.: The \({mod}2\) spherical characteristic classes. Ann. Math. 92(2), 238–261 (1970)

    Google Scholar 

  37. Milnor, J.: Construction of universal bundles. II. Ann. Math. 63(2), 430–436 (1956)

    Google Scholar 

  38. Milnor, J.: The Steenrod algebra and its dual. Ann. Math. 67(2), 150–171 (1958)

    Google Scholar 

  39. Milnor, J.: On the cobordism ring \( \Omega ^{\ast }\) and a complex analogue. I. Am. J. Math. 82, 505–521 (1960)

    Google Scholar 

  40. Milnor, J.: On axiomatic homology theory. Pac. J. Math. 12, 337–341 (1962)

    Article  MathSciNet  MATH  Google Scholar 

  41. Milnor, J.W., Moore, J.C.: On the structure of Hopf algebras. Ann. Math. 81, 211–264 (1965)

    Article  MathSciNet  MATH  Google Scholar 

  42. Mosher, R.E., Tangora, M.C.: Cohomology Operations and Applications in Homotopy Theory. Harper & Row, Publishers, New York (1968), x+214 pp

    Google Scholar 

  43. Mùi, H.: Modular invariant theory and the cohomology algebras of the symmetric groups. J. Fac. Sci. Univ. Tokyo IA, 319–369 (1975)

    MathSciNet  MATH  Google Scholar 

  44. Mùi, H.: Homology operations derived from modular coinvariants. Algebraic Topology, Gö ttingen 1984. Lecture Notes in Mathematics, vol. 1172, pp. 85–115. Springer, Berlin (1985)

    Google Scholar 

  45. Nakaoka, M.: Homology of the infinite symmetric group. Ann. Math. 73(2), 229–257 (1961)

    Google Scholar 

  46. Nishida, G.: Cohomology operations in iterated loop spaces. Proc. Jpn. Acad. 44, 104–109 (1968)

    Article  MathSciNet  MATH  Google Scholar 

  47. Pengelley, D.J., Williams, F.: The global structure of odd-primary Dickson algebras as algebras over the Steenrod algebra. Math. Proc. Camb. Philos. Soc. 136(1), 67–73 (2004)

    Google Scholar 

  48. Pengelley, D.J., Peterson, F.P., Williams, F.: A global structure theorem for the mod 2 Dickson algebras, and unstable cyclic modules over the Steenrod and Kudo-Araki-May algebras. Math. Proc. Camb. Philos. Soc. 129(2), 263–275 (2000)

    Google Scholar 

  49. Quillen, D.: The spectrum of an equivariant cohomology ring. I, II. Ann. Math. 94(2), 549–572 (1971); 94(2), 573–602 (1971)

    Google Scholar 

  50. Ravenel, D.C., Wilson, W.S.: The Hopf ring for complex cobordism. J. Pure Appl. Algebra 9(3), 241–280 (1976/1977)

    Google Scholar 

  51. Segal, G.: Configuration-spaces and iterated loop-spaces. Invent. Math. 21, 213–221 (1973)

    Article  MathSciNet  MATH  Google Scholar 

  52. Serre, J.-P.: Homologie singuli ére des espaces fibrés. Ann. Math. 54(2), 425–505 (1951)

    Google Scholar 

  53. Serre, J.-P.: Groupes d’homotopie et classes de groupes abéliens. Ann. Math. 58(2), 258–294 (1953)

    Google Scholar 

  54. Stasheff, J.: Homotopy associativity of \(H\)-spaces. I. Trans. Am. Math. Soc. 108, 275–292 (1963)

    Google Scholar 

  55. Steenrod, N.E.: Products of Cocycles and Extensions of Mappings. Annals of Mathematics. Second Series, vol. 48, pp. 290–320 (1947)

    Google Scholar 

  56. Steenrod, N.E., Epstein, D.B.A.: Cohomology Operations, vol. 50. Princeton University Press, Princeton (1962)

    Google Scholar 

  57. Thom, R.: Quelques propriét és globales des variétés différentiables. Comment. Math. Helv. 28, 17–86 (1954)

    Article  MathSciNet  MATH  Google Scholar 

  58. Turner, P.R.: Dickson coinvariants and the homology of \(QS^{0}\). Math. Z. 224(2), 209–228 (1997)

    Google Scholar 

  59. Wellington, R.J.: The Unstable Adams Spectral Sequence for Free Iterated Loop Spaces. Memoirs A.M.S., vol. 258 (1982)

    Google Scholar 

  60. Whitehead, G.W.: Generalized homology theories. Trans. Am. Math. Soc. 102, 227–283 (1962)

    Article  MathSciNet  MATH  Google Scholar 

  61. Whitehead, G.W.: Fifty years of homotopy theory. Bull. Am. Math. Soc. (N.S.) 8(1), 1–29 (1983)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Nondas E. Kechagias .

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2017 Springer International Publishing AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kechagias, N.E. (2017). Infinite Loop Spaces, Dyer–Lashof Algebra, Cohomology of the Infinite Symmetric Group and Modular Invariants. In: Lambropoulou, S., Theodorou, D., Stefaneas, P., Kauffman, L. (eds) Algebraic Modeling of Topological and Computational Structures and Applications. AlModTopCom 2015. Springer Proceedings in Mathematics & Statistics, vol 219. Springer, Cham. https://doi.org/10.1007/978-3-319-68103-0_10

Download citation

Publish with us

Policies and ethics