Leray-Hirsch theorem

In mathematics, the Leray-Hirsch theorem [A. Hatcher, "Algebraic Topology", Cambridge University Press, http://www.math.cornell.edu/~hatcher/AT/AT.pdf] is a basic result on the algebraic topology of fiber bundles. It is named after Jean Leray and Guy Hirsch, who independently proved it in the late 1940s.

The statement is as follows: let

:$pi:Ylongrightarrow\; Z$

be a fibre bundle with fibre $X$. Assume that for each degree $p$, the vector space

:$H^p(X)\; =\; H^p(X,\; mathbb\{Q\})$

of singular cohomology has finite dimension $m\_p$. Finally, assume that, for every $p$, there exist classes

:$c\_\{1,p\},ldots,c\_\{m\_p,p\}\; in\; H^p(Y)$

that restrict, on each fiber $X$, to a basis of the cohomology in degree $p$. Let $iota:\; Xlongrightarrow\; Y$ the inclusion of a fibre. The map given below, is then an isomorphism of $H^*(Z)$ modules.

:
where $\{b\_k\}$ is a basis for $H^*(Z)$ and thus, induces a basis $\{iota^*(c\_\{i,j\})otimes\; b\_k\}$ for $H^*(X)otimes\; H^*(Z).$

Notes