A topological spectrum is an object in the universal stable (∞,1)-category that stabilizes“ the (∞,1)-category Top or ∞-Grpd of topological spaces or ∞-groupoids under the operations of forming loop space objects and reduced suspensions: the stable (∞,1)-category of spectra.
As opposed to the homotopy groups of a topological space, the homotopy groups of a spectrum are defined and may be non-trivial in negative integer degree. This follows from the fact that the loop space operation is by construction invertible on spectra, which implies that for every spectrum these and all , the -fold looping has stable homotopy groups given by .
Connective spectra in the image of the nerve operation of the classical Dold-Kan correspondence: this identifies ∞-groupoids that are not only connective spectra but even have a strict symmetric monoidal group structure with non-negatively graded chain complexes of abelian groups.
The free stabilization of the (∞,1)-category of non-negatively graded chain complexes is simpy the stable (∞,1)-category of arbitrary chain complexes. There is a stable Dold-Kan correspondence (see at module spectrum the section stable Dold-Kan correspondence ) that identifies these with special objects in .
So it is the homologically nontrivial parts of the chain complexes in negative degree that corresponds to the non-connectiveness of a spectrum.
There are many “models” for spectra, all of which present the same (stable) homotopy theory (and in fact, nearly all of them are Quillen equivalent model categories). For more details see at Introduction to Stable Homotopy Theory?.
There are various conditions that can be put on the spaces and the structure maps, for example if the spaces are CW-complexes and the structure maps are inclusions of subcomplexes, the spectrum is called a CW-spectrum.
Without any condition, this is just called a spectrum, or sometimes a pre-spectrum. In order to distinguish from various other richer definitions (such as coordinate-free spectra, one also speaks of sequential spectra).
For details see Introduction to stable homotopy theory -- 1.1 Sequential Spectra.
If denotes the loop space functor on the category of pointed spaces, we know that is left adjoint to . In particular, given a spectrum , the structure maps can be transformed into maps . If these maps are isomorphisms (depending on the situation it can be weak equivalences or homeomorphisms), then is called an -spectrum.
The idea is that contains the information of in dimensions , contains the information of in (but shifted up by one, so that it is modeled by the information in the space ), and so on.
(using that commutes with the filtered colimits).
A definition of spectrum consisting of spaces indexed by index sets less “coordinatized” than the integers is a
See there for details.
There might be a type of categorical structure related to a spectrum in the same way that -categories are related to -groupoids. In other words, it would contain -cells for all integers , not necessarily invertible. Some people have called this conjectural object a -category. “Connective” -categories could perhaps then be identified with stably monoidal -categories.
One realization of this kind of idea is the notion of combinatorial spectrum.
See spectrum object.
In direct analogy to how topological spaces form the archetypical example, Top, of an (∞,1)-category, spectra form the archetypical example of a stable (∞,1)-category. In fact, there is a general procedure for turning any pointed (∞,1)-category into a stable -category , and doing this to the category of pointed spaces yields .
|(∞,1)-operad||∞-algebra||grouplike version||in Top||generally|
|A-∞ operad||A-∞ algebra||∞-group||A-∞ space, e.g. loop space||loop space object|
|E-k operad||E-k algebra||k-monoidal ∞-group||iterated loop space||iterated loop space object|
|E-∞ operad||E-∞ algebra||abelian ∞-group||E-∞ space, if grouplike: infinite loop space Γ-space||infinite loop space object|
|connective spectrum||connective spectrum object|
According to (Adams 74, p. 131) the notion of spectrum is due to
Early notes include
Michael Boardman, Stable homotopy theory, mimeographed notes, University of Warwick, 1965 onward
See the references at stable homotopy theory.
Lecture notes include
More modern developments are due to
The quick idea is surveyed for instance in
A comprehensive account of the symmetric model in terms of symmetric spectra is in
and in terms of orthogonal spectra in
Frank Adams, Infinite loop spaces, Princeton University Press, 1978