Spectral Sequence of a Bicomplex

• Spectral Sequence of a Bicomplex is a method that computes total cohomology by filtering a double complex along its rows or columns.
• It uses horizontal and vertical differentials to form successive pages where the E₁-page comes from initial cohomologies and later pages capture the interaction between the two differentials.
• The construction has practical implications in areas like BRST cohomology and holomorphic Poisson geometry, streamlining complex computations and diagrammatic proofs.

The spectral sequence of a bicomplex is the spectral sequence attached to one of the two natural filtrations on the total complex of a double complex. In its standard cohomological form, one starts with a bigraded object $V^{p,q}$ equipped with horizontal and vertical differentials $d_h$ and $d_v$ satisfying $d_h^2=d_v^2=d_hd_v+d_vd_h=0$, forms the total complex with differential $d=d_h+d_v$, and then filters by columns or by rows. The resulting first-quadrant spectral sequences compute the cohomology of the total complex through successive approximations whose first pages are vertical or horizontal cohomology and whose later pages encode the interaction of the two differentials (Phimister, 20 Aug 2025).

1. Bicomplexes and totalization

A bicomplex is a bigraded vector space $V^{**}$ with maps

$$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$

such that

$d_h^2=d_v^2=d_vd_h+d_hd_v=0.$

In the conventions emphasized in recent expositions, the focus is on first-quadrant bicomplexes, so $p,q\ge 0$, and everything is cohomological: each differential raises degree by $+1$ in its own direction (Phimister, 20 Aug 2025).

The total complex is defined by

$d_h$0

With the anti-commutation relation built into the definition, one has

$d_h$1

Under this convention no extra Koszul sign is inserted in the total differential. On a homogeneous component $d_h$2, the total differential is simply $d_h$3 (Phimister, 20 Aug 2025).

This setup isolates the central phenomenon of a bicomplex: the total cohomology is not obtained by applying $d_h$4 and $d_h$5 independently, but by organizing their interaction through filtrations of $d_h$6. The spectral sequence is the systematic device that records this interaction page by page.

2. Column and row filtrations

A first-quadrant bicomplex carries two canonical decreasing filtrations on its total complex. The vertical, or column, filtration is

$d_h$7

and the horizontal, or row, filtration is

$d_h$8

Both are canonically bounded in the first quadrant, so each gives a bounded first-quadrant spectral sequence converging to the cohomology of the total complex (Phimister, 20 Aug 2025).

For a filtered cochain complex $d_h$9, the associated graded object is

$d_v$0

Applied to the bicomplex filtrations, this yields

$d_v$1

For the column filtration, the induced $d_v$2 is the vertical differential $d_v$3; for the row filtration, after swapping indices, $d_v$4 is the horizontal differential $d_v$5 (Phimister, 20 Aug 2025).

The $d_v$6-page is obtained by taking cohomology with respect to $d_v$7. Thus the column filtration gives

$d_v$8

the vertical cohomology in each fixed column, while the row filtration gives

$d_v$9

the horizontal cohomology in each fixed row. The first nontrivial differential after $d_h^2=d_v^2=d_hd_v+d_vd_h=0$0 is induced by the other differential: on the column spectral sequence, $d_h^2=d_v^2=d_hd_v+d_vd_h=0$1 is induced by $d_h^2=d_v^2=d_hd_v+d_vd_h=0$2 on vertical cohomology classes; on the row spectral sequence, $d_h^2=d_v^2=d_hd_v+d_vd_h=0$3 is induced by $d_h^2=d_v^2=d_hd_v+d_vd_h=0$4 on horizontal cohomology classes. Anti-commutation is exactly what makes these induced maps well defined on cohomology classes (Phimister, 20 Aug 2025).

The standard $d_h^2=d_v^2=d_hd_v+d_vd_h=0$5-identifications are

$d_h^2=d_v^2=d_hd_v+d_vd_h=0$6

These formulas are often the first computational target: one selects the filtration for which the $d_h^2=d_v^2=d_hd_v+d_vd_h=0$7- or $d_h^2=d_v^2=d_hd_v+d_vd_h=0$8-page is simplest, and then studies whether higher differentials can occur (Phimister, 20 Aug 2025).

3. Higher differentials, convergence, and abutment

