## Algebraic & Geometric Topology

### The mod 2 homology of infinite loopspaces

#### Abstract

Applying mod 2 homology to the Goodwillie tower of the functor sending a spectrum $X$ to the suspension spectrum of its $0th$ space, leads to a spectral sequence for computing $H∗(Ω∞X;ℤ∕2)$, which converges strongly when $X$ is 0–connected. The $E1$ term is the homology of the extended powers of $X$, and thus is a well known functor of $H∗(X;ℤ∕2)$, including structure as a bigraded Hopf algebra, a right module over the mod 2 Steenrod algebra $A$, and a left module over the Dyer–Lashof operations. This paper is an investigation of how this structure is transformed through the spectral sequence.

Hopf algebra considerations show that all pages of the spectral sequence are primitively generated, with primitives equal to a subquotient of the primitives in $E1$.

We use an operad action on the tower, and the Tate construction, to determine how Dyer–Lashof operations act on the spectral sequence. In particular, $E∞$ has Dyer–Lashof operations induced from those on $E1$.

We use our spectral sequence Dyer–Lashof operations to determine differentials that hold for any spectrum $X$. The formulae for these universal differentials then lead us to construct an algebraic spectral sequence depending functorially on an $A$–module $M$. The topological spectral sequence for $X$ agrees with the algebraic spectral sequence for $H∗(X;ℤ∕2)$ for many spectra $X$, including suspension spectra and almost all Eilenberg–Mac Lane spectra. The $E∞$ term of the algebraic spectral sequence has form and structure similar to $E1$, but now the right $A$–module structure is unstable. Our explicit formula involves the derived functors of destabilization as studied in the 1980’s by W Singer, J Lannes and S Zarati, and P Goerss.

#### Article information

Source
Algebr. Geom. Topol., Volume 13, Number 2 (2013), 687-745.

Dates
Revised: 1 October 2012
Accepted: 30 October 2012
First available in Project Euclid: 19 December 2017

https://projecteuclid.org/euclid.agt/1513715537

Digital Object Identifier
doi:10.2140/agt.2013.13.687

Mathematical Reviews number (MathSciNet)
MR3044591

Zentralblatt MATH identifier
1333.55008

#### Citation

Kuhn, Nicholas; McCarty, Jason. The mod 2 homology of infinite loopspaces. Algebr. Geom. Topol. 13 (2013), no. 2, 687--745. doi:10.2140/agt.2013.13.687. https://projecteuclid.org/euclid.agt/1513715537

#### References

• A Adem, R L Cohen, W G Dwyer, Generalized Tate homology, homotopy fixed points and the transfer, from: “Algebraic topology”, (M Mahowald, S Priddy, editors), Contemp. Math. 96, Amer. Math. Soc., Providence, RI (1989) 1–13
• S T Ahearn, N J Kuhn, Product and other fine structure in polynomial resolutions of mapping spaces, Algebr. Geom. Topol. 2 (2002) 591–647
• G Arone, A generalization of Snaith-type filtration, Trans. Amer. Math. Soc. 351 (1999) 1123–1150
• A K Bousfield, E B Curtis, D M Kan, D G Quillen, D L Rector, J W Schlesinger, The mod–$p$ lower central series and the Adams spectral sequence, Topology 5 (1966) 331–342
• W Browder, On differential Hopf algebras, Trans. Amer. Math. Soc. 107 (1963) 153–176
• E H Brown, Jr, S Gitler, A spectrum whose cohomology is a certain cyclic module over the Steenrod algebra, Topology 12 (1973) 283–295
• R R Bruner, J P May, J E McClure, M Steinberger, $H\sb \infty$ ring spectra and their applications, Lecture Notes in Mathematics 1176, Springer, Berlin (1986)
• F R Cohen, T J Lada, J P May, The homology of iterated loop spaces, Lecture Notes in Mathematics 533, Springer, Berlin (1976)
• A D Elmendorf, I Kriz, M A Mandell, J P May, Rings, modules, and algebras in stable homotopy theory, Mathematical Surveys and Monographs 47, American Mathematical Society (1997)
• P Gabriel, Des catégories abéliennes, Bull. Soc. Math. France 90 (1962) 323–448
• P G Goerss, Unstable projectives and stable ${\rm Ext}$: with applications, Proc. London Math. Soc. 53 (1986) 539–561
• T G Goodwillie, Calculus III: Taylor series, Geom. Topol. 7 (2003) 645–711
• J P C Greenlees, J P May, Generalized Tate cohomology, Mem. Amer. Math. Soc. 113 (1995) viii+178
• D J Hunter, N J Kuhn, Characterizations of spectra with $U$-injective cohomology which satisfy the Brown–Gitler property, Trans. Amer. Math. Soc. 352 (2000) 1171–1190
• N J Kuhn, Chevalley group theory and the transfer in the homology of symmetric groups, Topology 24 (1985) 247–264
• N J Kuhn, Tate cohomology and periodic localization of polynomial functors, Invent. Math. 157 (2004) 345–370
• N J Kuhn, Topological nonrealization results via the Goodwillie tower approach to iterated loopspace homology, Algebr. Geom. Topol. 10 (2010) 531–533
• N J Kuhn, The mod 2 homology of infinite loopspaces, Oberwolfach Reports 8 (2011) 2660–2663
• J Lannes, S Zarati, Invariants de Hopf d'ordre supérieur et suite spectrale d'Adams, preprint École Polytechnique, mid-1980's
• J Lannes, S Zarati, Sur les foncteurs dérivés de la déstabilisation, Math. Z. 194 (1987) 25–59
• L G Lewis, Jr, J P May, M Steinberger, J E McClure, Equivariant stable homotopy theory, Lecture Notes in Mathematics 1213, Springer, Berlin (1986)
• J P May, The geometry of iterated loop spaces, Lectures Notes in Mathematics 271, Springer, Berlin (1972)
• R McCarthy, Dual calculus for functors to spectra, from: “Homotopy methods in algebraic topology”, (J P C Greenlees, R R Bruner, N J Kuhn, editors), Contemp. Math. 271, Amer. Math. Soc., Providence, RI (2001) 183–215
• J W Milnor, J C Moore, On the structure of Hopf algebras, Ann. of Math. 81 (1965) 211–264
• G M L Powell, On the derived functors of destabilization at odd primes
• L Schwartz, Unstable modules over the Steenrod algebra and Sullivan's fixed point set conjecture, Chicago Lectures in Mathematics, University of Chicago Press (1994)
• W M Singer, Iterated loop functors and the homology of the Steenrod algebra, II: a chain complex for $\Omega \sp{k}\sb{s}M$, J. Pure Appl. Algebra 16 (1980) 85–97
• H Toda, Order of the identity class of a suspension space, Ann. of Math. 78 (1963) 300–325
• C A Weibel, An introduction to homological algebra, Cambridge Studies in Advanced Mathematics 38, Cambridge Univ. Press (1994)
• A Zomorodian, G Carlsson, Computing persistent homology, Discrete Comput. Geom. 33 (2005) 249–274