DOCSLIB.ORG

Review of 3 Books on Nonpositive Curvature

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Review of 3 Books on Nonpositive Curvature BULLETIN New Series OF THE AMERICAN MATHEMATICAL SOCIETY Volume Numb er Xxxx XXXX Pages S XX BALLMANN BRIDSONHAEFLIGER EBERLEIN BRUCE KLEINER The study of nonp ositively curved spaces go es back to the discovery of hyp erb olic space the work of Hadamard around and Car tans work in the s These spaces play a signicant role in many areas Lie group theory combinatorial and geometric group theory dynamical systems harmonic maps and vanishing theorems geometric top ology Kleinian group theory and Teichmuller theory In some of these contexts for instance in dynamics and in harmonic map theory nonp ositive curvature turns out to b e the right condition to make things work smo othly while in others such as Lie theory manifold top ology and Teichmuller theory the basic ob jects of study happ en to b e nonp ositively curved spaces With so many closely related in terdep endent elds nonp ositive curvature has b een a very active topic in the last twenty years To get an idea of the scop e of the activity consider some of the highlights Harmonic maps Cor GS KS MSY manifolds and Kleinian groups MS Gab CJ Ota Ota Min Min Can McM Kap Gab GMT Structure theory and rigidity BS BBE BBS EH BB Lee High dimensional top ology FH FJ CGM Hyp erb olic groups quasiconformal geometryanalysis Gro Pan Sel RS BM Bowa Bowb BP BP HK Geometriccombinatorial group theory Gro DJ CD BM KLa KLb Dynamics Cro Ota BCG BFK One p oint of view which has b een quite inuential in recent years is that it is fruitful to work with synthetic conditions which are equiva lent to nonp ositive sectional curvature in the Riemannian case rather than sectional curvature itself Though this idea and the analog for spaces with lower curvature b ounds go es back to A D Alexandrov it was Gromov Gro who brought it to the attention of a much wider Received by the editors March c copyright holder 1 audience in the s The most p opular alternate condition is a triangle comparison inequality which says that suciently small geo desic tri angles are at least as thin as corresp onding Euclidean triangles The precise version runs as follows We say that a metric space X is a 1 Hadamard space or C AT space if X is complete Every two p oints in X are joined by a geo desic segment a path whose length equals the distance b etween its endp oints 0 0 0 2 Whenever x y z X x y z R are isometric triples d x y X 0 0 0 0 0 0 z x w lies on y z d z x d x y d y z d d X X R R R 0 a geo desic segment joining y to z and w is the corresp onding 0 0 0 0 p oint on the Euclidean segment w y d w y then y z d X R 0 0 w x d w x d X R We say that a metric space Z is an Alexandrov space with nonpositive curvature or simply a nonpositively curved space if for every z Z there is an r so that the closed ball B z r is a Hadamard space with resp ect to the induced metric Work of Cartan Car implies that a Riemannian manifold has nonp ositive sectional curvature i it denes an Alexandrov space with nonp ositive curvature A Riemann ian manifold is a Hadamard space i it is a Hadamard manifold a complete simply connected manifold with nonp ositive sectional curva ture Working with Alexandrov spaces rather than nonp ositively curved manifolds has several advantages Most of the foundational material carries over to the more general setting with only minor mo dications and the pro ofs which are no longer allowed to use ob jects that de p end on smo oth structure the LeviCivita connection Jacobi elds sometimes b ecome simpler In this more general context one still has a tangent cone asso ciated with each p oint of a Hadamard space X and a tangent cone at innity the Tits cone C X named after T Jacques Tits these tangent cones are Hadamard spaces and they play a leading role in the theory The Tits cone is almost never iso metric to a Riemannian manifold even when X itself is a Riemannian manifold Many imp ortant examples of Hadamard spaces esp ecially examples from geometric group theory are nonRiemannian For in stance simplicial trees and more generally R trees and Euclidean and hyp erb olic Tits buildings A connected nite complex built by glu ing together Euclidean triangles along their edges denes a space with 1 The letters C A and T stand for Cartan Alexandrov and Top onogov The term Hadamard space was intro duced in Bal since Hadamard spaces are gener alizations of Hadamard manifolds nonp ositive curvature i each vertex link when endowed with the an gle metric is a graph with no cycles of length this construction already gives an abundance of interesting examples and is imp ortant in the theory of small cancellation groups The b o oks under review have several common themes All three base their development on the geometry of geo desics and distance functions and for the most part they work toward results which apply to a broad class of nonp ositively curved spaces rather than fo cussing on sp ecial classes of spaces The basic ob ject of study is a Hadamard space X with an isometric group action X X one typically gets such an action by taking the deck group action for the universal covering of a nonp ositively curved space Under appropriate conditions one gets a strong relationship b etween algebraic structure in ab elian sub groups pro duct structure centralizers and geometric structure in X at convex subspaces pro duct structure convex subspaces with Eu clidean factors Results of this typ e go back to GW LY Eb e The pro ofs dep end crucially on the fact that the curvature is allowed to b e zero ie at subspaces are allowed in fact many of the most striking results in the sub ject rely on rigid b ehavior asso ciated with at subspaces Another key isssue in the b o oks is the global b ehavior of geo desics this comes into play in three closely related guises the geo desic ow GX the b oundary at innity and the Tits b oundary The geo desic ow GZ of a metric space Z is the set of unit sp eed lo cally geo desic paths in Z top ologized by uniform convergence on compact subsets and equipp ed with the R action R GZ GZ dened by pre comp osition with translation in R When Z is a complete Riemannian manifold the R action R GZ GZ is equivalent to the usual geo desic ow R SZ SZ on the unit tangent bundle SZ The geo desic ow of a complete nonp ositively curved space Z relates directly with the fundamental group each p erio dic orbit of the ow determines a nontrivial conjugacy class in the fundamental group and two p erio dic orbits determine distinct conjugacy classes unless the corresp onding 1 1 M b ound a lo cally isometric map S L M of a maps S at cylinder into M If X is a Hadamard space then one can use the asymptotic b ehavior of geo desics to dene a boundary at innity X 1 as follows One says that two unit sp eed geo desic rays X 1 and X are asymptotic if the distance d t t 2 X 1 2 is b ounded indep endent of t The relation of b eing asymptotic is an equivalence relation on the set of unit sp eed rays As a set the b ound ary at innity X is the collection of asymptote classes of unit sp eed 1 geo desic rays to dene a top ology on this set one observes that X 1 can b e identied with the set of unit sp eed rays leaving any given base p oint p X and the latter has a natural top ology the top ology of uniform convergence on compact sets nally one veries that the top ology this induces on X is indep endent of the choice of basep oint 1 p When X is an ndimensional Hadamard manifold X is homeo 1 n1 morphic to S The isometry group of X has an induced action on X by homeomorphisms When X X is the deck group action 1 for the universal covering of a compact nonp ositively curved space Z the induced action X X is one of the key to ols for ana 1 1 lyzing the geo desic ow of Z and the structure of It is also used in the pro of of rigidity theorems like Mos BCG Pan BP To dene the Tits b oundary of a Hadamard space one starts with the set X and denes the distance b etween the asymptote classes of two 1 unit sp eed rays and to b e the asymptotic angle of divergence 1 2 1 ie arcsin where lim d t t this limit always ex t!1 1 2 2 t ists for unit sp eed rays in Hadamard spaces and dep ends only on the asymptote classes of the rays This distance function which is called the Tits angle metric usually denes a dierent top ology on the set X than the one mentioned ab ove the top ology usually do es not 1 have a countable basis the metric space it denes is denoted X The T Tits b oundary X registers asymptotically Euclidean structure in X T k k 1 Euclidean subspaces F X pro duce round spheres S X and T under mild assumptions a partial converse holds A common ob jective of the b o oks by Ballmann and Eb erlein is the rank rigidity theorem This is a structure theorem for complete nite volume nonp ositively curved Riemannian manifolds M and is the cen 2 terpiece of the theory It says that if M X X X is the 0 1 k de Rham decomp osition of the universal cover of M X is the Eu 0 clidean factor then each X is either an irreducible symmetric space i of noncompact typ e of rank at least two or else it contains a geo desic which do es not b ound a at half plane a subset isometric to 2 fx y R j y g in X The theorem was rst proved in this pre i cise form in EH slightly extending the results in the earlier pap ers Bal BBE BBS BS The theorem when combined with ear lier work Bal has many implications for manifolds M as ab ove with no other known pro ofs p erio dic orbits of the geo desic ow are dense when the fundamental group is nitely generated
Load more

