Commutative ring objects in pro-categories and generalized Moore spectra
type: Item
instance of: scholarly article
title: Commutative ring objects in pro-categories and generalized Moore spectra
zbMATH Open document ID: 1339.55011
author: Daniel G. Davis
author: Tyler Lawson
published in: Geometry \& Topology
publication date: 2013-11-28T00:00:00Z
full work available at URL: https://arxiv.org/abs/1208.4519
reviewed by: Andrew Baker
Mathematics Subject Classification ID: 55P43
Mathematics Subject Classification ID: 55U35
Mathematics Subject Classification ID: 18D20
Mathematics Subject Classification ID: 18D50
Mathematics Subject Classification ID: 18G55
zbMATH DE Number: 6234228
zbMATH Keywords: \(E_\infty\) ring spectrum
zbMATH Keywords: generalised Moore spectrum
zbMATH Keywords: \(K(n)\)-local spectra
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2142220759
arXiv ID: 1208.4519
cites work: Enriched Reedy categories
cites work: Etale homotopy
cites work: On the Adams spectral sequence for \(R\)-modules
cites work: Formal plethories
cites work: The homotopy fixed point spectra of profinite Galois extensions
cites work: Axiomatic homotopy theory for operads
cites work: The localization of spectra with respect to homology
cites work: Derived completions in stable homotopy theory
cites work: Localization of \({\mathcal V}\)-categories
cites work: Long knots and maps between operads
cites work: Q3160254
cites work: Simplicial localizations of categories
cites work: Cech and Steenrod homotopy theories with applications to geometric topology
cites work: Equivariant homotopy theory for pro-spectra
cites work: Model structures on pro-categories
cites work: t-model structures
cites work: Q3159966
cites work: A resolution of the \(K(2)\)-local sphere at the prime 3
cites work: Q4664146
cites work: Q4327004
cites work: Q4220599
cites work: Morava $E$-theory of filtered colimits
cites work: Axiomatic stable homotopy theory
cites work: Symmetric spectra
cites work: Morava 𝐾-theories and localisation
cites work: Q4811761
cites work: Q4537718
cites work: Q3049513
cites work: Q4218781
cites work: Every homotopy theory of simplicial algebras admits a proper model
cites work: The units of a ring spectrum and a logarithmic cohomology operation
cites work: Galois extensions of structured ring spectra. Stably dualizable groups
cites work: Stable homotopical algebra and Γ-spaces
cites work: The stable homotopy category is rigid
cites work: Algebras and Modules in Monoidal Model Categories
cites work: Equivalences of monoidal model categories
cites work: Q4656999
cites work: Algebraic $K$-theory and etale cohomology
DOI: 10.2140/GT.2014.18.103
review text: This paper revolves around two central ideas in modern stable homotopy theory. First there is the notion of a type \(n\) finite spectrum for a given prime \(p\) and in turn the notion of \(K(n)\)-local spectra where \(K(n)\) is the height \(n\) Morava \(K\)-theory for \(p\). The second notion is that of a highly homotopically coherent ring spectrum, in this case an \(E_\infty\) ring spectrum.NEWLINENEWLINEOver the past two decades or so, a considerable body of theory has revolved around these two ideas, and in this paper a significant advance is made in bringing them together in a way that many experts have long believed should be possible. On the one hand there is a well known sense in which \(K(n)\)-localisation is effected by taking a homotopy limit over a tower involving smashing an \(E(n)\)-local spectrum with generalised type \(n\) Moore spectra. On the other hand, the known vanishing of André-Quillen type obstruction groups for obstructions for \(E_\infty\) ring structures on Lubin-Tate spectra follows from the fact that various algebraic objects are limits of certain closely related towers.NEWLINENEWLINEThe main result of this paper shows that a tower of generalised type \(n\) Moore spectra \(\{M_I\}_I\) whose homotopy limit is the \(p\)-complete sphere admits the structure of an \(E_\infty\) algebra in the category of pro-spectra. Remarkably, none of the individual spectra \(M_I\) can ever be an \(E_\infty\) ring spectrum.NEWLINENEWLINEAlthough the result is not so hard to state, there are considerable technical results required to prove it and the paper works out the necessary details on the model categorical aspects as well as operads in pro-categories.
description: scientific article; zbMATH DE number 6234228