Algebraic & Geometric Topology

Completed power operations for Morava $E$–theory

Tobias Barthel and Martin Frankland

Full-text: Access denied (no subscription detected)

However, an active subscription may be available with MSP at msp.org/agt.

We're sorry, but we are unable to provide you with the full text of this article because we are not able to identify you as a subscriber. If you have a personal subscription to this journal, then please login. If you are already logged in, then you may need to update your profile to register your subscription. Read more about accessing full-text

Abstract

We construct and study an algebraic theory which closely approximates the theory of power operations for Morava E–theory, extending previous work of Charles Rezk in a way that takes completions into account. These algebraic structures are made explicit in the case of K–theory. Methodologically, we emphasize the utility of flat modules in this context, and prove a general version of Lazard’s flatness criterion for module spectra over associative ring spectra.

Article information

Source
Algebr. Geom. Topol., Volume 15, Number 4 (2015), 2065-2131.

Dates
Received: 7 March 2014
Revised: 16 October 2014
Accepted: 24 November 2014
First available in Project Euclid: 16 November 2017

Permanent link to this document
https://projecteuclid.org/euclid.agt/1510840998

Digital Object Identifier
doi:10.2140/agt.2015.15.2065

Mathematical Reviews number (MathSciNet)
MR3402336

Zentralblatt MATH identifier
1326.55018

Subjects
Primary: 55S25: $K$-theory operations and generalized cohomology operations [See also 19D55, 19Lxx]
Secondary: 55S12: Dyer-Lashof operations 13B35: Completion [See also 13J10]

Keywords
power operation Morava $E$–theory Dyer–Lashof completion $L$–complete

Citation

Barthel, Tobias; Frankland, Martin. Completed power operations for Morava $E$–theory. Algebr. Geom. Topol. 15 (2015), no. 4, 2065--2131. doi:10.2140/agt.2015.15.2065. https://projecteuclid.org/euclid.agt/1510840998


Export citation

