Mostly Surfaces
Total Page:16
File Type:pdf, Size:1020Kb
Mostly Surfaces Richard Evan Schwartz ∗ August 21, 2011 Abstract This is an unformatted version of my book Mostly Surfaces, which is Volume 60 in the A.M.S. Student Library series. This book has the same content as the published version, but the arrangement of some of the text and equations here is not as nice, and there is no index. Preface This book is based on notes I wrote when teaching an undergraduate seminar on surfaces at Brown University in 2005. Each week I wrote up notes on a different topic. Basically, I told the students about many of the great things I have learned about surfaces over the years. I tried to do things in as direct a fashion as possible, favoring concrete results over a buildup of theory. Originally, I had written 14 chapters, but later I added 9 more chapters so as to make a more substantial book. Each chapter has its own set of exercises. The exercises are embedded within the text. Most of the exercises are fairly routine, and advance the arguments being developed, but I tried to put a few challenging problems in each batch. If you are willing to accept some results on faith, it should be possible for you to understand the material without working the exercises. However, you will get much more out of the book if you do the exercises. The central object in the book is a surface. I discuss surfaces from many points of view: as metric spaces, triangulated surfaces, hyperbolic surfaces, ∗ Supported by N.S.F. Research Grant DMS-0072607 1 and so on. The book has many classical results about surfaces, both geo- metric and topological, and it also has some extraneous stuff that I included because I like it. For instance, the book contains proofs of the Pythagorean Theorem, Pick’s Theorem, Green’s Theorem, Dehn’s Dissection Theorem, the Cauchy Rigidity Theorem, and the Fundamental Theorem of Algebra. All the material in the book can be found in various textbooks, though there probably isn’t one textbook that has it all. Whenever possible, I will point out textbooks or other sources where you can read more about what I am talking about. The various fields of math surrounding the concept of a surface—geometry, topology, complex analysis, combinatorics—are deeply intertwined and often related in surprising ways. I hope to present this tapestry of ideas in a clear and rigorous yet informal way. My general view of mathematics is that most of the complicated things we learn have their origins in very simple examples and phenomena. A good way to master a body of mathematics is to first understand all the sources that lead to it. In this book, the square torus is one of the key simple examples. A great deal of the theory of surfaces is a kind of elaboration of phenomena one encounters when studying the square torus. In the first chapter of the book, I will introduce the square torus and describe the various ways that its structure can be modified and generalized. I hope that this first chapter serves as a good guide to the rest of the book. I aimed the class at fairly advanced undergraduates, but I tried to cover each topic from scratch. My idea is that, with some effort, you could learn the material for the whole course without knowing too much advanced math. You should be perfectly well prepared for the intended version of the class if you have had a semester each of real analysis, abstract algebra, and complex analysis. If you have just had the first 2 items, you should still be alright, because I embedded a kind of mini-course on complex analysis in the middle of the book. Following an introductory chapter, this book is divided into 6 parts. The first 5 parts have to do with different aspects of the theory of surfaces. The 6th part is a collection of several topics, loosely related to the rest of the book, which I included because I really like them. Here is an outline of the book. 2 Part 1: Surfaces and Topology. In this part, we define such concepts as surface, Euler characteristic, fundamental group, deck group, and covering space. We prove that the deck group of a surface and its fundamental group are isomorphic. We also prove, under some conditions, that a space has a universal cover. Part 2: Surfaces and Geometry. The first 3 chapters in this part in- troduce Euclidean, spherical, and hyperbolic geometry, respectively. (In the Euclidean case, which is so well known, we concentrate on nontrivial the- orems.) Following this, we discuss the notion of a Riemannian metric on a surface. In the final chapter, we discuss hyperbolic surfaces, as special examples of Riemannian manifolds. Part 3: Surfaces and Complex Analysis. In this part, we give a rapid primer on the main points taught in the first semester of complex analysis. Following this, we introduce the concept of a Riemann surface and prove some results about complex analytic maps between Riemann surfaces. Part 4: Flat Surfaces. In this part, we define what is meant by a flat cone surface. As a special case, we consider the notion of a translation surface. We show how the “affine symmetry group” of a translation surface, known as the Veech group, leads right back to complex analysis and hyperbolic geometry. We end this part with an application to polygonal billiards. Part 5: The Totality of Surfaces. In this part, we discuss the basic ob- jects one considers when studying the totality of all flat or hyperolic surfaces, namely moduli space, Teichm¨uller space, and the mapping class group. As a warmup for the flat-surface case, we discuss continued fractions and the modular group in detail. Part 6: Dessert. In this part, we prove 3 classic results in geometry. The Banach – Tarski Theorem says that—assuming the Axiom of Choice—you can cut up a ball of radius 1 into finitely many pieces and rearrange those pieces into a (solid) ball of radius 2. Dehn’s Theorem says that you cannot cut up a cube with planar cuts and rearrange it into a regular tetrahedron. The Cauchy Rigidity Theorem says roughly that you cannot flex a convex polyhedron. Contents 1 Book Overview 9 1.1 Behold,theTorus! ........................ 9 3 1.2 GluingPolygons.......................... 11 1.3 DrawingonaSurface. 13 1.4 CoveringSpaces.......................... 15 1.5 HyperbolicGeometryandtheOctagon . 16 1.6 ComplexAnalysisandRiemannSurfaces . 18 1.7 ConeSurfacesandTranslationSurfaces . 20 1.8 TheModularGroupandtheVeechGroup . 21 1.9 ModuliSpace ........................... 22 1.10Dessert............................... 24 2 Definition of a Surface 25 2.1 AWordaboutSets ........................ 25 2.2 MetricSpaces ........................... 25 2.3 OpenandClosedSets ...................... 26 2.4 ContinuousMaps ......................... 28 2.5 Homeomorphisms......................... 29 2.6 Compactness ........................... 29 2.7 Surfaces .............................. 30 2.8 Manifolds ............................. 31 3 The Gluing Construction 35 3.1 GluingSpacesTogether. 35 3.2 TheGluingConstructioninAction . 37 3.3 TheClassificationofSurfaces . 39 3.4 TheEulerCharacteristic . 40 4 The Fundamental Group 45 4.1 APrimeronGroups ....................... 45 4.2 HomotopyEquivalence . 46 4.3 TheFundamentalGroup . 47 4.4 ChangingtheBasepoint . 49 4.5 Functoriality............................ 51 4.6 SomeFirstSteps ......................... 52 5 ExamplesofFundamentalGroups 54 5.1 TheWindingNumber ...................... 54 5.2 TheCircle............................. 57 5.3 TheFundamentalTheoremofAlgebra . 58 4 5.4 TheTorus............................. 58 5.5 The2-Sphere ........................... 59 5.6 TheProjectivePlane . 59 5.7 ALensSpace ........................... 60 5.8 ThePoincar´eHomologySphere . 62 6 CoveringSpacesandtheDeckGroup 65 6.1 CoveringSpaces.......................... 65 6.2 TheDeckGroup ......................... 66 6.3 AFlatTorus ........................... 67 6.4 MoreExamples .......................... 68 6.5 SimplyConnectedSpaces . 69 6.6 TheIsomorphismTheorem. 70 6.7 TheBolzano–WeierstrassTheorem . 71 6.8 TheLiftingProperty . 72 6.9 ProofoftheIsomorphismTheorem . 73 6.10 DefinetheIsomorphism . 73 6.11Homomorphism .......................... 74 6.12Injectivity ............................. 74 6.13Surjectivity ............................ 76 7 ExistenceofUniversalCovers 78 7.1 TheMainResult ......................... 78 7.2 TheCoveringProperty . 80 7.3 SimpleConnectivity . 82 8 Euclidean Geometry 84 8.1 EuclideanSpace.......................... 84 8.2 ThePythagoreanTheorem. 87 8.3 TheXTheorem.......................... 87 8.4 Pick’sTheorem .......................... 88 8.5 ThePolygonDissectionTheorem . 92 8.6 LineIntegrals ........................... 94 8.7 Green’sTheoremforPolygons . 96 9 Spherical Geometry 100 9.1 Metrics,TangentPlanes,andIsometries . 100 9.2 Geodesics .............................101 5 9.3 GeodesicTriangles . .103 9.4 Convexity .............................106 9.5 StereographicProjection . .107 9.6 TheHairyBallTheorem . .108 10 Hyperbolic Geometry 111 10.1 LinearFractionalTransformations . 111 10.2 CirclePreservingProperty . 112 10.3 TheUpperHalf-PlaneModel . .114 10.4 AnotherPointofView . .116 10.5Symmetries ............................117 10.6Geodesics .............................119 10.7 TheDiskModel..........................120 10.8 GeodesicPolygons . .122 10.9 ClassificationofIsometries . 125 11RiemannianMetricsonSurfaces 127 11.1 CurvesinthePlane. .127 11.2 RiemannianMetricsonthePlane . 127 11.3 DiffeomorphismsandIsometries . 129 11.4 AtlasesandSmoothSurfaces. 130 11.5 SmoothCurvesandtheTangentPlane . 131 11.6 RiemannianSurfaces . .132 12 Hyperbolic Surfaces 135 12.1Definition