Interactive visual essay

Watch the Corrections Happen

Spectral sequences without memorizing the machinery first.

Start with a complex hidden inside nested layers. Peel it apart. Compute what each layer says. Then watch the missing cross-layer information show up as diagonal corrections. The notation becomes a label for a motion you have already seen.

Built around Timothy Y. Chow’s pedagogical derivation: filtered complexes, associated graded pieces, first-page homology, and higher differentials as corrections for inter-level boundary behavior.
Drag the page slider below in the essay: horizontal layer homology becomes diagonal correction geometry.
The whole story in five gestures

The mental movie

A spectral sequence is a controlled way of asking: “What did I miss when I looked at the object one layer at a time?”

Start with a filtered complex

First rung: concrete pictures

If life were graded, the story would be easy.

In a genuinely graded complex, each layer stays in its lane. The boundary map moves horizontally inside a fixed grade, so we compute homology grade by grade and add the answers.

But Chow’s central move begins when this ideal situation fails: the object is only filtered. Levels are nested, not separate.

0 = Cd,0 ⊆ Cd,1 ⊆ ··· ⊆ Cd,n = Cd
1 Toggle the world
Second rung: peel the stack

Make a fake graded world: the associated graded.

We slice the nested filtration into visible quotients. The quotient removes everything already visible downstairs, leaving the new information first appearing at level p.

E0d,p = Cd,p / Cd,p−1
Intuition: Each quotient is a transparent acetate sheet. It is not the whole object; it is the incremental layer revealed at this height.
2 Peel control
Third rung: first approximation

E¹ is the homology of the peeled world.

After peeling, the induced boundary ∂₀ sees only motion confined to a single sheet. We compute homology inside each sheet.

E1d,p = Hd(E0*,p)

The trap is to think this is the answer. It is only the answer for the peeled model. The real filtered complex may contain boundaries that drop from one layer to another.

3 Horizontal-only vision
Cycle inside a layer First-page survivor Hidden leak not yet corrected
Fourth rung: interactive correction geometry

The correction playground

Use the page slider as a microscope. On page r, the differential detects information that drops r filtration levels.

E¹: compute homology inside each layer. The suspicious red arrows are not yet accounted for.
drthe correction operator on page r
Erwhat remains after earlier corrections
p+r → pdrop by r filtration levels
Ethe stabilized associated graded answer
Watch the slope. As r increases, the arrows jump farther down. The pages are not mysterious objects; they are increasingly long-range leak detectors.
Bret-style abstraction ladder

Step up for the pattern. Step down for the cause.

The same spectral-sequence event appears in three synchronized representations: a concrete layered object, a page grid, and the formula. Move the cursor over the grid to inspect a cell.

Concrete

Actual chains live in a nested building. Boundaries may fall from upper floors to lower floors.

Diagrammatic

The page grid shows surviving classes and diagonal differentials.

Symbolic

The formula names the motion you already saw: dᵣ : Eʳd+1,p+r → Eʳd,p.

Hover over a grid cell: the abstract point will step down into a concrete layer event.
Fifth rung: stabilization

Collapse is when the movie stops changing.

If many groups or differentials vanish early, the later pages look the same. Then the spectral sequence has done its work: the surviving data is stable.

This is why spectral sequences are useful. You often do not need to compute forever. You need to know where nothing further can happen.

Collapse lab
Notation after intuition

A compact guide to remember

What each page means
  • E⁰: the peeled layers themselves.
  • E¹: homology computed inside each layer.
  • E²: after correcting nearest-layer leakage.
  • E³, E⁴, …: deeper corrections across more layers.
  • E∞: stabilized surviving information.
! Beginner trap

Do not ask first: “What is the official definition?”

Ask first: “What did my layer-by-layer approximation miss, and how far down can the boundary map leak?”

Memory palace: Filtration = nested floors. Associated graded = transparent sheets. E¹ = first-pass homology. dᵣ = r-floor leak detector. Later pages = corrections. Stabilization = the movie stops changing.