This preview shows pages 1–3. Sign up to view the full content.
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Computational Topology (Jeff Erickson) Surface Classification Q: So you like the grass? A: Yeah. Well, actually I dont care what surface Im playing on. Daniela Hantuchov (May 17, 2001) press conference at the Tennis Masters Series, Rome, Italy 6 Surface Classification In this lecture, Ill give a proof of the most fundamental result in 2manifold topology: Surface Classification Theorem. Every compact connected 2manifold can be constructed from the sphere by attaching either a finite number or handles or a finite number of Mbius bands. A complete proof of this theorem relies on Kerkjrt and Rados proof that any compact 2manifold has a triangulation, but the classification of triangulated 2manifolds is much older. Different sources attribute the first proof to Brahana [ 1 ] , Dehn and Heegard [ 2 ] , and Dyck [ 3 ] . 1 Brahanas proof is the one that appears in most topology textbooks, thanks to its appearance in an early textbook of Siefert and Threlfall. Several other proofs are known; we refer in particular to a completely selfcontained proof by Thomassen [ 10 ] and Conways zero irrelevancy proof [ 5 ] . 6.1 Attaching Handles and Mbius Bands To attach a handle to a surface , find two disjoint closed disks on , delete the interiors of the disks, and glue an annulus to the two boundary circles. The inverse operationdeleting an annulus and gluing disks onto each boundary circleis called detaching a handle . Left to right: Attaching a handle. Right to left: Detaching a handle. To attach a Mbius band to a surface , find a single closed disk in , delete its interior, and glue a Mbius band to its boundary circle. The inverse operationdeleting a Mbius band and gluing a disk onto its boundary circleis called detaching a Mbius band . Left to right: Attaching a Mbius band. Right to left: Detaching a Mbius band. Let ( g , h ) denote the surface obtained from the sphere by attaching g handles and h Mbius bands. (You should convince yourself that it doesnt matter where the handles and Mbius bands are attached, or in which order.) For example, ( 0,0 ) is the sphere; ( 1,0 ) is the torus; ( 0,1 ) is the projective plane ; and ( 0,2 ) is the Klein bottle . 1 However, the classification of orientable surfaces was previously stated in various forms by Riemann, Klein, Jordan [ 6 ] , and Mbius [ 9 ] . 1 Computational Topology (Jeff Erickson) Surface Classification 6.2 Edge Surgery My proof of the classification theorem starts with a polygonal schema for the 2manifold and modifies its graph through a series of edge contractions and edge deletions . Both operations remove edges from the graph, but in different ways....
View
Full
Document
 Fall '08
 Staff

Click to edit the document details