Recommended publications
  • Numerical Methods for Optimization and Variational Problems with Manifold-Valued Data
    Research Collection Doctoral Thesis Numerical Methods for Optimization and Variational Problems with Manifold-Valued Data Author(s): Sprecher, Markus Publication Date: 2016 Permanent Link: https://doi.org/10.3929/ethz-a-010686559 Rights / License: In Copyright - Non-Commercial Use Permitted This page was generated automatically upon download from the ETH Zurich Research Collection. For more information please consult the Terms of use. ETH Library Diss. ETH No. 23579 Numerical Methods for Optimization and Variational Problems with Manifold-Valued Data A dissertation submitted to ETH Zurich¨ for the degree of Doctor of Sciences presented by MARKUS SPRECHER MSc ETH Math, ETH Zurich¨ born August 30, 1986 citizen of Chur, GR accepted on the recommendation of Prof. Dr. Philipp Grohs, ETH Zurich,¨ examiner Prof. Dr. Oliver Sander, TU Dresden, co-examiner Prof. Dr. Johannes Wallner, TU Graz, co-examiner 2016 Acknowledgments I am thankful to everyone who has contributed to the success of this thesis in any way: Prof. Dr. Philipp Grohs for giving me the opportunity to do my PhD at ETH Zurich¨ and work on a very interesting and new topic. Thanks to the scientific freedom and trust I experienced by working with him, it has been a great time of acquiring new knowledge among different areas of mathematics. I admire his mathematical intuition and also his broad knowledge. Prof. Dr. Oliver Sander and Prof. Dr. Johannes Wallner for acting as co-examiners. Zeljko Kereta and Andreas B¨artschi for proof-reading my thesis. All the members of the Seminar for applied mathematics who make this institute not only a good place to work but also to live.
    [Show full text]
  • Lectures on Quasi-Isometric Rigidity Michael Kapovich 1 Lectures on Quasi-Isometric Rigidity 3 Introduction: What Is Geometric Group Theory? 3 Lecture 1
    Contents Lectures on quasi-isometric rigidity Michael Kapovich 1 Lectures on quasi-isometric rigidity 3 Introduction: What is Geometric Group Theory? 3 Lecture 1. Groups and Spaces 5 1. Cayley graphs and other metric spaces 5 2. Quasi-isometries 6 3. Virtual isomorphisms and QI rigidity problem 9 4. Examples and non-examples of QI rigidity 10 Lecture 2. Ultralimits and Morse Lemma 13 1. Ultralimits of sequences in topological spaces. 13 2. Ultralimits of sequences of metric spaces 14 3. Ultralimits and CAT(0) metric spaces 14 4. Asymptotic Cones 15 5. Quasi-isometries and asymptotic cones 15 6. Morse Lemma 16 Lecture 3. Boundary extension and quasi-conformal maps 19 1. Boundary extension of QI maps of hyperbolic spaces 19 2. Quasi-actions 20 3. Conical limit points of quasi-actions 21 4. Quasiconformality of the boundary extension 21 Lecture 4. Quasiconformal groups and Tukia's rigidity theorem 27 1. Quasiconformal groups 27 2. Invariant measurable conformal structure for qc groups 28 3. Proof of Tukia's theorem 29 4. QI rigidity for surface groups 31 Lecture 5. Appendix 33 1. Appendix 1: Hyperbolic space 33 2. Appendix 2: Least volume ellipsoids 35 3. Appendix 3: Different measures of quasiconformality 35 Bibliography 37 i Lectures on quasi-isometric rigidity Michael Kapovich IAS/Park City Mathematics Series Volume XX, XXXX Lectures on quasi-isometric rigidity Michael Kapovich Introduction: What is Geometric Group Theory? Historically (in the 19th century), groups appeared as automorphism groups of some structures: • Polynomials (field extensions) | Galois groups. • Vector spaces, possibly equipped with a bilinear form| Matrix groups.
    [Show full text]
  • 3-Manifold Groups
    3-Manifold Groups Matthias Aschenbrenner Stefan Friedl Henry Wilton University of California, Los Angeles, California, USA E-mail address: [email protected] Fakultat¨ fur¨ Mathematik, Universitat¨ Regensburg, Germany E-mail address: [email protected] Department of Pure Mathematics and Mathematical Statistics, Cam- bridge University, United Kingdom E-mail address: [email protected] Abstract. We summarize properties of 3-manifold groups, with a particular focus on the consequences of the recent results of Ian Agol, Jeremy Kahn, Vladimir Markovic and Dani Wise. Contents Introduction 1 Chapter 1. Decomposition Theorems 7 1.1. Topological and smooth 3-manifolds 7 1.2. The Prime Decomposition Theorem 8 1.3. The Loop Theorem and the Sphere Theorem 9 1.4. Preliminary observations about 3-manifold groups 10 1.5. Seifert fibered manifolds 11 1.6. The JSJ-Decomposition Theorem 14 1.7. The Geometrization Theorem 16 1.8. Geometric 3-manifolds 20 1.9. The Geometric Decomposition Theorem 21 1.10. The Geometrization Theorem for fibered 3-manifolds 24 1.11. 3-manifolds with (virtually) solvable fundamental group 26 Chapter 2. The Classification of 3-Manifolds by their Fundamental Groups 29 2.1. Closed 3-manifolds and fundamental groups 29 2.2. Peripheral structures and 3-manifolds with boundary 31 2.3. Submanifolds and subgroups 32 2.4. Properties of 3-manifolds and their fundamental groups 32 2.5. Centralizers 35 Chapter 3. 3-manifold groups after Geometrization 41 3.1. Definitions and conventions 42 3.2. Justifications 45 3.3. Additional results and implications 59 Chapter 4. The Work of Agol, Kahn{Markovic, and Wise 63 4.1.
    [Show full text]
  • Hyperbolic Geometry
    Flavors of Geometry MSRI Publications Volume 31,1997 Hyperbolic Geometry JAMES W. CANNON, WILLIAM J. FLOYD, RICHARD KENYON, AND WALTER R. PARRY Contents 1. Introduction 59 2. The Origins of Hyperbolic Geometry 60 3. Why Call it Hyperbolic Geometry? 63 4. Understanding the One-Dimensional Case 65 5. Generalizing to Higher Dimensions 67 6. Rudiments of Riemannian Geometry 68 7. Five Models of Hyperbolic Space 69 8. Stereographic Projection 72 9. Geodesics 77 10. Isometries and Distances in the Hyperboloid Model 80 11. The Space at Infinity 84 12. The Geometric Classification of Isometries 84 13. Curious Facts about Hyperbolic Space 86 14. The Sixth Model 95 15. Why Study Hyperbolic Geometry? 98 16. When Does a Manifold Have a Hyperbolic Structure? 103 17. How to Get Analytic Coordinates at Infinity? 106 References 108 Index 110 1. Introduction Hyperbolic geometry was created in the first half of the nineteenth century in the midst of attempts to understand Euclid’s axiomatic basis for geometry. It is one type of non-Euclidean geometry, that is, a geometry that discards one of Euclid’s axioms. Einstein and Minkowski found in non-Euclidean geometry a This work was supported in part by The Geometry Center, University of Minnesota, an STC funded by NSF, DOE, and Minnesota Technology, Inc., by the Mathematical Sciences Research Institute, and by NSF research grants. 59 60 J. W. CANNON, W. J. FLOYD, R. KENYON, AND W. R. PARRY geometric basis for the understanding of physical time and space. In the early part of the twentieth century every serious student of mathematics and physics studied non-Euclidean geometry.
    [Show full text]
  • Non-Expanding Maps and Busemann Functions
    Ergod. Th. & Dynam. Sys. (2001), 21, 1447–1457 Printed in the United Kingdom c 2001 Cambridge University Press ! Non-expanding maps and Busemann functions ANDERS KARLSSON Department of Mathematics, ETH-Zentrum, CH-8092 Zurich,¨ Switzerland (e-mail: [email protected]) (Received 11 November 1999 and accepted in revised form 20 October 2000) Abstract. We give stronger versions and alternative simple proofs of some results of Beardon, [Be1] and [Be2]. These results concern contractions of locally compact metric spaces and generalize the theorems of Wolff and Denjoy about the iteration of a holomorphic map of the unit disk. In the case of unbounded orbits, there are two types of statements which can sometimes be proven; first, about invariant horoballs, and second, about the convergence of the iterates to a point on the boundary. A few further remarks of similar type are made concerning certain random products of semicontractions and also concerning semicontractions of Gromov hyperbolic spaces. 1. Introduction Let (Y, d) be a metric space. A contraction is a map φ Y Y , such that : → d(φ(x), φ(y)) < d(x, y), for any distinct x, y Y .Asemicontraction (or non-expanding/non-expansive map) is a ∈ map φ Y Y such that : → d(φ(x), φ(y)) d(x, y) ≤ for any x, y Y . In particular, any isometry is a semicontraction. ∈ In this paper we are interested in (the iteration of) semicontractions of locally compact, complete metric spaces. Recall that the Schwarz–Pick lemma asserts that any holomorphic map f D D, : → where D is the open unit disk in the complex plane, is a semicontraction with respect to the hyperbolic metric on D.
    [Show full text]
  • Closed Geodesics on Orbifolds
    CLOSED GEODESICS ON ORBIFOLDS CLOSED GEODESICS ON COMPACT DEVELOPABLE ORBIFOLDS By George C. Dragomir, M.Sc., B.Sc. A Thesis Submitted to the School of Graduate Studies in Partial Fulfilment of the Requirements for the Degree of DOCTOR OF PHILOSOPHY c Copyright by George C. Dragomir, 2011 DEGREE: DOCTOR OF PHILOSOPHY, 2011 UNIVERSITY: McMaster University, Hamilton, Ontario DEPARTMENT: Mathematics and Statistics TITLE: Closed geodesics on compact developable orbifolds AUTHOR: George C. Dragomir, B.Sc.(`Al. I. Cuza' University, Iasi, Romania), M.Sc. (McMaster University) SUPERVISOR(S): Prof. Hans U. Boden PAGES: xiv, 153 ii MCMASTER UNIVERSITY DEPARTMENT OF MATHEMATICS AND STATISTICS The undersigned hereby certify that they have read and recommend to the Faculty of Graduate Studies for acceptance of a thesis entitled \Closed geodesics on compact developable orbifolds" by George C. Dragomir in partial fulfillment of the requirements for the degree of Doctor of Philosophy. Dated: June 2011 External Examiner: Research Supervisor: Prof. Hans U. Boden Examing Committee: Prof. Ian Hambleton Prof. Andrew J. Nicas Prof. Maung Min-Oo iii To Miruna v Abstract Existence of closed geodesics on compact manifolds was first proved by Lyusternik and Fet in [44] using Morse theory, and the corre- sponding problem for orbifolds was studied by Guruprasad and Haefliger in [33], who proved existence of a closed geodesic of positive length in numerous cases. In this thesis, we develop an alternative approach to the problem of existence of closed geodesics on compact orbifolds by study- ing the geometry of group actions. We give an independent and elementary proof that recovers and extends the results in [33] for developable orbifolds.
    [Show full text]
  • Hyperbolic Geometry
    Flavors of Geometry MSRI Publications Volume 31, 1997 Hyperbolic Geometry JAMES W. CANNON, WILLIAM J. FLOYD, RICHARD KENYON, AND WALTER R. PARRY Contents 1. Introduction 59 2. The Origins of Hyperbolic Geometry 60 3. Why Call it Hyperbolic Geometry? 63 4. Understanding the One-Dimensional Case 65 5. Generalizing to Higher Dimensions 67 6. Rudiments of Riemannian Geometry 68 7. Five Models of Hyperbolic Space 69 8. Stereographic Projection 72 9. Geodesics 77 10. Isometries and Distances in the Hyperboloid Model 80 11. The Space at Infinity 84 12. The Geometric Classification of Isometries 84 13. Curious Facts about Hyperbolic Space 86 14. The Sixth Model 95 15. Why Study Hyperbolic Geometry? 98 16. When Does a Manifold Have a Hyperbolic Structure? 103 17. How to Get Analytic Coordinates at Infinity? 106 References 108 Index 110 1. Introduction Hyperbolic geometry was created in the first half of the nineteenth century in the midst of attempts to understand Euclid’s axiomatic basis for geometry. It is one type of non-Euclidean geometry, that is, a geometry that discards one of Euclid’s axioms. Einstein and Minkowski found in non-Euclidean geometry a ThisworkwassupportedinpartbyTheGeometryCenter,UniversityofMinnesota,anSTC funded by NSF, DOE, and Minnesota Technology, Inc., by the Mathematical Sciences Research Institute, and by NSF research grants. 59 60 J. W. CANNON, W. J. FLOYD, R. KENYON, AND W. R. PARRY geometric basis for the understanding of physical time and space. In the early part of the twentieth century every serious student of mathematics and physics studied non-Euclidean geometry. This has not been true of the mathematicians and physicists of our generation.
    [Show full text]
  • The Energy of Equivariant Maps and a Fixed-Point Property for Busemann Nonpositive Curvature Spaces
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 363, Number 4, April 2011, Pages 1743–1763 S 0002-9947(2010)05238-9 Article electronically published on November 5, 2010 THE ENERGY OF EQUIVARIANT MAPS AND A FIXED-POINT PROPERTY FOR BUSEMANN NONPOSITIVE CURVATURE SPACES MAMORU TANAKA Abstract. For an isometric action of a finitely generated group on the ultra- limit of a sequence of global Busemann nonpositive curvature spaces, we state a sufficient condition for the existence of a fixed point of the action in terms of the energy of equivariant maps from the group into the space. Further- more, we show that this energy condition holds for every isometric action of a finitely generated group on any global Busemann nonpositive curvature space in a family which is stable under ultralimit, whenever each of these actions has afixedpoint. We also discuss the existence of a fixed point of affine isometric actions of a finitely generated group on a uniformly convex, uniformly smooth Banach space in terms of the energy of equivariant maps. 1. Introduction One of the purposes of this paper is to generalize results in [6] and [7] for Hadamard spaces to global Busemann nonpositive curvature spaces: For a family of global Busemann nonpositive curvature spaces which is stable under ultralimit, we investigate whether any isometric action of a finitely generated group on any space in the family has a fixed point, in terms of the energy of equivariant maps from the group into spaces in the family. Let Γ be a finitely generated group and ρ a homomorphism from Γ into the full isometry group of a global Busemann nonpositive curvature space (Definition 4.1).
    [Show full text]
  • Negative Curvature in Graphical Small Cancellation Groups
    NEGATIVE CURVATURE IN GRAPHICAL SMALL CANCELLATION GROUPS GOULNARA N. ARZHANTSEVA, CHRISTOPHER H. CASHEN, DOMINIK GRUBER, AND DAVID HUME Abstract. We use the interplay between combinatorial and coarse geometric versions 0 of negative curvature to investigate the geometry of infinitely presented graphical Gr (1=6) small cancellation groups. In particular, we characterize their `contracting geodesics', which should be thought of as the geodesics that behave hyperbolically. We show that every degree of contraction can be achieved by a geodesic in a finitely generated group. We construct the first example of a finitely generated group G containing an element g that is strongly contracting with respect to one finite generating set of G 0 and not strongly contracting with respect to another. In the case of classical C (1=6) small cancellation groups we give complete characterizations of geodesics that are Morse and that are strongly contracting. 0 We show that many graphical Gr (1=6) small cancellation groups contain strongly contracting elements and, in particular, are growth tight. We construct uncountably many quasi-isometry classes of finitely generated, torsion-free groups in which every maximal cyclic subgroup is hyperbolically embedded. These are the first examples of this kind that are not subgroups of hyperbolic groups. 0 In the course of our analysis we show that if the defining graph of a graphical Gr (1=6) small cancellation group has finite components, then the elements of the group have translation lengths that are rational and bounded away from zero. 1. Introduction Graphical small cancellation theory was introduced by Gromov as a powerful tool for constructing finitely generated groups with desired geometric and analytic properties [23].
    [Show full text]
  • Geometric Group Theory and 3-Manifolds Hand in Hand: the Fulfillment of Thurston's Vision
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 51, Number 1, January 2014, Pages 53–70 S 0273-0979(2013)01434-4 Article electronically published on September 30, 2013 GEOMETRIC GROUP THEORY AND 3-MANIFOLDS HAND IN HAND: THE FULFILLMENT OF THURSTON’S VISION MLADEN BESTVINA Dedicated to Bill Thurston (1946–2012), who taught us how to think about mathematics Abstract. In the late 1970s, Thurston revolutionized our understanding of 3-manifolds. He stated a far-reaching geometrization conjecture and proved it for a large class of manifolds, called Haken manifolds. He also posed 24 open problems, describing his vision of the structure of 3-manifolds. Pieces of Thurston’s vision have been confirmed in the subsequent years. In the meantime, Dani Wise developed a sophisticated program to study cube complexes and, in particular, to promote immersions to embeddings in a finite cover. Ian Agol completed Wise’s program and, as a result, essentially all problems on Thurston’s list are now solved. In these notes I will outline a proof that closed hyperbolic 3-manifolds are virtually Haken. 1. Introduction One way to understand surfaces is to successively cut them along incompressible circles and arcs until a collection of disks is obtained. Figure 1 shows this process for the torus. Figure 1. Cutting a torus. By incompressible we mean that circles are π1-injective (or equivalently do not bound disks), and that arcs, whose boundaries are always in the boundary of the surface, do not cobound disks with arcs in the boundary of the surface. The collec- tion of surfaces obtained by successive cuts is the hierarchy of the original surface.
    [Show full text]
  • The Weighted Connection and Sectional Curvature for Manifolds with Density
    JGeomAnal https://doi.org/10.1007/s12220-018-0025-3 The Weighted Connection and Sectional Curvature for Manifolds With Density Lee Kennard1 · William Wylie2 · Dmytro Yeroshkin3 Received: 15 September 2017 © Mathematica Josephina, Inc. 2018 Abstract In this paper we study sectional curvature bounds for Riemannian manifolds with density from the perspective of a weighted torsion-free connection introduced recently by the last two authors. We develop two new tools for studying weighted sec- tional curvature bounds: a new weighted Rauch comparison theorem and a modified notion of convexity for distance functions. As applications we prove generalizations of theorems of Preissman and Byers for negative curvature, the (homeomorphic) quarter- pinched sphere theorem, and Cheeger’s finiteness theorem. We also improve results of the first two authors for spaces of positive weighted sectional curvature and sym- metry. Keywords Comparison geometry · Sectional curvature · Manifold with density · Jacobi fields · Sphere theorem B William Wylie [email protected] https://wwylie.expressions.syr.edu Lee Kennard [email protected] https://www.math.ou.edu/∼kennard Dmytro Yeroshkin [email protected] https://www2.cose.isu.edu/∼yerodmyt 1 Department of Mathematics, University of Oklahoma, 601 Elm Ave., Norman, OK 73019, USA 2 Department of Mathematics, Syracuse University, 215 Carnegie Building, Syracuse, NY 13244, USA 3 Department of Mathematics and Statistics, Idaho State University, 921 S. 8th Ave., Stop 8085, Pocatello, ID 83209, USA 123 L. Kennard et al. Mathematics Subject Classification 53C20 1 Introduction Let the triple (Mn, g,μ)denote an n-dimensional Riemannian manifold (M, g) with μ a smooth measure on M.In[30] the last two authors introduced a natural connection ∇g,μ that can be associated to (Mn, g,μ).
    [Show full text]
  • Challenges in Hadamard Spaces 3
    OLD AND NEW CHALLENGES IN HADAMARD SPACES MIROSLAV BACˇAK´ Abstract. Hadamard spaces have traditionally played important roles in geometry and geometric group theory. More recently, they have additionally turned out to be a suitable framework for convex analysis, optimization and nonlinear probability theory. The attractiveness of these emerging subject fields stems, inter alia, from the fact that some of the new results have already found their applications both in math- ematics and outside. Most remarkably, a gradient flow theorem in Hadamard spaces was used to attack a conjecture of Donaldson in K¨ahler geometry. Other areas of applications include metric geometry and minimization of submodular functions on modular lattices. There have been also applications into computational phylogenetics and imaging. We survey recent developments in Hadamard space analysis and optimization with the intention to advertise various open problems in the area. We also point out several fallacies in the existing proofs. 1. Introduction The present paper is a follow-up to the 2014 book [16] with the aim to present new advances in the theory of Hadamard spaces and their applications. We focus primarily on analysis and optimization, because their current development stage is, in our opinion, very favorable. On the one hand, these subject fields are very young and offer many new possibilities for further research, and on the other hand, the existing theory is already mature enough to be applied elsewhere. We will highlight the most notable applications including a conjecture of Donaldson on the asymptotic behavior of the Calabi flow in K¨ahler geometry, • the existence of Lipschitz retractions in Finite Subset Space, • submodular function minimization on modular lattices, • computing averages of trees in phylogenetics, • computing averages of positive definite matrices in Diffusion Tensor Imaging.
    [Show full text]