For a first-quadrant cohomological spectral sequence arising from a bicomplex, the $d_h^2=d_v^2=d_hd_v+d_vd_h=0$9-th differential has bidegree $d=d_h+d_v$0: $d=d_h+d_v$1 and the next page is

$d=d_h+d_v$2

These bidegrees apply uniformly to the spectral sequences arising from either the column or the row filtration (Phimister, 20 Aug 2025).

Boundedness of the filtration is the decisive convergence hypothesis. In the formulation used for first-quadrant bicomplexes, if the filtration on a cochain complex is bounded, then the resulting spectral sequence is bounded and converges to the cohomology of the filtered complex. Since the row and column filtrations of a first-quadrant bicomplex are canonically bounded, one obtains

$d=d_h+d_v$3

Equivalently,

$d=d_h+d_v$4

so the limiting page recovers the associated graded object of the induced filtration on total cohomology (Phimister, 20 Aug 2025).

This identification makes clear what a spectral sequence does and does not provide. It determines the graded pieces of the filtered cohomology, not automatically the extensions between them. In bounded first-quadrant settings, there are also edge morphisms

$d=d_h+d_v$5

which relate the abutment to distinguished edge terms. These maps are especially useful when many rows or columns vanish (Phimister, 20 Aug 2025).

The construction is functorial. A cochain map preserving the chosen filtration induces a morphism of spectral sequences, and for bicomplexes this applies in particular to morphisms commuting with $d=d_h+d_v$6 and $d=d_h+d_v$7. Functoriality underlies comparison arguments, vanishing theorems, and diagrammatic applications such as exactness proofs (Phimister, 20 Aug 2025).

4. Indexing and sign conventions

Although the underlying mechanism is stable, conventions vary substantially across the literature. In the cohomological first-quadrant convention just described, both differentials raise degree, the total differential is $d=d_h+d_v$8, and the spectral sequence differential has bidegree $d=d_h+d_v$9 (Phimister, 20 Aug 2025).

A common alternative, used when the two structure maps commute rather than anti-commute, is to modify the total differential by a sign: $V^{**}$0 In that framework the bicomplex is treated as a $V^{**}$1-multicomplex with commuting $V^{**}$2 and $V^{**}$3, and the spectral sequence is still obtained from the row or column filtration, but the sign is transferred from the bicomplex identities into totalization (Cirici et al., 23 Jan 2025).

Several papers use homological rather than cohomological grading. For right-half-plane bicomplexes $V^{**}$4 with $V^{**}$5 and $V^{**}$6, the filtration is increasing rather than decreasing, and the associated spectral sequence satisfies

$V^{**}$7

This is the same formal mechanism after reindexing, but direct comparison of formulas requires care because the differential bidegrees and filtration directions are reversed (Muro et al., 2018).

There are also mixed conventions in which the bicomplex is cohomological, but the horizontal differential has bidegree $V^{**}$8 and the total differential on $V^{**}$9 is written with an explicit total-degree sign,

$$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$0

so that the column filtration produces differentials

$$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$1

This convention is standard in model-categorical treatments of bicomplexes and filtered complexes (Cirici et al., 2018).

The existence of these variants is not a discrepancy in substance. It reflects the fact that the spectral sequence of a bicomplex is determined by filtered totalization, while the displayed formulas depend on choices of grading, filtration, and sign normalization.

5. Computation and representative applications

A standard computation begins by choosing the filtration that simplifies the first page, writing down $$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$2 as the associated graded object, taking $$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$3-cohomology to obtain $$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$4, identifying $$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$5 from the remaining differential, computing $$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$6, and then using the bidegrees of $$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$7 to determine which higher differentials can possibly be nonzero. One then tracks surviving classes to $$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$8 and uses convergence and edge maps to recover information about $$d_v:V^{p,q}\to V^{p,q+1}, \qquad d_h:V^{p,q}\to V^{p+1,q},$$9 (Phimister, 20 Aug 2025).

A classical diagrammatic application is Vakil’s spectral-sequence proof of the snake lemma. Starting from a commutative diagram with exact rows, one forms the associated bicomplex. For the row filtration, the $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$0-page vanishes because the rows are exact, so the spectral sequence abuts to $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$1. The column filtration therefore also converges to $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$2. Its $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$3-page consists of kernels and cokernels, and the $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$4- and $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$5-page analysis forces exactness everywhere except at the positions where the connecting morphism must appear, yielding the snake lemma exact sequence (Phimister, 20 Aug 2025).

