MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $E\to B$ be a fibre bundle. The Leray-Hirsch theorem states under suitable assumptions, the cohomology of $E$ is an $H^*(B)$-module generated by suitable cohomology classes in $E$.

Is there any analogous results for the homology of $E$? Any reference?

share|cite|improve this question
It's automatic that the cohomology of E is a module over the cohomology of B. The point of Leray-Hirsch is that it is sometimes free. – Ben Webster Nov 5 '10 at 21:17
Sorry. I was stupid to miss this condition. – Guangbo Xu Nov 5 '10 at 21:43
A version of the Leray-Hirsch for homology is as follows: let $p:E\to B$ be a Serre fibration with $B$ connected and let $A$ be an abelian group. Assume that $p_\ast :H_\ast(F,A)\to H_\ast(E,A)$ is injective where $F$ is the fiber over some point of $B$, then $H_n(E,A)\cong \bigoplus_{i+j=n} H_i(B,H_j(F,A))$. The free module part is a bit tricky since, although the cohomology with coefficients in $A$ is always an $A$-algebra as long as $A$ is a commutative ring, the homology is not necessarily an $A$-coalgebra. – algori Nov 5 '10 at 22:30

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.