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.
$\,$
In Introduction to Stable homotopy theory we have set up the concept of spectra $X$ and their stable homotopy groups $\pi_\bullet(X)$ (def.). More generally for $X$ and $Y$ two spectra then there is the graded stable homotopy group $[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 $X \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 a 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
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.
Let $X$ be a topological space and $A \hookrightarrow X$ a topological subspace. Write $C_\bullet(X)$ for the chain complex of singular homology on $X$ and $C_\bullet(A) \hookrightarrow C_\bullet(X)$ for the chain map induced by the subspace inclusion.
The (degreewise) cokernel of this inclusion, hence the quotient $C_\bullet(X)/C_\bullet(A)$ of $C_\bullet(X)$ by the image of $C_\bullet(A)$ under the inclusion, is the chain complex of $A$-relative singular chains.
A boundary in this quotient is called an $A$-relative singular boundary,
a cycle is called an $A$-relative singular cycle.
The chain homology of the quotient is the $A$-relative singular homology of $X$
This means that a singular $(n+1)$-chain $c \in C_{n+1}(X)$ is an $A$-relative cycle precisely if its boundary $\partial c \in C_{n}(X)$ is, while not necessarily 0, contained in the $n$-chains of $A$: $\partial c \in C_n(A) \hookrightarrow C_n(X)$. So the boundary vanishes possibly only “up to contributions coming from $A$”.
We record two evident but important classes of long exact sequences that relative homology groups sit in:
Let $A \stackrel{i}{\hookrightarrow} X$ be a topological subspace inclusion. The corresponding relative singular homology, def. , sits in a long exact sequence of the form
The connecting homomorphism $\delta_{n} \colon H_{n+1}(X, A) \to H_n(A)$ sends an element $[c] \in H_{n+1}(X, A)$ represented by an $A$-relative cycle $c \in C_{n+1}(X)$, to the class represented by the boundary $\partial^X c \in C_n(A) \hookrightarrow C_n(X)$.
This is the homology long exact sequence, induced by the defining short exact sequence $0 \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.
Let $B \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
Observe that we have a short exact sequence of chain complexes, def.
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 $X$ still be a given topological space.
The augmentation map for the singular homology of $X$ is the homomorphism of abelian groups
which adds up all the coefficients of all 0-chains:
Since the boundary of a 1-chain is in the kernel of this map, by example , it constitutes a chain map
where now $\mathbb{Z}$ is regarded as a chain complex concentrated in degree 0.
The reduced singular chain complex $\tilde C_\bullet(X)$ of $X$ is the kernel of the augmentation map, the chain complex sitting in the short exact sequence
The reduced singular homology $\tilde H_\bullet(X)$ of $X$ is the chain homology of the reduced singular chain complex
Equivalently:
The reduced singular homology of $X$, denoted $\tilde H_\bullet(X)$, is the chain homology of the augmented chain complex
Let $X$ be a topological space, $H_\bullet(X)$ its singular homology and $\tilde H_\bullet(X)$ its reduced singular homology, def. .
For $n \in \mathbb{N}$ there is an isomorphism
The homology long exact sequence, prop. , of the defining short exact sequence $\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
Here exactness says that all the morphisms $\tilde H_n(X) \to H_n(X)$ for positive $n$ are isomorphisms. Moreover, since $\mathbb{Z}$ is a free abelian group, hence a projective object, the remaining short exact sequence
is split, by prop. , and hence $H_0(X) \simeq \tilde H_0(X) \oplus \mathbb{Z}$.
For $X = *$ the point, the morphism
is an isomorphism. Accordingly the reduced homology of the point vanishes in every degree:
By the discussion in section 2) we have that
Moreover, it is clear that $\epsilon \colon C_0(*) \to \mathbb{Z}$ is the identity map.
Now we can discuss the relation between reduced homology and relative homology.
For $X$ an inhabited topological space, its reduced singular homology, def. , coincides with its relative singular homology relative to any base point $x \colon * \to X$:
Consider the sequence of topological subspace inclusions
By prop. this induces a long exact sequence of the form
Here in positive degrees we have $H_n(*) \simeq 0$ and therefore exactness gives isomorphisms
and hence with prop. isomorphisms
It remains to deal with the case in degree 0. To that end, observe that $H_0(x) \colon H_0(*) \to H_0(X)$ is a monomorphism: for this notice that we have a commuting diagram
where $f \colon X \to *$ is the terminal map. That the outer square commutes means that $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)$ is an injection.
Therefore we have a short exact sequence as shown in the top of this diagram
Using this we finally compute
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)$ provides information about the quotient topological space $X/A$. This is indeed true under mild conditions:
A topological subspace inclusion $A \hookrightarrow X$ is called a good pair if
$A$ is closed inside $X$;
$A$ has an neighbourhood $A \hookrightarrow U \hookrightarrow X$ such that $A \hookrightarrow U$ has a deformation retract.
If $A \hookrightarrow X$ is a topological subspace inclusion which is good in the sense of def. , then the $A$-relative singular homology of $X$ coincides with the reduced singular homology, def. , of the quotient space $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.
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.
For $n \in \mathbb{N}$ write
$D^n \hookrightarrow \mathbb{R}^n \in$ Top for the standard $n$-disk;
$S^{n-1} \hookrightarrow \mathbb{R}^{n} \in$ Top for the standard $(n-1)$-sphere;
(notice that the 0-sphere is the disjoint union of two points, $S^0 = * \coprod *$, and by definition the $(-1)$-sphere is the empty set)
$S^{-1} \hookrightarrow D^{n}$ for the continuous function that includes the $(n-1)$-sphere as the boundary of the $n$-disk.
The reduced singular homology of the $n$-sphere $S^{n}$ equals the $S^{n-1}$-relative homology of the $n$-disk with respect to the canonical boundary inclusion $S^{n-1} \hookrightarrow D^n$: for all $n \in \mathbb{N}$
The $n$-sphere is homeomorphic to the $n$-disk with its entire boundary identified with a point:
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:
For $\{x_i \colon * \to X_i\}_i$ a set of pointed topological spaces, their wedge sum $\vee_i X_i$ is the result of identifying all base points in their disjoint union, hence the quotient
The wedge sum of two pointed circles is the “figure 8”-topological space.
Let $\{* \to X_i\}_i$ be a set of pointed topological spaces. Write $\vee_i X_i \in Top$ for their wedge sum and write $\iota_i \colon X_i \to \vee_i X_i$ for the canonical inclusion functions.
Then for each $n \in \mathbb{N}$ the homomorphism
is an isomorphism.
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
The relative homology preserves these coproducts (sends them to direct sums) and so
The following defines topological spaces which are inductively built by gluing disks to each other.
A CW complex of dimension $(-1)$ is the empty topological space.
By induction, for $n \in \mathbb{N}$ a CW complex of dimension $n$ is a topological space $X_{n}$ obtained from
a $CW$-complex $X_{n-1}$ of dimension $n-1$;
an index set $Cell(X)_n \in Set$;
a set of continuous maps (the attaching maps) $\{ f_i \colon S^{n-1} \to X_{n-1}\}_{i \in Cell(X)_n}$
as the pushout
in
hence as the topological space obtained from $X_{n-1}$ by gluing in $n$-disks $D^n$ for each $j \in Cell(X)_n$ along the given boundary inclusion $f_j \colon S^{n-1} \to X_{n-1}$.
By this construction, an $n$-dimensional CW-complex is canonically a filtered topological space, hence a sequence of topological subspace inclusions of the form
which are the right vertical morphisms in the above pushout diagrams.
A general CW complex $X$ 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
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.
The relative singular homology, def. , of the filtering degrees of a CW complex $X$, def. , is
where $\mathbb{Z}[Cells(X)_n]$ denotes the free abelian group on the set of $n$-cells.
The inclusion $X_{k-1} \hookrightarrow X_k$ is a good pair in the sense of def. . The quotient $X_k/X_{k-1}$ is by definition of CW-complexes a wedge sum, def. , of $k$-spheres, one for each element in $Cell(X)_k$. Therefore by prop. we have an isomorphism $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. .
For $X$ a CW complex with skeletal filtration $\{X_n\}_n$ as above, and with $k,n \in \mathbb{N}$ we have for the singular homology of $X$ that
In particular if $X$ is a CW-complex of finite dimension $dim X$ (the maximum degree of cells), then
Moreover, for $k \lt n$ the inclusion
is an isomorphism and for $k = n$ we have an isomorphism
By the long exact sequence in relative homology, prop. we have an exact sequence of the form
Now by prop. the leftmost and rightmost homology groups here vanish when $k \neq n$ and $k \neq n-1$ and hence exactness implies that
is an isomorphism for $k \neq n,n-1$. This implies the first claims by induction on $n$.
Finally for the last claim use that the above exact sequence gives
and hence that with the above the map $H_{n-1}(X_{n-1}) \to H_{n-1}(X)$ is surjective.
We may now discuss the cellular homology of a CW complex.
For $X$ a CW-complex, def. , its cellular chain complex $H_\bullet^{CW}(X) \in Ch_\bullet$ is the chain complex such that for $n \in \mathbb{N}$
the abelian group of chains is the relative singular homology group, def. , of $X_n \hookrightarrow X$ relative to $X_{n-1} \hookrightarrow X$:
the differential $\partial^{CW}_{n+1} \colon H_{n+1}^{CW}(X) \to H_n^{CW}(X)$ is the composition
where $\partial_n$ is the boundary map of the singular chain complex and where $i_n$ is the morphism on relative homology induced from the canonical inclusion of pairs $(X_n, \emptyset) \to (X_n, X_{n-1})$.
The composition $\partial^{CW}_{n} \circ \partial^{CW}_{n+1}$ of two differentials in def. is indeed zero, hence $H^{CW}_\bullet(X)$ is indeed a chain complex.
On representative singular chains the morphism $i_n$ acts as the identity and hence $\partial^{CW}_{n} \circ \partial^{CW}_{n+1}$ acts as the double singular boundary, $\partial_{n} \circ \partial_{n+1} = 0$.
This means that
a cellular $n$-chain is a singular $n$-chain required to sit in filtering degree $n$, hence in $X_n \hookrightarrow X$;
a cellular $n$-cycle is a singular $n$-chain whose singular boundary is not necessarily 0, but is contained in filtering degree $(n-2)$, hence in $X_{n-2} \hookrightarrow X$.
a cellular $n$-boundary is a singular $n$-chain which is the boundary of a singular $(n+1)$-chain coming from filtering degree $(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.
The structure of a filtered chain complex in a chain complex $C_\bullet$ is a sequence of chain map inclusions
The associated graded complex of a filtered chain complex, denoted $G_\bullet C_\bullet$, is the collection of quotient chain complexes
We say that element of $G_p C_\bullet$ are in filtering degree $p$.
In more detail this means that
$[\cdots \stackrel{\partial_{n}}{\to} C_n \stackrel{\partial_{n-1}}{\to} C_{n-1} \to \cdots]$ is a chain complex, hence $\{C_n\}$ are objects in $\mathcal{A}$ ($R$-modules) and $\{\partial_n\}$ are morphisms (module homomorphisms) with $\partial_{n+1} \circ \partial_{n} = 0$;
For each $n \in \mathbb{Z}$ there is a filtering $F_\bullet C_n$ on $C_n$ and all these filterings are compatible with the differentials in that
The grading associated to the filtering is such that the $p$-graded elements are those in the quotient
Since the differentials respect the grading we have chain complexes $G_p C_\bullet$ in each filtering degree $p$.
Hence elements in a filtered chain complex are bi-graded: they carry a degree as elements of $C_\bullet$ as usual, but now they also carry a filtering degree: for $p,q \in \mathbb{Z}$ we therefore also write
and call this the collection of $(p,q)$-chains in the filtered chain complex.
Accordingly we have $(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:
Let $F_\bullet C_\bullet$ be a filtered chain complex. Its associated graded chain complex is the set of chain complexes
for all $p$.
Then for $r, p, q \in \mathbb{Z}$ we say that
$G_p C_{p+q}$ is the module of $(p,q)$-chains or of $(p+q)$-chains in filtering degree $p$;
the module
is the module of $r$-almost $(p,q)$-cycles (the $(p+q)$-chains whose differential vanishes modulo terms of filtering degree $p-r$);
$B^{r}_{p,q} \coloneqq \partial(F_{p+r-1} C_{p+q+1}) \,,$
is the module of $r$-almost $(p,q)$-boundaries.
Similarly we set
From this definition we immediately have that the differentials $\partial \colon C_{p+q} \to C_{p+q-1}$ restrict to the $r$-almost cycles as follows:
The differentials of $C_\bullet$ restrict on $r$-almost cycles to homomorphisms of the form
These are still differentials: $\partial^2 = 0$.
By the very definition of $Z^r_{p,q}$ it consists of elements in filtering degree $p$ on which $\partial$ decreases the filtering degree to $p-r$. Also by definition of differential on a chain complex, $\partial$ decreases the actual degree $p+q$ by one. This explains that $\partial$ restricted to $Z^r_{p,q}$ lands in $Z^\bullet_{p-r,q+r-1}$. Now the image constists indeed of actual boundaries, not just $r$-almost boundaries. But since actual boundaries are in particular $r$-almost boundaries, we may take the codomain to be $Z^r_{p-r,q+r-1}$.
As before, we will in general index these differentials by their codomain and hence write in more detail
We have a sequence of canonical inclusions
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.
The $(r+1)$-almost cycles are the $\partial^r$-kernel inside the $r$-almost cycles:
An element $c \in F_p C_{p+q}$ represents
an element in $Z^r_{p,q}$ if $\partial c \in F_{p-r} C_{p+q-1}$
an element in $Z^{r+1}_{p,q}$ if even $\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 $\partial c$ representing the 0-element in the quotient $F_{p-r}C_{p+q-1}/ F_{p-r-1}C_{p+q-1}$. But this is in turn equivalent to $\partial c$ being 0 in $Z^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:
For $r, p, q \in \mathbb{Z}$ define the $r$-almost $(p,q)$-chain homology of the filtered complex to be the quotient of the $r$-almost $(p,q)$-cycles by the $r$-almost $(p,q)$-boundaries, def. :
By prop. the differentials of $C_\bullet$ restrict on the $r$-almost homology groups to maps
The central property of these $r$-almost homology groups now is their following iterative homological characterization.
With definition we have that $E^{r+1}_{\bullet, \bullet}$ is the $\partial^r$-chain homology of $E^r_{\bullet, \bullet}$:
This structure on the collection of $r$-almost cycles of a filtered chain complex thus obtained is called a spectral sequence:
A homology spectral sequence of $R$-modules is
a set $\{E_{p,q}^r\}_{p,q,r \in \mathbb{Z}}$ of $R$-modules;
a set $\{ \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
the $\partial^r$s are differentials: $\forall_{p,q,r} (\partial^r_{p-r,q+r-1} \circ \partial^r_{p,q} = 0)$;
the modules $E^{r+1}_{p,q}$ are the $\partial^r$-homology of the modules in relative degree $r$:
One says that $E^r_{\bullet,\bullet}$ is the $r$-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.
Let $\{E^r_{p,q}\}_{r,p,q}$ be a spectral sequence, def. , such that for each $p,q$ there is $r(p,q)$ such that for all $r \geq r(p,q)$ we have
Then one says that
the bigraded object
is the limit term of the spectral sequence;
If for a spectral sequence there is $r_s$ such that all differentials on pages after $r_s$ vanish, $\partial^{r \geq r_s} = 0$, then $\{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_s$.
By the defining relation
the spectral sequence becomes constant in $r$ from $r_s$ on if all the differentials vanish, so that $ker(\partial^r_{p,q}) = E^r_{p,q}$ for all $p,q$.
If for a spectral sequence $\{E^r_{p,q}\}_{r,p,q}$ there is $r_s \geq 2$ such that the $r_s$th 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.
For $r \geq 2$ the differentials of the spectral sequence
have domain and codomain necessarily in different rows an columns (while for $r = 1$ both are in the same row and for $r = 0$ both coincide). Therefore if all but one row or column vanish, then all these differentials vanish.
A spectral sequence $\{E^r_{p,q}\}_{r,p,q}$ is said to converge to a graded object $H_\bullet$ with filtering $F_\bullet H_\bullet$, traditionally denoted
if the associated graded complex $\{G_p H_{p+q}\}_{p,q} \coloneqq \{F_p H_{p+q} / F_{p-1} H_{p+q}\}$ of $H$ is the limit term of $E$, def. :
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
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.”
A spectral sequence $\{E^r_{p,q}\}$ is called a bounded spectral sequence if for all $n,r \in \mathbb{Z}$ the number of non-vanishing terms of total degree $n$, hence of the form $E^r_{k,n-k}$, is finite.
A spectral sequence $\{E^r_{p,q}\}$ is called
a first quadrant spectral sequence if all terms except possibly for $p,q \geq 0$ vanish;
a third quadrant spectral sequence if all terms except possibly for $p,q \leq 0$ vanish.
First notice that if a spectral sequence has at most $N$ non-vanishing terms of total degree $n$ on page $r$, 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 $n$ there is $L(n) \in \mathbb{Z}$ such that $E^r_{p,n-p} = 0$ for all $p \leq L(n)$ and all $r$. Similarly there is $T(n) \in \mathbb{Z}$ such $E^r_{n-q,q} = 0$ for all $q \leq T(n)$ and all $r$.
We claim then that the limit term of the bounded spectral sequence is in position $(p,q)$ given by the value $E^r_{p,q}$ for
This is because for such $r$ we have
$E^r_{p-r, q+r-1} = 0$ because $p-r \lt L(p+q-1)$, and hence the kernel $ker(\partial^r_{p-r,q+r-1}) = 0$ vanishes;
$E^r_{p+r, q-r+1} = 0$ because $q-r + 1 \lt T(p+q+1)$, and hence the image $im(\partial^r_{p,q}) = 0$ vanishes.
Therefore
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.
For $F_\bullet C_\bullet$ a filtered complex, write for $p \in \mathbb{Z}$
This defines a filtering $F_\bullet H_\bullet(C)$ of the homology, regarded as a graded object.
If the spectral sequence of a filtered complex $F_\bullet C_\bullet$ of prop. has a limit term, def. then it converges, def. , to the chain homology of $C_\bullet$
i.e. for sufficiently large $r$ we have
where on the right we have the associated graded object of the filtering of def. .
By assumption, there is for each $p,q$ an $r(p,q)$ such that for all $r \geq r(p,q)$ the $r$-almost cycles and $r$-almost boundaries, def. , in $F_p C_{p+q}$ are the ordinary cycles and boundaries. Therefore for $r \geq r(p,q)$ def. gives $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 $r$. We can generally characterize $E^r_{p,q}$ for very low values of $r$ simply as follows:
We have
$E^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+q}$;
$E^1_{p,q} = H_{p+q}(G_p C_\bullet)$
because for $c \in F_p C_{p+q}$ we automatically also have $\partial c \in F_p C_{p+q}$ since the differential respects the filtering degree by assumption.
There is, in general, a decisive difference between the homology of the associated graded complex $H_{p+q}(G_p C_\bullet)$ and the associated graded piece of the genuine homology $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 $r \to \infty$, see prop. below.
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 $X$, def. naturally induces on its singular simplicial complex $C_\bullet(X)$ the structure of a filtered chain complex, def. :
For $X_0 \hookrightarrow X_1 \hookrightarrow \cdots \hookrightarrow X$ a CW complex, and $p \in \mathbb{N}$, write
for the singular chain complex of $X_p \hookrightarrow X$. The given topological subspace inclusions $X_p \hookrightarrow X_{p+1}$ induce chain map inclusions $F_p C_\bullet(X) \hookrightarrow F_{p+1} C_\bullet(X)$ and these equip the singular chain complex $C_\bullet(X)$ of $X$ with the structure of a bounded filtered chain complex
(If $X$ is of finite dimension $dim X$ then this is a bounded filtration.)
Write $\{E^r_{p,q}(X)\}$ for the spectral sequence of a filtered complex corresponding to this filtering.
The spectral sequence $\{E^r_{p,q}(X)\}$ of singular chains in a CW complex $X$, def. converges, def. , to the singular homology of $X$:
The spectral sequence $\{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^r_{p,q}(X)\}$ with structures in singular homology theory.
$r = 0$ – $E^0_{p,q}(X) \simeq C_{p+q}(X_p)/C_{p+q}(X_{p-1})$ is the group of $X_{p-1}$-relative (p+q)-chains, def. , in $X_p$;
$r = 1$ – $E^1_{p,q}(X) \simeq H_{p+q}(X_p, X_{p-1})$ is the $X_{p-1}$-relative singular homology, def. , of $X_p$;
$r = 2$ – $E^2_{p,q}(X) \simeq \left\{ \array{ H_p^{CW}(X) & for\; q = 0 \\ 0 & otherwise } \right.$
$r = \infty$ – $E^\infty_{p,q}(X) \simeq F_p H_{p+q}(X) / F_{p-1} H_{p+q}(X)$.
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 $X$:
For $X \in$ Top a CW complex, def. , its cellular homology, def. $H^{CW}_\bullet(X)$ coincides with its singular homology $H_\bullet(X)$:
By the third item of prop. the $(r = 2)$-page of the spectral sequence $\{E^r_{p,q}(X)\}$ is concentrated in the $(q = 0)$-row and hence it collapses there, def. . Accordingly we have
for all $p,q$. By the third and fourth item of prop. this non-trivial only for $q = 0$ and there it is equivalently
Finally observe that $G_p H_p(X) \simeq H_p(X)$ by the definition of the filtering on the homology, def. , and using prop. .
A filtered spectrum is a spectrum $X$ equipped with a sequence $X_\bullet \colon (\mathbb{N}, \gt) \longrightarrow Spectra$ of spectra of the form
More generally a filtering on an object $X$ in (stable or not) homotopy theory is a $\mathbb{Z}$-graded sequence $X_\bullet$ such that $X$ is the homotopy colimit $X\simeq \underset{\longrightarrow}{\lim} X_\bullet$. But for the present purpose we stick with the simpler special case of def. .
There is no condition on the morphisms in def. . In particular, they are not required to be n-monomorphisms or n-epimorphisms for any $n$.
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 $X$ in the sense of def. as equivalently being a tower of fibrations over $X$.
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.
Given a filtered spectrum as in def. , write $A_k$ for the homotopy cofiber of its $k$th stage, such as to obtain the diagram
where each stage
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
Each hook at stage $k$ extends to a long exact sequence of homotopy groups (prop.) via connecting homomorphisms $\delta_\bullet^k$
If we understand the connecting homomorphism
as a morphism of degree -1, then all this information fits into one diagram of the form
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 $\pi_\bullet(X_\bullet)$ and $\pi_\bullet(A_\bullet)$, then this information may further be rolled-up to a single diagram of the form
where the morphisms $\pi_\bullet(f_\bullet)$, $\pi_\bullet(cofib(f_\bullet))$ and $\delta$ have bi-degree $(0,-1)$, $(0,0)$ and $(-1,1)$, respectively.
Here it is convenient to shift the bigrading, equivalently, by setting
because then $t$ counts the cycles of going around the triangles:
Data of this form is called an exact couple, def. below.
An unrolled exact couple (of Adams-type) is a diagram of abelian groups of the form
such that each triangle is a rolled-up long exact sequence of abelian groups of the form
The collection of this “un-rolled” data into a single diagram of abelian groups is called the corresponding exact couple.
An exact couple is a diagram (non-commuting) of abelian groups of the form
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.
The sequence of long exact sequences in remark is inter-locking, in that every $\pi_{t-s}(X_s)$ appears twice:
This gives rise to the horizontal composites $d_1^{s,t}$, as show above, and by the fact that the diagonal sequences are long exact, these are differentials: $d_1^2 = 0$, hence give a chain complex:
We read off from the interlocking long exact sequences what these differentials mean: an element $c \in \pi_{t-s}(A_s)$ lifts to an element $\hat c \in \pi_{t-s-1}(X_{s+2})$ precisely if $d_1 c = 0$:
This means that the cochain cohomology of the complex $(\pi_{\bullet}(A_\bullet), d_1)$ produces elements of $\pi_\bullet(X_\bullet)$ and hence of $\pi_\bullet(X)$.
In order to organize this observation, notice that in terms of the exact couple of remark , the differential
is a component of the composite
Some terminology:
its page is the chain complex
Given an exact couple, def. , then the induced derived exact couple is the diagram
with
$\tilde{\mathcal{E}} \coloneqq ker(d)/im(d)$;
$\tilde {\mathcal{D}} \coloneqq im(i)$;
$\tilde i \coloneqq i|_{im(i)}$;
$\tilde j \coloneqq j \circ (im(i))^{-1}$;
$\tilde k \coloneqq k|_{ker(d)}$.
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. .
Consider a filtered spectrum, def. ,
and its induced exact couple of stable homotopy groups, from remark
with bigrading as shown on the right.
As we pass to derived exact couples, by def. , the bidegree of $i$ and $k$ is preserved, but that of $j$ increases by $(1,1)$ in each step, since
Therefore the induced spectral sequence has differentials of the form
This is also called the Adams-type spectral sequence of the tower of fibrations $X_{n+1} \to X_n$.
This we discuss in detail in part 2 – Adams spectral sequences.
A gentle exposition of the general idea of spectral sequences is in
A concise account streamlined for our purposes is in section 2 of
Last revised on April 22, 2017 at 04:31:49. See the history of this page for a list of all contributions to it.