Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Given a map between two manifolds that induces an isomorphism on integral cohomology in the top dimension, it follows from naturality of the cup product and Poincaré duality and universal coefficient theorem that all maps on cohomology in every dimension are injective with torsion free cokernel.

Is there an example where one of these maps is not surjective?

share|improve this question
add comment

2 Answers

up vote 9 down vote accepted

For any orientable manifold M of dimension n, map M to $S^n$ by sending some suitable neighborhood of a point homeomorphically to $\mathbb{R}^n$ and the rest to $\infty$.

share|improve this answer
1  
E.g. let $M = {\mathbb CP}^2$, and collapse the line at infinity to a point, mapping to $S^4$. –  Allen Knutson Jun 29 '10 at 15:02
add comment

I think I have one: consider a torus in $\mathbb{R}^{3}$ embedded as a surface of rotation, e.g. rotate a circle of radius $1$ in the zy plane with center $(0,2,0)$ around the $z$ axis. Now put a small sphere with center $(0,2,0)$ and radius $\epsilon$. Then the map $T \rightarrow S^{2}$ given by projection towards the center of the sphere should give an isomorphism in $H^{2}$ (since the degree is 1) but it is obviously not surjective in $H^{1}$

share|improve this answer
add comment

Your Answer

 
discard

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

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