MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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 T be a two-dimensional torus and Y be the one point compactification of a two dimensional sphere ($S^2$) minus three points. I have to prove:

1)they have the same fundamental group

2)they are homotopically equivalent

This is what i thought: i can see Y this way, let A,B,C three distinct points on the sphere and P a point not on the sphere, Y is homotopically equivalent to $S^2\cup\overline{AP}\cup\overline{BP}\cup\overline{CP}$. My hope for showing that they have the same fundamnetal group was to use van kampen theorem with open sets one $U$ homeomorphic to an open disk and the other one $V$ homotopically equivalent to a bouquet of 2 circles and $U\cap V$ homotopically equivalent to a circle. Now i would like to show that the generator of $\pi_1(U\cap V)$ is sent by inclusion map to the commutator of the generators of $\pi_1(V)$ but i can't see how.

For the homotopy equivalence i can't see the homotopy between these two spaces.

Please can anyone help?

Thank you in advance.

share|cite|improve this question
Are you sure (2) is true? My intuition is that $\pi_2(Y)$ is nonzero, whereas it's zero for $T$. But you should check for yourself. – Donu Arapura Jul 11 '10 at 14:31
The second space can be constructed up to a homotopy by connecting three points in the sphere with the center with a segment. Doing it cellularly shows that the Euler characteristic os $2$, which is not zero. – Mariano Suárez-Alvarez Jul 11 '10 at 14:36
up vote 5 down vote accepted

I think Y is homotopy equivalent to $S^2\vee S^1\vee S^1$. Proof: $Y$ is homotopy equivalent to the homotopy cofiber or the map from $3$ point to $S^2$. This map is null-homotopic, so $Y$ is equivalent to the wedge sum of $S^2$ with the suspension of three points. Suspension of three points is equivalent to $S^1\vee S^1$.

It is easy enough to construct the homotopy equivalence directly.

In conclusion: both (1) and (2) are false.

share|cite|improve this answer

They are clearly not homotopy equivalent, and they have different homotopy groups. The nontorus is the cofiber of any injective map from a discrete $3$-point set to $S^2$, which is homotopy equivalent to $S^2\vee S^1\vee S^1$.

share|cite|improve this answer
Heh. Oh, well :-) – Gregory Arone Jul 11 '10 at 15:02

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.