The T–algebra spectral sequence: Comparisons and applications

Noel, Justin¹

¹University of Regensburg, NWF I - Mathematik, Universitätsstr. 31, 93040 Regensburg, Germany

Algebraic and Geometric Topology, Tome 14 (2014) no. 6, pp. 3395-3417

Résumé

In previous work with Niles Johnson the author constructed a spectral sequence for computing homotopy groups of spaces of maps between structured objects such as G–spaces and ℰn–ring spectra. In this paper we study special cases of this spectral sequence in detail. Under certain assumptions, we show that the Goerss–Hopkins spectral sequence and the T–algebra spectral sequence agree. Under further assumptions, we can apply a variation of an argument due to Jennifer French and show that these spectral sequences agree with the unstable Adams spectral sequence.

From these equivalences we obtain information about the filtration and differentials. Using these equivalences we construct the homological and cohomological Bockstein spectral sequences topologically. We apply these spectral sequences to show that Hirzebruch genera can be lifted to ℰ∞–ring maps and that the forgetful functor from ℰ∞–algebras in HF ̄p–modules to H∞–algebras is neither full nor faithful.

Détail

DOI : 10.2140/agt.2014.14.3395

Classification : 55P99, 55S35, 13D03, 18C15
Keywords: spectral sequence, orientations, structured ring spectra, power operations, rational homotopy theory, unstable homotopy theory

Bibliographie

[1] M Ando, M Hopkins, C Rezk, Multiplicative orientations of $\mathrm{KO}$–theory and of the spectrum of topological modular forms

[2] C Berger, Combinatorial models for real configuration spaces and $E_n$–operads, from: "Operads: Proceedings of Renaissance Conferences" (editors J L Loday, J D Stasheff, A A Voronov), Contemp. Math. 202, Amer. Math. Soc. (1997) 37

[3] A K Bousfield, Homotopy spectral sequences and obstructions, Israel J. Math. 66 (1989) 54

[4] A K Bousfield, Cosimplicial resolutions and homotopy spectral sequences in model categories, Geom. Topol. 7 (2003) 1001

[5] A K Bousfield, D M Kan, Homotopy limits, completions and localizations, Lecture Notes in Math. 304, Springer (1972)

[6] A K Bousfield, D M Kan, Pairings and products in the homotopy spectral sequence, Trans. Amer. Math. Soc. 177 (1973) 319

[7] A K Bousfield, D M Kan, A second quadrant homotopy spectral sequence, Trans. Amer. Math. Soc. 177 (1973) 305

[8] R R Bruner, J P May, J E Mcclure, M Steinberger, $H_\infty $ ring spectra and their applications, Lecture Notes in Math. 1176, Springer (1986)

[9] F R Cohen, T J Lada, J P May, The homology of iterated loop spaces, Lecture Notes in Math. 533, Springer (1976)

[10] J E French, A comparison of spectral sequences computing unstable homotopy groups of $p$–complete, nilpotent spaces,

[11] J E French, Derived mapping spaces as models for localizations, PhD thesis, Mass. Inst. of Tech. (2010)

[12] P G Goerss, M J Hopkins, Moduli spaces of commutative ring spectra, from: "Structured ring spectra" (editors A Baker, B Richter), London Math. Soc. Lecture Note Ser. 315, Cambridge Univ. Press (2004) 151

[13] P G Goerss, K Schemmerhorn, Model categories and simplicial methods, from: "Interactions between homotopy theory and algebra" (editors L L Avramov, J D Christensen, W G Dwyer, M A Mandell, B E Shipley), Contemp. Math. 436, Amer. Math. Soc. (2007) 3

[14] V K A M Gugenheim, J P May, On the theory and applications of differential torsion products, Memoirs Amer. Math. Soc. 142, Amer. Math. Soc. (1974)

[15] N Johnson, J Noel, Lifting homotopy $T$–algebra maps to strict maps, Adv. Math. 264 (2014) 593

[16] N J Kuhn, Mapping spaces and homology isomorphisms, Proc. Amer. Math. Soc. 134 (2006) 1237

[17] L G Lewis Jr., J P May, M Steinberger, J E Mcclure, Equivariant stable homotopy theory, Lecture Notes in Math. 1213, Springer (1986)

[18] J Lurie, Higher topos theory, Annals of Math. Studies 170, Princeton Univ. Press (2009)

[19] M A Mandell, $E_\infty$ algebras and $p$–adic homotopy theory, Topology 40 (2001) 43

[20] J P May, A general algebraic approach to Steenrod operations, from: "The Steenrod Algebra and its Applications", Lecture Notes in Math. 168, Springer (1970) 153

[21] J P May, $E_{\infty}$ ring spaces and $E_{\infty}$ ring spectra, Lecture Notes in Math. 577, Springer (1977) 268

[22] H Miller, The Sullivan conjecture on maps from classifying spaces, Ann. of Math. 120 (1984) 39

[23] J W Milnor, J C Moore, On the structure of Hopf algebras, Ann. of Math. 81 (1965) 211

[24] J W Milnor, J D Stasheff, Characteristic classes, Annals of Math. Studies 76, Princeton Univ. Press (1974)

[25] D G Quillen, Homotopical algebra, Lecture Notes in Math. 43, Springer (1967)

[26] D Quillen, On the (co)homology of commutative rings, from: "Applications of Categorical Algebra", Amer. Math. Soc. (1970) 65

[27] L Schwartz, Unstable modules over the Steenrod algebra and Sullivan's fixed point set conjecture, Chicago Lectures in Math., University of Chicago Press (1994)

[28] S Schwede, The stable homotopy category has a unique model at the prime $2$, Adv. Math. 164 (2001) 24

[29] J H Smith, Simplicial group models for $\Omega^n S^n X$, Israel J. Math. 66 (1989) 330