Spectral Sequences — Serre and Leray-Hirsch

Serre spectral sequence: for a fibration

F \to E \to B

with

B

simply connected, there is a first-quadrant cohomology spectral sequence

E_{2}^{p, q} = H^{p} (B; H^{q} (F)) \Rightarrow H^{p + q} (E)

. Leray–Hirsch: when the fiber cohomology is free and globally extends over

E

, this degenerates and

H^{*} (E) ≅ H^{*} (B) \otimes H^{*} (F)

as an

H^{*} (B)

-module. Applies across algebraic topology, geometry, and physics (gauge theory, string topology). Developed by Jean Leray (1946), refined by Jean-Pierre Serre (1951 thesis) and Guy Hirsch.

A spectral sequence is a computational machine that organizes the homology or cohomology of a filtered or fibered object into a sequence of "pages" ${E_{r}, d_{r}}$ , each the homology of the previous one, converging to a graded object associated to the answer. The Serre spectral sequence specializes this to a fibration $F ↪ E π B$ , expressing the cohomology of the total space $E$ in terms of the cohomology of the base $B$ with coefficients in the cohomology of the fiber $F$ . The Leray–Hirsch theorem is the most useful collapse criterion: if $H^{*} (F)$ is finitely generated and free, and classes in $H^{*} (E)$ restrict to a basis of $H^{*} (F)$ on each fiber, the entire computation trivializes into a tensor product. A surprising fact: a single algebraic gadget computes the cohomology of $CP^{n}$ , loop spaces, Lie groups, classifying spaces, and Eilenberg–MacLane spaces — objects that look wildly different — all by the same bookkeeping.

The Core Insight

A fibration interpolates between base and fiber. Cohomology of the total space is "assembled" from cohomology of $B$ and $F$ , but the assembly is not a naive tensor product — there are higher-order corrections (the differentials $d_{r}$ ) encoding how fibers twist over the base. The spectral sequence is precisely the algebra that tracks these corrections page by page. When all differentials vanish (Leray–Hirsch), the corrections disappear and you get the clean tensor product. The art is computing differentials by exploiting multiplicative structure, naturality, and known edge homomorphisms.

Formal Statement

Spectral Sequence (cohomological, first quadrant)

A (cohomology) spectral sequence is a sequence of bigraded abelian groups (or $R$ -modules) ${E_{r}^{p, q}}_{r \geq r_{0}}$ together with differentials

d_{r} : E_{r}^{p, q} ⟶ E_{r}^{p + r, q - r + 1}, d_{r} \circ d_{r} = 0,

⟳the differential moves

r

to the right and

r - 1

down, so the total degree

p + q

increases by exactly

1

; squaring to zero is the defining axiom of a differential.

such that the next page is the cohomology of the current one:

E_{r + 1}^{p, q} ≅ \frac{ker ( d _{r} : E _{r}^{p, q} \to E _{r}^{p + r, q - r + 1} )}{im ( d _{r} : E _{r}^{p - r, q + r - 1} \to E _{r}^{p, q} )} .

⟳take cycles modulo boundaries on each page, the universal recipe for "homology of a complex."

It converges to a graded module $H^{n}$ with a filtration $0 = F^{n + 1} H^{n} \subseteq \dots \subseteq F^{0} H^{n} = H^{n}$ if for each $(p, q)$ the page stabilizes ( $E_{r}^{p, q} = E_{\infty}^{p, q}$ for large $r$ ) and

E_{\infty}^{p, q} ≅ F^{p} H^{p + q} / F^{p + 1} H^{p + q} .

⟳

E_{\infty}

records the associated graded of the filtration on the target; reconstructing

H^{n}

requires solving extension problems among these quotients.

Serre Spectral Sequence

Let $π : E \to B$ be a fibration with fiber $F$ , where $B$ is path-connected. Suppose $π_{1} (B)$ acts trivially on $H^{*} (F; R)$ (automatic if $B$ is simply connected). Then there is a first-quadrant cohomology spectral sequence of $R$ -algebras with

E_{2}^{p, q} = H^{p} (B; H^{q} (F; R)) ⟹ H^{p + q} (E; R) .

⟳filter

E

by preimages of the skeleta of

