Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm trying exercise 9 on page 53 in Hatcher but I need some help with it. The exercise is:

In the surface $M_g$ of genus $g$, let $C$ be a circle that separates $M_g$ into two compact subsurfaces $M_h^\prime $ and $M_k^\prime$ obtained from the closed surfaces $M_h$ and $M_k$ by deleting an open disk from each. Show that $M_h^\prime$ does not retract onto its boundary circle $C$, and hence $M_g$ does not retract onto $C$. [Hint: abelianize $\pi_1$.] But show that $M_g$ does retract onto the nonseparating circle $C^\prime$ in the figure.

enter image description here

My first question is: assume there wasn't the hint, how would I think of abelianising? What does it mean exactly?

I thought I could do this by contradiction: if it retracts the induced map $i_\ast : \pi_1(C) \rightarrow \pi_1(M_h^\prime) $ is injective. I know $\pi_1(C) \cong \mathbb{Z}$, then I computed $\pi_1(M_h^\prime) \cong \mathbb{Z}$ and then I think I'm stuck. Right? Do you agree with $\pi_1(M_h^\prime) \cong \mathbb{Z}$ and being stuck after that?

What do I need to know to make progress? Many thanks for your help!

share|improve this question
2  
$r\colon M_g\rightarrow C$, $(g\geq 1)$ will be retraction if it is continuous and its restriction to $C$ is identity. But just regarding $r$ as continuous map, it will induce injection $r_{*}\colon \pi_1(M_g)\rightarrow \pi_1(C)$; and $\pi_1(M_g)$ is free abelian group of rank atleast $2$, and $\pi_1(C)\cong \mathbb{Z}$. –  user8186 Sep 2 '11 at 7:59
    
@group: Thank you! That is pretty neat! So the abelianization is only needed to prove the second part of the exercise? –  Rudy the Reindeer Sep 2 '11 at 10:31
1  
So from that I get that $i_*$ is injective and $r_*$ is surjective. –  Dylan Moreland Sep 2 '11 at 15:36
1  
I also don't see how you're getting $\pi_1(M_h') = \mathbf Z$. –  Dylan Moreland Sep 2 '11 at 15:42
2  
I am different people too. –  gary Sep 2 '11 at 17:53

2 Answers 2

up vote 8 down vote accepted

I think the Wikipedia article on commutators explains the definitions and properties well. If I can clarify anything said there, let me know. It's important to note that abelianization is a covariant functor, so in particular a homomorphism of groups induces one of the abelianizations.

This is a useful trick, not only because in applying $\pi_1$ you will often produce free products that seem hard to compare with one another. For example, $\mathbf Z * \mathbf Z$ contains free subgroups of all finite ranks, so it isn't clear (at least to me) that we can use van Kampen to show that the wedge of two circles and the wedge of three circles have non-isomorphic $\pi_1$s. But abelianizing makes this clear.

Back to the example. I claim that for a retract $M_h' \to C$ to exist, $i_*^\text{ab}\colon \pi_1(C) \to \pi_1(M_h')^\text{ab}$ would have to be injective (It does not always happen that the abelianization of an injection is injective; what's special here?). Now, $M_h'$ is the surface of genus $h$ with a hole in it, and we can represent that as

enter image description here

So the map $i_*$ sends a generator for $\pi_1(C)$ to a commutator $[a_1, b_1] \cdots [a_g, b_g]$. Why does this contradict the injectivity of $i_*^\text{ab}$?

For the second part, you'll need to give a map. Here's one idea: in the above picture, ignoring the $C$, try to retract onto $a_1$. It might help to redraw this as a square with sides $a_1, b_1, a_1$, and a bunch of stuff coming off of the fourth side. The square looks a lot like the torus, and you know how to retract the torus onto a meridian (?). Note that you really can crush a bunch of stuff on the polygon together as long as you respect the identifications.

share|improve this answer
    
Woops, that $b_g$ should be a $b_h$ in the picture and I don't want to make another trip to the scanner. –  Dylan Moreland Sep 2 '11 at 16:54

Here is an approach using homology to show that $Mg$ does not retract to $C$:

Use the fact (proven here: Homology of surface of genus $g$), that $H_1(Mg, \mathbb Z) =\mathbb Z^{2g}$, and that $H_1(C,\mathbb Z)=\mathbb Z$ . Then we use the standard method of composing the retraction with the inclusion:

If there was a retraction $r: Mg\rightarrow C $, then the composition $roi$ with the inclusion $i$ would give an isomorphism h:$\mathbb Z \rightarrow \mathbb Z$, which cannot happen, because of the intermediate group $\mathbb Z^{2g}$.

share|improve this answer
    
Sure; the composition $ior(C)=C$, gives us an isomorphism in homology from $\mathbb Z$ to itself, since $H_1(C,\mathbb Z)=\mathbb Z$, but the homology of $Mg$ is $\mathbb Z^{2g}$; I may have the composition in the wrong order; I think we need $i: C\rightarrow Mg \ r:Mg \rightarrow C $, so that we need a composition of group maps such that $\mathbb Z \rightarrow \mathbb Z^{2g} \rightarrow \mathbb Z$ is an isomorphism of $\mathbb Z$ to itself. –  gary Sep 2 '11 at 17:48
    
I'm slightly worried: what if, in that sequence, we had $n \mapsto (n, 0, \ldots, 0)$ and $(m_1, \ldots, m_{2g}) \mapsto m_1$ for the maps? It seems like you need some exactness in the middle. Sorry for my slowness. –  Dylan Moreland Sep 2 '11 at 18:09
1  
Hum. I don't see why it has to induce an isomorphism. Certainly if we had a deformation retraction, then we'd have isomorphisms all over the place. –  Dylan Moreland Sep 2 '11 at 19:25
1  
I agree that those two groups are not isomorphic! But in the end of the problem we are going to construct a retract $M_g \to C'$, and there's no way that's an isomorphism on $H^1$. –  Dylan Moreland Sep 2 '11 at 19:28
1  
I understand that you weren't trying to prove the second part! But I don't see anything in your proof that you couldn't say about $C'$. I can drop this, if you like :) –  Dylan Moreland Sep 2 '11 at 21:13

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.