nLab Introduction to Spectral Sequences

Redirected from "Introduction to Stable homotopy theory -- I".
Note: Introduction to Spectral Sequences and Introduction to Spectral Sequences both redirect for "Introduction to Stable homotopy theory -- I".
Contents

This page is an introduction to spectral sequences. We motivate spectral sequences of filtered complexes from the computation of cellular cohomology via stratum-wise relative cohomology. In the end we generalize to spectral sequences of filtered spectra.

\,

For background on homological algebra see at Introduction to Homological algebra.

For background on stable homotopy theory see at Introduction to Stable homotopy theory.

For application to complex oriented cohomology see at Introduction to Cobordism and Complex Oriented Cohomology.

For application to the Adams spectral sequence see Introduction to Adams spectral sequences.


\,

Contents

In Introduction to Stable homotopy theory we have set up the concept of spectra XX and their stable homotopy groups π (X)\pi_\bullet(X) (def.). More generally for XX and YY two spectra then there is the graded stable homotopy group [X,Y] [X,Y]_\bullet of homotopy classes of maps bewteen them (def.). These may be thought of as generalized cohomology groups (exmpl.). Moreover, in part 1.2 we discussed the symmetric monoidal smash product of spectra XYX \wedge Y. The stable homotopy groups of such a smash product spectrum may be thought of as generalized homology groups (rmk.).

These stable homotopy and generalized (co-)homology groups are the fundamental invariants in algebraic topology. In general they are as rich and interesting as they are hard to compute, as famously witnessed by the stable homotopy groups of spheres, some of which we compute in part 2.

In general the only practicable way to carry out such computations is by doing them along a decomposition of the given spectrum into a “sequence of stages” of sorts. The concept of spectral sequence is what formalizes this idea.

(Here the re-occurence of the root “spectr-” it is a historical coincidence, but a lucky one.)

Here we give an expository introduction to the concept of spectral sequences, building up in detail to the spectral sequence of a filtered complex.

We put these spectral sequences to use in

For filtered complexes

We begin with recalling basics of ordinary relative homology and then seamlessly derive the notion of spectral sequences from that as the natural way of computing the ordinary cohomology of a CW-complex stagewise from the relative cohomology of its skeleta. This is meant as motivation and warmup. What we are mostly going to use further below are spectral sequences induced by filtered spectra, this we turn to next.

Ordinary homology

Let XX be a topological space and AXA \hookrightarrow X a topological subspace. Write C (X)C_\bullet(X) for the chain complex of singular homology on XX and C (A)C (X)C_\bullet(A) \hookrightarrow C_\bullet(X) for the chain map induced by the subspace inclusion.

Definition

The (degreewise) cokernel of this inclusion, hence the quotient C (X)/C (A)C_\bullet(X)/C_\bullet(A) of C (X)C_\bullet(X) by the image of C (A)C_\bullet(A) under the inclusion, is the chain complex of AA-relative singular chains.

  • A boundary in this quotient is called an AA-relative singular boundary,

  • a cycle is called an AA-relative singular cycle.

  • The chain homology of the quotient is the AA-relative singular homology of XX

    H n(X,A)H n(C (X)/C (A)). H_n(X , A)\coloneqq H_n(C_\bullet(X)/C_\bullet(A)) \,.
Remark

This means that a singular (n+1)(n+1)-chain cC n+1(X)c \in C_{n+1}(X) is an AA-relative cycle precisely if its boundary cC n(X)\partial c \in C_{n}(X) is, while not necessarily 0, contained in the nn-chains of AA: cC n(A)C n(X)\partial c \in C_n(A) \hookrightarrow C_n(X). So the boundary vanishes possibly only “up to contributions coming from AA”.

We record two evident but important classes of long exact sequences that relative homology groups sit in:

Proposition

Let AiXA \stackrel{i}{\hookrightarrow} X be a topological subspace inclusion. The corresponding relative singular homology, def. , sits in a long exact sequence of the form

H n(A)H n(i)H n(X)H n(X,A)δ n1H n1(A)H n1(i)H n1(X)H n1(X,A). \cdots \to H_n(A) \stackrel{H_n(i)}{\to} H_n(X) \to H_n(X, A) \stackrel{\delta_{n-1}}{\to} H_{n-1}(A) \stackrel{H_{n-1}(i)}{\to} H_{n-1}(X) \to H_{n-1}(X, A) \to \cdots \,.

The connecting homomorphism δ n:H n+1(X,A)H n(A)\delta_{n} \colon H_{n+1}(X, A) \to H_n(A) sends an element [c]H n+1(X,A)[c] \in H_{n+1}(X, A) represented by an AA-relative cycle cC n+1(X)c \in C_{n+1}(X), to the class represented by the boundary XcC n(A)C n(X)\partial^X c \in C_n(A) \hookrightarrow C_n(X).

Proof

This is the homology long exact sequence, induced by the defining short exact sequence 0C (A)iC (X)coker(i)C (X)/C (A)00 \to C_\bullet(A) \stackrel{i}{\hookrightarrow} C_\bullet(X) \to coker(i) \simeq C_\bullet(X)/C_\bullet(A) \to 0 of chain complexes.

Proposition

Let BAXB \hookrightarrow A \hookrightarrow X be a sequence of two topological subspace inclusions. Then there is a long exact sequence of relative singular homology groups of the form

H n(A,B)H n(X,B)H n(X,A)H n1(A,B). \cdots \to H_n(A , B) \to H_n(X , B) \to H_n(X , A ) \to H_{n-1}(A , B) \to \cdots \,.
Proof

Observe that we have a short exact sequence of chain complexes, def.

0C (A)/C (B)C (X)/C (B)C (X)/C (A)0. 0 \to C_\bullet(A)/C_\bullet(B) \to C_\bullet(X)/C_\bullet(B) \to C_\bullet(X)/C_\bullet(A) \to 0 \,.

The corresponding homology long exact sequence, prop. , is the long exact sequence in question.

We look at some concrete fundamental examples in a moment. But first it is useful to make explicit the following general sub-notion of relative homology.

Let XX still be a given topological space.

Definition

The augmentation map for the singular homology of XX is the homomorphism of abelian groups

ϵ:C 0(X) \epsilon \colon C_0(X) \to \mathbb{Z}

which adds up all the coefficients of all 0-chains:

ϵ:: in iσ i in i. \epsilon \colon \colon \sum_{i} n_i \sigma_i \mapsto \sum_i n_i \,.

Since the boundary of a 1-chain is in the kernel of this map, by example , it constitutes a chain map

ϵ:C (X), \epsilon \colon C_\bullet(X) \to \mathbb{Z} \,,

where now \mathbb{Z} is regarded as a chain complex concentrated in degree 0.

Definition

The reduced singular chain complex C˜ (X)\tilde C_\bullet(X) of XX is the kernel of the augmentation map, the chain complex sitting in the short exact sequence

0C˜ (C)C (X)ϵ0. 0 \to \tilde C_\bullet(C) \to C_\bullet(X) \stackrel{\epsilon}{\to} \mathbb{Z} \to 0 \,.

The reduced singular homology H˜ (X)\tilde H_\bullet(X) of XX is the chain homology of the reduced singular chain complex

H˜ (X)H (C˜ (X)). \tilde H_\bullet(X) \coloneqq H_\bullet(\tilde C_\bullet(X)) \,.

Equivalently:

Definition

The reduced singular homology of XX, denoted H˜ (X)\tilde H_\bullet(X), is the chain homology of the augmented chain complex

C 2(X) 1C 1(X) 0C 0(X)ϵ0. \cdots \to C_2(X) \stackrel{\partial_1}{\to} C_1(X) \stackrel{\partial_0}{\to} C_0(X) \stackrel{\epsilon}{\to} \mathbb{Z} \to 0 \,.

Let XX be a topological space, H (X)H_\bullet(X) its singular homology and H˜ (X)\tilde H_\bullet(X) its reduced singular homology, def. .

Proposition

For nn \in \mathbb{N} there is an isomorphism

