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

I know that there definitely are two topological spaces with the same homology groups, but which are not homeomorphic. For example, one could take T^2 and S^{1}\vee S^{1}\vee S^{2} (or maybe S^{1}\wedge S^{1}\wedge S^{2}), which have the same homology groups but different fundamental groups. But are there any examples in the smooth category?

share|improve this question
The Lens spaces $L(p,q_1)$ and $L(p,q_2)$ for suitable choices of $q_i$'s are homotopy equivalent but not homeomorphic. For example, one can take $L(7,1)$ and $L(7,2)$. –  Somnath Basu Apr 27 '10 at 0:12

4 Answers 4

up vote 10 down vote accepted

Sure -- there are an abundance of homology spheres in dimension 3 (the wikipedia article is pretty nice).

For other examples, in dimension 4 you can find smooth simply-connected closed manifolds whose second homology groups (the only interesting ones) are the same but which have different intersection pairings.

This last subject is very rich. For bathroom reading on it, I cannot recommend Scorpan's book "The Wild World of 4-Manifolds" highly enough.

share|improve this answer

More surprisingly, you can find smooth manifolds which are homeomorphic (and in particular, have the same homology) but are not diffeomorphic! The best-known examples are exotic spheres.

share|improve this answer
I actually knew that. For some reason, I didn't make the connection between homeomorphism and same homology groups. Thanks! –  Kirill Levin Oct 30 '09 at 4:11

A more trivial example is R^n and R^m for m and n different. (More generally two contractible spaces of different dimensions.)

share|improve this answer
I was thinking of a circle and an annulus, you beat me :-) –  Patrick I-Z Jan 6 '11 at 0:29

Serre has shown with the help of two embeddings phi and psi of a quadratic number field into C that there exist two projective surfaces V(phi)and V(psi) over C which have non isomorphic fundamental groups (and so are non homeomorphic) but have isomorphic Betti numbers.

The comparison theorem between étale cohomology and singular cohomology ( which didn't exist when Serre wrote his article ) even proves thar these surfaces have the same singular cohomology with value in any finite abelian group or over Q_l(l-adics) for any prime l.

I don't know if these surfaces have the same homology and so I don't answer your question in the strict sense (anyway, now you have Andy's and Eric's most satisfying solutions); but these remarks in an algebraic geometry context might interest you. Serre's article is

Exemples de variétés projectives conjuguées non homéomorphes, C.R. Acad.Sci.Paris 258 (1964), 4194-4196
It is of course reproduced in his Collected Papers.

share|improve this answer

Your Answer


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.