Suspension

Intuition [Beginner]

The suspension of a topological space $X$ is the space you get by stretching $X$ between two cone-points: take two cones over $X$ and glue them along their common base. Geometrically: $X$ is "lifted" into one higher dimension by stretching it through two opposite poles.

The suspension of an $n$-sphere is the $(n+1)$-sphere: $\Sigma S^n\cong S^{n+1}$. Iterating, $n$-fold suspension of a point is the $n$-sphere. So suspension is the homotopical operation that increases dimension by one.

Why care? Because suspension is the right way to compare homotopy in different dimensions. The Freudenthal suspension theorem says that for highly connected spaces, suspension induces an isomorphism on homotopy groups. In the limit as you keep suspending, the homotopy groups stabilise — these are the stable homotopy groups — and the resulting "stable" world is much simpler than the unstable one.

Visual [Beginner]

A space $X$ stretched between two cone-points (north and south "pole") to form its suspension $\Sigma X$. The original $X$ sits in the middle as the equator.

Iterating: ${\Sigma }^{k}X$ adds $k$ pairs of cone-points, raising the "dimension" of $X$ by $k$.

Worked example [Beginner]

The suspension of the 0-sphere $S^0$ (two points) is the 1-sphere $S^1$ (a circle). Two cones each have one point at the apex; gluing the bases together produces a circle.

The suspension of the 1-sphere $S^1$ (a circle) is the 2-sphere $S^2$. Two cones over the circle produce two disks; gluing along their boundaries gives the 2-sphere.

Iterating: ${\Sigma }^n{S}^0=S^n$, generalising the suspension-of-a-circle pattern.

The Freudenthal suspension theorem: for a highly-connected space $X$ (more precisely, an $n$-connected space), the suspension map ${\pi }_k(X)\to {\pi }_{k+1}(\Sigma X)$ is an isomorphism for $k\le 2n$ and surjective for $k=2n+1$. Applied to spheres, this says ${\pi }_k(S^n)\to {\pi }_{k+1}(S^{n+1})$ is an iso for small enough $k$ — the source of stable homotopy.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $X$ be a topological space 02.01.01. The (unreduced) suspension of $X$ is the quotient

$$SX:=(X\times [0,1])/((x,0)\sim (x^{\prime },0)\text{ and }(x,1)\sim (x^{\prime },1)).$$

The two equivalence classes corresponding to the collapsed slices $\{0\}$ and $\{1\}$ are the cone-points (or "apex" and "co-apex") of $SX$.

For pointed spaces $(X,x_0)$ — topological spaces with a chosen basepoint — the reduced suspension $\Sigma X$ is the further quotient

$$\Sigma X:=SX/(\{x_0\}\times [0,1]),$$

collapsing the meridian through the basepoint to a single point. The result is naturally pointed by the image of this collapsed meridian.

For "nice" spaces (e.g., CW complexes), the unreduced suspension and the reduced suspension are homotopy equivalent — only the basepoint convention differs.

The iterated suspension ${\Sigma }^{k}X$ is defined recursively as $\Sigma ({\Sigma }^{k-1}X)$, with ${\Sigma }^{0}X=X$.

Adjunction with loop space. The reduced suspension $\Sigma$ is left-adjoint to the loop-space functor $\Omega$:

$$[\Sigma X,Y]\cong [X,\Omega Y]$$

for pointed CW complexes $X,Y$. This is the fundamental adjunction of pointed homotopy theory and the source of much computational power.

Suspension on homotopy groups. The suspension map $\Sigma :{\pi }_n(X,x_0)\to {\pi }_{n+1}(\Sigma X,\ast )$ sends a based map $f:(S^n,\ast )\to (X,x_0)$ to $\Sigma f:(\Sigma S^n,\ast )=(S^{n+1},\ast )\to (\Sigma X,\ast )$.

Key examples.

• $\Sigma S^n\cong S^{n+1}$ (homotopy equivalence).
• $\Sigma X$ is always simply connected if $X$ is path-connected.
• $\Sigma$ commutes with smash products: $\Sigma (X\wedge Y)\cong \Sigma X\wedge Y\cong X\wedge \Sigma Y$ (for pointed spaces).

