Following the first chapter of Hatcher's great book "Spectral Sequences in Algebraic Topology", I got into problems with spectral sequences of cohomological type. Fix a ring $R$ once and for all. Please let me first recapitulate the **homological situation**.


An *exact couple* consists of bigraded $R$-modules $A$ and $E$ and bigraded $R$-module homomorphisms $i$, $j$, and $k$, such that


$$
\begin{array}{rcl}A&\xrightarrow{i}&A\newline {\scriptsize k}\nwarrow&&\swarrow{\scriptsize j}\newline&E&\end{array}
$$


is exact at every corner. Its derived pair with $A'=i(A)$ and $E'=H(E)$ with respect to $d=j\circ k$ is again exact. Before you wonder about the indices in what comes next, please continue reading up to the canonical example. This will explain the degrees, if I have not made a mistake. Let $a\in \mathbb{N}$ (in the example below we have $a=1$). Set $r=0$ for the moment. An exact couple with bidegrees


$$
\begin{array}{rcl}A^{(r)}&\xrightarrow{(1,-1)}&A^{(r)}\newline {\scriptsize (-1,0)}\nwarrow&&\swarrow{\scriptsize (-(a-1+r),(a-1+r))}\newline&E^{(r)}&\end{array}
$$


induces a spectral sequence $E\_{p,q}^{r+a}=E\_{p,q}^{(r)}$ of homological type with differentials $d^{r+a}=j^{(r)}\circ k^{(r)}$. Here ${\scriptsize something}^{(r)}$ denotes the corresponding term in the $r$-th derived couple. The $r$-th derived couple has bidegrees as in the diagram above.


Here is the canonical example. Let $0=C\_{-1}\subseteq C\_0\subseteq\ldots C\_p\subseteq\ldots =C$ be a filtration of a chain complex $C$. Take for example the singular complex of a topological space $X$ filtered by a filtration of $X$. We have many long exact sequences in homology, here are three of them:
$$
\begin{array}{lcccccr}
\to H\_{p+q}(C\_p,C\_{p-1})&\xrightarrow{k}&H\_{p+q-1}(C\_{p-1})&\xrightarrow{i}&H\_{p+q-1}(C\_p)&\xrightarrow{j}&H\_{p+q-1}(C\_p,C\_{p-1})\to\newline
\to H\_{p+q}(C\_{p-1},C\_{p-2})&\xrightarrow{k}&H\_{p+q-1}(C\_{p-2})&\xrightarrow{i}&H\_{p+q-1}(C\_{p-1})&\xrightarrow{j}&H\_{p+q-1}(C\_{p-1},C\_{p-2})\to\newline
\to H\_{p+q}(C\_{p-2},C\_{p-3})&\xrightarrow{k}&H\_{p+q-1}(C\_{p-3})&\xrightarrow{i}&H\_{p+q-1}(C\_{p-2})&\xrightarrow{j}&H\_{p+q-1}(C\_{p-2},C\_{p-3})\to
\end{array}
$$


There is an exact couple as above with $a=1$ and $E\_{p,q}=H\_{p+q}(C\_p,C\_{p-1})$ and $A\_{p,q}=H\_{p+q}(C\_p)$. Please note, that all the bigrades are correct. To follow $d^1:E\_{p,q}^1\to E\_{p-1,q}^1$, you start at the upper left corner, apply $k$, go one row down (the entries are equal here if you move one right) and apply $j$. One can also follow $d^2$ but this is not quite correct since you have to deal with representatives in $E^1$. Here you start at the upper left corner and get to the lower right.


Here is Hatcher's illuminating argument for convergence. I have never seen this so clearly presented.



> 
> The spectral sequence $E^1(C\_\bullet)$ of homological type
>  converges to $H\_{p+q}(C)$ if it is bounded (=only
>  finitely many non-zero entries on
>  every fixed diagonal $p+q$). One has
>  $$ E^\infty\_{p,q}=i(H\_{p+q}(C\_p))/i(H\_{p+q}(C\_{p-1})) .$$
>  ($i$ denotes the image in the colimit $H\_{p+q}(C)$.)
> 
> 
> 


