## Algebraic & Geometric Topology

### Completed power operations for Morava $E$–theory

#### 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
Revised: 16 October 2014
Accepted: 24 November 2014
First available in Project Euclid: 16 November 2017

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

#### 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

#### 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