This entry is about the notion of spectrum in stable homotopy theory. For other uses of the term ”spectrum” see spectrum - disambiguation.

---

Contents

Idea

A topological spectrum is an object in the universal stable (∞,1)-category $\mathrm{Sp}(\mathrm{Top})\simeq \mathrm{Sp}(\mathrm{\infty }\mathrm{Grpd})$ that stabilizes” the (∞,1)-category Top or $\simeq$ ∞-Grpd of topological spaces or ∞-groupoids: the stable (∞,1)-category of spectra.

Recall that the central characterization of a stable (∞,1)-category is that all objects $A$ have a delooping object $BA$ that is written $\Sigma A$ in this context and called the suspension of $A$. Thus a spectrum is like a topological space or ∞-groupoid that may be delooped indefinitely.

Connective spectra

In fact all ordinary topological spaces and ∞-groupoids that have the property that all their deloopings exist give rise to special examples of spectra. These are called the

• connective spectra

• or infinite loop spaces

• or grouplike symmetric monoidal ∞-groupoids.

Connective spectra form a sub-(∞,1)-category of spectra

There are objects in $\mathrm{Sp}(\mathrm{Top})$, though, that do not come from “naively” delooping a space infinitely many times. These are the non-connective spectra. For general spectra there is a notion of homotopy groups of negative degree. The connective ones are precisely those for which all negative degree homotopy groups vanish.

Connective spectra are well familiar in as far as they are in the image of the nerve operation of the 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 homology groups of the chain complex correspond precisely to the homotopy groups of the corresponding topological space or ∞-groupoid.

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 stabilized Dold-Kan correspondence (see at module spectrum the section stable Dold-Kan correspondence ) that identifies these with special objects in $\mathrm{Sp}(\mathrm{Top})$.

So it is the homologically nontrivial parts of the chain complexes in negative degree that corresponds to the non-connectiveness of a spectrum.

Definition

There are many “models” for spectra, all of which present the same homotopy theory (and in fact, nearly all of them are Quillen equivalent model categories).

Spectra, CW-spectra

A simple first definition is to define a spectrum $E$ to be a sequence of pointed spaces $(E_n{)}_{n\in \mathbb{N}}$ together with structure maps $\Sigma E_n\to E_{n+1}$ (where $\Sigma$ denotes the reduced suspension).

There are various conditions that can be put on the spaces $E_n$ 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.

$\Omega$-spectra

If $\Omega$ denotes the loop space functor on the category of pointed spaces, we know that $\Sigma$ is left adjoint to $\Omega$. In particular, given a spectrum $E$, the structure maps can be transformed into maps $E_n\to \Omega E_{n+1}$. If these maps are isomorphisms (depending on the situation it can be weak equivalences or homeomorphisms), then $E$ is called an $\Omega$-spectrum.

The idea is that $E_0$ contains the information of $E$ in dimensions $k\ge 0$, $E_1$ contains the information of $E$ in $k\ge -1$ (but shifted up by one, so that it is modeled by the $\ge 0$ information in the space $E_1$), and so on.

$\Omega$-spectra are special cases of spectra, and are in fact the fibrant objects for some model structure on the category of spectra. Given any spectrum $E$, it is easy to transform it into an equivalent $\Omega$-spectrum $F$ (a fibrant replacement of $E$) : just take $F_n={\lim }_{m\to \mathrm{\infty }}{\Omega }^m{E}_{n+m}$ and use the fact that $\Omega$ commutes with the filtered colimits.

Coordinate-free spectrum

A definition of spectrum consisting of spaces indexed by index sets less “coordinatized” than the integers is a

• coordinate-free spectrum.

See there for details.

Combinatorial definition

There might be a type of categorical structure related to a spectrum in the same way that $\mathrm{\infty }$-categories are related to $\mathrm{\infty }$-groupoids. In other words, it would contain $k$-cells for all integers $k$, not necessarily invertible. Some people have called this conjectural object a $Z$-category. “Connective” $Z$-categories could perhaps then be identified with stably monoidal $\mathrm{\infty }$-categories.

One realization of this kind of idea is the notion of combinatorial spectrum.

Examples

• suspension spectrum

• sphere spectrum

• Eilenberg-MacLane spectrum

• K-theory spectrum

• tmf

• Thom spectrum, complex cobordism spectrum

Properties

Stabilization

In direct analogy to how topological spaces form the archetypical example, Top, of an (∞,1)-category, spectra form the archetypical example $\mathrm{Sp}(\mathrm{Top})$ of a stable (∞,1)-category. In fact, there is a general procedure for turning any pointed (∞,1)-category $C$ into a stable $(\mathrm{\infty },1)$-category $\mathrm{Sp}(C)$, and doing this to the category ${\mathrm{Top}}_{*}$ of pointed spaces yields $\mathrm{Sp}(\mathrm{Top})$.

Symmetric monoidal structure

• smash product of spectra

• symmetric monoidal smash product of spectra

Closed structure

• mapping spectrum

Model category structure

• model structure on spectra

Related concepts

• sheaf of spectra, parametrized spectrum

• ring spectrum, algebra spectrum, module spectrum

• zero spectrum

• Bousfield localization of spectra

	(∞,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 $\simeq$ Γ-space	infinite loop space object
				$\simeq$ connective spectrum	$\simeq$ connective spectrum object
stabilization				spectrum	spectrum object

• looping and delooping, stabilization hypothesis

References

Surveys include

• A. Elmendorf, I. Kriz, P. May, Modern foundations for stable homotopy theory, pdf

• John Greenlees, Spectra for commutative algebraists, arXiv:math/0609452

• Stefan Schwede, An untitled book project about symmetric spectra, a book in progress, dvi, pdf

• Robert Thomason, Symmetric Monoidal Categories Model All Connective Spectra (web)

• John Adams, Infinite loop spaces