Key theorem with proof [Intermediate+]

Theorem (Freudenthal suspension). Let $X$ be an $n$-connected pointed CW complex (i.e., ${\pi }_k(X)=0$ for $k\le n$). Then the suspension map

$$\Sigma :{\pi }_k(X)\to {\pi }_{k+1}(\Sigma X)$$

is an isomorphism for $k\le 2n$, and a surjection for $k=2n+1$.

Proof sketch. Use the homotopy excision theorem. The suspension $\Sigma X$ is the union of two cones $C_{+}X$ and $C_{-}X$ glued along $X$. Both cones are contractible. The pair $(\Sigma X,C_{+}X)$ has the property that $C_{+}X\cup C_{-}X=\Sigma X$ and $C_{+}X\cap C_{-}X=X$. Excision in homotopy (modified for the connectivity hypothesis) compares the relative homotopy groups ${\pi }_k(\Sigma X,C_{+}X)\to {\pi }_k(\Sigma X/C_{+}X)$.

For $X$ which is $n$-connected, both cones are contractible and the relative groups simplify. The connecting map in the long exact sequence of the pair $(C_{+}X,X)$ — together with the homotopy equivalence $\Sigma X/C_{+}X\simeq \Sigma X/\ast$ — yields the suspension iso in the claimed range. The detailed proof (in Hatcher Ch. 4, or May Ch. 8) uses the Blakers-Massey theorem in the form: for sufficiently connected pieces, excision in homotopy holds in a range of degrees. $\square$

The suspension gives a map between unstable homotopy groups that becomes more and more an isomorphism as you increase suspension count, eventually stabilising — this is the entry into stable homotopy theory 03.08.06, where suspension is invertible (formally) and the homotopy structure is much more tractable.

Bridge. The construction here builds toward 03.12.04 (spectrum), where the same data is upgraded, and the symmetry side is taken up in 03.08.06 (stable homotopy). 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+]

Lean formalization [Intermediate+]

lean_status: partial — Mathlib has limited coverage of suspension and the suspension-loop adjunction. The categorical formulation in $\infty$-categories is in development.

[object Promise]

Advanced results [Master]

Stable homotopy groups of spheres. The stable homotopy groups ${\pi }_k^s:={\lim }_{n\to \infty }{\pi }_{n+k}(S^n)$ are well-defined by the Freudenthal theorem (the limit stabilises). They form a deeply studied invariant: ${\pi }_0^s=\mathbb{Z}$, ${\pi }_1^s=\mathbb{Z}/2$, ${\pi }_2^s=\mathbb{Z}/2$, ${\pi }_3^s=\mathbb{Z}/24$, etc. These are the homotopy groups of the sphere spectrum $\mathbb{S}$.

Suspension and homology. Reduced homology and cohomology shift under suspension:

$${\tilde{H}}_n(\Sigma X)\cong {\tilde{H}}_{n-1}(X),{\tilde{H}}^n(\Sigma X)\cong {\tilde{H}}^{n-1}(X).$$

This is the suspension isomorphism in (co)homology, a special case of the long exact sequence of the cone-pair.

Smash product and suspension. The reduced suspension $\Sigma X=S^1\wedge X$, where $\wedge$ is the smash product of pointed spaces $X\wedge Y:=(X\times Y)/(X\vee Y)$. Iterated: ${\Sigma }^{n}X=S^n\wedge X$. So suspension is "smashing with the sphere $S^1$" — a perspective that extends naturally to spectra.

Loop spaces and $\Omega$-spectra. The right adjoint to suspension is the loop-space functor $\Omega Y:={\mathrm{Map}}_{\ast }(S^1,Y)$. An $\Omega$-spectrum is a sequence $(E_n)$ with structure maps $E_n\stackrel{\sim }{\to }\Omega E_{n+1}$ — a "stable" version of a topological space. Each cohomology theory $E^{\ast }$ is represented by an $\Omega$-spectrum.

