Whether the induced map in de Rham cohomology is injective

differential-formsdifferential-geometryhomology-cohomology

Let $M, N$ be smooth manifolds, and let $f: M \rightarrow N$ be a surjective submersion, i.e. a surjective smooth map such that the differential $f_{*}$ is also surjective.

I have shown that for all $k \geq 0$, the pullback map of $k$-forms $$ f^{*} : \Omega^{k}(N) \rightarrow \Omega^{k} (M)$$ is injective.

However, the problem now asks me whether the induced map on de Rham cohomology $$ H_{dR}^k (N) \rightarrow H_{dR}^k (M) : [\omega] \mapsto [f^{*} \omega] $$ is also injective?

I was trying to prove this. I took $[\omega] \in H_{dR}^{k} (N)$ and assumed $[f^{*} \omega] = [0]$. This means $f^{*} \omega \sim 0$ or $$ f^{*} \omega = d \tau $$ for some $(k-1)$ form $\tau$ on $M$.

I want to conclude from this somehow that $[\omega ] = [0]$ or $\omega = d \sigma$ for some $(k-1)$ form $\sigma$ on $N$. But I'm not sure if the statement is even true. I tried to find a counter example, but couldn't.

Any help is appreciated!

Best Answer

Consider the convering of the torus $T^2$ by $\mathbb{R}^2$, $H^2_{DR}(T^2)\neq 0$ and $H_{DR}^2(\mathbb{R}^2)=0$ since it is contractible so the induced map on cohomology is not injective.

Related Question