Skip to main content
2 of 2
added 1 character in body
ort96
  • 404
  • 2
  • 7

Cup product on flat fiber bundles vs cup product on the corresponding Serre spectral sequence

Let $F \rightarrow E \rightarrow B$ be a flat fiber bundle, $E, F, B$ closed manifolds. Consider $H^*(E, \mathbb{Q})$ and the corresponding Serre spectral sequence with isomorphism $$(*) \ \ \ H^n(E;\mathbb{Q}) \cong \bigoplus_{p+q=n}{E_\infty^{p,q}}.$$

Can there be $a \in E_\infty^{p,q}$, $b \in E_\infty^{p',q'}$ with $p+q+p'+q' = dim(E)$ and $p+p'< dim(B)$, $q + q'> dim(F)$ such that $a \cup b \neq 0$, where we take the cup product on the left hand side of $(*)$? An example would be great! (if one exists)

I know of the example of the mapping torus of a genus 3 surface elaborated here https://mathoverflow.net/a/11826/114528. This example has a cup product $$E_\infty^{0,1} \otimes E_\infty^{0,1} \rightarrow E_\infty^{1,1}.$$ Again, the cup product taken on the left hand side of $(*)$. This is kind of what I am looking for, only in the wrong degrees. (We want to end up in top degree.)

There is also a classic example with $F=B=S^2$, see for instance Example 1.17 in https://www.math.cornell.edu/~hatcher/SSAT/SSch1.pdf. Here we have $$E_\infty^{0,2} \otimes E_\infty^{0,2} \rightarrow E_\infty^{2,2}.$$These are suitable degrees. However, this is not a flat bundle.

ort96
  • 404
  • 2
  • 7