A duality in stable homotopy theory that assigns to a finite (or compact) CW complex a dual object in the stable homotopy category so that maps from the smash product with the dual into the sphere spectrum identify with maps out of the original complex; informally, finite complexes have stable duals represented by suitably suspended complements.

Principle

Stabilize by suspension and work in the Spanier–Whitehead category: for finite complexes X there exists a dual DX such that the functor Y ↦ [X ∧ Y, S] is representable by DX, capturing a contravariant duality governed by finiteness and suspension invariance.

Demonstration

Given a finite CW complex X embedded in a sphere S^n, the complement (with appropriate suspension) represents the Spanier–Whitehead dual DX; equivalently, for finite spectra one has canonical duals so that X ∧ DX → S gives perfect pairings in the stable category and yields duality isomorphisms on stable homotopy groups.

Misapplication

Attempting to apply Spanier–Whitehead duality to infinite or noncompact complexes without finiteness hypotheses or ignoring convergence of suspensions leads to false duality claims; equivariant or parametrized contexts require extra care and hypotheses for the dual to exist.

Consequence

Provides a powerful tool to convert homological calculations into cohomological ones and vice versa in the stable range, underlies many duality theorems and calculations of stable homotopy groups, and clarifies how finiteness controls dualizability in the stable category.

Reversal

Poincaré duality is a geometric, manifold-specific duality between homology and cohomology with orientation data; reversing perspective highlights that Spanier–Whitehead is a stable-categorical duality for finite complexes, while Poincaré duality requires manifold structure and local orientation.

Boundary

Requires finiteness or compactness hypotheses (finite CW complexes or dualizable finite spectra) and the passage to the stable homotopy category; it does not hold in general for arbitrary CW complexes, infinite complexes, or without taking stabilizations and appropriate categorical duals.

Semantic Tension

Tension exists with Alexander/Alexander–Spanier/Alexander dualities and with manifold dualities: the stable categorical nature of Spanier–Whitehead duality differs from classical geometric dualities, so one must distinguish stable dualizability from manifold or Alexander-type dualities tied to embedding theory.

Synthesis

Spanier–Whitehead duality identifies finite CW complexes with dual objects in the stable homotopy category: by stabilizing and using finiteness one obtains duals DX with perfect pairings X ∧ DX → S, turning mapping problems into dual mapping problems and making dualizability a finiteness-controlled property in stable homotopy theory.