April 9, 2000
(This is an updated version; following an idea of Voevodsky, we have strengthened our results so all of them apply to one form of motivic homotopy theory). We give two general constructions for the passage from unstable to stable homotopy that apply to the known example of topological spaces, but also to new situations, such as motivic homotopy theory of schemes. One is based on the standard notion of spectra originated by Boardman. Its input is a well-behaved model category C and an endofunctor G, generalizing the suspension. Its output is a model category on which G is a Quillen equivalence. Under strong hypotheses the weak equivalences in this model structure are the appropriate analogue of stable homotopy isomorphisms. The second construction is based on symmetric spectra, and is of value only when C has some monoidal structure that G preserves. In this case, ordinary spectra generally will not have monoidal structure, but symmetric spectra will. Our abstract approach makes constructing the stable model category of symmetric spectra straightforward. We study properties of these stabilizations; most importantly, we show that the two different stabilizations are Quillen equivalent under some hypotheses (that also hold in the motivic example).
Similar papers 1
June 16, 2012
Let $\V$ be a symmetric monoidal model category and let $X$ be an object in $\V$. From this we can construct a new symmetric monoidal model category $Sp^{\Sigma}(\V,X)$ of symmetric spectra objects in $\V$ with respect to $X$, together with a left Quillen monoidal map $\V\to Sp^{\Sigma}(\V,X)$ sending $X$ to an invertible object. In this paper we use the recent developments in the subject of Higher Algebra to understand the nature of this construction. Every symmetric monoida...
January 16, 1998
The long hunt for a symmetric monoidal category of spectra finally ended in success with the simultaneous discovery of the third author's discovery of symmetric spectra and the Elmendorf-Kriz-Mandell-May category of S-modules. In this paper we define and study the model category of symmetric spectra, based on simplicial sets and topological spaces. We prove that the category of symmetric spectra is closed symmetric monoidal and that the symmetric monoidal structure is compati...
December 16, 2013
We study semistable symmetric spectra based on quite general monoidal model categories, including motivic examples. In particular, we establish a generalization of Schwede's list of equivalent characterizations of semistability in the case of motivic symmetric spectra. We also show that the motivic Eilenberg-MacLane spectrum and the algebraic cobordism spectrum are semistable. Finally, we show that semistability is preserved under localization if some reasonable conditions - ...
February 15, 2010
We develop a stable analogue to the theory of cosimplicial frames in model cagegories; this is used to enrich all homotopy categories of stable model categories over the usual stable homotopy category and to give a different description of the smash product of spectra which is compared with the known descriptions; in particular, the original smash product of Boardman is identified with the newer smash products coming from a symmetric monoidal model of the stable homotopy cate...
February 1, 2005
We prove that every stable, combinatorial model category has a natural enrichment by symmetric spectra (or more precisely, a natural equivalence class of enrichments). This in some sense generalizes the simplicial enrichments of model categories provided by the Dwyer-Kan hammock localization. As one particular application, we are able to associate to every object of a stable, combinatorial model category a "homotopy endomorphism ring spectrum". The homotopy types of these rin...
August 2, 2006
The symmetric spectra introduced by Hovey, Shipley and Smith are a convenient model for the stable homotopy category with a nice associative and commutative smash product on the point set level and a compatible Quillen closed model structure. About the only disadvantage of this model is that the stable equivalences cannot be defined by inverting those morphisms which induce isomorphisms on homotopy groups, because this would leave too many homotopy types. In this sense the na...
November 9, 2014
In this paper we develop the basic homotopy theory of G-symmetric spectra (that is, symmetric spectra with a G-action) for a finite group G, as a model for equivariant stable homotopy with respect to a G-set universe. This model lies in between Mandell's equivariant symmetric spectra and the G-orthogonal spectra of Mandell and May and is Quillen equivalent to the two. We further discuss equivariant semistability, construct model structures on module, algebra and commutative a...
January 29, 2008
We construct a Quillen model structure on the category of spectral categories, where the weak equivalences are the symmetric spectra analogue of the notion of equivalence of categories.
July 19, 2019
We obtain combinatorial model categories of parametrised spectra, together with systems of base change Quillen adjunctions associated to maps of parameter spaces. We work with simplicial objects and use Hovey's sequential and symmetric stabilisation machines. By means of a Grothendieck construction for model categories, we produce combinatorial model categories controlling the totality of parametrised stable homotopy theory. The global model category of parametrised symmetric...
October 21, 2014
This paper sets up the foundations for derived algebraic geometry, Goerss--Hopkins obstruction theory, and the construction of commutative ring spectra in the abstract setting of operadic algebras in symmetric spectra in an (essentially) arbitrary model category. We show that one can do derived algebraic geometry a la To\"en--Vezzosi in an abstract category of spectra. We also answer in the affirmative a question of Goerss and Hopkins by showing that the obstruction theory ...