References

  • J Adámek, J Rosický, E,M Vitale, What are sifted colimits?, Theory Appl. Categ. 23 (2010) 251–260
  • J Adámek, J Rosický, E,M Vitale, Algebraic theories, Cambridge Tracts in Math. 184, Cambridge Univ. Press (2011)
  • M Ando, Notes on formal groups, unpublished notes based on a course taught by Michael Hopkins at MIT in the spring of 1990
  • M Ando, Isogenies of formal group laws and power operations in the cohomology theories $E\sb n$, Duke Math. J. 79 (1995) 423–485
  • A Baker, $L$–complete Hopf algebroids and their comodules, from: “Alpine perspectives on algebraic topology”, (C Ausoni, K Hess, J Scherer, editors), Contemp. Math. 504, Amer. Math. Soc. (2009) 1–22
  • M Behrens, C Rezk, The Bousfield–Kuhn functor and topological André–Quillen cohomology (2012) preprint Available at \setbox0\makeatletter\@url http://math.mit.edu/~mbehrens/papers/BKTAQ4.pdf {\unhbox0
  • J Borger, B Wieland, Plethystic algebra, Advances Math. 194 (2005) 246–283
  • A,K Bousfield, On $\lambda$–rings and the $K\!$–theory of infinite loop spaces, $K\!$–Theory 10 (1996) 1–30
  • A,K Bousfield, D,M Kan, Homotopy limits, completions and localizations, Lecture Notes in Math. 304, Springer, Berlin (1972)
  • R,R Bruner, J,P May, J,E McClure, M Steinberger, $H\sb \infty $ ring spectra and their applications, Lecture Notes in Math. 1176, Springer, Berlin (1986)
  • M Demazure, Lectures on $p$–divisible groups, Lecture Notes in Mathematics 302, Springer, Berlin (1986)
  • A,D Elmendorf, I Kriz, M,A Mandell, J,P May, Rings, modules and algebras in stable homotopy theory, Math. Surveys and Monographs 47, Amer. Math. Soc. (1997)
  • P,G Goerss, H-W Henn, M Mahowald, C Rezk, A resolution of the $K(2)$–local sphere at the prime $3$, Ann. of Math. 162 (2005) 777–822
  • P,G Goerss, M,J Hopkins, André–Quillen (co)homology for simplicial algebras over simplicial operads, from: “Une dégustation topologique (Topological morsels): Homotopy theory in the Swiss Alps”, (D Arlettaz, K Hess, editors), Contemp. Math. 265, Amer. Math. Soc. (2000) 41–85
  • P,G Goerss, M,J Hopkins, Moduli spaces of commutative ring spectra, from: “Structured ring spectra”, (A Baker, B Richter, editors), London Math. Soc. Lecture Note Ser. 315, Cambridge Univ. Press (2004) 151–200
  • J,P,C Greenlees, J,P May, Derived functors of $I$–adic completion and local homology, J. Algebra 149 (1992) 438–453
  • M,J Hopkins, $K(1)$–local $E_\infty$–ring spectra, from: “Topological modular forms”, Math. Surveys Monogr. 201, Amer. Math. Soc. (2014) 287–302
  • M,J Hopkins, M Mahowald, H Sadofsky, Constructions of elements in Picard groups, from: “Topology and representation theory”, (E,M Friedlander, M,E Mahowald, editors), Contemp. Math. 158, Amer. Math. Soc. (1994) 89–126
  • M,J Hopkins, J,H Smith, Nilpotence and stable homotopy theory, II, Ann. of Math. 148 (1998) 1–49
  • M Hovey, Some spectral sequences in Morava $E$–theory (2004) Available at \setbox0\makeatletter\@url http://mhovey.web.wesleyan.edu/papers/morava-E-SS.pdf {\unhbox0
  • M Hovey, Morava $E$–theory of filtered colimits, Trans. Amer. Math. Soc. 360 (2008) 369–382
  • M Hovey, N,P Strickland, Morava $K$–theories and localisation, Mem. Amer. Math. Soc. 139, Amer. Math. Soc. (1999)
  • A Joyal, Quasi-categories and Kan complexes, J. Pure Appl. Algebra 175 (2002) 207–222
  • G Laures, An $E\sb \infty$ splitting of spin bordism, Amer. J. Math. 125 (2003) 977–1027
  • J Lurie, Higher topos theory, Annals of Math. Studies 170, Princeton Univ. Press (2009)
  • J Lurie, Higher algebra (2014) Available at \setbox0\makeatletter\@url http://www.math.harvard.edu/~lurie/papers/higheralgebra.pdf {\unhbox0
  • S Mac Lane, Categories for the working mathematician, 2nd edition, Graduate Texts in Math. 5, Springer, New York (1998)
  • C Rezk, Power operations for Morava $E$–theory of height $2$ at the prime $2$
  • C Rezk, Rings of power operations for Morava $E$–theories are Koszul
  • C Rezk, The congruence criterion for power operations in Morava $E$–theory, Homology, Homotopy Appl. 11 (2009) 327–379
  • C Rezk, Analytic completion (2013) Available at \setbox0\makeatletter\@url http://www.math.uiuc.edu/~rezk/analytic-paper.pdf {\unhbox0
  • C Rezk, Power operations in Morava $E$–theory: Structure and calculations (2013) Available at \setbox0\makeatletter\@url http://www.math.uiuc.edu/~rezk/power-ops-ht-2.pdf {\unhbox0
  • B Richter, An Atiyah–Hirzebruch spectral sequence for topological André–Quillen homology, J. Pure Appl. Algebra 171 (2002) 59–66
  • E Riehl, Categorical homotopy theory, New Math. Monographs 24, Cambridge Univ. Press (2014)
  • A Salch, Approximation of subcategories by abelian subcategories (2010)
  • Stacks project (2014) Available at \setbox0\makeatletter\@url http://stacks.math.columbia.edu {\unhbox0
  • N,P Strickland, Morava $E$–theory of symmetric groups, Topology 37 (1998) 757–779
  • N,P Strickland, Gross–Hopkins duality, Topology 39 (2000) 1021–1033
  • G Valenzuela, Homological algebra of complete and torsion modules, PhD thesis, Wesleyan University (2015)
  • D Yau, Lambda-rings, World Scientific, Hackensack, NJ (2010)
  • A Yekutieli, On flatness and completion for infinitely generated modules over Noetherian rings, Comm. Algebra 39 (2011) 4221–4245
  • Y Zhu, The power operation structure on Morava $E$–theory of height $2$ at the prime $3$, Algebr. Geom. Topol. 14 (2014) 953–977