H n(X){H˜ n(X) forn1 H˜ 0(X) forn=0 H_n(X) \simeq \left\{ \array{ \tilde H_n(X) & for \; n \geq 1 \\ \tilde H_0(X) \oplus \mathbb{Z} & for\; n = 0 } \right.
Proof

The homology long exact sequence, prop. , of the defining short exact sequence C˜ (C)C (X)ϵ\tilde C_\bullet(C) \to C_\bullet(X) \stackrel{\epsilon}{\to} \mathbb{Z} is, since \mathbb{Z} here is concentrated in degree 0, of the form

H˜ n(X)H n(X)00H˜ 1(X)H 1(X)0H˜ 0(X)H 0(X)ϵ0. \cdots \to \tilde H_n(X) \to H_n(X) \to 0 \to \cdots \to 0 \to \cdots \to \tilde H_1(X) \to H_1(X) \to 0 \to \tilde H_0(X) \to H_0(X) \stackrel{\epsilon}{\to} \mathbb{Z} \to 0 \,.

Here exactness says that all the morphisms H˜ n(X)H n(X)\tilde H_n(X) \to H_n(X) for positive nn are isomorphisms. Moreover, since \mathbb{Z} is a free abelian group, hence a projective object, the remaining short exact sequence

0H˜ 0(X)H 0(X)0 0 \to \tilde H_0(X) \to H_0(X) \to \mathbb{Z} \to 0

is split, by prop. , and hence H 0(X)H˜ 0(X)H_0(X) \simeq \tilde H_0(X) \oplus \mathbb{Z}.

Proposition

For X=*X = * the point, the morphism

H 0(ϵ):H 0(X) H_0(\epsilon) \colon H_0(X) \to \mathbb{Z}

is an isomorphism. Accordingly the reduced homology of the point vanishes in every degree:

H˜ (*)0. \tilde H_\bullet(*) \simeq 0 \,.
Proof

By the discussion in section 2) we have that

H n(*){ forn=0 0 otherwise. H_n(*) \simeq \left\{ \array{ \mathbb{Z} & for \; n = 0 \\ 0 & otherwise } \right. \,.

Moreover, it is clear that ϵ:C 0(*)\epsilon \colon C_0(*) \to \mathbb{Z} is the identity map.

Now we can discuss the relation between reduced homology and relative homology.

Proposition

For XX an inhabited topological space, its reduced singular homology, def. , coincides with its relative singular homology relative to any base point x:*Xx \colon * \to X:

H˜ (X)H (X,*). \tilde H_\bullet(X) \simeq H_\bullet(X,*) \,.
Proof

Consider the sequence of topological subspace inclusions

*xX. \emptyset \hookrightarrow * \stackrel{x}{\hookrightarrow} X \,.

By prop. this induces a long exact sequence of the form

H n+1(*)H n+1(X)H n+1(X,*)H n(*)H n(X)H n(X,*)H 1(X)H 1(X,*)H 0(*)H 0(x)H 0(X)H n(X,*)0. \cdots \to H_{n+1}(*) \to H_{n+1}(X) \to H_{n+1}(X,*) \to H_n(*) \to H_n(X) \to H_n(X,*) \to \cdots \to H_1(X) \to H_1(X,*) \to H_0(*) \stackrel{H_0(x)}{\to} H_0(X) \to H_n(X,*) \to 0 \,.

Here in positive degrees we have H n(*)0H_n(*) \simeq 0 and therefore exactness gives isomorphisms

H n(X)H n(X,*) n1 H_n(X) \stackrel{\simeq}{\to} H_n(X,*)\;\; \forall_{n \geq 1}

and hence with prop. isomorphisms

H˜ n(X)H n(X,*) n1. \tilde H_n(X) \stackrel{\simeq}{\to} H_n(X,*)\;\; \forall_{n \geq 1} \,.

It remains to deal with the case in degree 0. To that end, observe that H 0(x):H 0(*)H 0(X)H_0(x) \colon H_0(*) \to H_0(X) is a monomorphism: for this notice that we have a commuting diagram

H 0(*) id H 0(*) H 0(x) H 0(f) H 0(ϵ) H 0(X) H 0(ϵ) , \array{ H_0(*) &\stackrel{id}{\to}& H_0(*) \\ {}^{\mathllap{H_0(x)}}\downarrow &{}^{\mathllap{H_0(f)}}\nearrow& \downarrow^{\mathrlap{H_0(\epsilon)}}_\simeq \\ H_0(X) &\stackrel{H_0(\epsilon)}{\to}& \mathbb{Z} } \,,

where f:X*f \colon X \to * is the terminal map. That the outer square commutes means that H 0(ϵ)H 0(x)=H 0(ϵ)H_0(\epsilon) \circ H_0(x) = H_0(\epsilon) and hence the composite on the left is an isomorphism. This implies that H 0(x)H_0(x) is an injection.

Therefore we have a short exact sequence as shown in the top of this diagram

0 H 0(*) H 0(x) H 0(X) H 0(X,*) 0 H 0(ϵ) . \array{ 0 &\to& H_0(*) &\stackrel{H_0(x)}{\hookrightarrow}& H_0(X) &\stackrel{}{\to}& H_0(X,*) &\to& 0 \\ && & {}_{\mathllap{\simeq}}\searrow & \downarrow^{\mathrlap{H_0(\epsilon)}} & \\ && && \mathbb{Z} } \,.

Using this we finally compute

H˜ 0(X) kerH 0(ϵ) coker(H 0(x)) H 0(X,*). \begin{aligned} \tilde H_0(X) & \coloneqq ker H_0(\epsilon) \\ & \simeq coker( H_0(x) ) \\ & \simeq H_0(X,*) \end{aligned} \,.

With this understanding of homology relative to a point in hand, we can now characterize relative homology more generally. From its definition in def. , it is plausible that the relative homology group H n(X,A)H_n(X,A) provides information about the quotient topological space X/AX/A. This is indeed true under mild conditions:

Definition

A topological subspace inclusion AXA \hookrightarrow X is called a good pair if

  1. AA is closed inside XX;

  2. AA has an neighbourhood AUXA \hookrightarrow U \hookrightarrow X such that AUA \hookrightarrow U has a deformation retract.

Proposition

If AXA \hookrightarrow X is a topological subspace inclusion which is good in the sense of def. , then the AA-relative singular homology of XX coincides with the reduced singular homology, def. , of the quotient space X/AX/A:

H n(X/A)H˜ n(X,A). H_n(X/A) \simeq \tilde H_n(X , A) \,.

The proof of this is spelled out at Relative homology – relation to quotient topological spaces. It needs the proof of the Excision property of relative homology. While important, here we will not further dwell on this. The interested reader can find more information behind the above links.

Cellular homology

With the general definition of relative homology in hand, we now consider the basic cells such that cell complexes built from such cells have tractable relative homology groups. Actually, up to weak homotopy equivalence, every Hausdorff topological space is given by such a cell complex and hence its relative homology, then called cellular homology, is a good tool for computing singular homology rather generally.

Definition

For nn \in \mathbb{N} write

  • D n nD^n \hookrightarrow \mathbb{R}^n \in Top for the standard nn-disk;

  • S n1 nS^{n-1} \hookrightarrow \mathbb{R}^{n} \in Top for the standard (n1)(n-1)-sphere;

    (notice that the 0-sphere is the disjoint union of two points, S 0=**S^0 = * \coprod *, and by definition the (1)(-1)-sphere is the empty set)

  • S 1D nS^{-1} \hookrightarrow D^{n} for the continuous function that includes the (n1)(n-1)-sphere as the boundary of the nn-disk.

Example

The reduced singular homology of the nn-sphere S nS^{n} equals the S n1S^{n-1}-relative homology of the nn-disk with respect to the canonical boundary inclusion S n1D nS^{n-1} \hookrightarrow D^n: for all nn \in \mathbb{N}

H˜ (S n)H (D n,S n1). \tilde H_\bullet(S^n) \simeq H_\bullet(D^n, S^{n-1}) \,.
Proof

The nn-sphere is homeomorphic to the nn-disk with its entire boundary identified with a point:

S nD n/S n1. S^n \simeq D^n/S^{n-1} \,.

Moreover the boundary inclusion is a good pair in the sense of def. . Therefore the example follows with prop. .

When forming cell complexes from disks, then each relative dimension will be a wedge sum of disks:

Definition

For {x i:*X i} i\{x_i \colon * \to X_i\}_i a set of pointed topological spaces, their wedge sum iX i\vee_i X_i is the result of identifying all base points in their disjoint union, hence the quotient

( iX i)/( i*). \left( \coprod_i X_i \right)/ \left( \coprod_i * \right) \,.
Example

The wedge sum of two pointed circles is the “figure 8”-topological space.

Proposition

Let {*X i} i\{* \to X_i\}_i be a set of pointed topological spaces. Write iX iTop\vee_i X_i \in Top for their wedge sum and write ι i:X i iX i\iota_i \colon X_i \to \vee_i X_i for the canonical inclusion functions.

Then for each nn \in \mathbb{N} the homomorphism

(H˜ n(ι i)) i: iH˜ n(X i)H˜ n( iX i) (\tilde H_n(\iota_i))_i \colon \oplus_i \tilde H_n(X_i) \to \tilde H_n(\vee_i X_i)

is an isomorphism.

Proof

By prop. the reduced homology of the wedge sum is equivalently the relative homology of the disjoint union of spaces relative to their disjoint union of basepoints

H˜ n( iX i)H n( iX i, i*). \tilde H_n(\vee_i X_i) \simeq H_n(\coprod_i X_i, \coprod_i *) \,.

The relative homology preserves these coproducts (sends them to direct sums) and so

H n( iX i, i*) iH n(X i,*). H_n(\coprod_i X_i, \coprod_i *) \simeq \oplus_i H_n(X_i, *) \,.

The following defines topological spaces which are inductively built by gluing disks to each other.

Definition

A CW complex of dimension (1)(-1) is the empty topological space.

By induction, for nn \in \mathbb{N} a CW complex of dimension nn is a topological space X nX_{n} obtained from

  1. a CWCW-complex X n1X_{n-1} of dimension n1n-1;

  2. an index set Cell(X) nSetCell(X)_n \in Set;

  3. a set of continuous maps (the attaching maps) {f i:S n1X n1} iCell(X) n\{ f_i \colon S^{n-1} \to X_{n-1}\}_{i \in Cell(X)_n}

as the pushout

X n( jCell(X) nD n)jCell(X) nS n1X n X_n \simeq \left( \coprod_{j \in Cell(X)_n} D^n \right) \underset{j \in Cell(X)_n S^{n-1}}{\coprod} X_n

in

jCell(X) nS n1 (f j) X n1 jCell(X) nD n X n, \array{ \coprod_{j \in Cell(X)_{n}} S^{n-1} &\stackrel{(f_j)}{\to}& X_{n-1} \\ \downarrow && \downarrow \\ \coprod_{j \in Cell(X)_{n}} D^{n} &\to& X_{n} } \,,

hence as the topological space obtained from X n1X_{n-1} by gluing in nn-disks D nD^n for each jCell(X) nj \in Cell(X)_n along the given boundary inclusion f j:S n1X n1f_j \colon S^{n-1} \to X_{n-1}.

By this construction, an nn-dimensional CW-complex is canonically a filtered topological space, hence a sequence of topological subspace inclusions of the form

X 0X 1X n1X n \emptyset \hookrightarrow X_0 \hookrightarrow X_1 \hookrightarrow \cdots \hookrightarrow X_{n-1} \hookrightarrow X_n

which are the right vertical morphisms in the above pushout diagrams.

A general CW complex XX then is a topological space which is the limiting space of a possibly infinite such sequence, hence a topological space given as the sequential colimit over a tower diagram each of whose morphisms is such a filter inclusion

X 0X 1X. \emptyset \hookrightarrow X_0 \hookrightarrow X_1 \hookrightarrow \cdots \hookrightarrow X \,.

The following basic facts about the singular homology of CW complexes are important.

Now we can state a variant of singular homology adapted to CW complexes which admits a more systematic way of computing its homology groups. First we observe the following.

Proposition

The relative singular homology, def. , of the filtering degrees of a CW complex XX, def. , is

H n(X k,X k1){[Cells(X) n] ifk=n 0 otherwise, H_n(X_k , X_{k-1}) \simeq \left\{ \array{ \mathbb{Z}[Cells(X)_n] & if\; k = n \\ 0 & otherwise } \right. \,,

where [Cells(X) n]\mathbb{Z}[Cells(X)_n] denotes the free abelian group on the set of nn-cells.

Proof

The inclusion X k1X kX_{k-1} \hookrightarrow X_k is a good pair in the sense of def. . The quotient X k/X k1X_k/X_{k-1} is by definition of CW-complexes a wedge sum, def. , of kk-spheres, one for each element in Cell(X) kCell(X)_k. Therefore by prop. we have an isomorphism H n(X k,X k1)H˜ n(X k/X k1)H_n(X_k , X_{k-1}) \simeq \tilde H_n( X_k / X_{k-1}) with the reduced homology of this wedge sum. The statement then follows by the respect of reduced homology for wedge sums, prop. .

Proposition

For XX a CW complex with skeletal filtration {X n} n\{X_n\}_n as above, and with k,nk,n \in \mathbb{N} we have for the singular homology of XX that

(k>n)(H k(X n)0). (k \gt n) \Rightarrow (H_k(X_n) \simeq 0) \,.

In particular if XX is a CW-complex of finite dimension dimXdim X (the maximum degree of cells), then

(k>dimX)(H k(X)0). (k \gt dim X) \Rightarrow (H_k(X) \simeq 0).

Moreover, for k<nk \lt n the inclusion

H k(X n)H k(X) H_k(X_n) \stackrel{\simeq}{\to} H_k(X)

is an isomorphism and for k=nk = n we have an isomorphism

image(H n(X n)H n(X))H n(X). image(H_n(X_n) \to H_n(X)) \simeq H_n(X) \,.
Proof

By the long exact sequence in relative homology, prop. we have an exact sequence of the form

H k+1(X n,X n1)H k(X n1)H k(X n)H k(X n,X n1). H_{k+1}(X_n , X_{n-1}) \to H_k(X_{n-1}) \to H_k(X_n) \to H_k(X_n, X_{n-1}) \,.

Now by prop. the leftmost and rightmost homology groups here vanish when knk \neq n and kn1k \neq n-1 and hence exactness implies that

H k(X n1)H k(X n) H_k(X_{n-1}) \stackrel{\simeq}{\to} H_k(X_n)

is an isomorphism for kn,n1k \neq n,n-1. This implies the first claims by induction on nn.

Finally for the last claim use that the above exact sequence gives

H n1+1(X n,X n1)H n1(X n1)H n1(X n)0 H_{n-1+1}(X_n , X_{n-1}) \to H_{n-1}(X_{n-1}) \to H_{n-1}(X_n) \to 0

and hence that with the above the map H n1(X n1)H n1(X)H_{n-1}(X_{n-1}) \to H_{n-1}(X) is surjective.

We may now discuss the cellular homology of a CW complex.

Definition

For XX a CW-complex, def. , its cellular chain complex H CW(X)Ch H_\bullet^{CW}(X) \in Ch_\bullet is the chain complex such that for nn \in \mathbb{N}

  • the abelian group of chains is the relative singular homology group, def. , of X nXX_n \hookrightarrow X relative to X n1XX_{n-1} \hookrightarrow X:

    H n CW(X)H n(X n,X n1), H_n^{CW}(X) \coloneqq H_n(X_n, X_{n-1}) \,,
  • the differential n+1 CW:H n+1 CW(X)H n CW(X)\partial^{CW}_{n+1} \colon H_{n+1}^{CW}(X) \to H_n^{CW}(X) is the composition

    n CW:H n+1(X n+1,X n) nH n(X n)i nH n(X n,X n1), \partial^{CW}_n \colon H_{n+1}(X_{n+1}, X_n) \stackrel{\partial_n}{\to} H_n(X_n) \stackrel{i_n}{\to} H_n(X_n, X_{n-1}) \,,

    where n\partial_n is the boundary map of the singular chain complex and where i ni_n is the morphism on relative homology induced from the canonical inclusion of pairs (X n,)(X n,X n1)(X_n, \emptyset) \to (X_n, X_{n-1}).

Proposition

The composition n CW n+1 CW\partial^{CW}_{n} \circ \partial^{CW}_{n+1} of two differentials in def. is indeed zero, hence H CW(X)H^{CW}_\bullet(X) is indeed a chain complex.

Proof

On representative singular chains the morphism i ni_n acts as the identity and hence n CW n+1 CW\partial^{CW}_{n} \circ \partial^{CW}_{n+1} acts as the double singular boundary, n n+1=0\partial_{n} \circ \partial_{n+1} = 0.

Remark

This means that

  • a cellular nn-chain is a singular nn-chain required to sit in filtering degree nn, hence in X nXX_n \hookrightarrow X;

  • a cellular nn-cycle is a singular nn-chain whose singular boundary is not necessarily 0, but is contained in filtering degree (n2)(n-2), hence in X n2XX_{n-2} \hookrightarrow X.

  • a cellular nn-boundary is a singular nn-chain which is the boundary of a singular (n+1)(n+1)-chain coming from filtering degree (n+1)(n+1).

This kind of situation – chains that are cycles only up to lower filtering degree and boundaries that come from specified higher filtering degree – has an evident generalization to higher relative filtering degrees. And in this greater generality the concept is of great practical relevance. Therefore before discussing cellular homology further now, we consider this more general “higher-order relative homology” that it suggests (namely the formalism of spectral sequences). After establishing a few fundamental facts about that we will come back in prop. below to analyse the above cellular situation using this conceptual tool.

In theorem we conclude that cellular homology and singular homology agree of CW-complexes agres.

First we abstract the structure on chain complexes that in the above example was induced by the CW-complex structure on the singular chain complex.

Filtered chain complexes

Definition

The structure of a filtered chain complex in a chain complex C C_\bullet is a sequence of chain map inclusions

F p1C F pC C . \cdots \hookrightarrow F_{p-1}C_\bullet \hookrightarrow F_p C_\bullet \hookrightarrow \cdots \hookrightarrow C_\bullet \,.

The associated graded complex of a filtered chain complex, denoted G C G_\bullet C_\bullet, is the collection of quotient chain complexes

G pC F pC /F p1C . G_p C_\bullet \coloneqq F_p C_\bullet / F_{p-1} C_\bullet \,.

We say that element of G pC G_p C_\bullet are in filtering degree pp.

Remark

In more detail this means that

  1. [ nC n n1C n1][\cdots \stackrel{\partial_{n}}{\to} C_n \stackrel{\partial_{n-1}}{\to} C_{n-1} \to \cdots] is a chain complex, hence {C n}\{C_n\} are objects in 𝒜\mathcal{A} (RR-modules) and { n}\{\partial_n\} are morphisms (module homomorphisms) with n+1 n=0\partial_{n+1} \circ \partial_{n} = 0;

  2. For each nn \in \mathbb{Z} there is a filtering F C nF_\bullet C_n on C nC_n and all these filterings are compatible with the differentials in that

    (F pC n)F pC n1 \partial(F_p C_n) \subset F_p C_{n-1}
  3. The grading associated to the filtering is such that the pp-graded elements are those in the quotient

    G pC nF pC nF p1C n. G_p C_n \coloneqq \frac{F_p C_n}{ F_{p-1} C_n} \,.

    Since the differentials respect the grading we have chain complexes G pC G_p C_\bullet in each filtering degree pp.

Hence elements in a filtered chain complex are bi-graded: they carry a degree as elements of C C_\bullet as usual, but now they also carry a filtering degree: for p,qp,q \in \mathbb{Z} we therefore also write

C p,qF pC p+q C_{p,q} \coloneqq F_p C_{p+q}

and call this the collection of (p,q)(p,q)-chains in the filtered chain complex.

Accordingly we have (p,q)(p,q)-cycles and -boundaries. But for these we may furthermore refine to a notion where also the filtering degree of the boundaries is constrained:

Definition

Let F C F_\bullet C_\bullet be a filtered chain complex. Its associated graded chain complex is the set of chain complexes

G pC F pC /F p1C G_p C_\bullet \coloneqq F_p C_\bullet / F_{p-1} C_\bullet

for all pp.

Then for r,p,qr, p, q \in \mathbb{Z} we say that

  1. G pC p+qG_p C_{p+q} is the module of (p,q)(p,q)-chains or of (p+q)(p+q)-chains in filtering degree pp;

  2. the module

    Z p,q r {cG pC p+q|c=0modF prC } ={cF pC p+q|(c)F prC p+q1}/F p1C p+q \begin{aligned} Z^r_{p,q} & \coloneqq \left\{ c \in G_p C_{p+q} | \partial c = 0 \, mod F_{p-r} C_{\bullet} \right\} \\ & = \left\{ c \in F_p C_{p+q} | \partial(c) \in F_{p-r} C_{p+q-1} \right\}/ F_{p-1}C_{p+q} \end{aligned}

    is the module of rr-almost (p,q)(p,q)-cycles (the (p+q)(p+q)-chains whose differential vanishes modulo terms of filtering degree prp-r);

  3. B p,q r(F p+r1C p+q+1),B^{r}_{p,q} \coloneqq \partial(F_{p+r-1} C_{p+q+1}) \,,

    is the module of rr-almost (p,q)(p,q)-boundaries.

Similarly we set

Z p,q {cF pC p+q|c=0}/F p1C p+q=Z(G pC p+q) Z^\infty_{p,q} \coloneqq \{c \in F_p C_{p + q} | \partial c = 0 \}/F_{p-1}C_{p+q} = Z(G_p C_{p+q})
B p,q (F pC p+q+1). B^\infty_{p,q} \coloneqq \partial( F_p C_{p+q+1} ) \,.

From this definition we immediately have that the differentials :C p+qC p+q1\partial \colon C_{p+q} \to C_{p+q-1} restrict to the rr-almost cycles as follows:

Proposition

The differentials of C C_\bullet restrict on rr-almost cycles to homomorphisms of the form

r:Z p,q rZ pr,q+r1 r. \partial^r \colon Z^r_{p,q} \to Z^r_{p-r, q+r-1} \,.

These are still differentials: 2=0\partial^2 = 0.

Proof

By the very definition of Z p,q rZ^r_{p,q} it consists of elements in filtering degree pp on which \partial decreases the filtering degree to prp-r. Also by definition of differential on a chain complex, \partial decreases the actual degree p+qp+q by one. This explains that \partial restricted to Z p,q rZ^r_{p,q} lands in Z pr,q+r1 Z^\bullet_{p-r,q+r-1}. Now the image constists indeed of actual boundaries, not just rr-almost boundaries. But since actual boundaries are in particular rr-almost boundaries, we may take the codomain to be Z pr,q+r1 rZ^r_{p-r,q+r-1}.

As before, we will in general index these differentials by their codomain and hence write in more detail

p,q r:Z p,q rZ pr,q+r1 r. \partial^r_{p,q} \colon Z^r_{p,q} \to Z^r_{p-r, q+r-1} \,.
Proposition

We have a sequence of canonical inclusions

B p,q 0B p,q 1B p,q Z p,q Z p,q 1Z p,q 0. B^0_{p,q} \hookrightarrow B^1_{p,q} \hookrightarrow \cdots B^\infty_{p,q} \hookrightarrow Z^\infty_{p,q} \hookrightarrow \cdots \hookrightarrow Z^1_{p,q} \hookrightarrow Z^0_{p,q} \,.

The following observation is elementary, and yet this is what drives the theory of spectral sequences, as it shows that almost cycles may be computed iteratively by homological means themselves.

Proposition

The (r+1)(r+1)-almost cycles are the r\partial^r-kernel inside the rr-almost cycles:

Z p,q r+1ker(Z p,q r rZ pr,q+r1 r). Z^{r+1}_{p,q} \simeq ker( Z^r_{p,q} \stackrel{\partial^r}{\to} Z^r_{p-r, q+r-1} ) \,.
Proof

An element cF pC p+qc \in F_p C_{p+q} represents

  1. an element in Z p,q rZ^r_{p,q} if cF prC p+q1\partial c \in F_{p-r} C_{p+q-1}

  2. an element in Z p,q r+1Z^{r+1}_{p,q} if even cF pr1C p+q1F prC p+q1\partial c \in F_{p-r-1} C_{p+q-1} \hookrightarrow F_{p-r} C_{p+q-1}.

The second condition is equivalent to c\partial c representing the 0-element in the quotient F prC p+q1/F pr1C p+q1F_{p-r}C_{p+q-1}/ F_{p-r-1}C_{p+q-1}. But this is in turn equivalent to c\partial c being 0 in Z pr,q+r1 rF prC p+q1/F pr1C p+q1Z^r_{p-r,q+r-1} \subset F_{p-r} C_{p+q-1} / F_{p-r-1} C_{p+q-1}.

With a definition of almost-cycles and almost-boundaries, of course we are now interested in the corresponding homology groups:

Definition

For r,p,qr, p, q \in \mathbb{Z} define the rr-almost (p,q)(p,q)-chain homology of the filtered complex to be the quotient of the rr-almost (p,q)(p,q)-cycles by the rr-almost (p,q)(p,q)-boundaries, def. :

E p,q r Z p,q rB p,q r ={xF pC p+q|xF prC p+q1}(F p+r1C p+q+1)F p1C p+q \begin{aligned} E^r_{p,q} & \coloneqq \frac{Z^r_{p,q}}{B^r_{p,q}} \\ & = \frac{ \left\{ x \in F_p C_{p+q} \,|\, \partial x \in F_{p-r} C_{p+q-1} \right\} } { \partial( F_{p+r-1} C_{p+q+1} ) \oplus F_{p-1} C_{p+q} } \end{aligned}

By prop. the differentials of C C_\bullet restrict on the rr-almost homology groups to maps

r:E p,q rE pr,q+r1 r. \partial^r : E^r_{p,q} \to E^r_{p-r, q+r - 1} \,.

The central property of these rr-almost homology groups now is their following iterative homological characterization.

Proposition

With definition we have that E , r+1E^{r+1}_{\bullet, \bullet} is the r\partial^r-chain homology of E , rE^r_{\bullet, \bullet}:

E p,q r+1=ker( r:E p,q rE pr,q+r1 r)im( r:E p+r,qr+1 rE p,q r). E^{r+1}_{p,q} = \frac{ ker(\partial^r : E^r_{p,q} \to E^r_{p-r, q+r-1}) }{ im( \partial^r : E^r_{p+r, q-r+1} \to E^r_{p,q} ) } \,.
Proof

By prop. .

This structure on the collection of rr-almost cycles of a filtered chain complex thus obtained is called a spectral sequence:

Definition

A homology spectral sequence of RR-modules is

  1. a set {E p,q r} p,q,r\{E_{p,q}^r\}_{p,q,r \in \mathbb{Z}} of RR-modules;

  2. a set { p,q r:E p,q rE pr,q+r1 r} r,p,q\{ \partial^r_{p,q} \colon E_{p,q}^{r} \to E^r_{p-r, q+r-1} \}_{r,p,q \in \mathbb{Z}} of homomorphisms

such that

  1. the r\partial^rs are differentials: p,q,r( pr,q+r1 r p,q r=0)\forall_{p,q,r} (\partial^r_{p-r,q+r-1} \circ \partial^r_{p,q} = 0);

  2. the modules E p,q r+1E^{r+1}_{p,q} are the r\partial^r-homology of the modules in relative degree rr:

    r,p,q(E p,q r+1ker( pr,q+r1 r)im( p,q r)). \forall_{r,p,q} \left( E^{r+1}_{p,q} \simeq \frac{ker(\partial^r_{p-r,q+r-1})}{im(\partial^r_{p, q})} \right) \,.

One says that E , rE^r_{\bullet,\bullet} is the rr-page of the spectral sequence.

Since this turns out to be a useful structure to make explicit, as the above motivation should already indicate, one introduces the following terminology and basic facts to talk about spectral sequences.

Definition

Let {E p,q r} r,p,q\{E^r_{p,q}\}_{r,p,q} be a spectral sequence, def. , such that for each p,qp,q there is r(p,q)r(p,q) such that for all rr(p,q)r \geq r(p,q) we have

E p,q rr(p,q)E p,q r(p,q). E^{r \geq r(p,q)}_{p,q} \simeq E^{r(p,q)}_{p,q} \,.

Then one says that

  1. the bigraded object

    E {E p,q } p,q{E p,q r(p,q)} p,q E^\infty \coloneqq \{E^\infty_{p,q}\}_{p,q} \coloneqq \{ E^{r(p,q)}_{p,q} \}_{p,q}

    is the limit term of the spectral sequence;

  • the spectral sequence abuts to E E^\infty.
Example

If for a spectral sequence there is r sr_s such that all differentials on pages after r sr_s vanish, rr s=0\partial^{r \geq r_s} = 0, then {E r s} p,q\{E^{r_s}\}_{p,q} is a limit term for the spectral sequence. One says in this cases that the spectral sequence degenerates at r sr_s.

Proof

By the defining relation

E p,q r+1ker( pr,q+r1 r)/im( p,q r)=E pq r E^{r+1}_{p,q} \simeq ker(\partial^r_{p-r,q+r-1})/im(\partial^r_{p,q}) = E^r_{pq}

the spectral sequence becomes constant in rr from r sr_s on if all the differentials vanish, so that ker( p,q r)=E p,q rker(\partial^r_{p,q}) = E^r_{p,q} for all p,qp,q.

Example

If for a spectral sequence {E p,q r} r,p,q\{E^r_{p,q}\}_{r,p,q} there is r s2r_s \geq 2 such that the r sr_sth page is concentrated in a single row or a single column, then the spectral sequence degenerates on this pages, example , hence this page is a limit term, def. . One says in this case that the spectral sequence collapses on this page.

Proof

For r2r \geq 2 the differentials of the spectral sequence

r:E p,q rE pr,q+r1 r \partial^r \colon E^r_{p,q} \to E^r_{p-r, q+r-1}

have domain and codomain necessarily in different rows an columns (while for r=1r = 1 both are in the same row and for r=0r = 0 both coincide). Therefore if all but one row or column vanish, then all these differentials vanish.

Definition

A spectral sequence {E p,q r} r,p,q\{E^r_{p,q}\}_{r,p,q} is said to converge to a graded object H H_\bullet with filtering F H F_\bullet H_\bullet, traditionally denoted

E p,q rH , E^r_{p,q} \Rightarrow H_\bullet \,,

if the associated graded complex {G pH p+q} p,q{F pH p+q/F p1H p+q}\{G_p H_{p+q}\}_{p,q} \coloneqq \{F_p H_{p+q} / F_{p-1} H_{p+q}\} of HH is the limit term of EE, def. :

E p,q G pH p+q p,q. E^\infty_{p,q} \simeq G_p H_{p+q} \;\;\;\;\;\;\; \forall_{p,q} \,.
Remark

In practice spectral sequences are often referred to via their first non-trivial page, often also the page at which it collapses, def. , often already the second page. Then one tends to use notation such as

E p,q 2H E^2_{p,q} \Rightarrow H_\bullet

to be read as “There is a spectral sequence whose second page is as shown on the left and which converges to a filtered object as shown on the right.”

Definition

A spectral sequence {E p,q r}\{E^r_{p,q}\} is called a bounded spectral sequence if for all n,rn,r \in \mathbb{Z} the number of non-vanishing terms of total degree nn, hence of the form E k,nk rE^r_{k,n-k}, is finite.

Definition

A spectral sequence {E p,q r}\{E^r_{p,q}\} is called

  • a first quadrant spectral sequence if all terms except possibly for p,q0p,q \geq 0 vanish;

  • a third quadrant spectral sequence if all terms except possibly for p,q0p,q \leq 0 vanish.

Such spectral sequences are bounded, def. .

Proposition

A bounded spectral sequence, def. , has a limit term, def. .

Proof

First notice that if a spectral sequence has at most NN non-vanishing terms of total degree nn on page rr, then all the following pages have at most at these positions non-vanishing terms, too, since these are the homologies of the previous terms.

Therefore for a bounded spectral sequence for each nn there is L(n)L(n) \in \mathbb{Z} such that E p,np r=0E^r_{p,n-p} = 0 for all pL(n)p \leq L(n) and all rr. Similarly there is T(n)T(n) \in \mathbb{Z} such E nq,q r=0E^r_{n-q,q} = 0 for all qT(n)q \leq T(n) and all rr.

We claim then that the limit term of the bounded spectral sequence is in position (p,q)(p,q) given by the value E p,q rE^r_{p,q} for

r>max(pL(p+q1),q+1L(p+q+1)). r \gt max( p-L(p+q-1), q + 1 - L(p+q+1) ) \,.

This is because for such rr we have

  1. E pr,q+r1 r=0E^r_{p-r, q+r-1} = 0 because pr<L(p+q1)p-r \lt L(p+q-1), and hence the kernel ker( pr,q+r1 r)=0ker(\partial^r_{p-r,q+r-1}) = 0 vanishes;

  2. E p+r,qr+1 r=0E^r_{p+r, q-r+1} = 0 because qr+1<T(p+q+1)q-r + 1 \lt T(p+q+1), and hence the image im( p,q r)=0im(\partial^r_{p,q}) = 0 vanishes.

Therefore

E p,q r+1 =ker( pr,q+r1 r)/im( p,q r) E p,q r/0 E p,q r. \begin{aligned} E^{r+1}_{p,q} &= ker(\partial^r_{p-r,q+r-1})/im(\partial^r_{p,q}) \\ & \simeq E^r_{p,q}/0 \\ & \simeq E^r_{p,q} \end{aligned} \,.

The central statement about the notion of the spectral sequence of a filtered chain complex then is the following proposition. It says that the iterative computation of higher order relative homology indeed in the limit computes the genuine homology.

Definition

For F C F_\bullet C_\bullet a filtered complex, write for pp \in \mathbb{Z}

F pH (C)image(H (F pC)H (C)). F_p H_\bullet(C) \coloneqq image( H_\bullet(F_p C) \to H_\bullet(C) ) \,.

This defines a filtering F H (C)F_\bullet H_\bullet(C) of the homology, regarded as a graded object.

Proposition

If the spectral sequence of a filtered complex F C F_\bullet C_\bullet of prop. has a limit term, def. then it converges, def. , to the chain homology of C C_\bullet

E p,q rH p+q(C ), E^r_{p,q} \Rightarrow H_{p+q}(C_\bullet) \,,

i.e. for sufficiently large rr we have

E p,q rG pH p+q(C), E^r_{p,q} \simeq G_p H_{p+q}(C) \,,

where on the right we have the associated graded object of the filtering of def. .

Proof

By assumption, there is for each p,qp,q an r(p,q)r(p,q) such that for all rr(p,q)r \geq r(p,q) the rr-almost cycles and rr-almost boundaries, def. , in F pC p+qF_p C_{p+q} are the ordinary cycles and boundaries. Therefore for rr(p,q)r \geq r(p,q) def. gives E p,q rG pH p+q(C)E^r_{p,q} \simeq G_p H_{p+q}(C).

This says what these spectral sequences are converging to. For computations it is also important to know how they start out for low rr. We can generally characterize E p,q rE^r_{p,q} for very low values of rr simply as follows:

Proposition

We have

  • E p,q 0=G pC p+q=F pC p+q/F p1C p+qE^0_{p,q} = G_p C_{p+q} = F_p C_{p+q} / F_{p-1} C_{p+q}

    is the associated p-graded piece of C p+qC_{p+q};

  • E p,q 1=H p+q(G pC )E^1_{p,q} = H_{p+q}(G_p C_\bullet)

Proof

For r=0r = 0 def. restricts to

E p,q 0=F pC p+qF p1C p+q=G pC p+q E^0_{p,q} = \frac{ F_p C_{p+q}}{F_{p-1} C_{p+q}} = G_p C_{p+q}

because for cF pC p+qc \in F_p C_{p+q} we automatically also have cF pC p+q\partial c \in F_p C_{p+q} since the differential respects the filtering degree by assumption.

For r=1r = 1 def. gives

E p,q 1={cG pC p+q|c=0G pC p+q}(F pC p+q)=H p+q(G pC ). E^1_{p,q} = \frac{\{c \in G_p C_{p+q} | \partial c = 0 \in G_p C_{p+q}\} }{\partial(F_p C_{p+q})} = H_{p+q} (G_p C_\bullet) \,.
Remark

There is, in general, a decisive difference between the homology of the associated graded complex H p+q(G pC )H_{p+q}(G_p C_\bullet) and the associated graded piece of the genuine homology G pH p+q(C )G_p H_{p+q}(C_\bullet): in the former the differentials of cycles are required to vanish only up to terms in lower degree, but in the latter they are required to vanish genuinely. The latter expression is instead the value of the spectral sequence for rr \to \infty, see prop. below.

Comparing cellular and singular homology

These general facts now allow us, as a first simple example for the application of spectral sequences to see transparently that the cellular homology of a CW complex, def. , coincides with its genuine singular homology.

First notice that of course the structure of a CW-complex on a topological space XX, def. naturally induces on its singular simplicial complex C (X)C_\bullet(X) the structure of a filtered chain complex, def. :

Definition

For X 0X 1XX_0 \hookrightarrow X_1 \hookrightarrow \cdots \hookrightarrow X a CW complex, and pp \in \mathbb{N}, write

F pC (X)C (X p) F_p C_\bullet(X) \coloneqq C_\bullet(X_p)

for the singular chain complex of X pXX_p \hookrightarrow X. The given topological subspace inclusions X pX p+1X_p \hookrightarrow X_{p+1} induce chain map inclusions F pC (X)F p+1C (X)F_p C_\bullet(X) \hookrightarrow F_{p+1} C_\bullet(X) and these equip the singular chain complex C (X)C_\bullet(X) of XX with the structure of a bounded filtered chain complex

0F 0C (X)F 1C (X)F 2C (X)F C (X)C (X). 0 \hookrightarrow F_0 C_\bullet(X) \hookrightarrow F_1 C_\bullet(X) \hookrightarrow F_2 C_\bullet(X) \hookrightarrow \cdots \hookrightarrow F_\infty C_\bullet(X) \coloneqq C_\bullet(X) \,.

(If XX is of finite dimension dimXdim X then this is a bounded filtration.)

Write {E p,q r(X)}\{E^r_{p,q}(X)\} for the spectral sequence of a filtered complex corresponding to this filtering.

Proposition

The spectral sequence {E p,q r(X)}\{E^r_{p,q}(X)\} of singular chains in a CW complex XX, def. converges, def. , to the singular homology of XX:

E p,q r(X)H (X). E^r_{p,q}(X) \Rightarrow H_\bullet(X) \,.
Proof

The spectral sequence {E p,q r(X)}\{E^r_{p,q}(X)\} is clearly a first-quadrant spectral sequence, def. . Therefore it is a bounded spectral sequence, def. and hence has a limit term, def. . So the statement follows with prop. .

We now identify the low-degree pages of {E p,q r(X)}\{E^r_{p,q}(X)\} with structures in singular homology theory.

Proposition
  • r=0r = 0E p,q 0(X)C p+q(X p)/C p+q(X p1)E^0_{p,q}(X) \simeq C_{p+q}(X_p)/C_{p+q}(X_{p-1}) is the group of X p1X_{p-1}-relative (p+q)-chains, def. , in X pX_p;

  • r=1r = 1E p,q 1(X)H p+q(X p,X p1)E^1_{p,q}(X) \simeq H_{p+q}(X_p, X_{p-1}) is the X p1X_{p-1}-relative singular homology, def. , of X pX_p;

  • r=2r = 2E p,q 2(X){H p CW(X) forq=0 0 otherwiseE^2_{p,q}(X) \simeq \left\{ \array{ H_p^{CW}(X) & for\; q = 0 \\ 0 & otherwise } \right.

  • r=r = \inftyE p,q (X)F pH p+q(X)/F p1H p+q(X)E^\infty_{p,q}(X) \simeq F_p H_{p+q}(X) / F_{p-1} H_{p+q}(X) .

Proof

By straightforward and immediate analysis of the definitions.

As a result of these general considerations we now obtain the promised isomorphism between the cellular homology and the singular homology of a CW-complex XX:

Theorem

For XX \in Top a CW complex, def. , its cellular homology, def. H CW(X)H^{CW}_\bullet(X) coincides with its singular homology H (X)H_\bullet(X):

H CW(X)H (X). H^{CW}_\bullet(X) \simeq H_\bullet(X) \,.
Proof

By the third item of prop. the (r=2)(r = 2)-page of the spectral sequence {E p,q r(X)}\{E^r_{p,q}(X)\} is concentrated in the (q=0)(q = 0)-row and hence it collapses there, def. . Accordingly we have

E p,q (X)E p,q 2(X) E^\infty_{p,q}(X) \simeq E^2_{p,q}(X)

for all p,qp,q. By the third and fourth item of prop. this non-trivial only for q=0q = 0 and there it is equivalently

G pH p(X)H p CW(X). G_p H_{p}(X) \simeq H^{CW}_p(X) \,.

Finally observe that G pH p(X)H p(X)G_p H_p(X) \simeq H_p(X) by the definition of the filtering on the homology, def. , and using prop. .

For filtered spectra

Definition

A filtered spectrum is a spectrum XX equipped with a sequence X :(,>)SpectraX_\bullet \colon (\mathbb{N}, \gt) \longrightarrow Spectra of spectra of the form

X 3f 2X 2f 1X 1f 0X 0=X. \cdots \longrightarrow X_3 \stackrel{f_2}{\longrightarrow} X_2 \stackrel{f_1}{\longrightarrow} X_1 \stackrel{f_0}{\longrightarrow} X_0 = X \,.
Remark

More generally a filtering on an object XX in (stable or not) homotopy theory is a \mathbb{Z}-graded sequence X X_\bullet such that XX is the homotopy colimit XlimX X\simeq \underset{\longrightarrow}{\lim} X_\bullet. But for the present purpose we stick with the simpler special case of def. .

Remark

There is no condition on the morphisms in def. . In particular, they are not required to be n-monomorphisms or n-epimorphisms for any nn.

On the other hand, while they are also not explicitly required to have a presentation by cofibrations or fibrations, this follows automatically: by the existence of model structures for spectra, every filtering on a spectrum is equivalent to one in which all morphisms are represented by cofibrations or by fibrations.

This means that we may think of a filtration on a spectrum XX in the sense of def. as equivalently being a tower of fibrations over XX.

The following remark unravels the structure encoded in a filtration on a spectrum, and motivates the concepts of exact couples and their spectral sequences from these.

Remark

Given a filtered spectrum as in def. , write A kA_k for the homotopy cofiber of its kkth stage, such as to obtain the diagram

X 3 f 2 X 2 f 2 X 1 f 1 X A 3 A 2 A 1 A 0 \array{ \cdots &\stackrel{}{\longrightarrow}& X_3 &\stackrel{f_2}{\longrightarrow}& X_2 &\stackrel{f_2}{\longrightarrow} & X_1 &\stackrel{f_1}{\longrightarrow}& X \\ && \downarrow && \downarrow && \downarrow && \downarrow \\ && A_3 && A_2 && A_1 && A_0 }

where each stage

X k+1 f k X k cofib(f k) A k \array{ X_{k+1} &\stackrel{f_k}{\longrightarrow}& X_k \\ && \downarrow^{\mathrlap{cofib(f_k)}} \\ && A_k }

is a homotopy fiber sequence.

To break this down into invariants, apply the stable homotopy groups-functor (def.). This yields a diagram of \mathbb{Z}-graded abelian groups of the form

π (X 3) π (f 2) π (X 2) π (f 2) π (X 1) π (f 1) π (X 0) π (A 3) π (A 2) π (A 1) π (A 0). \array{ \cdots &\stackrel{}{\longrightarrow}& \pi_\bullet(X_3) &\stackrel{\pi_\bullet(f_2)}{\longrightarrow}& \pi_\bullet(X_2) &\stackrel{\pi_\bullet(f_2)}{\longrightarrow} & \pi_\bullet(X_1) &\stackrel{\pi_\bullet(f_1)}{\longrightarrow}& \pi_\bullet(X_0) \\ && \downarrow && \downarrow && \downarrow && \downarrow \\ && \pi_\bullet(A_3) && \pi_\bullet(A_2) && \pi_\bullet(A_1) && \pi_\bullet(A_0) } \,.

Each hook at stage kk extends to a long exact sequence of homotopy groups (prop.) via connecting homomorphisms δ k\delta_\bullet^k

π +1(A k)δ +1 kπ (X k+1)π (f k)π (X k)π (A k)δ kπ 1(X k+1). \cdots \to \pi_{\bullet+1}(A_k) \stackrel{\delta_{\bullet+1}^k}{\longrightarrow} \pi_\bullet(X_{k+1}) \stackrel{\pi_\bullet(f_k)}{\longrightarrow} \pi_\bullet(X_k) \stackrel{}{\longrightarrow} \pi_\bullet(A_k) \stackrel{\delta_\bullet^k}{\longrightarrow} \pi_{\bullet-1}(X_{k+1}) \to \cdots \,.

If we understand the connecting homomorphism

δ k:π (A k)π (X k+1) \delta_k \colon \pi_\bullet(A_k) \longrightarrow \pi_\bullet(X_{k+1})

as a morphism of degree -1, then all this information fits into one diagram of the form

π (X 3) π (f 2) π (X 2) π (f 2) π (X 1) π (f 1) π (X 0) δ 2 δ 1 δ 0 π (A 3) π (A 2) π (A 1) π (A 0), \array{ \cdots &\stackrel{}{\longrightarrow}& \pi_\bullet(X_3) &\stackrel{\pi_\bullet(f_2)}{\longrightarrow}& \pi_\bullet(X_2) &\stackrel{\pi_\bullet(f_2)}{\longrightarrow} & \pi_\bullet(X_1) &\stackrel{\pi_\bullet(f_1)}{\longrightarrow}& \pi_\bullet(X_0) \\ && \downarrow &{}_{\mathllap{\delta_2}}\nwarrow & \downarrow &{}_{\mathllap{\delta_1}}\nwarrow & \downarrow &{}_{\mathllap{\delta_0}}\nwarrow & \downarrow \\ && \pi_\bullet(A_3) && \pi_\bullet(A_2) && \pi_\bullet(A_1) && \pi_\bullet(A_0) } \,,

where each triangle is a rolled-up incarnation of a long exact sequence of homotopy groups (and in particular is not a commuting diagram!).

If we furthermore consider the bigraded abelian groups π (X )\pi_\bullet(X_\bullet) and π (A )\pi_\bullet(A_\bullet), then this information may further be rolled-up to a single diagram of the form

π (X ) π (f ) π (X ) δ π (cofib(f )) π (A ) \array{ \pi_\bullet(X_\bullet) & \stackrel{\pi_\bullet(f_\bullet)}{\longrightarrow} & \pi_\bullet(X_\bullet) \\ & {}_{\mathllap{\delta}}\nwarrow & \downarrow^{\mathrlap{\pi_\bullet(cofib(f_\bullet))}} \\ && \pi_\bullet(A_\bullet) }

where the morphisms π (f )\pi_\bullet(f_\bullet), π (cofib(f ))\pi_\bullet(cofib(f_\bullet)) and δ\delta have bi-degree (0,1)(0,-1), (0,0)(0,0) and (1,1)(-1,1), respectively.

Here it is convenient to shift the bigrading, equivalently, by setting

𝒟 s,tπ ts(X s) \mathcal{D}^{s,t} \coloneqq \pi_{t-s}(X_s)
s,tπ ts(A s), \mathcal{E}^{s,t} \coloneqq \pi_{t-s}(A_s) \,,

because then tt counts the cycles of going around the triangles:

𝒟 s+1,t+1π ts(f s)𝒟 s,tπ ts(cofib(f s)) s,tδ s𝒟 s+1,t \cdots \to \mathcal{D}^{s+1,t+1} \stackrel{\pi_{t-s}(f_s)}{\longrightarrow} \mathcal{D}^{s,t} \stackrel{\pi_{t-s}(cofib(f_s))}{\longrightarrow} \mathcal{E}^{s,t} \stackrel{\delta_s}{\longrightarrow} \mathcal{D}^{s+1,t} \to \cdots

Data of this form is called an exact couple, def. below.

Definition

An unrolled exact couple (of Adams-type) is a diagram of abelian groups of the form

𝒟 3, i 2 𝒟 2, i 1 𝒟 1, i 0 𝒟 0, k 2 j 2 k 1 j 1 k 0 j 0 3, 2, 1, 0, \array{ \cdots &\stackrel{}{\longrightarrow}& \mathcal{D}^{3,\bullet} &\stackrel{i_2}{\longrightarrow}& \mathcal{D}^{2,\bullet} &\stackrel{i_1}{\longrightarrow} & \mathcal{D}^{1,\bullet} &\stackrel{i_0}{\longrightarrow}& \mathcal{D}^{0,\bullet} \\ && \downarrow^{\mathrlap{}} &{}_{\mathllap{k_2}}\nwarrow & {}^{\mathllap{j_2}}\downarrow &{}_{\mathllap{k_1}}\nwarrow & {}^{\mathllap{j_1}}\downarrow &{}_{\mathllap{k_0}}\nwarrow & {}_{\mathllap{j_0}}\downarrow \\ && \mathcal{E}^{3,\bullet} && \mathcal{E}^{2,\bullet} && \mathcal{E}^{1,\bullet} && \mathcal{E}^{0,\bullet} }

such that each triangle is a rolled-up long exact sequence of abelian groups of the form

𝒟 s+1,t+1i s𝒟 s,tj s s,tk s𝒟 s+1,t. \cdots \to \mathcal{D}^{s+1,t+1} \stackrel{i_s}{\longrightarrow} \mathcal{D}^{s,t} \stackrel{j_s}{\longrightarrow} \mathcal{E}^{s,t} \stackrel{k_s}{\longrightarrow} \mathcal{D}^{s+1,t} \to \cdots \,.

The collection of this “un-rolled” data into a single diagram of abelian groups is called the corresponding exact couple.

Definition

An exact couple is a diagram (non-commuting) of abelian groups of the form

𝒟 i 𝒟 k j , \array{ \mathcal{D} &\stackrel{i}{\longrightarrow}& \mathcal{D} \\ & {}_{\mathllap{k}}\nwarrow & \downarrow^{\mathrlap{j}} \\ && \mathcal{E} } \,,

such that this is exact sequence exact in each position, hence such that the kernel of every morphism is the image of the preceding one.

The concept of exact couple so far just collects the sequences of long exact sequences given by a filtration. Next we turn to extracting information from this sequence of sequences.

Remark

The sequence of long exact sequences in remark is inter-locking, in that every π ts(X s)\pi_{t-s}(X_s) appears in two of them, and thus we can string them all together:

π ts1(X s+1) δ ts s π ts1(cofib(f s+1)) π ts(A s) def:d 1 s,t π ts1(A s+1) def:d 1 s+1,t π ts2(A s+2) δ ts1 s+1 π ts2(cofib(f s+2)) π ts2(X s+2) \array{ && & \searrow && \nearrow \\ && && \pi_{t-s-1}(X_{s+1}) \\ && & {}^{\mathllap{\delta_{t-s}^s}}\nearrow && \searrow^{\mathrlap{\pi_{t-s-1}(cofib(f_{s+1}))}} && && && \nearrow \\ && \pi_{t-s}(A_s) && \underset{def: \;\;d_1^{s,t}}{\longrightarrow} && \pi_{t-s-1}(A_{s+1}) && \stackrel{def: \; d_1^{s+1,t}}{\longrightarrow} && \pi_{t-s-2}(A_{s+2}) \\ & \nearrow && && && {}_{\mathllap{\delta_{t-s-1}^{s+1}}}\searrow && \nearrow_{\mathrlap{\pi_{t-s-2}(cofib(f_{s+2}))}} \\ && && && && \pi_{t-s-2}(X_{s+2}) \\ && && && & \nearrow && \searrow }

This gives rise to the horizontal composites d 1 s,td_1^{s,t}, as show above, and by the fact that the diagonal sequences are long exact, these are differentials: d 1 2=0d_1^2 = 0, hence give a chain complex:

π ts(A s) d 1 s,t π ts1(A s+1) d 1 s+1,t π ts2(A s+2) . \array{ \cdots & \stackrel{}{\longrightarrow} && \pi_{t-s}(A_s) && \overset{d_1^{s,t}}{\longrightarrow} && \pi_{t-s-1}(A_{s+1}) && \stackrel{d_1^{s+1,t}}{\longrightarrow} && \pi_{t-s-2}(A_{s+2}) &&\longrightarrow & \cdots } \,.

We read off from the interlocking long exact sequences what these differentials mean: an element cπ ts(A s)c \in \pi_{t-s}(A_s) lifts to an element c^π ts1(X s+2)\hat c \in \pi_{t-s-1}(X_{s+2}) precisely if d 1c=0d_1 c = 0:

c^ π ts1(X s+2) π ts1(f s+1) π ts1(X s+1) δ ts s π ts1(cofib(f s+1)) c π ts(A s) d 1 s,t π ts1(A s+1) \array{ &\hat c \in & \pi_{t-s-1}(X_{s+2}) \\ && & \searrow^{\mathrlap{\pi_{t-s-1}(f_{s+1})}} \\ && && \pi_{t-s-1}(X_{s+1}) \\ && & {}^{\mathllap{\delta_{t-s}^s}}\nearrow && \searrow^{\mathrlap{\pi_{t-s-1}(cofib(f_{s+1}))}} \\ & c \in & \pi_{t-s}(A_s) && \underset{d_1^{s,t}}{\longrightarrow} && \pi_{t-s-1}(A_{s+1}) }

This means that the cochain cohomology of the complex (π (A ),d 1)(\pi_{\bullet}(A_\bullet), d_1) produces elements of π (X )\pi_\bullet(X_\bullet) and hence of π (X)\pi_\bullet(X).

In order to organize this observation, notice that in terms of the exact couple of remark , the differential

d 1 s,tπ ts1(cofib(f s+1))δ ts s d_1^{s,t} \;\coloneqq \; \pi_{t-s-1}(cofib(f_{s+1})) \circ \delta_{t-s}^s

is a component of the composite

djk. d \coloneqq j \circ k \,.

Some terminology:

Definition

Given an exact couple, def. ,

𝒟 , i 𝒟 , k j , \array{ \mathcal{D}^{\bullet,\bullet} &\stackrel{i}{\longrightarrow}& \mathcal{D}^{\bullet,\bullet} \\ & {}_{\mathllap{k}}\nwarrow & \downarrow^{\mathrlap{j}} \\ && \mathcal{E}^{\bullet,\bullet} }

its page is the chain complex

(E ,,djk). (E^{\bullet,\bullet}, d \coloneqq j \circ k) \,.
Definition

Given an exact couple, def. , then the induced derived exact couple is the diagram

𝒟˜ i˜ 𝒟˜ k˜ j˜ ˜ \array{ \widetilde {\mathcal{D}} &\stackrel{\tilde i}{\longrightarrow}& \widetilde {\mathcal{D}} \\ & {}_{\mathllap{\tilde k}}\nwarrow & \downarrow^{\mathrlap{\tilde j}} \\ && \widetilde{\mathcal{E}} }

with

  1. ˜ker(d)/im(d)\tilde{\mathcal{E}} \coloneqq ker(d)/im(d);

  2. 𝒟˜im(i)\tilde {\mathcal{D}} \coloneqq im(i);

  3. i˜i| im(i)\tilde i \coloneqq i|_{im(i)};

  4. j˜ji 1\tilde j \coloneqq j \circ i^{-1};

  5. k˜k| ker(d)\tilde k \coloneqq k|_{ker(d)}.

Proposition

A derived exact couple, def. , is again an exact couple, def. .

Definition

Given an exact couple, def. , then the induced spectral sequence, def. , is the sequence of pages, def. , of the induced sequence of derived exact couples, def. , prop. .

Example

Consider a filtered spectrum, def. ,

X 3 f 2 X 2 f 2 X 1 f 1 X A 3 A 2 A 1 A 0 \array{ \cdots &\stackrel{}{\longrightarrow}& X_3 &\stackrel{f_2}{\longrightarrow}& X_2 &\stackrel{f_2}{\longrightarrow} & X_1 &\stackrel{f_1}{\longrightarrow}& X \\ && \downarrow && \downarrow && \downarrow && \downarrow \\ && A_3 && A_2 && A_1 && A_0 }

and its induced exact couple of stable homotopy groups, from remark

𝒟 i 𝒟 k j 𝒟 (1,1) 𝒟 (1,0) (0,0) \array{ \mathcal{D} &\stackrel{i}{\longrightarrow}& \mathcal{D} \\ &{}_{\mathllap{k}}\nwarrow& \downarrow^{\mathrlap{j}} \\ && \mathcal{E} } \;\;\;\;\;\,\;\;\;\;\;\; \array{ \mathcal{D} &\stackrel{(-1,-1)}{\longrightarrow}& \mathcal{D} \\ &{}_{\mathllap{(1,0)}}\nwarrow& \downarrow^{\mathrlap{(0,0)}} \\ && \mathcal{E} }

with bigrading as shown on the right.

As we pass to derived exact couples, by def. , the bidegree of ii and kk is preserved, but that of jj increases by (1,1)(1,1) in each step, since

deg(j˜)=deg(ji 1)=deg(j)+(1,1). deg(\tilde j) = deg( j \circ i^{-1}) = deg(j) + (1,1) \,.

Therefore the induced spectral sequence has differentials of the form

d r: r s,t r s+r,t+r1. d_r \;\colon\; \mathcal{E}_r^{s,t} \longrightarrow \mathcal{E}_r^{s+r, t+r-1} \,.

This is also called the Adams-type spectral sequence of the tower of fibrations X n+1X nX_{n+1} \to X_n.

This we discuss in detail in part 2 – Adams spectral sequences.

References

A gentle exposition of the general idea of spectral sequences is in

  • John McCleary, A User’s Guide to Spectral Sequences, Cambridge University Press (1985, 2001)

A concise account streamlined for our purposes is in section 2 of

Last revised on December 5, 2021 at 06:28:36. See the history of this page for a list of all contributions to it.