Spectral Sequence

A spectral sequence is a computational device in homotopy theory and algebraic topology that approximates a complex algebraic invariant through a sequence of progressively refined approximations. Converging to the target like a telescope focusing, each page of the spectral sequence encodes partial information filtered by some auxiliary structure. The Leray-Serre spectral sequence computes the homology of a fiber bundle from its base and fiber; the Adams spectral sequence attacks the computability of homotopy groups of spheres.

Spectral sequences are the standard response to the fundamental tension in algebraic topology: the invariants one wants are geometrically transparent but algebraically opaque. They are not elegant; they are effective. And in a field where elegance and effectiveness rarely coincide, that is recommendation enough. The study of spectral sequences is inseparable from the study of cohomology theories, since each cohomology theory generates its own spectral machinery for extracting information from composite structures.

The spectral sequence is the mathematician's confession that understanding does not arrive all at once. It accumulates, page by page, approximation by approximation, until the fog clears. Those who complain about the complexity of spectral sequences are complaining about the nature of partial knowledge itself.