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.
Similar content being viewed by others
References
Adams, J.F.: Infinite Loop Spaces. Annals of Mathematics Studies, vol. 90. Princeton University Press, Princeton (1978) (University of Tokyo Press, Tokyo)
Adem, A., Milgram, R.J.: Cohomology of Finite Groups. Grundlehren der Mathematischen Wissenschaften, vol. 309, p. viii+327. Springer, Berlin (1994)
Adem, A., Maginnis, J.S., Milgram, R.J.: Symmetric invariants and cohomology of groups. Mathematische Annalen 287, 391–411 (1990)
Barratt, M., Priddy, S.: On the homology of non-connected monoids and their associated groups. Comment. Math. Helv. 47, 1–14 (1972)
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
Bousfield, A.K., Kan, D.M.: The homotopy spectral sequence of a space with coefficients in a ring. Topology 11, 79–106 (1972)
Browder, W.: Homology operations and loop spaces. Ill. J. Math. 4, 347–357 (1960)
Brown, E.H.: Cohomology theories. Ann. Math 75(2), 467–484 (1962)
Chon, P.H.: Modular coinvariants and the \({mod}\) \(p\) homology of \(QS^{k}\). Proc. Lond. Math. Soc 112(3) (2016); no. 2, 351–374
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
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)
Dyer, E., Lashof, R.K.: Homology of iterated loop spaces. Am. J. Math. 84, 35–88 (1962)
Eilenberg, S., MacLane, S.: Relations between homology and homotopy groups of spaces. Ann. Math. 46(2), 480–509 (1945)
Feshbach, M.: The \({mod}2\) cohomology rings of the symmetric groups and invariants. Topology 41(1), 57–84 (2002)
Giusti, G., Salvatore, P., Sinha, D.: The \({mod}2\) cohomology rings of symmetric groups. J. Topol. 5(1), 169–198 (2012)
Hovey, M.: Model Categories. Mathematical Surveys and Monographs, vol. 63, p. 213. A. M. S., Oxford (1999)
Hung, N.H.V.: The \({mod} 2 \) cohomology algebras of symmetric groups. Jpn. J. Math. (N.S.) 13(1), 169–208 (1987)
Hung, N.H.V.: The homomorphisms between the Dickson-Mui algebras as modules over the Steenrod algebra. Math. Ann. 353(3), 827–866 (2012)
Jardine, J.F.: Representability theorems for presheaves of spectra. J. Pure Appl. Algebra 215(1), 77–88 (2011)
Kan, D.M.: Adjoint functors. Trans. Am. Math. Soc. 87, 294–329 (1958)
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)
Kechagias, N.E.: Extended Dyer-Lashof algebras and modular coinvariants. Manuscripta Math. 84(3–4), 261–290 (1994)
Kechagias, N.E.: A Steenrod-Milnor action ordering on Dickson invariants (2008), 16 pp
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)
Kechagias, N.E.: The component Dyer-Lashof coalgebras as subcoalgebras of free unstable coalgebras. J. Pure Appl. Algebra 219(4), 839–863 (2015)
Kudo, T., Araki, S.: On \( H_{\ast }(\Omega N(S^{n});{\mathbb{F}}_2)\). Proc. Jpn. Acad. 32, 333–335 (1956)
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)
Lima, E.L.: The Spanier-Whitehead duality in new homotopy categories. Summa Brasil. Math. 4(1959), 91–148 (1959)
Madsen, I.: On the action of the Dyer-Lashof algebra in \(H_{\ast }(G)\). Pac. J. Math. 60(1), 235–275 (1975)
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)
May, J.P.: Some remarks on the structure of Hopf algebras. Proc. A. M. S. 23(3), 708–713 (1969)
May, J.P.: Categories of Spectra and Infinite Loop Spaces. Lecture Notes in Mathematics, vol. 99, pp. 448–479. Springer, Berlin (1969)
May, J.P.: The Geometry of Iterated Loop Spaces. Lectures Notes in Mathematics, vol. 271. Springer, Berlin (1972), viii+175 pp
May, J.P., Thomason, R.: The uniqueness of infinite loop space machines. Topology 17(3), 205–224 (1978)
Milgram, R.J.: Iterated loop spaces. Ann. Math. 84(2), 386–403 (1966)
Milgram, R.J.: The \({mod}2\) spherical characteristic classes. Ann. Math. 92(2), 238–261 (1970)
Milnor, J.: Construction of universal bundles. II. Ann. Math. 63(2), 430–436 (1956)
Milnor, J.: The Steenrod algebra and its dual. Ann. Math. 67(2), 150–171 (1958)
Milnor, J.: On the cobordism ring \( \Omega ^{\ast }\) and a complex analogue. I. Am. J. Math. 82, 505–521 (1960)
Milnor, J.: On axiomatic homology theory. Pac. J. Math. 12, 337–341 (1962)
Milnor, J.W., Moore, J.C.: On the structure of Hopf algebras. Ann. Math. 81, 211–264 (1965)
Mosher, R.E., Tangora, M.C.: Cohomology Operations and Applications in Homotopy Theory. Harper & Row, Publishers, New York (1968), x+214 pp
Mùi, H.: Modular invariant theory and the cohomology algebras of the symmetric groups. J. Fac. Sci. Univ. Tokyo IA, 319–369 (1975)
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)
Nakaoka, M.: Homology of the infinite symmetric group. Ann. Math. 73(2), 229–257 (1961)
Nishida, G.: Cohomology operations in iterated loop spaces. Proc. Jpn. Acad. 44, 104–109 (1968)
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)
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)
Quillen, D.: The spectrum of an equivariant cohomology ring. I, II. Ann. Math. 94(2), 549–572 (1971); 94(2), 573–602 (1971)
Ravenel, D.C., Wilson, W.S.: The Hopf ring for complex cobordism. J. Pure Appl. Algebra 9(3), 241–280 (1976/1977)
Segal, G.: Configuration-spaces and iterated loop-spaces. Invent. Math. 21, 213–221 (1973)
Serre, J.-P.: Homologie singuli ére des espaces fibrés. Ann. Math. 54(2), 425–505 (1951)
Serre, J.-P.: Groupes d’homotopie et classes de groupes abéliens. Ann. Math. 58(2), 258–294 (1953)
Stasheff, J.: Homotopy associativity of \(H\)-spaces. I. Trans. Am. Math. Soc. 108, 275–292 (1963)
Steenrod, N.E.: Products of Cocycles and Extensions of Mappings. Annals of Mathematics. Second Series, vol. 48, pp. 290–320 (1947)
Steenrod, N.E., Epstein, D.B.A.: Cohomology Operations, vol. 50. Princeton University Press, Princeton (1962)
Thom, R.: Quelques propriét és globales des variétés différentiables. Comment. Math. Helv. 28, 17–86 (1954)
Turner, P.R.: Dickson coinvariants and the homology of \(QS^{0}\). Math. Z. 224(2), 209–228 (1997)
Wellington, R.J.: The Unstable Adams Spectral Sequence for Free Iterated Loop Spaces. Memoirs A.M.S., vol. 258 (1982)
Whitehead, G.W.: Generalized homology theories. Trans. Am. Math. Soc. 102, 227–283 (1962)
Whitehead, G.W.: Fifty years of homotopy theory. Bull. Am. Math. Soc. (N.S.) 8(1), 1–29 (1983)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
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
DOI: https://doi.org/10.1007/978-3-319-68103-0_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-68102-3
Online ISBN: 978-3-319-68103-0
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)