Every (∞,1)-category with finite (∞,1)-limits has a stabilization to a stable (∞,1)-category . This stabilization may be defined by abstract properties, but it may also be constructed explicitly as the category of spectrum objects in .
In the special case that ∞Grpd Top, a spectrum object in is a spectrum in the traditional sense. There is an evident generalization of the traditional notion of Omega-spectrum from Top to any -category with finite (∞,1)-limits: a spectrum object is essentially a list of pointed objects together with equivalences , from every object in the list to the loop space object of its successor.
For an (∞,1)-category, a prespectrum object of is
a -functor
such that for all integers we have a zero object of
Notice that this definition is highly redundant. The point is that writing a spectrum object is for all a (homotopy) commuting diagram
Recalling that in an (infinity,1)-category with zero object
denotes the pullback of such a diagram;
denotes the pushout of such a diagram
this induces maps
A prespectrum object is
a spectrum object if is an equivalence for all (a spectrum below , if is an equivalence for all );
a suspension spectrum if is an equivalence for all (a suspension spectrum above , if is an equivalence for all ).
(StabCat)
One writes
for the full sub-(∞,1)-category of on spectrum objects in ;
– the stabilization of for the -category of spectrum objects in the -category of pointed objects of .
Write for the (∞,1)-category of finite homotopy types, hence those freely generated by finite (∞,1)-colimits from the point. Write for the pointed finite homotopy types.
Let be an (∞,1)-category with finite (∞,1)-limits. Then a spectrum object in is a reduced (i.e. terminal object-preserving) excisive (∞,1)-functor of the form
(HigherAlg, def. 1.4.2.8 and around p. 823).
This generalizes for instance to G-spectra (Blumberg 05).
One can define -symmetric -spectra in a category , where is a graded monoid in the category of groups and is a -symmetric endofunctor of . Here we follow Ayoub.
(One recovers the classical case described at spectrum by taking to be the category of pointed spaces, to be the trivial graded monoid, and to be the suspension functor.)
Let be a graded monoid in the category of groups. Write for the category of -symmetric sequences. Let be a -symmetric endofunctor of . (Usually will be the functor induced by tensor product with some object .)
A -symmetric -spectrum in is a -symmetric sequence together with assembly morphisms
such that the composite morphism
is -equivariant. (Note that acts on by the definition of symmetric endofunctor, and acts on by the definition of symmetric sequence.) A morphism of -symmetric -spectra is a morphism of -symmetric sequences making the obvious diagrams commute. We write for the category of -symmetric -spectra in .
When , the graded monoid of symmetric groups, -symmetric -spectra are called simply symmetric -spectra. When , -symmetric -spectra are called simply nonsymmetric -spectra. When the endofunctor is given by for some object , -spectra are called -spectra.
When is a symmetric monoidal category, there is an induced symmetric monoidal structure on spectrum objects.
When is a sufficiently nice model category, there are induced model structures on spectrum objects?.
If is a pointed -category with finite limits, then is a stable (infinity,1)-category.
For an (∞,1)-category with (∞,1)-pullbacks and (∞,1)-colimits, then the inclusion of spectrum objects into prespectum objects should be a left exact reflective sub-(∞,1)-category inclusion (Joyal 08, section 35).
This implies in particular that the tangent (∞,1)-category of an (∞,1)-topos is itself again an (∞,1)-topos (Joyal 08, section 35.5), see at tangent (∞,1)-category – Tangent (∞,1)-topos .
For , is the -category version of the classical stable homotopy category of spaces: the stable (infinity,1)-category of spectra.
In the equivariant homotopy theory of G-spaces a spectrum object is a spectrum with G-action.
see also at motivic spectrum
Discussion in terms of stable (infinity,1)-categories is in
Jacob Lurie, section 8 of Stable Infinity-Categories
Jacob Lurie, section 1.4.2 Higher Algebra
André Joyal, section 35 Notes on Logoi, 2008 (pdf)
Discussion of model structures for spectrum objects includes
Mark Hovey, Spectra and symmetric spectra in general model categories (arXiv:0004051)
Bjørn Ian Dundas, Oliver Röndigs, Paul Arne Østvær, Enriched functors and stable homotopy theory, Doc. Math., 8:409–488, 2003 (EuDML)
A detailed treatment of the 1-categorical case is in the last chapter of
Generalization to G-spectra is in
Last revised on January 16, 2024 at 09:26:16. See the history of this page for a list of all contributions to it.