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.

The pinched torus is homeomorphic to a sphere with two (different) points identified.
          Wikipedia image
What is the name and topological structure of the generalization in which $n$ pairs of distinct points of a sphere are identified? Is the resulting topology independent of the relationship between the identified pairs of points? In other words, are all surfaces obtained by identifying $n$ pairs of distinct points homeomorphic to one another?

Thanks for insights/comments/pointers!

share|improve this question

1 Answer 1

up vote 3 down vote accepted

I don't know that these objects have names, but identifying $n$ pairs of points on $S^2$ corresponds to taking a surface of genus $n$ and pinching off each handle. Equivalently, take a genus $n$ handlebody and collapse a compression disk bounded by the belt sphere in each handle down to a point, then take the boundary of the resulting object.

To see that all such surfaces (of fixed $n$) are homeomorphic, it suffices to see that for any two finite set of $n$ distinct pairs of distinct points $\{p_1,p_1',p_2,p_2',\ldots,p_n,p_n'\}\subset S^2$ and $\{q_1,q_1',\ldots,q_n,q_n'\}\subset S^2$, there is a homeomorphism $S^2\to S^2$ mapping $p_i\mapsto q_i,\ p_i'\mapsto q_i'$. Such a homeomorphism will descend to a homeomorphism of quotients. This can be done by composing a sequence of Dehn twists along narrow annuli, each containing $p_i^{(')}$, $q_i^{(')}$, and none of the other points to be identified.

Spaces similar to this arise in the study of Riemann surfaces: the only way a sequence of surfaces in the moduli space of genus $n$ surfaces can leave all compact sets is by this sort of handle pinching, equivalently regarded as the length of a closed geodesic tending to $0$. So you might find more information about these pinched surfaces by consulting a treatise on the ideal boundary of moduli space or of Teichmuller space -- I don't know any off the top of my head that treat this in particular, but I'd start by looking in Hubbard's book.

share|improve this answer
    
Thanks, Neal, especially for the proof of homeomorphism! –  Joseph O'Rourke Mar 10 '12 at 12:45
    
You're welcome! I'm glad the proof was clear. –  Neal Mar 10 '12 at 13:05

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.