*Proof.* Let $r$ be large and consider (I don't know if this renders correctly) the $r$-th derived couple


$$
\begin{array}{c}
\to E^{r}\_{p+r,q-r+1}\xrightarrow{k^{r}} A^{r}\_{p+r-1,q-r+1}\xrightarrow{i^{r}}A^{r}\_{p+r,q-r}\newline
\xrightarrow{j^{r}}E^{r}\_{p,q}\xrightarrow{k^{r}}\newline
A^{r}\_{p-1,q}\xrightarrow{i^{r}}A^{r}\_{p,q-1}\xrightarrow{j^{r}}E^{r}\_{p-r,q-1+r}\to.
\end{array}
$$


The first and the last term are $0$ because of the bounding assumption. We have $A\_{p,q}^{r}=i(A^1\_{p-r,q+r})$ and since $C\_n$ is zero for $n<0$, the last three terms are $0$. Exactness implies the result.


Now the **cohomological situation**.


Let $0=C\_{-1}\subseteq C\_0\subseteq\ldots C\_p\subseteq\ldots =C$ be a filtration of a chain complex $C$. Take again for example the singular complex of a topological space $X$ filtered by a filtration of $X$. Understand the cohomology $H^n(C)$ of $C$ as $H\_n(\hom(C,\mathbb{Z}))$, the homology of the dualized complex as one does in topology.


Again we have many long exact sequences:
$$
\begin{array}{lcccccr}
\to H^{p+q}(C\_p,C\_{p-1})&\xrightarrow{k}&H^{p+q}(C\_p)&\xrightarrow{i}&H^{p+q}(C\_{p-1})&\xrightarrow{j}&H^{p+q+1}(C\_p,C\_{p-1})\to\newline
\to H^{p+q}(C\_{p+1},C\_p)&\xrightarrow{k}&H^{p+q}(C\_{p+1})&\xrightarrow{i}&H^{p+q}(C\_{p})&\xrightarrow{j}&H^{p+q+1}(C\_{p+1},C\_{p})\to\newline
\to H^{p+q}(C\_{p+2},C\_{p+1})&\xrightarrow{k}&H^{p+q}(C\_{p+2})&\xrightarrow{i}&H^{p+q}(C\_{p+1})&\xrightarrow{j}&H^{p+q+1}(C\_{p+2},C\_{p+1})\to
\end{array}
$$


One can again follow $d^1:E\_{p,q}^1\to E\_{p+1,q}^1$, etc. What is an exact couple of cohomological type? The only thing which fits into the picture is this: Set $A^{p,q}=H^{p+q}(C\_p)$ and $E^{p,q}=H^{p+q}(C\_p,C\_{p-1})$ and $a=1$.


An exact couple with bidegrees


$$
\begin{array}{rcl}A\_{(r)}&\xrightarrow{(-1,1)}&A\_{(r)}\newline {\scriptsize (0,0)}\nwarrow&&\swarrow{\scriptsize (a+r,-(a-1+r))}\newline&E\_{(r)}&\end{array}
$$


induces a spectral sequence $E\_{r+a}=E\_{(r)}$ of cohomological type with differentials $d\_{r+a}=j\_{(r)}\circ k\_{(r)}$. Here ${\scriptsize something}\_{(r)}$ denotes the corresponding term in the $r$-th derived couple. The $r$-th derived couple has bidegrees as in the diagram.


Now I would like to establish the following result. This is done nowhere since everything is said to be "dual" to the homological case. But if you look at the indices...hmm:



> 
> The spectral sequence $E\_1(C\_\bullet)$ of cohomological type
>  converges to $H^{p+q}(C)$ if it is bounded. One has
>  $$ E\_\infty^{p,q}=ker(H^{p+q}(C)\to H^{p+q}(C\_{p-1}))/ker(H^{p+q}(C)\to H^{p+q}(C\_{p})) .$$
> 
> 
> 


*Proof?* Let $r$ be large and consider (I don't know if this renders correctly) the $r$-th derived couple


$$
\begin{array}{c}
\to E\_{r}^{p-r,q+r-1}\xrightarrow{k\_{r}} A\_{r}^{p-r,q+r-1}\xrightarrow{i\_{r}}A\_{r}^{p-r-1,q+r}\newline
\xrightarrow{j\_{r}}E\_{r}^{p,q}\xrightarrow{k\_{r}}\newline
A\_{r}^{p,q}\xrightarrow{i\_{r}}A\_{r}^{p-1,q+1}\xrightarrow{j\_{r}}E\_{r}^{p+r,q-r+1}\to.
\end{array}
$$


The last term is $0$ because of the bounding assumption. We have $A\_{r}^{p,q}=i(A^{p+r,q-r}\_1)$ and since $C\_n$ is zero for $n<0$, the second and the third term are $0$. Exactness implies that
$$
 E\_r^{p,q}=ker(i(H^{p+q}(C\_{p+r}))\to i(H^{p+q}(C\_{p+r-1}))).
$$
I cannot see how the result follows from this. Perhaps it is "only" a limit trick but I can not see it. So the question is:



> 
> *How does Lemma 1.2. of Hatcher's text works in the cohomological case?*
> 
> 
> 



Convergence of spectral sequences of cohomological type
The lemma you refer to has two halves. The first half covers the case of homology and the second half covers the case of cohomology. Proofs are given for both halves (though the last sentence of the proof in the cohomology case requires a moment's thought to convince oneself of). The way to derive the cohomology spectral sequence from the second half is explained on the page following the lemma. Perhaps there is something that seems unclear in what is written there? Please feel free to ask me about this, though this might be better done in email.


