# Are the homology and cohomology Serre spectral sequences dual to each other?

If we use homology and cohomology over a field $k$, if a space has homology and cohomology groups of finite type in each degree, then $H_\ast(X;k)$ is dual to $H^\ast(X;k)$ using the universal coefficient theorem for cohomology.

Now, suppose I have a fibration $F \to E \to B$ such that $F$ and $B$ have homology and cohomology over $k$ of finite type in each degree and $\pi_1(B) = 0$ for simplicity. Certainly, the $E_2$-page of the cohomology Serre spectral sequence will be dual to the $E^2$-page homology Serre spectral sequence. My first question is: Is it also true that the differentials for the cohomology spectral sequence are dual as a linear map to the differentials of the homology spectral sequence, and vice versa?

Secondly, the cohomology Serre spectral sequence is a multiplicative one. Is the homology one comultiplicative? If so, is the product for cohomology dual to the coproduct for homology?

Finally, if all of this holds, to which extend can it generalized?

Yes, this is the case. This is easiest to see using the exact couple formalism. Suppose you have an exact couple, meaning a long exact sequence consisting of maps $i: D \to D$, $j: D \to E$, $k: E \to D$, where all the terms are (possibly graded) vector spaces over a field. Because dualization is exact (as is taking levelwise duals of graded objects), you can verify that the sequence of maps $i^*: D^* \to D^*$, $k^*: D^* \to E^*$, $j^*:E^* \to D^*$ also forms an exact couple and the associated spectral sequence is dual to the original spectral sequence.
There is, what my advisor calls, a Atiyah-Hirzebruch-Serre SS that works in generalized homology. You filter the total space just as Tyler says, except instead of applying cellular chains with coefficients in $Z=\pi\_* (HZ)$ we apply cellular chains with coefficients in $E\_* =\pi\_* (E)$ to the filtration. This will work if the usual AH SS collapses/converges for the theory $E$.