03.12.04 · modern-geometry / homotopy

Spectrum

shipped3 tiersLean: none

Anchor (Master): Adams; Switzer §8–§13; Hovey-Shipley-Smith *Symmetric spectra*; Lurie *Higher Algebra* §1.4

Intuition [Beginner]

A spectrum is the homotopy-theoretic object that "stabilises" the homotopy of spaces with respect to suspension. Where a topological space has homotopy groups in finitely many connected directions, a spectrum has homotopy groups in all integer degrees — positive and negative.

The motivating idea: take a sequence of pointed spaces $E_{0}, E_{1}, E_{2}, \dots$ and structure maps connecting them via suspension. The simplest example is the sphere spectrum $S = (S^{0}, S^{1}, S^{2}, \dots)$ with suspension structure maps $Σ S^{n} \to S^{n + 1}$ being the identity (homotopy-equivalence).

Spectra are the natural objects of generalised cohomology: every cohomology theory (singular, K-theory, bordism, …) is represented by a spectrum. They live in the stable homotopy category, where suspension is invertible — a much more algebraically tractable place than ordinary spaces.

Visual [Beginner]

A sequence of spaces stacked vertically, with suspension arrows connecting each to the next. Together they form one structured object — a spectrum.

Stable homotopy theory is the study of these stacked sequences and their morphisms.

Worked example [Beginner]

The sphere spectrum $S$ is the simplest example: $S_{n} := S^{n}$ for $n \geq 0$ , with structure maps $Σ S^{n} = S^{n + 1}$ . Its stable homotopy groups $π_{k}^{s} (S) := π_{k}^{s}$ — the stable homotopy groups of spheres — form a deep computational and conceptual frontier.

The first few:

$π_{0}^{s} = Z$ (the degree)
$π_{1}^{s} = Z /2$ (Hopf)
$π_{2}^{s} = Z /2$
$π_{3}^{s} = Z /24$
$π_{4}^{s} = 0$
$π_{5}^{s} = 0$
$π_{6}^{s} = Z /2$
$π_{7}^{s} = Z /240$

These are highly nontrivial finite abelian groups. Computing them is one of the central challenges of algebraic topology.

Other spectra: Eilenberg-MacLane spectra $H A$ for an abelian group $A$ (representing ordinary cohomology with coefficients in $A$ ), K-theory spectra $KU, KO$ (representing complex / real K-theory), bordism spectra $MO, MU, MSO$ (representing unoriented / complex / oriented bordism).

Check your understanding [Beginner]

Formal definition [Intermediate+]

A spectrum $E$ (in the simplest, sequential model) is a sequence of pointed topological spaces

E_{0}, E_{1}, E_{2}, \dots

together with structure maps

σ_{n} : Σ E_{n} \to E_{n + 1}

(or equivalently, by the suspension-loop adjunction, $σ_{n} : E_{n} \to Ω E_{n + 1}$ ).

A spectrum is an $Ω$ -spectrum if each $σ_{n} : E_{n} \to Ω E_{n + 1}$ is a (weak) homotopy equivalence. $Ω$ -spectra are the "fibrant" or "good" representatives of the stable homotopy type.

A morphism of spectra $f : E \to F$ is a sequence of based maps $f_{n} : E_{n} \to F_{n}$ commuting with the structure maps (up to homotopy in the appropriate sense).

The stable homotopy groups of a spectrum $E$ are

π_{n} (E) := colim_{k} π_{n + k} (E_{k}),

