Spectral sequence of a filtered complex

Intuition Beginner

A filtered complex is a complex that comes with layers. Instead of trying to compute all of its cohomology at once, we first compute what each layer contributes.

The spectral sequence is the repair process that follows. The first page sees only the separate layers. Later pages measure how the differential connects one layer to another. When the process settles, the final page gives the pieces of the actual cohomology, arranged by the same filtration.

This is why filtered complexes are the standard source of spectral sequences. Whenever a hard cohomology problem can be layered, the filtered-complex construction turns those layers into a controlled calculation.

Visual Beginner

Each page remembers less noise and more stable information than the previous one.

Worked example Beginner

Imagine a cochain complex built from forms on a space, but the forms are sorted by how many pieces of an open cover they involve. The first layer records ordinary forms on single open sets. The next layer records overlap data. Higher layers record higher overlaps.

Computing layer by layer gives a grid. The spectral sequence advances through that grid and detects which local pieces survive as global cohomology classes. This is the mechanism behind the Cech-de Rham spectral sequence and many sheaf-cohomology computations.

Check your understanding Beginner

Formal definition Intermediate+

Let (C^\bullet) be a cochain complex in an abelian category, and let (F^\bullet C^\bullet) be a decreasing filtration by subcomplexes: $$ \cdots \supseteq F^pC^\bullet\supseteq F^{p+1}C^\bullet\supseteq\cdots, $$ with (d(F^pC^n)\subseteq F^pC^{n+1}). The associated graded complex in filtration degree (p) is $$ \operatorname{gr}_F^pC^\bullet=F^pC^\bullet/F^{p+1}C^\bullet. $$

The spectral sequence of the filtered complex has initial pages $$ E_0^{p,q}=\operatorname{gr}_F^pC^{p+q}, $$ with (d_0) induced by the differential of (C^\bullet), and $$ E_1^{p,q}=H^{p+q}(\operatorname{gr}_F^pC^\bullet). $$ The page-(r) differential has cohomological bidegree $$ d_r^{p,q}\to E_r^{p+r,q-r+1}. $$

When the filtration is bounded in each total degree, the spectral sequence converges to the cohomology of (C^\bullet): $$ E_1^{p,q}\Rightarrow H^{p+q}(C^\bullet). $$ More precisely, (H^n(C^\bullet)) receives the induced filtration $$ F^pH^n(C^\bullet)= \operatorname{im}\bigl(H^n(F^pC^\bullet)\to H^n(C^\bullet)\bigr), $$ and $$ E_\infty^{p,q}\cong F^pH^{p+q}(C^\bullet)/F^{p+1}H^{p+q}(C^\bullet). $$

Useful hypotheses

The clean convergence statement above holds when the filtration is bounded in each degree: for every (n), only finitely many (p) have (\operatorname{gr}_F^pC^n\neq 0). More general convergence theorems replace boundedness with exhaustiveness, separation, and completeness conditions.

Key theorem with proof Intermediate+

Theorem (filtered-complex spectral sequence). Let (C^\bullet) be a cochain complex with a bounded decreasing filtration by subcomplexes. Then there is a cohomological spectral sequence with $$ E_0^{p,q}=\operatorname{gr}_F^pC^{p+q},\qquad E_1^{p,q}=H^{p+q}(\operatorname{gr}F^pC^\bullet), $$ and $$ E\infty^{p,q}\cong F^pH^{p+q}(C^\bullet)/F^{p+1}H^{p+q}(C^\bullet). $$

Proof. For (r\geq 0), define $$ Z_r^{p,q}= {x\in F^pC^{p+q}: dx\in F^{p+r}C^{p+q+1}}. $$ These are cocycles modulo deeper filtration. Also define $$ B_r^{p,q}=F^pC^{p+q}\cap d(F^{p-r}C^{p+q-1}), $$ the boundaries visible at page (r). The page (E_r^{p,q}) is the appropriate quotient of (Z_r^{p,q}) by elements already coming from deeper filtration and by visible boundaries.

The differential (d) sends (Z_r^{p,q}) into (Z_r^{p+r,q-r+1}), so it induces $$ d_r^{p,q}\to E_r^{p+r,q-r+1}. $$ The identity (d^2=0) gives (d_r^2=0).

Taking cohomology of (E_r) with respect to (d_r) replaces "cocycles modulo (F^{p+r})" by "cocycles modulo (F^{p+r+1})" and adds the new boundaries detected by (d_r). This is exactly the next page: $$ H(E_r,d_r)\cong E_{r+1}. $$

