Serre spectral sequence degeneration in homology vs cohomology

Question

Let $\pi\colon E \rightarrow B$ be a fiber bundle with fiber $F$. I am not assuming that $B$ is simply-connected. We then have Serre spectral sequences in both rational homology and rational cohomology:

$$E^2_{pq} \cong H_p(B;H_q(F;\mathbb{Q})) \Longrightarrow H_{p+q}(E;\mathbb{Q})$$

$$E_2^{pq} \cong H^p(B;H^q(F;\mathbb{Q})) \Longrightarrow H^{p+q}(E;\mathbb{Q})$$

Since $B$ is not simply connected, the coefficient systems have to be regarded as local (twisted) coefficient systems on $B$. Assume that I know that one of these spectral sequences degenerates at the second page. Does it follow that the other one does as well?

Answer 1

The answer is yes, and this follows from the comments, but it's worth spelling out the (non-obvious) details.

By Will Sawin's comment, the claim will follow if we can show that $$ \dim_\mathbb{Q} H^p(B;H^q(F;\mathbb{Q})) = \dim_\mathbb{Q} H_p(B;H_q(F;\mathbb{Q})) $$ for all $p,q\ge0$. The Universal Coefficient Theorem does not hold with twisted coefficients. However, note that the vector spaces on the right are by definition the homology groups of the chain complex $$ C_*(\widetilde{B})\otimes_\pi H_q(F;\mathbb{Q}), $$ with differential induced by that of the chain complex $C_*(\widetilde{B})$ of the universal cover. Here $\pi=\pi_1(B)$ and we are taking tensor product of $\mathbb{Z}\pi$-modules.

Following archipelago's comment, let's see what happens if we dualize this chain complex by taking Hom into the rationals. By the tensor-hom adjunction there are natural isomorphisms $$ {\rm Hom}_\mathbb{Z}\big(C_*(\widetilde{B})\otimes_\pi H_q(F;\mathbb{Q}),\mathbb{Q}\big)\cong {\rm Hom}_\pi\big(C_*(\widetilde{B}),{\rm Hom}_\mathbb{Z}(H_q(F;\mathbb{Q}),\mathbb{Q})\big) \cong {\rm Hom}_\pi\big(C_*(\widetilde{B}), H^q(F;\mathbb{Q})\big),$$ and so we get precisely the cochain complex whose cohomology gives the vector spaces on the left. Since everything in sight is a rational vector space, the usual algebraic Universal Coefficient Theorem implies the claim.