5
$\begingroup$

Let $X$ be the $2$-sphere with two pairs of points identified, say $(1,0,0) \sim (-1,0,0)$ and $(0,1,0) \sim (0,-1,0)$. Write $Y$ for the wedge sum of two circles with a $2$-sphere: if it matters, the sphere is in the "middle," so the circles are attached at two distinct points on the sphere.

Now I think one can show, using Mayer-Vietoris and van Kampen, that these spaces have the same homology (that of a torus) and fundamental group (free on two generators). But are they homotopy equivalent?

  • 0
    the cup product structure on the cohomology ring of $Y$ is trivial; I doubt this is true on $X$ - you could check with a simplicial decomposition; I'll try to think of a less awful way.2012-08-07
  • 2
    Hint: $X$ and $Y$ have the same cohomology ring, the same homotopy groups, homotopy algebras, $K$-theory, etc, etc...2012-08-07

3 Answers 3

6

Yes. Taking the wedge sum with a circle is the same as identifying two points (up to homotopy, with a nice space like the sphere which is homogeneous).

  • 1
    Nice. How does one prove such a thing? This reminds me of a quote I heard recently: "Something is obvious if it is easy to write down the proof. Note that this does not apply in topology."2012-08-07
  • 0
    Clearly identifying two points is homotopy equivalent to gluing the endpoints of an interval to the space. To finish the argument, hopefully we can contract a path (this time in the space) to a point without affecting homotopy type, but this is not clear to me. This looks like the question I asked the other day about wedge sums...2012-08-07
  • 0
    Think of it this way (my friend explained it to me): given two points on a space $M$, attach an arc connecting them. We can "slide those two points together" on $M$ to get something that looks like $M$ wedge a circle. Or we can contract the arc to get something that looks like $M$ with two points identified.2012-08-07
  • 0
    But why is sliding these two points together a homotopy equivalence? Surely this depends on $M$ being suitably nice.2012-08-07
  • 0
    When attaching cells to a space, if you homotope the attaching map you get homotopy-equivalent spaces. This is an exercise in Hatcher's text.2012-08-07
  • 0
    @RyanBudney: I think you misunderstood my question. Suppose I have a nice, homogeneous space $X$ (like the sphere) and a path between two points whose image $A \subset X$ is contractible. Why is the quotient map $X \to X/A$ a homotopy equivalence?2012-08-07
  • 0
    @Justin: it suffices to work in an open neighborhood of $A$ homeomorphic to $\mathbb{R}^2$ and then I think you can just write down a homotopy pretty explicitly.2012-08-07
  • 0
    @QiaochuYuan: Fair enough. I was hoping there was some more general principle at work.2012-08-07
6

This is actually a special case of the result that if $A \to X$ is a closed cofibration, and $f:A \to B$ is a map, then the natural map $M(f) \cup X \to B \cup_f X$ is a homotopy equivalence: here $M(f)$ is the mapping cylinder of $f$, and the result is 7.5.4 of my book Topology and Groupoids.

For your case, you have to take $A$ to consist of $4$ points, and $B$ to consist of $2$ points.

Here is part of the general picture

extract

and here is a picture of the special case you asked about but with just one pair of points identified:

sphere

0

Is this right? EDIT: no. $X$ admits a surjection to $\mathbb{RP}^2$ which induces an inclusion on the $\mathbb{Z}/2$ valued cohomology rings. Therefore the cup product structure on $X$ is non-trivial and so $X$ cannot be homotopy equivalent to $Y$.

  • 4
    No, the map is trivial on $H^2$.2012-08-07