For convergence, fix total degree (n=p+q). Boundedness leaves only finitely many filtration degrees in (C^n) and (C^{n+1}). For large (r), the condition (dx\in F^{p+r}C^{n+1}) is the same as (dx=0), and the boundary terms have also stabilized. The stable quotient is the (p)-th associated graded piece of the induced filtration on (H^n(C^\bullet)), namely $$ F^pH^n(C^\bullet)/F^{p+1}H^n(C^\bullet). $$ This proves the theorem.

Double complexes as filtered complexes Intermediate+

Let (K^{p,q}) be a first-quadrant double complex with anticommuting differentials (d') and (d''). Its total complex is $$ \operatorname{Tot}^n(K)=\bigoplus_{p+q=n}K^{p,q}. $$ Filtering (\operatorname{Tot}(K)) by columns gives one spectral sequence; filtering by rows gives another. Both converge to (H^*(\operatorname{Tot}(K))) under first-quadrant boundedness.

This is the common source of the two standard computations:

• first compute vertical cohomology, then horizontal cohomology;
• first compute horizontal cohomology, then vertical cohomology.

When one of these spectral sequences collapses early, it can identify the total cohomology. This is the algebra behind many comparison theorems, including Cech-de Rham comparison and hypercohomology computations.

Edge maps and extension problems Intermediate+

The abutment filtration supplies edge maps from low filtration pieces to the total cohomology and from total cohomology to boundary pieces. These maps are often the usable part of the spectral sequence.

However, the final page gives associated graded pieces. Knowing (E_\infty) may leave extension problems: several filtered objects can have the same associated graded object. In geometric applications, ring structures, naturality, dimension arguments, or vanishing theorems are often used to solve those extension problems.

Master-level construction Master

The quotient formula for (E_r) can be written in a form that tracks both cycles and boundaries: $$ E_r^{p,q}= \frac{Z_r^{p,q}} {Z_{r-1}^{p+1,q-1}+B_{r-1}^{p,q}}, $$ where $$ Z_r^{p,q}={x\in F^pC^{p+q}\in F^{p+r}C^{p+q+1}} $$ and $$ B_r^{p,q}=F^pC^{p+q}\cap d(F^{p-r}C^{p+q-1}). $$ This formula explains why the differential has bidegree ((r,1-r)): if (x) lies in filtration (p) and (dx) first appears in filtration (p+r), then (dx) lands (r) columns to the right and one total cohomological degree higher.

The exact-couple construction packages the same formulas using the long exact cohomology sequences associated to $$ 0\to F^{p+1}C^\bullet\to F^pC^\bullet \to \operatorname{gr}_F^pC^\bullet\to 0. $$ Iterating the derived exact couple produces the same pages. The filtered-complex formula is computational; the exact-couple formula is structural.

Convergence refinements Master

Bounded filtrations are the curriculum's default case because stabilization occurs in finitely many steps in each total degree. In unbounded settings one must distinguish several convergence notions.

• Exhaustive means the filtration covers the complex.
• Separated means the intersection of all filtration levels vanishes.
• Complete means the complex can be recovered as the inverse limit of its filtration quotients.
• Strong convergence asks that the limiting page identify the associated graded of the target with no hidden derived-limit obstruction.

These refinements matter in derived algebraic geometry, completed cohomology, and infinite Postnikov towers. For the first-quadrant spectral sequences used in the surrounding sheaf-cohomology units, boundedness in each total degree is enough.

Historical note Master

Filtered complexes became standard through Cartan-Eilenberg's homological algebra and through Leray's earlier use of spectral sequences in sheaf theory. Massey's exact couples clarified the recursive mechanism; later texts such as Weibel, McCleary, and Gelfand-Manin made filtered complexes the default algebraic source of spectral sequences.

The importance of the construction is that it separates two tasks: finding a useful filtration, and then reading the resulting spectral sequence.

Connections Master

• 03.13.01 gives the broad spectral-sequence unit with exact couples and double complexes.
• 04.03.13 uses filtered total complexes in the proof of the Grothendieck spectral sequence.
• 04.03.15 uses the same construction for the Leray spectral sequence.
• 04.03.07 uses spectral sequences in higher direct images and base change.

Exercises Intermediate+

Bibliography Master

• H. Cartan and S. Eilenberg, Homological Algebra, Princeton University Press, Ch. XV.
• S. I. Gelfand and Y. I. Manin, Methods of Homological Algebra, Springer, Ch. III §§7-8.
• C. A. Weibel, An Introduction to Homological Algebra, Cambridge University Press, §§5.4-5.5.
• J. McCleary, A User's Guide to Spectral Sequences, Cambridge University Press, §2.2.
• R. Bott and L. Tu, Differential Forms in Algebraic Topology, Springer, §14.