Advertisement

Spectral Algebra Models of Unstable \(v_n\)-Periodic Homotopy Theory

  • Mark Behrens
  • Charles RezkEmail author
Conference paper
  • 12 Downloads
Part of the Springer Proceedings in Mathematics & Statistics book series (PROMS, volume 309)

Abstract

We give a survey of a generalization of Quillen–Sullivan rational homotopy theory which gives spectral algebra models of unstable \(v_n\)-periodic homotopy types. In addition to describing and contextualizing our original approach, we sketch two other recent approaches which are of a more conceptual nature, due to Arone-Ching and Heuts. In the process, we also survey many relevant concepts which arise in the study of spectral algebra over operads, including topological André-Quillen cohomology, Koszul duality, and Goodwillie calculus.

Keywords

\(v_n\)-periodic homtopy theory Bousfield–Kuhn functor Topological André-Quillen cohomology 

Notes

Acknowledgements

The authors benefited greatly from conversations with Greg Arone, Michael Ching, Bill Dwyer, Rosona Eldred, Sam Evans, John Francis, John Harper, Gijs Heuts, Mike Hopkins, Nick Kuhn, Jacob Lurie, Mike Mandell, Akhil Mathew, Anibal Medina, Lennart Meier, Luis Alexandre Pereira, and Yifei Zhu. The authors are grateful to Norihiko Minami for encouraging this submission to these conference proceedings, honoring the memory of Tetsusuke Ohkawa. The authors would also like to thank the referee for his/her many useful comments and corrections. Both authors were supported by grants from the NSF.

