2
$\begingroup$

The above question comes from the Serre spectral sequence in cohomology. One would like to write something like $H^p(B,H^q(F,R))\cong Hom(H_p(B;\mathbb{Z});Hom(H_q(F;\mathbb{Z});R))\cong Hom(H_p(B;\mathbb{Z})\otimes H_q(F;\mathbb{Z});R)\cong Hom(H_p(B;\mathbb{Z});R)\otimes Hom(H_q(F;\mathbb{Z});R)\cong H^p(B,R)\otimes H^q(F,R)$ but we are invoking the UCT a few times and would get some Ext-terms and we are interchanging $Hom$ with $\otimes$. This works well if $R$ is a field and everything is finitely generated. But what if for example $R=\mathbb{Z}$ and everything is finitely generated? Is it still possible? If necessary one can assume, that cohomology only appears in degrees far appart.

$\endgroup$
  • $\begingroup$ A remark : if you don't assume $B$ simply connected (or the monodromy action to be trivial) then $H^q(F,R)$ should be understood as a local system. In particular, it's possible that $H^0(B,H^q(F,R))$ is not isomorphic to $H^q(F,R)$ when e.g the monodromy is not trivial. $\endgroup$ – Nicolas Hemelsoet Jul 10 '18 at 8:54
0
$\begingroup$

Let us assume that all the homology groups of $B$ are finitely generated and that $B$ is simply connected. There is a universal coefficient theorem for cohomology which involves $\mathrm{Tor}$. It follows that $$ H^p(B,H^q(F,R))\cong H^p(B,\mathbb{Z})\otimes H^q(F,R)\oplus \mathrm{Tor}\,(H^{p+1}(B,\mathbb{Z}),H^q(F,R)) $$

So if $H^{p+1}(B,\mathbb{Z})$ or $H^q(F,R)$ does not contain torsion you get a nice formula. I'm not sure how this interacts with the cup products in the SSS.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.