Mostly Surfaces Richard Evan Schwartz

Total Page:16

File Type:pdf, Size:1020Kb

Mostly Surfaces Richard Evan Schwartz Mostly Surfaces Richard Evan Schwartz Department of Mathematics, Brown University Current address: 151 Thayer St. Providence, RI 02912 E-mail address: [email protected] 2010 Mathematics Subject Classification. Primary Key words and phrases. surfaces, geometry, topology, complex analysis supported by N.S.F. grant DMS-0604426. Contents Preface xiii Chapter 1. Book Overview 1 1.1. Behold, the Torus! 1 § 1.2. Gluing Polygons 3 § 1.3.DrawingonaSurface 5 § 1.4. Covering Spaces 8 § 1.5. HyperbolicGeometryandtheOctagon 9 § 1.6. Complex Analysis and Riemann Surfaces 11 § 1.7. ConeSurfacesandTranslationSurfaces 13 § 1.8. TheModularGroupandtheVeechGroup 14 § 1.9. Moduli Space 16 § 1.10. Dessert 17 § Part 1. Surfaces and Topology Chapter2. DefinitionofaSurface 21 2.1. A Word about Sets 21 § 2.2. Metric Spaces 22 § 2.3. OpenandClosedSets 23 § 2.4. Continuous Maps 24 § v vi Contents 2.5. Homeomorphisms 25 § 2.6. Compactness 26 § 2.7. Surfaces 26 § 2.8. Manifolds 27 § Chapter3. TheGluingConstruction 31 3.1. GluingSpacesTogether 31 § 3.2. TheGluingConstructioninAction 34 § 3.3. The Classification of Surfaces 36 § 3.4. TheEulerCharacteristic 38 § Chapter 4. The Fundamental Group 43 4.1. A Primer on Groups 43 § 4.2. Homotopy Equivalence 45 § 4.3. The Fundamental Group 46 § 4.4. Changing the Basepoint 48 § 4.5. Functoriality 49 § 4.6. Some First Steps 51 § Chapter 5. Examples of Fundamental Groups 53 5.1.TheWindingNumber 53 § 5.2. The Circle 56 § 5.3. The Fundamental Theorem of Algebra 57 § 5.4. The Torus 58 § 5.5. The 2-Sphere 58 § 5.6. TheProjectivePlane 59 § 5.7. A Lens Space 59 § 5.8. The Poincar´eHomology Sphere 62 § Chapter6. CoveringSpacesandtheDeckGroup 65 6.1. Covering Spaces 65 § 6.2. The Deck Group 66 § 6.3. A Flat Torus 67 § Contents vii 6.4. More Examples 69 § 6.5. SimplyConnectedSpaces 70 § 6.6. The Isomorphism Theorem 71 § 6.7. The Bolzano–Weierstrass Theorem 72 § 6.8. TheLiftingProperty 73 § 6.9. ProofoftheIsomorphismTheorem 74 § Chapter7. ExistenceofUniversalCovers 79 7.1. The Main Result 80 § 7.2. The Covering Property 82 § 7.3. SimpleConnectedness 84 § Part 2. Surfaces and Geometry Chapter8. EuclideanGeometry 89 8.1. Euclidean Space 89 § 8.2. The Pythagorean Theorem 92 § 8.3. The X Theorem 93 § 8.4. Pick’s Theorem 94 § 8.5. The Polygon Dissection Theorem 98 § 8.6. Line Integrals 100 § 8.7. Green’s Theorem for Polygons 102 § Chapter9. SphericalGeometry 105 9.1. Metrics,TangentPlanes,andIsometries 105 § 9.2. Geodesics 107 § 9.3. Geodesic Triangles 109 § 9.4. Convexity 111 § 9.5. StereographicProjection 113 § 9.6. The Hairy Ball Theorem 114 § Chapter 10. Hyperbolic Geometry 117 10.1. Linear Fractional Transformations 117 § 10.2. CirclePreservingProperty 118 § viii Contents 10.3. The Upper Half-Plane Model 120 § 10.4. Another Point of View 123 § 10.5. Symmetries 124 § 10.6. Geodesics 126 § 10.7. The Disk Model 127 § 10.8. Geodesic Polygons 129 § 10.9. Classification of Isometries 133 § Chapter11. RiemannianMetricsonSurfaces 135 11.1. Curves in the Plane 135 § 11.2. RiemannianMetricsonthePlane 136 § 11.3. Diffeomorphisms and Isometries 137 § 11.4. Atlases and Smooth Surfaces 138 § 11.5. Smooth Curves and the Tangent Plane 139 § 11.6. Riemannian Surfaces 141 § 11.7. Riemannian Covers 143 § Chapter12. HyperbolicSurfaces 147 12.1. Definition 147 § 12.2. Gluing Recipes 150 § 12.3. GluingRecipesLeadtoSurfaces 151 § 12.4. Some Examples 154 § 12.5. Geodesic Triangulations 154 § 12.6. Hadamard’s Theorem 157 § 12.7. The Hyperbolic Cover 159 § 12.8. Orientations 162 § Part 3. Surfaces and Complex Analysis Chapter 13. A Primer on Complex Analysis 167 13.1. Basic Definitions 167 § 13.2. Cauchy’s Theorem 170 § 13.3. The Cauchy Integral Formula 171 § Contents ix 13.4. Differentiability 172 § 13.5. The Maximum Principle 174 § 13.6. Removable Singularities 175 § 13.7. Power Series 176 § 13.8. Taylor Series 178 § Chapter 14. Disk and Plane Rigidity 181 14.1. Disk Rigidity 181 § 14.2. Liouville’s Theorem 184 § 14.3. StereographicProjectionRevisited 185 § Chapter 15. The Schwarz–Christoffel Transformation 189 15.1. The Basic Construction 190 § 15.2. The Inverse Function Theorem 191 § 15.3. Proof of Theorem 15.1 192 § 15.4. The Range of Possibilities 194 § 15.5. Invariance of Domain 196 § 15.6. TheExistenceProof 197 § Chapter 16. Riemann Surfaces and Uniformization 203 16.1. Riemann Surfaces 203 § 16.2. Maps Between Riemann Surfaces 205 § 16.3. The Riemann Mapping Theorem 207 § 16.4. The Uniformization Theorem 210 § 16.5. The Small Picard Theorem 211 § 16.6. Implications for Compact Surfaces 212 § Part 4. Flat Cone Surfaces Chapter 17. Flat Cone Surfaces 217 17.1. Sectors and Euclidean Cones 217 § 17.2. Euclidean Cone Surfaces 218 § 17.3. The Gauss–Bonnet Theorem 219 § 17.4. Translation Surfaces 221 § x Contents 17.5. Billiards and Translation Surfaces 222 § 17.6. Special Maps on a Translation Surface 226 § 17.7. ExistenceofPeriodicBilliardPaths 228 § Chapter 18. Translation Surfaces and the Veech Group 231 18.1. Affine Automorphisms 231 § 18.2. The Differential Representation 233 § 18.3. Hyperbolic Group Actions 234 § 18.4. Proof of Theorem 18.1 236 § 18.5. Triangle Groups 238 § 18.6. LinearandHyperbolicReflections 239 § 18.7. Cylinders and Dehn Twists 242 § 18.8. Behold, The Double Octagon! 244 § Part 5. The Totality of Surfaces Chapter 19. Continued Fractions 251 19.1. The Gauss Map 251 § 19.2. Continued Fractions 253 § 19.3. The Farey Graph 254 § 19.4. StructureoftheModularGroup 256 § 19.5. Continued Fractions and the Farey Graph 257 § 19.6. The Irrational Case 259 § Chapter20. Teichm¨ullerSpaceandModuliSpace 263 20.1. Parallelograms 263 § 20.2. Flat Tori 264 § 20.3. The Modular Group Again 266 § 20.4. Moduli Space 268 § 20.5. Teichm¨uller Space 270 § 20.6. The Mapping Class Group 272 § Chapter 21. Topology of Teichm¨uller Space 275 21.1. Pairs of Pants 275 § Contents xi 21.2. Pants Decompositions 277 § 21.3. Special Maps and Triples 279 § 21.4. The End of the Proof 281 § Part 6. Dessert Chapter 22. The Banach–Tarski Theorem 287 22.1. The Result 287 § 22.2. TheSchroeder–BernsteinTheorem 288 § 22.3. The Doubling Theorem 290 § 22.4. Depleted Balls 291 § 22.5. The Depleted Ball Theorem 291 § 22.6. A Result about Polynomials 294 § 22.7. The Injective Homomorphism 295 § Chapter23. Dehn’sDissectionTheorem 297 23.1. The Result 297 § 23.2. Dihedral Angles 298 § 23.3. Irrationality Proof 299 § 23.4. Rational Vector Spaces 300 § 23.5. Dehn’s Invariant 301 § 23.6. Clean Dissections 302 § 23.7. The Proof 304 § Chapter 24. The Cauchy Rigidity Theorem 305 24.1. The Main Result 305 § 24.2. The Dual Graph 306 § 24.3. OutlineoftheProof 307 § 24.4. Proof of Lemma 24.3 308 § 24.5. The Cauchy Arm Lemma 311 § 24.6. Proof of Lemma 24.2 312 § 24.7. The Loss of Strict Convexity 314 § 24.8. Proof of the Cauchy Arm Lemma 316 § xii Contents Bibliography 319 Index 321 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 em- bedded 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 mate- rial 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, and so on. The book has many classical results about surfaces, both geometric 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, xiii xiv Preface 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 phe- nomena. 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 the- ory 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.
Recommended publications
  • Oriented Projective Geometry for Computer Vision
    Oriented Projective Geometry for Computer Vision St~phane Laveau Olivier Faugeras e-mall: Stephane. Laveau@sophia. inria, fr, Olivier.Faugeras@sophia. inria, fr INRIA. 2004, route des Lucioles. B.R 93. 06902 Sophia-Antipolis. FRANCE. Abstract. We present an extension of the usual projective geometric framework for computer vision which can nicely take into account an information that was previously not used, i.e. the fact that the pixels in an image correspond to points which lie in front of the camera. This framework, called the oriented projective geometry, retains all the advantages of the unoriented projective geometry, namely its simplicity for expressing the viewing geometry of a system of cameras, while extending its adequation to model realistic situations. We discuss the mathematical and practical issues raised by this new framework for a number of computer vision algorithms. We present different experiments where this new tool clearly helps. 1 Introduction Projective geometry is now established as the correct and most convenient way to de- scribe the geometry of systems of cameras and the geometry of the scene they record. The reason for this is that a pinhole camera, a very reasonable model for most cameras, is really a projective (in the sense of projective geometry) engine projecting (in the usual sense) the real world onto the retinal plane. Therefore we gain a lot in simplicity if we represent the real world as a part of a projective 3-D space and the retina as a part of a projective 2-D space. But in using such a representation, we apparently loose information: we are used to think of the applications of computer vision as requiring a Euclidean space and this notion is lacking in the projective space.
    [Show full text]
  • Correlators of Wilson Loops on Hopf Fibrations
    UNIVERSITA` DEGLI STUDI DI PARMA Dottorato di Ricerca in Fisica Ciclo XXV Correlators of Wilson loops on Hopf fibrations in the AdS5=CFT4 correspondence Coordinatore: Chiar.mo Prof. PIERPAOLO LOTTICI Supervisore: Dott. LUCA GRIGUOLO Dottorando: STEFANO MORI Anno Accademico 2012/2013 ויאמר אלהיM יהי אור ויהי אור בראשׂיה 1:3 Io stimo pi`uil trovar un vero, bench´edi cosa leggiera, che 'l disputar lungamente delle massime questioni senza conseguir verit`anissuna. (Galileo Galilei, Scritti letterari) Contents 1 The correspondence and its observables 1 1.1 AdS5=CFT4 correspondence . .1 1.1.1 N = 4 SYM . .1 1.1.2 AdS space . .2 1.2 Brane construction . .4 1.3 Symmetries matching . .6 1.4 AdS/CFT dictionary . .7 1.5 Integrability . .9 1.6 Wilson loops and Minimal surfaces . 10 1.7 Mixed correlation functions and local operator insertion . 13 1.8 Main results from the correspondence . 14 2 Wilson Loops and Supersymmetry 17 2.1 BPS configurations . 17 2.2 Zarembo supersymmetric loops . 18 2.3 DGRT loops . 20 2.3.1 Hopf fibers . 23 2.4 Matrix model . 25 2.5 Calibrated surfaces . 27 3 Strong coupling results 31 3.1 Basic examples . 31 3.1.1 Straight line . 31 3.1.2 Cirle . 32 3.1.3 Antiparallel lines . 33 3.1.4 1/4 BPS circular loop . 33 3.2 Systematic regularization . 35 3.3 Ansatz and excited charges . 36 3.4 Hints of 1-loop computation . 37 v 4 Hopf fibers correlators 41 4.1 Strong coupling solution . 41 4.1.1 S5 motion .
    [Show full text]
  • Visualization of Quaternions with Clifford Parallelism
    Proceedings of the 20th Asian Technology Conference in Mathematics (Leshan, China, 2015) Visualization of quaternions with Clifford parallelism Yoichi Maeda [email protected] Department of Mathematics Tokai University Japan Abstract: In this paper, we try to visualize multiplication of unit quaternions with dynamic geometry software Cabri 3D. The three dimensional sphere is identified with the set of unit quaternions. Multiplication of unit quaternions is deeply related with Clifford parallelism, a special isometry in . 1. Introduction The quaternions are a number system that extends the complex numbers. They were first described by William R. Hamilton in 1843 ([1] p.186, [3]). The identities 1, where , and are basis elements of , determine all the possible products of , and : ,,,,,. For example, if 1 and 23, then, 12 3 2 3 2 3. We are very used to the complex numbers and we have a simple geometric image of the multiplication of complex numbers with the complex plane. How about the multiplication of quaternions? This is the motivation of this research. Fortunately, a unit quaternion with norm one (‖‖ 1) is regarded as a point in . In addition, we have the stereographic projection from to . Therefore, we can visualize three quaternions ,, and as three points in . What is the geometric relation among them? Clifford parallelism plays an important role for the understanding of the multiplication of quaternions. In section 2, we review the stereographic projection. With this projection, we try to construct Clifford parallel in Section 3. Finally, we deal with the multiplication of unit quaternions in Section 4. 2. Stereographic projection of the three-sphere The stereographic projection of the two dimensional sphere ([1, page 260], [2, page 74]) is a very important map in mathematics.
    [Show full text]
  • A Disorienting Look at Euler's Theorem on the Axis of a Rotation
    A Disorienting Look at Euler’s Theorem on the Axis of a Rotation Bob Palais, Richard Palais, and Stephen Rodi 1. INTRODUCTION. A rotation in two dimensions (or other even dimensions) does not in general leave any direction fixed, and even in three dimensions it is not imme- diately obvious that the composition of rotations about distinct axes is equivalent to a rotation about a single axis. However, in 1775–1776, Leonhard Euler [8] published a remarkable result stating that in three dimensions every rotation of a sphere about its center has an axis, and providing a geometric construction for finding it. In modern terms, we formulate Euler’s result in terms of rotation matrices as fol- lows. Euler’s Theorem on the Axis of a Three-Dimensional Rotation. If R is a 3 × 3 orthogonal matrix (RTR = RRT = I) and R is proper (det R =+1), then there is a nonzero vector v satisfying Rv = v. This important fact has a myriad of applications in pure and applied mathematics, and as a result there are many known proofs. It is so well known that the general concept of a rotation is often confused with rotation about an axis. In the next section, we offer a slightly different formulation, assuming only or- thogonality, but not necessarily orientation preservation. We give an elementary and constructive proof that appears to be new that there is either a fixed vector or else a “reversed” vector, i.e., one satisfying Rv =−v. In the spirit of the recent tercentenary of Euler’s birth, following our proof it seems appropriate to survey other proofs of this famous theorem.
    [Show full text]
  • Borsuk-Ulam Theorem and Maximal Antipodal Sets of Compact Symmetric Spaces
    INTERNATIONAL ELECTRONIC JOURNAL OF GEOMETRY VOLUME 10 NO. 2 PAGE 11–19 (2017) Borsuk-Ulam Theorem and Maximal Antipodal Sets of Compact Symmetric Spaces Bang-Yen Chen* (Communicated by Kazım Ilarslan)˙ ABSTRACT The Borsuk-Ulam theorem is a well-known theorem in algebraic topology which states that if φ : Sn ! Rk is a continuous map from the unit n-sphere into the Euclidean k-space with k ≤ n, then there is a pair of antipodal points on Sn that are mapped by φ to the same point in Rk. In this paper we study continuous real-valued functions of compact symmetric spaces. The main result states that if f : M ! R is a continuous isotropic function of a compact symmetric space M into the real line R. Then f carries some maximal antipodal set of M to the same point in R, whenever M is one of the following spaces: Spheres; the projective spaces FP n(F = R; C; H); the ∗ Cayley plane F II; the exceptional spaces EIV ; EIV ; GI; and the exceptional Lie group G2. Some additional related results are also given. Keywords: Borsuk-Ulam theorem; maximal antipodal set; continuous function; 2-number; compact symmetric space. AMS Subject Classification (2010): Primary: 55M20; Secondary: 53C35. 1. Introduction Many interesting theorems have been proved in topology about continuous maps defined on an n-sphere (see for instance [21]). The theorem with which we concern in this paper is the following well-known result in algebraic topology. Borsuk-Ulam Theorem (BUT). Let φ : Sn ! Rk be a continuous map of an n-sphere into the Euclidean k-space.
    [Show full text]
  • Set Theory and Elementary Algebraic Topology
    SET THEORY AND ELEMENTARY ALGEBRAIC TOPOLOGY BY DR. ATASI DEB RAY DEPARTMENT OF MATHEMATICS WEST BENGAL STATE UNIVERSITY BERUNANPUKURIA, MALIKAPUR 24 PARAGANAS (NORTH) KOLKATA - 700126 WEST BENGAL, INDIA E-mail : [email protected] Chapter 6 Fundamental Group and its basic properties Module 6 Applications 1 2 6.6 Applications 1 ∼ The result Π1(S ) = Z is helpful for proving certain well known theorems in two dimension. We discuss Brouwer's fixed point theorem and Borsuk Ulam theorem (for dimension 2) to show how fundamental groups can be utilized to get an elegant proof for such nontrivial results. In what follows, D2 = fz 2 C : jzj ≤ 1g. It is easy to see that S1 = fz 2 C : jzj = 1g is the boundary of D2. Definition 6.6.1. A function f : X ! X is said to have a fixed point x 2 X, if f(x) = x. Theorem 6.6.1. (Brouwer's fixed point theorem) Every continuous function f : D2 ! D2 has a fixed point. Proof. Suppose, f : D2 ! D2 is a continuous function such that f(z) 6= z, for all z 2 D2. Consider the ray (1 − t)f(z) + tz (t ≥ 0) that starts from f(z) and passes through z. This ray will meet the boundary S1 at some point, say g(z). Then we get a continuous function g : D2 ! S1 given by z 7! g(z) such that g(z) = z, for all z 2 S1. Consider the following diagram, where i denotes the inclusion map. g S1 !i D2 ! S1 This sequence of continuous functions induces another sequence of homomorphisms between the respective fundamental groups : ∼ 1 i# 2 ∼ g# 1 ∼ Z = Π1(S ) ! Π1(D ) = 0 ! Π1(S ) = Z 1 1 By functorial properties of fundamental groups, g# ◦i# = (g◦i)# = (IS )# = IΠ1(S ), showing that identity map on Z is factoring through the trivial group 0, which is impossible.
    [Show full text]
  • Invariants of Curves in RP2 and R2
    Algebraic & Geometric Topology 6 (2006) 2175–2187 2175 Invariants of curves in RP 2 and R2 ABIGAIL THOMPSON There is an elegant relation[3] among the double tangent lines, crossings, inflections points, and cusps of a singular curve in the plane. We give a new generalization to singular curves in RP 2 . We note that the quantities in the formula are naturally dual to each other in RP 2 , and we give a new dual formula. 53A04; 14H50 1 Introduction Let K be a smooth immersed curve in the plane. Fabricius-Bjerre[2] found the following relation among the double tangent lines, crossings, and inflections points for a generic K: T1 T2 C .1=2/I D C where T1 and T2 are the number of exterior and interior double tangent lines of K, C is the number of crossings, and I is the number of inflection points. Here “generic” means roughly that the interesting attributes of the curve are invariant under small smooth perturbations. Fabricius-Bjerre remarks on an example due to Juel which shows that the theorem cannot be straightforwardly generalized to the projective plane. A series of papers followed. Halpern[5] re-proved the theorem and obtained some additional formulas using analytic techniques. Banchoff[1] proved an analogue of the theorem for piecewise linear planar curves, using deformation methods. Fabricius- Bjerre gave a variant of the theorem for curves with cusps[3]. Weiner[7] generalized the formula to closed curves lying on a 2–sphere. Finally Pignoni[6] generalized the formula to curves in real projective space, but his formula depends, both in the statement and in the proof, on the selection of a base point for the curve.
    [Show full text]
  • Continuous Maps on Digital Simple Closed Curves
    Applied Mathematics, 2010, 1, 377-386 doi:10.4236/am.2010.15050 Published Online November 2010 (http://www.SciRP.org/journal/am) Continuous Maps on Digital Simple Closed Curves Laurence Boxer1,2 1Department of Computer and Information Sciences, Niagara University, New York, USA 2Department of Computer Science and Engineering, State University of New York at Buffalo, Buffalo, USA E-mail: [email protected] Received August 2, 2010; revised September 14, 2010; accepted September 16, 2010 Abstract We give digital analogues of classical theorems of topology for continuous functions defined on spheres, for digital simple closed curves. In particular, we show the following: 1) A digital simple closed curve S of more than 4 points is not contractible, i.e., its identity map is not nullhomotopic in S ; 2) Let X and Y be digital simple closed curves, each symmetric with respect to the origin, such that | Y |> 5 (where | Y | is the number of points in Y ). Let f : X Y be a digitally continuous antipodal map. Then f is not nullho- motopic in Y ; 3) Let S be a digital simple closed curve that is symmetric with respect to the origin. Let f : S Z be a digitally continuous map. Then there is a pair of antipodes {x,x} S such that | f (x) f (x) | 1. Keywords: Digital Image, Digital Topology, Homotopy, Antipodal Point 1. Introduction Euclidean space; from this viewpoint, it is of interest to study conditions under which this digitization process A digital image is a set X of lattice points that model a preserves topological (or other geometric) properties” “continuous object” Y , where Y is a subset of a Eucli- [3].
    [Show full text]
  • Balanced Islands in Two Colored Point Sets in the Plane∗
    Balanced Islands in Two Colored Point Sets in the Plane∗ Oswin Aichholzery Nieves Atienzaz Jos´eM. D´ıaz-B´a~nezx Ruy Fabila-Monroy{ David Flores-Pe~nalozak Pablo P´erez-Lantero∗∗ Birgit Vogtenhubery Jorge Urrutiayy March 28, 2021 Abstract Let S be a set of n points in general position in the plane, r of which are red and b of which are blue. In this paper we prove that there exist: 1 for every α 2 0; 2 , a convex set containing exactly dαre red points r+1 and exactly dαbe blue points of S; a convex set containing exactly 2 b+1 red points and exactly 2 blue points of S. Furthermore, we present polynomial time algorithms to find these convex sets. In the first case we provide an O(n4) time algorithm and an O(n2 log n) time algorithm in the second case. Finally, if dαre + dαbe is small, that is, not much larger 1 than 3 n, we improve the running time to O(n log n). ∗Oswin Aichholzer and Birgit Vogtenhuber were supported by the ESF EUROCORES programme EuroGIGA{ComPoSe, Austrian Science Fund (FWF): I 648-N18. Pablo Perez- Lantero was partially supported by projects CONICYT FONDECYT/Iniciaci´on11110069 arXiv:1510.01819v3 [cs.CG] 7 Jun 2018 (Chile), and Millennium Nucleus Information and Coordination in Networks ICM/FIC RC130003 (Chile). yInstitute of Software Technology, Graz University of Technology, Graz, Aus- tria.[oaich|bvogt]@ist.tugraz.at zDepartamento de Matem´aticaAplicada, Universidad de Sevilla, Spain. [email protected] xDepartamento de Matem´aticaAplicada II, Universidad de Sevilla, Spain.
    [Show full text]
  • Turning a Surface Inside Out
    TURNING A SURFACE INSIDE OUT N orn1ally a sphere can be turned inside out only if it has been torn. In differential topology one assumes that the surface can be pushed through itself, but then the problem is to avoid forming a "crease" by Anthony PhiJlips he great mathematician David knurl-the remaining portion of the out­ face is then stretched, pinched and THilbert once said that a mathe­ side-vanishes. In the process, unfortu­ twisted through several intermediate matical theory should not be con­ nately, the knurl forms a tight loop that stages too complicated to depict in their sidered perfect until it could be ex­ must be pulled through itself [see up­ entirety. We can follow the changes plained clearly to the first man one met per illustration on opposite page]. This between successive stages by watching in the street. Hilbert's successors have results in a "crease" that is displeasing what happens to ribbon-like cross sec­ generally despaired of living up to this to differential topologists, whose dis­ tions of the surface as it is turned inside standard. As mathematics becomes more cipline is limited to smooth surfaces. out. It is possible to understand the specialized it is difficult for a mathe­ The problem for the differential top­ entire deformation by interpolating the matician to describe, even to his col­ ologist is how to turn the sphere inside missing parts of the surface at each leagues, the nature of the problems he out without introducing a crease in get­ stage and checking that the changes in studies.
    [Show full text]
  • Borsuk-Ulam Theorem and Applications
    BORSUK-ULAM THEOREM AND APPLICATIONS OLGA RADKO MATH CIRCLE ADVANCED 3 JANUARY 17, 2021 Crawl before you walk Functions are fun, but they can be wild. Today we will explore how seemingly innocent constraints on our functions can lead to incredible consequences. A function f : X ! Y between sets X and Y is a map that associates to every element of X exactly one element of Y. Nothing more can be said about functions in general. For this reason, we often consider functions between sets with additional structure. The two families of sets we will care about are Sn and n R . n Definition 1. Let R = f(a1; :::; an): ai 2 Rg be the set of vectors with entries in the real numbers. For example: 1 (1) R = R is the real number line. 2 (2) R can be thought of as the plane. 3 (3) R can be thought of as the 3-dimensional space. n n+1 2 2 n+1 Definition 2. Let S = f(a1; :::; an+1) 2 R : a1 + ::: + an+1 = 1g be the set of points in R of distance 1 away from the origin. Note: The n in Sn refers to the dimension of the sphere, not the dimension of the space that the sphere sits in (which is one greater). Por ejemplo: (1) S1 is the circle sitting in the plane. (2) S2 is our typical sphere in 3-dimensional space. Problem 1. What is S0? The last condition to discuss is what it means for a function to be continuous.
    [Show full text]
  • Hopf Fibration: Geodesics and Distances
    Journal of Geometry and Physics 61 (2011) 986–1000 Contents lists available at ScienceDirect Journal of Geometry and Physics journal homepage: www.elsevier.com/locate/jgp Hopf fibration: Geodesics and distances Der-Chen Chang a, Irina Markina b, Alexander Vasil'ev b,∗ a Department of Mathematics, Georgetown University, Washington, DC 20057, USA b Department of Mathematics, University of Bergen, P.O. Box 7803, Bergen N-5020, Norway article info a b s t r a c t Article history: Here we study geodesics connecting two given points on odd-dimensional spheres Received 24 September 2010 respecting the Hopf fibration. This geodesic boundary value problem is completely solved Received in revised form 24 January 2011 in the case of three-dimensional sphere and some partial results are obtained in the general Accepted 25 January 2011 case. The Carnot–Carathéodory distance is calculated. We also present some motivations Available online 2 February 2011 related to quantum mechanics. ' 2011 Elsevier B.V. All rights reserved. MSC: primary 53C17 Keywords: Sub-Riemannian geometry Hopf fibration Geodesic Carnot–Carathéodory distance Quantum state Bloch sphere 1. Introduction Sub-Riemannian geometry is proved to play an important role in many applications, e.g., in mathematical physics, geometric mechanics, robotics, tomography, neurosystems, and control theory. Sub-Riemannian geometry enjoys major differences from the Riemannian being a generalization of the latter at the same time, e.g., the notion of geodesic and length minimizer do not coincide even locally, the Hausdorff dimension is larger than the manifold topological dimension, the exponential map is never a local diffeomorphism. There exists a large amount of literature developing sub-Riemannian geometry.
    [Show full text]