Homology of Surfaces with Holes - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T14:13:06Z http://mathoverflow.net/feeds/question/18854 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/18854/homology-of-surfaces-with-holes Homology of Surfaces with Holes Tony Huynh 2010-03-20T16:23:05Z 2011-01-01T17:30:30Z <p>The classification theorem for surfaces says that the complete set of homeomorphism classes of surfaces is </p> <p>{ $S_g : g \geq 0$ } $\cup$ { $N_k : k \geq 1$ },</p> <p>where $S_g$ is a sphere with $g$ handles, and $N_k$ is a sphere with $k$ crosscaps. The first homology groups are easy to compute. They are $H_1 (S_g) = \mathbb{Z}^{2g}$, and $H_1 (N_k)=\mathbb{Z}^{k-1} \times \mathbb{Z} / 2\mathbb{Z}$. My question concerns how the homology groups change once we start cutting holes in our surface. </p> <p>In the orientable case, it is easy to see what happens. The first hole that we cut out does not change the homology. Every additional hole then introduces another factor of $\mathbb{Z}$. </p> <p>In the non-orientable case something peculiar happens. Consider the projective plane with homology group $\mathbb{Z} / 2 \mathbb{Z}$. If I cut out a hole, then I get the Mobius strip, which has homology group $\mathbb{Z}$ (it is homotopic to a circle). In general, if I cut a hole out of $N_k$, then in the homology group I lose a factor of $\mathbb{Z} / 2 \mathbb{Z}$, and introduce a factor of $\mathbb{Z}$. Each additional hole will then just introduce another factor of $\mathbb{Z}$. </p> <p><strong>My question:</strong> In the non-orientable case what happened to the factor of $\mathbb{Z} / 2 \mathbb{Z}$? Is there a nice geometric explanation of why it went away? I'm slightly disturbed because I had the intuition that torsion was supposed to record non-orientability, but I guess this doesn't work for surfaces with holes. </p> http://mathoverflow.net/questions/18854/homology-of-surfaces-with-holes/18856#18856 Answer by Richard Kent for Homology of Surfaces with Holes Richard Kent 2010-03-20T16:42:02Z 2010-03-20T16:42:02Z <p>Think of it in the other direction:</p> <p>When you attach a disk to the boundary of the Mobius band, you get a map from $\pi_1$ of the Mobius band to $\pi_1$ of the projective plane, which is just the quotient map $\mathbb{Z} \to \mathbb{Z}/2\mathbb{Z}$.</p> http://mathoverflow.net/questions/18854/homology-of-surfaces-with-holes/18862#18862 Answer by Charlie Frohman for Homology of Surfaces with Holes Charlie Frohman 2010-03-20T17:17:52Z 2010-03-20T17:17:52Z <p>Richard's answer captures the essence why there is a $\mathbb{Z}_2$ is in the first homology of a closed nonorientable surface.</p> <p>If you remove a disk from a closed surface, the resulting object has a $1$-dimensional $CW$-complex as a strong deformation retract, so that the homology of the resulting object has no torsion. </p> <p>A closed nonorientable surface is always the result of the connect sum of an orientable surface with a projective plane or two projective planes. That is you are gluing one Moebius band, or two Moebius bands into the boundary of an orientable surface. The core or cores of the Moebius bands, oriented appropriately represent the generator of the $2$-torsion in the first homology of the surface.</p> http://mathoverflow.net/questions/18854/homology-of-surfaces-with-holes/50869#50869 Answer by Chris for Homology of Surfaces with Holes Chris 2011-01-01T17:30:30Z 2011-01-01T17:30:30Z <p>In RP2, you can literally draw a line on the surface twice around and upon sliding parts of this line across the surface, the line can shrink to a dot - thus, [2] = [0].</p> <p>However, if you introduce a hole in the right place before sliding, then it's possible for the line to get 'stuck' and thus form a loop around this hole, so [2] now becomes its own equivalence class. Of course it might still be possible to slide the line so that it can shrink to a dot, granted the hole is elsewhere, but this then is simply [0] and still different from [2].</p> <p>In other words, the hole can cause multiple loops like any hole in any surface, regardless of what the rest of that surface looks like.</p>