Eilenberg-MacLane spaces and suspension. $K(A,n)=\Omega K(A,n+1)$ — the loop space of $K(A,n+1)$ is $K(A,n)$. Equivalently, $\Sigma K(A,n)$ is "almost" $K(A,n+1)$ in low degrees, but has additional homotopy in higher degrees that the loop-space adjunction strips out.

Spanier-Whitehead duality and stable category. In the stable homotopy category (objects: spectra), suspension is invertible. Spanier-Whitehead duality assigns to each finite spectrum $X$ a dual $DX$ with $DX\wedge X\to S^0$ giving a duality. This is the stable analogue of Poincaré duality on closed manifolds.

Synthesis. This construction generalises the pattern fixed in 02.01.01 (topological space), 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]

Suspension of a sphere is a sphere. Proved in Exercise 5: cones over $S^n$ are $(n+1)$-disks, glued along $S^n$ form $S^{n+1}$.

Suspension-loop adjunction. Sketched in Exercise 3. The full categorical statement: $\Sigma :\mathbf{Ho}({\mathbf{Top}}_{\ast })\to \mathbf{Ho}({\mathbf{Top}}_{\ast })$ is left-adjoint to $\Omega$. The unit and counit of the adjunction are natural maps $X\to \Omega \Sigma X$ and $\Sigma \Omega Y\to Y$.

Freudenthal suspension theorem. Sketched in §"Key theorem". Full proof uses the Blakers-Massey theorem applied to the cone-cofibration sequence $X\to C_{+}X\to \Sigma X$.

Suspension isomorphism in (co)homology. Apply the Mayer-Vietoris sequence to the cover $\Sigma X=C_{+}X\cup C_{-}X$ with intersection $X$. Cones are contractible, so their (co)homology vanishes in positive degrees. The connecting homomorphism in the resulting long exact sequence gives the suspension iso ${\tilde{H}}_n(X)\cong {\tilde{H}}_{n+1}(\Sigma X)$ (with cohomology by duality).

Connectivity raises by one. Proved in Exercise 6.

Connections [Master]

• Topological space 02.01.01 — the underlying setting.

• Continuous map 02.01.02 — suspensions are functorial.

• Homotopy and homotopy group 03.12.01 — suspension acts on homotopy groups.

• Spectrum 03.12.04 — sequences with structure maps using suspension; the natural objects of stable homotopy theory.

• Stable homotopy 03.08.06 — the limit-of-iterated-suspension homotopy groups.

• Eilenberg-MacLane space 03.12.05 — $K(A,n)$ relates to $K(A,n+1)$ by loop space; suspension is "almost" the inverse.

Historical & philosophical context [Master]

The suspension construction goes back to Freudenthal's 1937 paper, where he introduced what is now called the Freudenthal suspension theorem and used it to begin the study of stable homotopy. The terminology "suspension" comes from the geometric picture of stretching a space between two pole-points.

The shift from unstable to stable homotopy theory — formalised by Boardman (1965) and others through the construction of the stable homotopy category — was one of the most significant conceptual developments of mid-twentieth-century algebraic topology. It made suspension into an invertible operation, simplified many calculations, and produced the category of spectra as the natural home for generalised cohomology theories.

In modern language, suspension is the shift operator in the stable category: $\Sigma$ corresponds to multiplication by the unit object $S^1$ (the circle, viewed as a one-dimensional sphere). The stable category is generated by the sphere spectrum $\mathbb{S}$ under suspension.

Bibliography [Master]

• Hatcher, A., Algebraic Topology, Cambridge University Press, 2002. §0, §4.
• May, J. P., A Concise Course in Algebraic Topology, University of Chicago Press, 1999. Ch. 8.
• Switzer, R. M., Algebraic Topology — Homotopy and Homology, Springer Classics, 1975. §6.
• Freudenthal, H., "Über die Klassen der Sphärenabbildungen", Compositio Mathematica 5 (1938), 299–314.
• Boardman, J. M., "Stable homotopy theory", mimeographed notes (1965).

---

Wave 5 unit #1. Suspension — the homotopy-theoretic operation that increases dimension; foundation for stable homotopy theory and spectra.