References

  1. 1.
    Arone, G., Ching, M.: Localized Taylor Towers (in Preparation)Google Scholar
  2. 2.
    Arone, G., Ching, M.: Operads and chain rules for the calculus of functors. Astérisque, no. 338, vi+158 (2011)Google Scholar
  3. 3.
    Arone, G., Ching, M.: A classification of Taylor towers of functors of spaces and spectra. Adv. Math. 272, 471–552 (2015)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Arone, G., Ching, M.: Cross-effects and the classification of Taylor towers. Geom. Topol. 20(3), 1445–1537 (2016)MathSciNetCrossRefGoogle Scholar
  5. 5.
    Ayala, D., Francis, J.: Zero-pointed manifolds. arXiv:1409.2857 (2015)
  6. 6.
    Arone, G., Kankaanrinta, M.: A functorial model for iterated Snaith splitting with applications to calculus of functors. Stable and unstable homotopy (Toronto, ON, 1996), Fields Inst. Commun. Am. Math. Soc. Providence, RI, 19, 1–30 (1998)Google Scholar
  7. 7.
    Arone, G., Kankaanrinta, M.: The sphere operad. Bull. Lond. Math. Soc. 46(1), 126–132 (2014)MathSciNetCrossRefGoogle Scholar
  8. 8.
    Arone, G., Mahowald, M.: The Goodwillie tower of the identity functor and the unstable periodic homotopy of spheres. Invent. Math. 135(3), 743–788 (1999)MathSciNetCrossRefGoogle Scholar
  9. 9.
    Basterra, M.: André-Quillen cohomology of commutative \(S\)-algebras. J. Pure Appl. Algebr. 144(2), 111–143 (1999)MathSciNetCrossRefGoogle Scholar
  10. 10.
    Blomquist, J., Harper, J.: An integral chains analog of Quillen’s rational homotopy theory equivalence. arXiv:1611.04157 (2016)
  11. 11.
    Brantner, L., Heuts, G.: The \(v_n\)-periodic Goodwillie tower on wedges and cofibers. arXiv:1612.02694 (2016)
  12. 12.
    Bauer, K., Johnson, B., McCarthy, R.: Cross effects and calculus in an unbased setting. Trans. Am. Math. Soc. 367(9), 6671–6718 (With an appendix by Rosona Eldred) (2015)Google Scholar
  13. 13.
    Basterra, M., McCarthy, R.: \(\Gamma \)-homology, topological André-Quillen homology and stabilization. Topol. Appl. 121(3), 551–566 (2002)CrossRefGoogle Scholar
  14. 14.
    Basterra, M., Mandell, M.A.: Homology and cohomology of \(E_\infty \) ring spectra. Math. Z. 249(4), 903–944 (2005)MathSciNetCrossRefGoogle Scholar
  15. 15.
    Bruner, R.R., May, J.P., McClure, J.E., Steinberger, M.: \(H_\infty \) Ring Spectra and Their Applications. Lecture Notes in Mathematics, vol. 1176. Springer, Berlin (1986)Google Scholar
  16. 16.
    Bousfield, A.K.: Localization and periodicity in unstable homotopy theory. J. Am. Math. Soc. 7(4), 831–873 (1994)MathSciNetCrossRefGoogle Scholar
  17. 17.
    Bousfield, A.K.: The \(K\)-theory localizations and \(v_1\)-periodic homotopy groups of \(H\)-spaces. Topology 38(6), 1239–1264 (1999)MathSciNetCrossRefGoogle Scholar
  18. 18.
    Bousfield, A.K.: On the telescopic homotopy theory of spaces. Trans. Am. Math. Soc. 353(6), 2391–2426 (2001) (electronic)Google Scholar
  19. 19.
    Bousfield, A.K.: On the 2-primary \(v_1\)-periodic homotopy groups of spaces. Topology 44(2), 381–413 (2005)MathSciNetCrossRefGoogle Scholar
  20. 20.
    Bousfield, A.K.: On the 2-adic \(K\)-localizations of \(H\)-spaces. Homol. Homotopy Appl. 9(1), 331–366 (2007)MathSciNetCrossRefGoogle Scholar
  21. 21.
    Biedermann, G., Röndigs, O.: Calculus of functors and model categories, II. Algebr. Geom. Topol. 14(5), 2853–2913 (2014)MathSciNetCrossRefGoogle Scholar
  22. 22.
    Behrens, M., Rezk, C.: The Bousfield-Kuhn functor and topological André-Quillen cohomology. Available at www.nd.edu/~mbehren1/papers (2015)
  23. 23.
    Brantner, L.: The Lubin-Tate Theory of Spectral Lie Algebras (in Preparation)Google Scholar
  24. 24.
    Ching, M., Harper, J.E.: Derived koszul duality and TQ-homology completion of structured ring spectra. arXiv:1502.06944 (2015)
  25. 25.
    Ching, M.: Koszul duality for modules and comodules over operads of spectra (in Preparation)Google Scholar
  26. 26.
    Ching, M.: Bar constructions for topological operads and the Goodwillie derivatives of the identity. Geom. Topol. 9, 833–933 (2005) (electronic)Google Scholar
  27. 27.
    Clausen, D., Mathew, A.: A short proof of telescopic Tate vanishing. Proc. Am. Math. Soc. (2017) (To appear)Google Scholar
  28. 28.
    Davis, D.M.: From representation theory to homotopy groups. Mem. Am. Math. Soc. 160(759), viii+50 (2002)Google Scholar
  29. 29.
    Dwyer, W.G., Hirschhorn, P.S., Kan, D.M., Smith, J.H.: Homotopy Limit Functors on Model Categories and Homotopical Categories. Mathematical Surveys and Monographs, vol. 113. American Mathematical Society, Providence, RI (2004)Google Scholar
  30. 30.
    Elmendorf, A.D., Kriz, I., Mandell, M.A., May, J.P.: Rings, Modules, and Algebras in Stable Homotopy Theory. Mathematical Surveys and Monographs, vol. 47. American Mathematical Society, Providence, RI, With an appendix by M. Cole (1997)Google Scholar
  31. 31.
    Francis, J., Gaitsgory, D.: Chiral Koszul duality. Selecta Math. (N.S.) 18(1), 27–87 (2012)Google Scholar
  32. 32.
    Fresse, B.: On the homotopy of simplicial algebras over an operad. Trans. Am. Math. Soc. 352(9), 4113–4141 (2000)MathSciNetCrossRefGoogle Scholar
  33. 33.
    Fresse, B.: Koszul duality of operads and homology of partition posets. Homotopy theory: relations with algebraic geometry, group cohomology, and algebraic \(K\)-theory. Contemp. Math. Am. Math. Soc., vol. 346, pp. 115–215, Providence, RI (2004)Google Scholar
  34. 34.
    French, J.: Derived mapping spaces as models for localizations. Ph.D. thesis, M.I.T. (2010)Google Scholar
  35. 35.
    Goerss, P.G., Hopkins, M.J.: André-Quillen (co)-homology for simplicial algebras over simplicial operads, Une dégustation topologique [Topological morsels]: homotopy theory in the Swiss Alps (Arolla, 1999). Contemp. Math. Am. Math. Soc. Providence, RI 265, 41–85 (2000)Google Scholar
  36. 36.
    Getzler, E., Jones, J.D.S.: Operads, homotopy algebra and iterated integrals for double loop spaces. arXiv:hep-th/9403055
  37. 37.
    Ginzburg, V., Kapranov, M.: Koszul duality for operads. Duke Math. J. 76(1), 203–272 (1994)MathSciNetCrossRefGoogle Scholar
  38. 38.
    Greenlees, J.P.C., May, J.P.: Generalized Tate cohomology. Mem. Am. Math. Soc. 113(543), viii+178 (1995)Google Scholar
  39. 39.
    Goerss, P.G.: Simplicial chains over a field and \(p\)-local homotopy theory. Math. Z. 220(4), 523–544 (1995)Google Scholar
  40. 40.
    Goodwillie, T.G.: Calculus. III. Taylor series. Geom. Topol. 7, 645–711 (2003) (electronic)Google Scholar
  41. 41.
    Greenlees, J.P.C., Sadofsky, H.: The Tate spectrum of \(v_n\)-periodic complex oriented theories. Math. Z. 222(3), 391–405 (1996)Google Scholar
  42. 42.
    Harper, J.E.: Bar constructions and Quillen homology of modules over operads. Algebr. Geom. Topol. 10(1), 87–136 (2010)MathSciNetCrossRefGoogle Scholar
  43. 43.
    Hess, K.: A general framework for homotopic descent and codescent. arXiv:1001.1556 (2010)
  44. 44.
    Heuts, G.: Periodicity in unstable homotopy (in Preparation)Google Scholar
  45. 45.
    Heuts, G.: Goodwillie approximations to higher categories. arXiv:1510.03304 (2016)
  46. 46.
    Harper, J.E., Hess, K.: Homotopy completion and topological Quillen homology of structured ring spectra. Geom. Topol. 17(3), 1325–1416 (2013)Google Scholar
  47. 47.
    Hirschhorn, P.S.: Model Categories and Their Localizations. Mathematical Surveys and Monographs, vol. 99. American Mathematical Society, Providence, RI (2003)Google Scholar
  48. 48.
    Hovey, M.: Spectra and symmetric spectra in general model categories. J. Pure Appl. Algebr. 165(1), 63–127 (2001)MathSciNetCrossRefGoogle Scholar
  49. 49.
    Hopkins, M.J., Ravenel, D.C.: Suspension spectra are harmonic. Bol. Soc. Mat. Mexicana (2) 37(1–2), 271–279 (1992) (Papers in honor of José Adem (Spanish))Google Scholar
  50. 50.
    Hovey, M., Sadofsky, H.: Tate cohomology lowers chromatic Bousfield classes. Proc. Am. Math. Soc. 124(11), 3579–3585 (1996)MathSciNetCrossRefGoogle Scholar
  51. 51.
    Hopkins, M.J., Smith, J.H.: Nilpotence and stable homotopy theory. II Ann. Math. (2) 148(1), 1–49 (1998)Google Scholar
  52. 52.
    Hess, K., Shipley, B.: The homotopy theory of coalgebras over a comonad. Proc. Lond. Math. Soc. (3) 108(2), 484–516 (2014)Google Scholar
  53. 53.
    Johnson, B.: The derivatives of homotopy theory. Trans. Am. Math. Soc. 347(4), 1295–1321 (1995)MathSciNetCrossRefGoogle Scholar
  54. 54.
    Klein, J.R.: Moduli of suspension spectra. Trans. Am. Math. Soc. 357(2), 489–507 (2005)MathSciNetCrossRefGoogle Scholar
  55. 55.
    Kuhn, N.J., Pereira, L.A.: Operad bimodules and composition products on André-Quillen filtrations of algebras. Algebr. Geom. Topol. 17(2), 1105–1130 (2017)Google Scholar
  56. 56.
    Kříž, I.: \(p\)-adic homotopy theory. Topol. Appl. 52(3), 279–308 (1993)MathSciNetCrossRefGoogle Scholar
  57. 57.
    Kuhn, N.J.: The McCord model for the tensor product of a space and a commutative ring spectrum. Categorical decomposition techniques in algebraic topology (Isle of Skye, 2001). Progr. Math. Birkhäuser, Basel 215, 213–236 (2004)Google Scholar
  58. 58.
    Kuhn, N.J.: Tate cohomology and periodic localization of polynomial functors. Invent. Math. 157(2), 345–370 (2004)MathSciNetCrossRefGoogle Scholar
  59. 59.
    Kuhn, N.J.: Localization of André-Quillen-Goodwillie towers, and the periodic homology of infinite loopspaces. Adv. Math. 201(2), 318–378 (2006)MathSciNetCrossRefGoogle Scholar
  60. 60.
    Kuhn, N.J.: Goodwillie towers and chromatic homotopy: an overview. In: Proceedings of the Nishida Fest (Kinosaki 2003). Geom. Topol. Monogr., vol. 10, Geom. Topol. Publ., Coventry, pp. 245–279 (2007)Google Scholar
  61. 61.
    Kuhn, N.J.: A guide to telescopic functors. Homol. Homotopy Appl. 10(3), 291–319 (2008)Google Scholar
  62. 62.
    Lunøe-Nielsen, S., Rognes, J.: The topological Singer construction. Doc. Math. 17, 861–909 (2012)MathSciNetzbMATHGoogle Scholar
  63. 63.
    Lurie, J.: Higher algebra. Available at www.math.harvard.edu/~lurie/ (2016)
  64. 64.
    Mahowald, M.: \(b{\rm o}\)-resolutions. Pac. J. Math. 92(2), 365–383 (1981)CrossRefGoogle Scholar
  65. 65.
    Mahowald, M.: The image of \(J\) in the \(EHP\) sequence. Ann. Math. (2) 116(1), 65–112 (1982)Google Scholar
  66. 66.
    Mandell, M.A.: \(E_\infty \) algebras and \(p\)-adic homotopy theory. Topology 40(1), 43–94 (2001)MathSciNetCrossRefGoogle Scholar
  67. 67.
    Mandell, M.A.: Cochains and homotopy type. Publ. Math. Inst. Hautes Études Sci. no. 103, 213–246 (2006)Google Scholar
  68. 68.
    McCarthy, R.: Dual calculus for functors to spectra. Homotopy methods in algebraic topology (Boulder, CO, 1999). Contemp. Math. Am. Math. Soc. Providence, RI 271, 183–215 (2001)Google Scholar
  69. 69.
    Medina, A.: \({E}_\infty \)-comodules and topological manifoldsGoogle Scholar
  70. 70.
    Miller, H.R.: On relations between Adams spectral sequences, with an application to the stable homotopy of a Moore space. J. Pure Appl. Algebr. 20(3), 287–312 (1981)MathSciNetCrossRefGoogle Scholar
  71. 71.
    Mahowald, M., Ravenel, D., Shick, P.: The triple loop space approach to the telescope conjecture. Homotopy methods in algebraic topology (Boulder, CO, 1999). Contemp. Math. Am. Math. Soc. Providence, RI, 271, 217–284 (2001)Google Scholar
  72. 72.
    Mahowald, M., Shick, P.: Root invariants and periodicity in stable homotopy theory. Bull. Lond. Math. Soc. 20(3), 262–266 (1988)MathSciNetCrossRefGoogle Scholar
  73. 73.
    Markl, M., Shnider, S., Stasheff, J.: Operads in Algebra, Topology and Physics. Mathematical Surveys and Monographs, vol. 96. American Mathematical Society, Providence, RI (2002)Google Scholar
  74. 74.
    Pereira, L.A.: A general context for goodwillie calculus. arXiv:1301.2832 (2013)
  75. 75.
    Pereira, L.A.: Goodwillie calculus in algebras over a spectral operad. Available at http://www.faculty.virginia.edu/luisalex/research (2015)
  76. 76.
    Pereira, L.A.: Cofibrancy of operadic constructions in positive symmetric spectra. Homol. Homotopy Appl. 18(2), 133–168 (2016)Google Scholar
  77. 77.
    Petrie, T.: The weakly complex bordism of Lie groups. Ann. Math. (2) 88, 371–402 (1968)Google Scholar
  78. 78.
    Priddy, S.B.: Koszul resolutions. Trans. Am. Math. Soc. 152, 39–60 (1970)MathSciNetCrossRefGoogle Scholar
  79. 79.
    Quillen, D.G.: Homotopical Algebra. Lecture Notes in Mathematics, No. 43. Springer, Berlin (1967)Google Scholar
  80. 80.
    Quillen, D.: Rational homotopy theory. Ann. Math. (2) 90, 205–295 (1969)Google Scholar
  81. 81.
    Ravenel, D.C.: Localization with respect to certain periodic homology theories. Am. J. Math. 106(2), 351–414 (1984)MathSciNetCrossRefGoogle Scholar
  82. 82.
    Rezk, C.: Power operations for Morava E-theory of height 2 at the prime 2. arXiv:0812.1320 (2008)
  83. 83.
    Rezk, C.: The congruence criterion for power operations in Morava \(E\)-theory. Homol. Homotopy Appl. 11(2), 327–379 (2009)MathSciNetCrossRefGoogle Scholar
  84. 84.
    Rezk, C.: Modular isogeny complexes. Algebr. Geom. Topol. 12(3), 1373–1403 (2012)MathSciNetCrossRefGoogle Scholar
  85. 85.
    Rezk, C.: Rings of power operations for Morava E-theories are Koszul. arXiv:1204.4831 (2012)
  86. 86.
    Schwede, S.: Spectra in model categories and applications to the algebraic cotangent complex. J. Pure Appl. Algebr. 120(1), 77–104 (1997)MathSciNetCrossRefGoogle Scholar
  87. 87.
    Schlessinger, M., Stasheff, J.: The Lie algebra structure of tangent cohomology and deformation theory. J. Pure Appl. Algebr. 38(2–3), 313–322 (1985)MathSciNetCrossRefGoogle Scholar
  88. 88.
    Strickland, N.P.: Morava \(E\)-theory of symmetric groups. Topology 37(4), 757–779 (1998)MathSciNetCrossRefGoogle Scholar
  89. 89.
    Sullivan, D.: Infinitesimal computations in topology. Inst. Hautes Études Sci. Publ. Math. (1977), no. 47, 269–331 (1978)Google Scholar
  90. 90.
    Thompson, R.D.: The \(v_1\)-periodic homotopy groups of an unstable sphere at odd primes. Trans. Am. Math. Soc. 319(2), 535–559 (1990)MathSciNetzbMATHGoogle Scholar
  91. 91.
    Wang, G.: The monochromatic HOPF invariant. arXiv:1410.7292 (2014)
  92. 92.
    Wang, G.: Unstable chromatic homotopy theory. Ph.D. thesis, M.I.T. (2015)Google Scholar
  93. 93.
    Weiss, M.: Orthogonal calculus. Trans. Am. Math. Soc. 347(10), 3743–3796 (1995) MathSciNetCrossRefGoogle Scholar
  94. 94.
    Zhu, Y.: Morava E-homology of Bousfield-Kuhn functors on odd-dimensional spheres (preprint)Google Scholar
  95. 95.
    Zhu, Y.: Modular equations for Lubin-Tate formal groups at chromatic level 2. arXiv:1508.03358 (2015)

Copyright information

© Springer Nature Singapore Pte Ltd. 2020

Authors and Affiliations

  1. 1.Department of MathematicsUniversity of Notre DameNotre DameUSA
  2. 2.Department of MathematicsUniversity of Illinois at Urbana-ChampaignUrbanaUSA

Personalised recommendations