In local BRST cohomology, bicomplex spectral sequences are used in two distinct ways. For the bicomplex with $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$6 and $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$7, the column filtration gives $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$8, and $d_h^2=d_v^2=d_vd_h+d_hd_v=0.$9-acyclicity in positive $p,q\ge 0$0antifield number implies that the spectral sequence degenerates at $p,q\ge 0$1, yielding

$p,q\ge 0$2

For the $p,q\ge 0$3-bicomplex, horizontal filtration by form degree gives $p,q\ge 0$4; boundedness by form degree $p,q\ge 0$5 forces degeneration by $p,q\ge 0$6, and the resulting pages organize the descent equations that classify $p,q\ge 0$7 and $p,q\ge 0$8 (Huang, 2010).

In holomorphic Poisson geometry, the bicomplex

$p,q\ge 0$9

has differentials $+1$0 of bidegree $+1$1 and $+1$2 of bidegree $+1$3. The column filtration gives

$+1$4

and the spectral sequence converges to holomorphic Poisson cohomology. On $+1$5-step nilmanifolds with abelian complex structures and $+1$6, it always degenerates at $+1$7; under additional conditions such as centrality of $+1$8 and solvability of the equation $+1$9, it degenerates already at $d_h$00 (Poon, 2016).

6. Structural results, limitations, and extensions

For bounded double complexes over a field, there is a complete indecomposable decomposition into squares and zigzags. In this description, squares contribute neither Dolbeault-type cohomology nor total cohomology, odd zigzags contribute one-dimensional total cohomology classes and already degenerate at $d_h$01, and even zigzags of length $d_h$02 contribute exactly one nonzero $d_h$03. Equivalently, nontrivial higher differentials occur precisely from even zigzags, and the spectral sequence degenerates on page $d_h$04 exactly when all even zigzags have length $d_h$05 (Stelzig, 2018). A related indecomposable-summand viewpoint identifies the spectral arrows of a bounded bicomplex directly with odd-length zigzags of the relevant length, so that the differential $d_h$06 can be read off from the combinatorics of the decomposition (Khovanov et al., 2019).

The spectral sequence of a bicomplex also appears in homotopy-theoretic formalisms. For right-half-plane bicomplexes, one model structure has weak equivalences detected by totalization, while a second Cartan–Eilenberg model structure takes weak equivalences to be the maps inducing isomorphisms on

$d_h$07

Strong convergence then implies that every $d_h$08-equivalence is a total quasi-isomorphism (Muro et al., 2018). Related model structures on bicomplexes and filtered complexes use $d_h$09-quasi-isomorphisms as weak equivalences, and analogous constructions extend to $d_h$10-multicomplexes, where one may require quasi-isomorphisms at prescribed pages of the two bicomplex spectral sequences arising from the row and column filtrations (Cirici et al., 2018, Cirici et al., 23 Jan 2025).

The bicomplex case is also the first instance of the more general theory of polycomplexes. For a $d_h$11-complex with anti-commuting differentials $d_h$12, the total differential is $d_h$13, and there are at least $d_h$14 canonically bounded filtrations obtained by restricting single indices or sums of indices. Each such filtration yields a convergent spectral sequence computing $d_h$15, and its $d_h$16-page is the cohomology of the total complex of an appropriate $d_h$17-complex slice (Phimister, 20 Aug 2025).

A common misconception is that vanishing row and column homology forces the bicomplex to carry no meaningful information. In bounded first-quadrant settings the classical spectral sequences then indeed collapse to zero, but in unbounded contexts this need not capture the invariant of interest. In Tate-theoretic situations, rows and columns can be exact while the relevant homology remains nonzero; an alternative “middle homology”

$d_h$18

recovers that information when the classical row and column spectral sequences are identically zero (Enochs et al., 2011).

Taken together, these developments show that the spectral sequence of a bicomplex is not merely a computational device for iterated cohomology. It is a structured interface between bigrading, filtration, totalization, and homological algebra, with manifestations ranging from elementary diagram chasing to BRST descent, holomorphic Poisson cohomology, model structures, and higher multicomplex theories.