where the colimit is taken along the suspension maps. By the Freudenthal suspension theorem 03.12.03, for sufficiently connected spaces, the colimit stabilises, and the result is well-defined for all integers $n$ (positive and negative, depending on the spectrum's connectivity).

The stable homotopy category $Ho (Sp)$ is the homotopy category of spectra under weak equivalence (maps inducing isomorphisms on stable homotopy groups). It is triangulated, symmetric monoidal (with smash product $E \land F$ as the tensor), and generated (under colimits and suspension) by the sphere spectrum $S$ .

Key examples.

Sphere spectrum $S$ : $S_{n} = S^{n}$ with identity structure maps. The unit object of the smash-product symmetric-monoidal structure.
Eilenberg-MacLane spectrum $H A$ for abelian $A$ : $(H A)_{n} = K (A, n)$ , the Eilenberg-MacLane space 03.12.05. Represents ordinary cohomology: $H^{n} (X; A) = [X, K (A, n)] = π_{- n} (F (X, H A))$ where $F$ is the function spectrum.
K-theory spectrum $KU$ : $KU_{n} = Z \times B U$ for even $n$ and $U$ for odd $n$ , with structure maps coming from Bott periodicity. Represents complex topological K-theory.
Bordism spectrum $MO$ : built from Thom spaces of universal bundles over $B O (n)$ . Represents unoriented bordism.

Generalised cohomology. Every spectrum $E$ defines a generalised cohomology theory

E^{n} (X) := [X, E_{n}]_{stable}

(homotopy classes of stable maps), satisfying the Eilenberg-Steenrod axioms except possibly the dimension axiom (which is replaced by the homotopy groups of $E$ ).

Conversely, by the Brown representability theorem, every generalised cohomology theory is represented by some spectrum, unique up to homotopy. So the stable homotopy category and the category of generalised cohomology theories are equivalent (this is sometimes called Brown representability).

Key theorem with proof [Intermediate+]

Theorem (Brown representability). Every additive cohomology theory $h^{*}$ on the homotopy category of pointed CW complexes that satisfies the Eilenberg-Steenrod axioms (except possibly dimension) is representable: there exists an $Ω$ -spectrum $E$ such that

h^{n} (X) ≅ [X, E_{n}]_{*} .

Conversely, every $Ω$ -spectrum determines such a cohomology theory by the same formula.

Proof sketch (representability direction). Given a cohomology theory $h^{*}$ , construct $E_{n}$ to represent $h^{n}$ on each finite CW complex via the Yoneda lemma applied to the functor $X \mapsto h^{n} (X)$ . The technical work is to verify the construction:

$h^{n}$ is representable on finite CW: use the small-object argument plus the additivity and Mayer-Vietoris axioms to build a representing space $E_{n}$ as a colimit.
The structure maps $σ : Σ E_{n} \to E_{n + 1}$ come from the suspension isomorphism $h^{n} (X) ≅ h^{n + 1} (Σ X)$ (an axiom of additive cohomology theories).
The $Ω$ -spectrum condition follows from the suspension iso, by the suspension-loop adjunction $[Σ X, E_{n + 1}] = [X, Ω E_{n + 1}]$ .

The uniqueness of the representing spectrum is up to weak equivalence in the stable category. The Yoneda-style formal construction makes this universal property precise.

Proof sketch (converse direction). Given an $Ω$ -spectrum $E$ , define $E^{n} (X) := [X, E_{n}]_{*}$ . The Eilenberg-Steenrod axioms for additive cohomology — homotopy invariance, suspension isomorphism, Mayer-Vietoris, additivity over wedges — all follow from the spectrum structure of $E$ and the $Ω$ -spectrum condition. $□$

This duality between spectra and cohomology theories is one of the central structural results of algebraic topology and is the conceptual reason spectra are the "right" objects for stable homotopy.

Bridge. The construction here builds toward 03.08.06 (stable homotopy), where the same data is developed in the next layer of the strand. The defining pattern appears again in those units in a sharpened form, where the local data is glued or quotiented. Putting these together, the foundational insight is that the data of this unit gives the structural signature that the rest of the strand reads off.

Exercises [Intermediate+]

Exercise 1 (easy, proof).

Verify that the sphere spectrum is an $Ω$ -spectrum after appropriate fibrant replacement (i.e., the structure maps $σ_{n} : S^{n} \to Ω S^{n + 1}$ become weak equivalences in the stable category).

Hint

The map $S^{n} \to Ω S^{n + 1}$ corresponds via adjunction to the identity $Σ S^{n} = S^{n + 1}$ .

Answer

The structure map $σ_{n} : Σ S^{n} \to S^{n + 1}$ is the identity (or a chosen homotopy equivalence). The adjoint $σ_{n} : S^{n} \to Ω S^{n + 1}$ may not literally be a weak equivalence at the space level, but in the stable category the sphere spectrum is equivalent to its $Ω$ -spectrum replacement. Mathematical phrase: the sphere spectrum is "fibrant up to weak equivalence." Detailed verification uses the homotopy excision / Freudenthal theorem to compare $π_{k} (S^{n})$ with $π_{k} (Ω S^{n + 1}) = π_{k + 1} (S^{n + 1})$ in the stable range.

Exercise 5 (medium, conceptual).

Why is the stable homotopy category "easier" than the unstable one?

Hint

Stably, suspension is invertible; many obstruction-theoretic arguments simplify.

Answer

In the stable category:

Suspension is invertible: every spectrum has a "desuspension."
Maps between objects form abelian groups (not just sets).
The category is triangulated: long exact sequences in homotopy come from cofibre sequences automatically.
Generalised cohomology theories are equivalent to spectra (Brown representability).

Many computations that are intractable unstably (homotopy groups of spheres, classification of bundles, Adams spectral sequence input) become structured stably. The price: the stable category loses some unstable information (e.g., $π_{1}$ is always abelian stably, but the unstable $π_{1}$ can be nonabelian).

Exercise 6 (hard, proof).

State the Eilenberg-MacLane representability of ordinary cohomology: for an abelian group $A$ and a CW complex $X$ ,

H^{n} (X; A) ≅ [X, K (A, n)]_{*} .

Hint

Brown representability applied to ordinary singular cohomology, with representing spectrum $H A$ .

Answer

By Brown representability, ordinary cohomology with coefficients in $A$ is representable by an $Ω$ -spectrum. The representing spaces $K (A, n)$ for $n \geq 0$ have $π_{n} (K (A, n)) = A$ and $π_{k} (K (A, n)) = 0$ for $k \neq = n$ . The structure maps $K (A, n) \sim Ω K (A, n + 1)$ make this an $Ω$ -spectrum, the Eilenberg-MacLane spectrum $H A$ .

The representability iso $H^{n} (X; A) ≅ [X, K (A, n)]_{*}$ is then by definition (or by Brown representability), assuming $X$ is a CW complex. This connects ordinary cohomology — defined via singular chains — to the homotopical theory of mapping into Eilenberg-MacLane spaces.

Exercise 7 (hard, conceptual).

State the chromatic filtration of the stable homotopy category and its connection to formal group laws.

Hint

The stable category is filtered by Morava K-theories $K (n)$ for $n \geq 0$ .

Answer

The chromatic filtration: the stable homotopy category is filtered by height $n$ (for $n = 0, 1, 2, \dots$ ), where height- $n$ spectra are detected by Morava K-theory $K (n)$ — a generalised cohomology theory whose coefficient ring is $F_{p} [v_{n}^{\pm 1}]$ at prime $p$ . Heights correspond to formal group laws of height $n$ :

Height 0: rational stable homotopy / $H Q$ .
Height 1: complex K-theory $KU$ at $p$ , with formal group law the multiplicative one.
Height 2: elliptic cohomology, Morava E-theory $E_{2}$ .
Higher heights: less geometric, defined formally.

The chromatic structure (Ravenel-Hopkins-Smith, 1980s-90s) organises stable homotopy by the "chromatic level" of the formal group law. This is the source of much modern stable homotopy theory and connects to algebraic geometry via the moduli of formal groups.

Lean formalization [Intermediate+]

lean_status: none — Mathlib lacks a spectrum API. The forthcoming work would target either:

[object Promise]

or (in a model-categorical formulation) the simplicial-sets-based symmetric-spectra model. A first formalisation would build the sphere spectrum, Eilenberg-MacLane spectra, the stable homotopy groups, and the smash product.

Advanced results [Master]

Brown representability. Stated and sketched in §"Key theorem".

Stable homotopy category as triangulated. $Ho (Sp)$ is triangulated: every cofibre sequence $A \to B \to C \to Σ A$ produces a long exact sequence in homotopy. This is the homotopy-theoretic analogue of derived categories in homological algebra.

Smash product and ring spectra. A ring spectrum is a spectrum $R$ with a multiplication map $R \land R \to R$ and unit $S \to R$ satisfying associativity and unit axioms up to homotopy. Every classical cohomology ring (singular, K-theory, bordism) lifts to a ring spectrum. Highly-structured ring spectra ( $A_{\infty}$ , $E_{\infty}$ ) are the modern stable analogues of associative / commutative rings.

Adams spectral sequence. Computes stable homotopy groups via $Ext$ -groups in modules over the Steenrod algebra $A_{p}$ . The $E_{2}$ -page is purely algebraic; differentials encode the analytic / topological refinement. The Adams spectral sequence converges to (a localisation of) $π_{*}^{s}$ .

Bousfield localisation. A spectrum $E$ defines an $E$ -localisation functor $L_{E}$ on the stable category. $E$ -local objects are spectra with $E_{*}$ -isomorphisms inverted. Examples: rationalisation $L_{HQ}$ , $K (n)$ -localisation (chromatic).

Stable category is the universal example of a stable $\infty$ -category. In Lurie's $\infty$ -categorical formalism, the stable category $Sp$ is the free stable $\infty$ -category on a single generator (the sphere spectrum). All stable $\infty$ -categories receive maps from $Sp$ , making it the "ground field" of higher algebra.

Formal group laws and chromatic homotopy. As in Exercise 7. The chromatic filtration is the source of much recent activity (topological modular forms, derived algebraic geometry, equivariant elliptic cohomology).

Synthesis. This construction generalises the pattern fixed in 03.12.01 (homotopy and homotopy group), with the symmetric data replaced by its skew or twisted analogue. Read in the opposite direction, the construction is dual to the metric story: complements and orthogonality are taken with respect to the bilinear datum of this unit, not a metric, and the resulting category of subobjects is the one the rest of the strand classifies. The central insight is that this datum identifies algebra with geometry: functions become vector fields, subspaces become quotients, and invariants become cohomology classes — and that identification is the engine driving every theorem downstream.

Full proof set [Master]

Stable homotopy is well-defined. Proved in Exercise 3.

Brown representability. Sketched in §"Key theorem". Full proof: Hatcher Ch. 4.E or Switzer §9.

Triangulated structure. Proved by checking the axioms (TR1–TR4) for the cofibre-sequence functor on spectra. The shift functor is suspension; cofibre sequences are stable cofibrations.

Symmetric monoidal structure. Modern construction (e.g., symmetric spectra) gives a strict symmetric monoidal model category. The smash product on objects produces a homotopy-symmetric-monoidal structure on $Ho (Sp)$ .

$E_{\infty}$ -rings as commutative monoids. A commutative monoid in the symmetric-monoidal category of spectra (modulo homotopy, with all higher coherences) is an $E_{\infty}$ -ring spectrum. Examples include $H Z$ , $KU$ , $MO$ , the sphere $S$ .

Connections [Master]

Topological space 02.01.01 — the sequential building blocks of a spectrum.
Homotopy and homotopy group 03.12.01 — homotopy groups in the stable category replace ordinary homotopy groups.
Suspension 03.12.03 — the structure-map operator that defines spectra.
Stable homotopy 03.08.06 — the homotopy groups of the sphere spectrum and other spectra.
Eilenberg-MacLane space 03.12.05 — ingredients of the Eilenberg-MacLane spectrum $H A$ .
K-theory 03.08.01 — represented by the complex K-theory spectrum $KU$ .
Bott periodicity 03.08.07 — the structure maps of $KU$ via Bott periodicity.

Historical & philosophical context [Master]

Spectra were introduced by Lima (1959) and Whitehead (1962) as a formal device to make suspension invertible. Adams (1964) gave the first systematic exposition, including the Adams spectral sequence. Boardman (1965) constructed the stable homotopy category as the homotopy category of "naive" spectra, and Frank Adams's Stable Homotopy and Generalised Homology (1974) became the standard reference.

Modern strictifications — symmetric spectra (Hovey-Shipley-Smith, 2000), S-modules (Elmendorf-Kriz-Mandell-May, 1997), orthogonal spectra — turn the stable homotopy category into a strict symmetric monoidal category. Lurie's Higher Topos Theory (2009) and Higher Algebra (2011) reconstruct the stable category from $\infty$ -categorical foundations, integrating it with derived algebraic geometry and the theory of factorisation algebras.

The chromatic perspective (Quillen, Morava, Hopkins, Ravenel) connects stable homotopy theory to formal group laws and arithmetic geometry, opening connections to number theory, mathematical physics (string theory's elliptic cohomology), and the modern theory of moduli spaces.

Bibliography [Master]

Adams, J. F., Stable Homotopy and Generalised Homology, University of Chicago Press, 1974.
Switzer, R. M., Algebraic Topology — Homotopy and Homology, Springer Classics, 1975. §8.
May, J. P., A Concise Course in Algebraic Topology, University of Chicago Press, 1999. Ch. 23.
Hovey, M., Shipley, B., Smith, J., "Symmetric spectra", Journal of the AMS 13 (2000), 149–208.
Lurie, J., Higher Algebra, draft monograph, 2017.

Wave 5 unit #2. Spectrum — the homotopy-theoretic object that stabilises spaces under suspension; foundation for stable homotopy and generalised cohomology theories.

Prerequisites

03.12.01
03.12.03
02.01.01

Used in

03.08.06

Tier anchors

beginner: Strogatz / 3Blue1Brown analogous level for stabilisation intuition
intermediate: Adams *Stable Homotopy and Generalised Homology* §I; Switzer §8; May *Concise Course* Ch. 23
master: Adams; Switzer §8–§13; Hovey-Shipley-Smith *Symmetric spectra*; Lurie *Higher Algebra* §1.4

References

TODO_REF
Adams — Stable Homotopy and Generalised Homology · Part I, the stable category
TODO_REF
Switzer — Algebraic Topology — Homotopy and Homology · §8, the stable homotopy category
TODO_REF
May — A Concise Course in Algebraic Topology · Ch. 23, spectra and generalised cohomology
TODO_REF
Hovey, Shipley & Smith — Symmetric Spectra · modern model for the stable category

Reviewer

TBD

Estimated time

beginner: 15m
intermediate: 50m
master: 75m