B

; the associated graded is built from cellular cochains of

B

valued in

H^{*} (F)

, giving the

E_{2}

identification via the universal coefficient and the cellular chain complex.

The multiplicative structure is governed by

d_{r} (x \cdot y) = d_{r} (x) \cdot y + (- 1)^{p + q} x \cdot d_{r} (y), x \in E_{r}^{p, q},

⟳each page is a bigraded differential algebra; the Leibniz rule with Koszul sign comes from the cup product being a chain map and the total degree controlling the sign.

with the product on $E_{2}$ being the cup product on $B$ tensored with the cup product on $F$ , twisted by sign $(- 1)^{p q^{'}}$ on $H^{p} (B; H^{q} F) \otimes H^{p^{'}} (B; H^{q^{'}} F)$ .

Leray–Hirsch

Let $π : E \to B$ be a fibration with fiber $F$ over a path-connected base, $R$ a principal ideal domain. Suppose:

$H^{q} (F; R)$ is a finitely generated free $R$ -module for each $q$ ;
there exist classes $c_{1}, \dots, c_{k} \in H^{*} (E; R)$ whose restrictions $ι^{*} (c_{j})$ to each fiber $F$ form a basis of $H^{*} (F; R)$ (where $ι : F ↪ E$ ).

Then $H^{*} (E; R)$ is a free $H^{*} (B; R)$ -module, and the map

Φ : H^{*} (B; R) \otimes_{R} H^{*} (F; R) ⟶ H^{*} (E; R), Φ (b \otimes ι^{*} (c_{j})) = π^{*} (b) ⌣ c_{j},

⟳the chosen classes provide a global section of the

E_{2}

-page as a free module over

H^{*} (B)

; freeness forces all differentials to kill nothing, so

E_{2} = E_{\infty}

and the filtration splits as a tensor product.

is an isomorphism of $H^{*} (B; R)$ -modules (and the Serre spectral sequence collapses at $E_{2}$ ).

Why It Holds / Derivation

Construction of the Serre Spectral Sequence via Skeletal Filtration

Assume $B$ is a CW complex with skeleta $B^{(0)} \subseteq B^{(1)} \subseteq \dots$ . Pull back to filter the total space:

Step 1 — Filter the total space. Set

E_{p} = π^{- 1} (B^{(p)})

, giving an increasing filtration

E_{0} \subseteq E_{1} \subseteq \dots \subseteq E

. This induces a decreasing filtration on cochains

C^{*} (E)

, hence a filtration on

H^{*} (E)

. Step 2 — Exact couple. The filtration yields long exact sequences of the pairs

(E_{p}, E_{p - 1})

\dots \to H^{n} (E_{p}, E_{p - 1}) \to H^{n} (E_{p}) \to H^{n} (E_{p - 1}) \to H^{n + 1} (E_{p}, E_{p - 1}) \to \dots

⟳the long exact sequence of a pair, assembled over all

p

into an exact couple

(D, E)

with maps

i, j, k

Splicing these gives an exact couple; its derived couples are the pages of the spectral sequence.

Step 3 — Identify $E_{1}$ . The relative cohomology

H^{p + q} (E_{p}, E_{p - 1})

measures cells of dimension

p

B

with fiber cohomology. Since

B^{(p)} / B^{(p - 1)}

is a wedge of

p

-spheres (one per

p

-cell

e_{α}^{p}

), and the fibration is locally trivial,

E_{1}^{p, q} = H^{p + q} (E_{p}, E_{p - 1}) ≅ α ⨁ H^{q} (F) = C_{cell}^{p} (B; H^{q} (F)),

⟳excision plus local triviality identify each relative term with cellular

p

-cochains valued in the fiber cohomology; the local coefficient system is trivial by hypothesis.

Step 4 — Identify $d_{1}$ and pass to $E_{2}$ . The differential

d_{1}

is the cellular coboundary on

B

with coefficients in

H^{q} (F)

. Therefore

E_{2}^{p, q} = H^{p} (C_{cell}^{*} (B; H^{q} (F)), d_{1}) = H^{p} (B; H^{q} (F)) .

⟳cohomology of the cellular cochain complex is exactly singular/CW cohomology with the given coefficient module.

Step 5 — Convergence. Because the filtration on each

H^{n} (E)

is finite (first quadrant:

0 \leq p, q

, and

p + q = n

bounds

p

), every

(p, q)

stabilizes. The first-quadrant condition guarantees no differentials in or out for

r > max (p + 1, q + 2)

, so

E_{\infty}^{p, q} = E_{r}^{p, q}

for large

r

, and equation [3] holds.

■

Leray–Hirsch from Collapse

Given classes $c_{1}, \dots, c_{k} \in H^{*} (E)$ restricting to a fiber basis, define the $E_{2}$ -level lift. Each $c_{j}$ has a leading term in $E_{\infty}^{0, q_{j}}$ equal to $ι^{*} (c_{j}) \in H^{0} (B; H^{q_{j}} (F))$ . The map

H^{*} (B) \otimes H^{*} (F) \to E_{2}^{*, *}, b \otimes ι^{*} (c_{j}) \mapsto b \otimes ι^{*} (c_{j}),

⟳

E_{2}^{p, q} = H^{p} (B) \otimes H^{q} (F)

by the universal coefficient theorem since

H^{q} (F)

is free over a PID; the chosen classes generate the fiber factor freely.

is an isomorphism of $E_{2}$ -pages onto the free $H^{*} (B)$ -module on the $ι^{*} (c_{j})$ . Now the differentials: $d_{r} (c_{j}) \in E_{r}^{r, q_{j} - r + 1}$ . But $c_{j}$ lives in $H^{*} (E)$ — it is a permanent cycle (it survives to $E_{\infty}$ because it is a genuine global class). By the Leibniz rule [5] and $H^{*} (B)$ -linearity of $d_{r}$ (elements of $E_{*}^{p, 0}$ pulled from $B$ are permanent cycles), every element $π^{*} (b) \cdot c_{j}$ is a permanent cycle. Since these span $E_{2}$ , all differentials vanish, so $E_{2} = E_{\infty}$ . The associated graded of $H^{*} (E)$ is therefore free over $H^{*} (B)$ ; freeness kills the extension problem, and $Φ$ is the resulting module isomorphism. $■$

Jean-Pierre Serre | 1926–

Serre's 1951 doctoral thesis, Homologie singulière des espaces fibrés, applied Leray's nascent theory of spectral sequences to topological fibrations, computing homotopy groups of spheres and revolutionizing algebraic topology. He introduced the now-standard use of the path-loop fibration $Ω X \to P X \to X$ to inductively relate $H^{*} (Ω X)$ and $H^{*} (X)$ , proving for instance that $π_{n} (S^{n})$ stabilizes and that all higher homotopy groups of spheres are finite except in the diagonal and the Euler-characteristic cases. For this and related work he received the 1954 Fields Medal at age 27 — the youngest ever at the time. The earlier groundwork was laid by Jean Leray while a prisoner of war (1941–1945), who invented sheaves and spectral sequences in captivity, and by Guy Hirsch, whose collapse criterion completed the picture.

Building Intuition

Think of a fibration as a "thick" base: above every point of $B$ sits a copy of $F$ . Cohomology classes on $E$ come in two flavors — those that vary along $B$ (pulled back via $π^{*}$ ) and those that live "fiber-wise." The $E_{2}$ -page $H^{p} (B; H^{q} (F))$ is the naive guess: combine $p$ -dimensional information from the base with $q$ -dimensional information from the fiber. But this guess is usually wrong: a fiber class might not extend globally because the fibers twist. The differential $d_{r}$ is the obstruction to extending a fiber class over more and more of the base. If $d_{r} (ξ) \neq = 0$ , the would-be class $ξ$ is "killed" — it doesn't survive to $H^{*} (E)$ . Leray–Hirsch is the statement that if you can already exhibit honest global classes restricting to a fiber basis, there are no obstructions — the twisting is cohomologically invisible, and $E$ looks like a product as far as cohomology can tell.

The geometric picture of the differential: $d_{2}$ takes a fiber class in the corner and pushes it $2$ columns right, $1$ row down — converting "fiber data of degree $q$ " into "base data of degree $q - 1$ raised by $2$ ." This is the transgression, the topological analog of integrating a fiber form to get a base form.

The first-quadrant Serre spectral sequence: $E_2$-page with the $d_2$ differential

Worked Examples

Cohomology of $\mathbb{CP}^n$ via the Hopf-type fibration $S^1 \to S^{2n+1} \to \mathbb{CP}^n$

Given: the fibration

S^{1} ↪ S^{2 n + 1} π CP^{n}

. We know

H^{*} (S^{1}; Z) = Z [t] / (t^{2})

with

∣ t ∣ = 1

, and

H^{*} (S^{2 n + 1}; Z) = Z ⟨ 1, s ⟩

with

∣ s ∣ = 2 n + 1

. We want

H^{*} (CP^{n})

. Step 1 — $E_{2}$ -page. With

b = H^{*} (CP^{n})

unknown,

E_{2}^{p, q} = H^{p} (CP^{n}; H^{q} (S^{1}))

. The fiber

S^{1}

contributes only

q = 0

and

q = 1

, each a copy of

Z

. So the page has two nonzero rows. Step 2 — Convergence forces collapse-then-cancellation. The total cohomology

H^{*} (S^{2 n + 1})

Z

in degrees

0

and

2 n + 1

and zero in between. The only differential that can move between the two rows is

d_{2} : E_{2}^{p, 1} \to E_{2}^{p + 2, 0}

. Step 3 — $d_{2}$ must be an isomorphism in the middle range. For

E_{\infty}

to vanish in total degrees

1, 2, \dots, 2 n

, the map

d_{2} : H^{p} (CP^{n}; H^{1} (S^{1})) ≅ H^{p + 2} (CP^{n}; H^{0} (S^{1}))

⟳anything surviving in those total degrees would appear in

H^{*} (S^{2 n + 1})

, which is zero there; only

d_{2}

can cancel both rows.

must be an isomorphism for $0 \leq p \leq 2 n - 2$ , identifying $H^{p}$ with $H^{p + 2}$ .

Step 4 — Induct.

H^{0} (CP^{n}) = Z

(generator

x^{0} = 1

);

d_{2} (t) = x

defines

x \in H^{2}

, and multiplicativity gives

d_{2} (t x^{k}) = x^{k + 1}

. Thus

H^{2 k} = Z ⟨ x^{k} ⟩

for

0 \leq k \leq n

and all odd degrees vanish, with

x^{n + 1} = 0

H^{*} (CP^{n}; Z) ≅ Z [x] / (x^{n + 1}), ∣ x ∣ = 2.

Leray–Hirsch: cohomology of a projective bundle

Given: a complex vector bundle

V \to B

of rank

n

, and its projectivization

π : P (V) \to B

with fiber

CP^{n - 1}

. Let

ξ = O (- 1)

be the tautological line bundle on

P (V)

, with first Chern class

c = c_{1} (ξ^{\lor}) \in H^{2} (P (V))

. Step 1 — Verify Leray–Hirsch hypotheses. The fiber cohomology

H^{*} (CP^{n - 1}) = Z [u] / (u^{n})

is free, with basis

1, u, \dots, u^{n - 1}

. The class

c

restricts on each fiber to the generator

u

H^{2} (CP^{n - 1})

. Hence

1, c, c^{2}, \dots, c^{n - 1}

restrict to a fiber basis. Step 2 — Apply the theorem. By Leray–Hirsch,

H^{*} (P (V))

is a free

H^{*} (B)

-module:

H^{*} (P (V); Z) ≅ i = 0 ⨁ n - 1 H^{*} (B) \cdot c^{i} = H^{*} (B) ⟨ 1, c, \dots, c^{n - 1} ⟩ .

⟳the

n

permanent cycles

c^{i}

generate freely over the base; collapse at

E_{2}

gives the direct sum.

Step 3 — Ring structure (Grothendieck relation). As an algebra, the single relation among the

c^{i}

c^{n} + c_{1} (V) c^{n - 1} + c_{2} (V) c^{n - 2} + \dots + c_{n} (V) = 0,

⟳

c^{n}

must be expressible in lower powers since the module is free of rank

n

; matching to the Whitney/splitting formula identifies the coefficients as the Chern classes of

V

which is exactly the defining equation of Chern classes (Grothendieck's axiomatic approach).

H^{*} (P (V)) = H^{*} (B) [c] / (\sum_{i = 0}^{n} c_{i} (V) c^{n - i}) .

Common Misconceptions

$E_{\infty} \neq = H^{*} (E)$ in general — only its associated graded. A frequent error is reading off

H^{n} (E) = ⨁_{p + q = n} E_{\infty}^{p, q}

as groups. This is correct over a field, but over

Z

there are extension problems:

E_{\infty}

gives only the graded pieces

F^{p} / F^{p + 1}

, and reassembling them may produce nontrivial extensions. For example a column

Z /2

stacked on

Z /2

could be

(Z /2)^{2}

Z /4

; the spectral sequence alone does not decide. Local coefficients matter. If

B

is not simply connected and

π_{1} (B)

acts nontrivially on

H^{*} (F)

, then

E_{2}^{p, q} = H^{p} (B; H^{q} (F))

uses local (twisted) coefficients, not ordinary cohomology. Forgetting this gives wrong answers (e.g., the Klein bottle as an

S^{1}

-bundle over

S^{1}

). Differentials are not automatic. Knowing

E_{2}

does not tell you the differentials; you must determine them by extra input — multiplicativity, naturality with respect to maps of fibrations, known target cohomology, transgression, or Steenrod operations. Leray–Hirsch can fail without the global extension condition. Consider the nontrivial

S^{1}

-bundle

S^{1} \to S^{3} Hopf S^{2}

. The fiber

H^{*} (S^{1}) = Z ⟨ 1, t ⟩

is free, so condition (1) holds. But there is no class

c \in H^{1} (S^{3})

restricting to the fiber generator

t

, because

H^{1} (S^{3}) = 0

. Condition (2) fails. Indeed Leray–Hirsch would predict

H^{*} (S^{3}) ≅ H^{*} (S^{2}) \otimes H^{*} (S^{1})

, giving nonzero

H^{1}

and

H^{2}

— contradicting

H^{*} (S^{3}) = Z ⟨ 1, s_{3} ⟩

. The truth:

d_{2} : E_{2}^{0, 1} \to E_{2}^{2, 0}

is an isomorphism (the Euler class is nonzero), the sequence does not collapse, and

E

is far from a product.

Connections

The Serre spectral sequence sits within a web of homological machinery. It is a special case of the Leray Spectral Sequence of a continuous map and its sheaf-theoretic pushforwards $R^{q} π_{*} F$ , with $E_{2}^{p, q} = H^{p} (B; R^{q} π_{*} F)$ . Both descend from the abstract Spectral Sequence of a Filtered Complex via an Exact Couple. In homological algebra the analog is the Grothendieck Spectral Sequence for a composite of derived functors, and the Lyndon-Hochschild-Serre Spectral Sequence is its incarnation for group extensions $1 \to N \to G \to Q \to 1$ , computing $H^{*} (G)$ from $H^{*} (Q; H^{*} (N))$ . The transgression in Serre's sequence is dual to the boundary map in the Wang Sequence (fibrations over spheres) and the Gysin Sequence (sphere bundles), both of which are the two-row Serre spectral sequence written as a long exact sequence. Leray–Hirsch is the engine behind the Splitting Principle and the construction of Chern Classes and Stiefel-Whitney Classes.

Real-World Applications

Computation of homotopy groups of spheres (Serre, 1951): the path-loop fibration $Ω S^{n} \to P S^{n} \to S^{n}$ and contractibility of $P S^{n}$ force differentials that determine $H^{*} (Ω S^{n})$ and ultimately show $π_{i} (S^{n})$ are finite for $i > n$ except $π_{n} (S^{n})$ and $π_{4 k - 1} (S^{2 k})$ .

Characteristic classes in gauge theory and physics: the cohomology of classifying spaces $B G$ (e.g. $H^{*} (B U (n)) = Z [c_{1}, \dots, c_{n}]$ , $H^{*} (B O (n); Z /2) = Z /2 [w_{1}, \dots, w_{n}]$ ) is computed via the universal bundle fibration $G \to E G \to B G$ , underpinning anomaly cancellation and instanton counting.

Chern–Weil and projective bundles in algebraic geometry: the Leray–Hirsch computation [12]–[13] is the foundation of intersection theory on flag and Grassmann bundles, used in enumerative geometry (Schubert calculus).

String topology and free loop spaces: cohomology of $L M = Map (S^{1}, M)$ via $Ω M \to L M \to M$ feeds into the Chas–Sullivan loop product, relevant to closed-string field theory.

Cohomology of Lie groups and homogeneous spaces $G / H$ : spectral sequences of $H \to G \to G / H$ compute, e.g., $H^{*} (U (n))$ as an exterior algebra and the cohomology of symmetric spaces.

Spectral sequences in condensed matter / topological insulators: Atiyah–Hirzebruch (a generalized-cohomology cousin) classifies band structures via $K$ -theory of the Brillouin zone, with differentials encoding obstructions to symmetric Wannier functions.

Deformation and obstruction theory: the Leray spectral sequence of a family $X \to S$ computes cohomology of fibers in moduli problems (Hodge theory, variation of Hodge structure).

Historical Development

1941–1945 — Jean Leray, prisoner of war at Oflag XVII-A in Austria, invents sheaves, sheaf cohomology, and spectral sequences (originally called "suites spectrales") to do topology without revealing his applied expertise to his captors.
1946 — Leray publishes his theory in the Comptes Rendus, introducing the spectral sequence of a continuous map.
1947–1950 — Henri Cartan's seminar at the ENS systematizes and disseminates Leray's ideas; Koszul, Cartan, and Eilenberg recast spectral sequences in algebraic language.
1948 — Guy Hirsch formulates the collapse/product criterion now bearing his name (with Leray).
1951 — Jean-Pierre Serre's thesis Homologie singulière des espaces fibrés applies the machine to fibrations of topological spaces, computing homotopy and homology of fiber spaces; the modern "Serre spectral sequence" is born.
1952 — William Massey introduces the exact couple formalism, giving the cleanest derivation of spectral sequences.
1954 — Serre awarded the Fields Medal, largely for this work.
1957 — Grothendieck's Tôhoku paper recasts spectral sequences in the language of derived functors; the Grothendieck spectral sequence generalizes Leray's.
1962 — Atiyah and Hirzebruch develop the spectral sequence for generalized cohomology theories ( $K$ -theory), extending the Serre paradigm.

Subtleties & Limits

Determining differentials remains an art, not an algorithm. For specific spaces (sphere spectra, classifying spaces of exotic groups, iterated loop spaces) the higher differentials

d_{r}

for

r \geq 3

are genuinely hard and sometimes unknown. The Adams spectral sequence and Adams–Novikov spectral sequence — variants that compute stable homotopy groups of spheres — have differentials that are the subject of ongoing research; the determination of

π_{*}^{s}

in high degrees (e.g. via the motivic Adams spectral sequence, Isaksen–Wang–Xu) is an active frontier, and many differentials are only known through heavy machine computation. Multiplicative extension problems beyond the additive ones (reconstructing the ring structure, not just the groups, of

H^{*} (E)

from

E_{\infty}

) require additional structure (Steenrod operations, Massey products,

A_{\infty}

-data) and have no general solution. Convergence subtleties for non-first-quadrant or unbounded spectral sequences (conditional vs. strong convergence,

lim^{1}

obstructions, Boardman's theory) are delicate, and naive use can give wrong answers in the half-plane or whole-plane settings arising in stable homotopy.

Spectral Sequences — Serre and Leray-Hirsch

The Core Insight

Formal Statement

Spectral Sequence (cohomological, first quadrant)

Serre Spectral Sequence

Leray–Hirsch

Why It Holds / Derivation

Construction of the Serre Spectral Sequence via Skeletal Filtration

Leray–Hirsch from Collapse

Jean-Pierre Serre | 1926–

Building Intuition

The first-quadrant Serre spectral sequence: $E_2$-page with the $d_2$ differential

Worked Examples

Cohomology of $\mathbb{CP}^n$ via the Hopf-type fibration $S^1 \to S^{2n+1} \to \mathbb{CP}^n$

Leray–Hirsch: cohomology of a projective bundle

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also

Before this

Where this leads