DOCSLIB.ORG

Locally Volume Collapsed 4-Manifolds with Respect to a Lower Sectional Curvature Bound

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Locally Volume Collapsed 4-Manifolds with Respect to a Lower Sectional Curvature Bound Locally Volume Collapsed 4-Manifolds with Respect to a Lower Sectional Curvature Bound by Thunwa Theerakarn A dissertation submitted in partial satisfaction of the requirements for the degree of Doctor of Philosophy in Mathematics in the Graduate Division of the University of California, Berkeley Committee in charge: Professor John Lott, Chair Professor Ian Agol Professor Lawrence Craig Evans Professor Kam-Biu Luk Summer 2018 Locally Volume Collapsed 4-Manifolds with Respect to a Lower Sectional Curvature Bound Copyright 2018 by Thunwa Theerakarn 1 Abstract Locally Volume Collapsed 4-Manifolds with Respect to a Lower Sectional Curvature Bound by Thunwa Theerakarn Doctor of Philosophy in Mathematics University of California, Berkeley Professor John Lott, Chair Perelman stated without proof that a 3-dimensional compact Riemannian manifold which is locally volume collapsed, with respect to a lower curvature bound, is a graph manifold. The theorem was used to complete his Ricci flow proof of Thurston's geometrization conjecture. Kleiner and Lott gave a proof of the theorem as a part of their presentation of Perelman's proof. In this dissertation, we generalize Kleiner and Lott's version of Perelman's theorem to 4- dimensional closed Riemannian manifolds. We show that under some regularity assumptions, if a 4-dimensional closed Riemannian manifold is locally volume collapsed then it admits an F -structure or a metric of nonnegative sectional curvature. i Contents Contents i List of Figures iv List of Tables v 1 Introduction 1 1.1 Statement of result . 2 1.2 Outline of the proof . 4 1.3 Notation and conventions . 11 2 Preliminaries 14 2.1 Pointed Gromov-Hausdorff approximations . 14 2.2 CK -convergence . 15 2.3 Alexandrov Spaces . 15 2.4 Topology of Riemannian 4-manifolds with nonnegative sectional curvature . 16 2.5 S1 and T 2-actions . 18 2.6 Plumbing . 21 2.7 F -structures . 22 2.8 Cloudy submanifolds . 24 2.9 Approximate splittings and adapted coordinates . 25 3 Standing Assumptions 30 4 The modified volume scale r 32 5 Stratifications 37 6 The local geometry of the 3-stratum 38 6.1 Adapted coordinates, cutoff functions, and local topology near 3-stratum points 38 6.2 Selection of 3-stratum balls . 39 7 The local geometry of the 2-stratum 40 7.1 Edge 2-stratum points and associated structures . 40 7.2 Regularization of the distance function dE0 ................... 41 7.3 Adapted coordinates tangent to the edge . 42 ii 7.4 The topology of the edge region . 43 7.5 Selection of the edge balls . 43 7.6 Additional cutoff functions . 44 7.7 Adapted coordinates, cutoff functions, and local topology near slim 2-stratum points . 44 7.8 Selection of slim 2-stratum balls . 44 8 The local geometry of the 1-stratum 45 8.1 The good annulus lemma for 1-stratum points . 45 8.2 Adapted coordinates, cutoff functions, and local topology near 1-stratum points 47 8.3 Selection of ridge 1-stratum balls . 51 8.4 Selection of slim 1-stratum balls . 52 9 The local geometry of the 0-stratum 53 9.1 The good annulus lemma . 53 9.2 The radial function near 0-stratum point . 54 9.3 Selecting the 0-stratum balls . 54 10 Mapping into Euclidean Space 56 10.1 Definition of the map E 0 : M ! H ....................... 56 10.2 The image of E 0 .................................. 58 10.3 Structure of E 0 near the 3-stratum . 58 10.4 Structure of E 0 near the edge 2-stratum . 64 10.5 Structure of E 0 near the slim 2-stratum . 65 10.6 Structure of E 0 near the ridge 1-stratum . 66 10.7 Structure of E 0 near the slim 1-stratum . 72 10.8 Structure of E 0 near the 0-stratum . 73 11 Adjusting the map to Euclidean space 74 11.1 Overview of the proof of Proposition 11.1 . 75 11.2 Adjusting the map near the 3-stratum . 75 11.3 Adjusting the map near the edge 2-stratum . 76 11.4 Adjusting the map near the slim 2-stratum . 78 11.5 Adjusting the map near the ridge 1-stratum . 79 11.6 Adjusting the map near the slim 1-stratum . 82 11.7 Proof of Proposition 11.1 . 84 12 Extracting a good decomposition of M 86 12.1 The definition of M 0-stratum ............................ 87 12.2 The definition of M 1-slim ............................. 88 12.3 The definition of M 1-ridge ............................. 89 12.4 The definition of M 2-slim ............................. 91 iii 12.5 The definition of M 2-edge ............................. 92 12.6 The definition of M 3-stratum ............................ 93 12.7 Proof of Proposition 12.1 . 93 13 Decomposing M into fiber bundle components 94 13.1 Fiber bundle components without boundary . 94 13.2 Fiber bundle components with boundary . 95 13.3 Compatibility of fibers . 96 13.4 Notation . 97 13.5 Fiber bundle components with fibers S2 or T 2 . 98 3 2 1 2 2 13.6 Fiber bundle components with fibers D ;S ×Z2 I;S × D , or T ×Z2 I . 101 13.7 Fiber bundle components with fibers D2 or S1 . 104 4 13.8 Fiber bundle components (D ;::: ! Mi ! pt) . 106 3 13.9 Fiber bundle components (S =Γ;::: −! Mi −! (I; @I)) . 135 14 Gluing fiber bundle components into building blocks 136 4 3 14.1 Gluing (D ;::: ! Mj ! pt) with (S =Γ;::: ! Mi ! (I; @I)) . 136 14.2 Overview of the gluing strategy . 137 14.3 Elementary building block of type (2;S2) . 139 14.4 Elementary building block of type (2;T 2) . 144 14.5 Elementary building block of type (2;D2) . 156 14.6 Elementary building block of type (1;S1 × D2) . 166 14.7 Combining elementary building blocks of type (2;D2) and (1;S1 × D2) . 176 14.8 Combining elementary building blocks of type (2;S2) and (2;D2) . 180 F 1 3 3 14.9 Connected components of M − `(S ! M` ! (X ; @X )) that contains 2 2 2 (T ! Mi ! (Σ ;@Σ )) . 185 15 Proof of Theorem 1.4 196 15.1 M contains a fiber bundle component without boundary . 196 15.2 M does not contain a component with 2 or 3-dimensional base . 196 2 2 2 15.3 Boundary components of (S ! Mi ! (Σ ;@Σ )) . 197 2 2 2 15.4 Boundary components of (T ! Mi ! (Σ ;@Σ )) . 199 1 3 3 15.5 Boundary components of (S ! Mi ! (X ; @X )) . 202 4 3 15.6 Replacing (D ;::: ! M0 ! pt) with a boundary component of (S =Γ;::: ! Mi ! (I; @I)) . 203 15.7 The gluing instruction . 206 15.8 Satisfying the constraints . 206 Bibliography 207 iv List of Figures ∗ 2 2 ∗ 2.1 Orbit space Y! of a circle action on S ×! D with 2 exceptional orbits on @(Y! ) 19 ∗ 2 2 ∗ 2.2 Orbit space Y! of a circle action on S ×! D with 1 exceptional orbit on @(Y! ) 20 ∗ 2 2 ∗ 2.3 Orbit space Y! of a circle action on S ×! D with no exceptional orbits on @(Y! ) 20 2 2 13.1 A decomposition of a fiber of (S ! Ni ! @Σ ) in Lemma 13.2 . 99 13.2 The decomposition of @M0 in Lemma 13.10 . 107 13.3 Example of B1 ⊂ @M0 in Lemma 13.30 . 114 13.4 Example of a decomposition of @M0 in Lemma 13.41. @M0 = B1 [@ A [@ C. 118 13.5 The decomposition of @M0 in Lemma 13.50 case 1 when @M0 = A1 [@ B1 . 123 13.6 The decomposition of @M0 in Lemma 13.50 case 1 when @M0 = (A1 t A2) [@ B1 124 13.7 The decomposition of @M0 in Lemma 13.50 case 2 . 124 13.8 The decomposition of @M0 in Lemma 13.50 case 3 . 125 13.9 Example of a decomposition of @M0 in Lemma 13.64. 131 13.10 Example of a decomposition of @M0 in Lemma 13.67. 134 14.1 A representation of an elementary of building block of type (2;S2) . 139 14.2 A representation of an elementary building block of type (2;T 2) . 144 14.3 Illustration in the proof of Lemma 14.14 (2) case (a)-(S1 × D3) . 147 14.4 Illustration in the proof of Lemma 14.14 (2) case (a)-(S2 × D2) . 148 14.5 Illustration in the proof of Lemma 14.14 (2) case (a)-(S2 ×D2) in terms of plumbing149 14.6 Illustration in the proof of Lemma 14.14 (2) case (a)-(D4) in terms of plumbing 151 2 1 14.7 Illustration in the proof of Lemma 14.14 (2) case (a)-((S ×eS )×eI) in terms of double cover . 152 14.8 A representation of an elementary building block of type (2;D2) . 157 14.9 Example of the configuration of an elementary building block of type (2;D2) . 161 14.10 An edge in the representation of an elementary building block of type (2;D2) . 162 14.11 A representation of an elementary building block of type (2;D2) . 166 14.12 A representation of an elementary building block of type (1;S1 × D2) . 167 14.13 A representation of a building block of type (2;D2) + (1;S1 × D2) . 176 14.14 A representation of a building block of type (2;D2) + (1;S1 × D2) . 179 14.15 A representation of a building block of type (2;S2) + (2;D2) . 181 14.16 Example of an elementary building block of type (2;S2) + (2;D2) . 184 14.17 Example of a representation of a building block of type (2;S2)+(2;D2)+(1;S1×D2)185 14.18 A representation of a building block of type (2;S2) + (2;D2) + (1;S1 × D2) .
Load more

Recommended publications
  • Describing the Universal Cover of a Compact Limit ∗
    Describing the Universal Cover of a Compact Limit ∗ John Ennis Guofang Wei Abstract If X is the Gromov-Hausdorff limit of a sequence of Riemannian manifolds n Mi with a uniform lower bound on Ricci curvature, Sormani and Wei have shown that the universal cover X˜ of X exists [13, 14]. For the case where X is compact, we provide a description of X˜ in terms of the universal covers M˜ i of the manifolds. More specifically we show that if X¯ is the pointed Gromov- Hausdorff limit of the universal covers M˜ i then there is a subgroup H of Iso(X¯) such that X˜ = X/H.¯ 1 Introduction In 1981 Gromov proved that any finitely generated group has polynomial growth if and only if it is almost nilpotent [7]. In his proof, Gromov introduced the Gromov- Hausdorff distance between metric spaces [7, 8, 9]. This distance has proven to be especially useful in the study of n-dimensional manifolds with Ricci curvature uniformly bounded below since any sequence of such manifolds has a convergent subsequence [10]. Hence we can follow an approach familiar to analysts, and consider the closure of the class of all such manifolds. The limit spaces of this class have path metrics, and one can study these limit spaces from a geometric or topological perspective. Much is known about the limit spaces of n-dimensional Riemannian manifolds with a uniform lower bound on sectional curvature. These limit spaces are Alexandrov spaces with the same curvature bound [1], and at all points have metric tangent cones which are metric cones.
    [Show full text]
  • The Materiality & Ontology of Digital Subjectivity
    THE MATERIALITY & ONTOLOGY OF DIGITAL SUBJECTIVITY: GRIGORI “GRISHA” PERELMAN AS A CASE STUDY IN DIGITAL SUBJECTIVITY A Thesis Submitted to the Committee on Graduate Studies in Partial Fulfillment of the Requirements for the Degree of Master of Arts in the Faculty of Arts and Science TRENT UNIVERSITY Peterborough, Ontario, Canada Copyright Gary Larsen 2015 Theory, Culture, and Politics M.A. Graduate Program September 2015 Abstract THE MATERIALITY & ONTOLOGY OF DIGITAL SUBJECTIVITY: GRIGORI “GRISHA” PERELMAN AS A CASE STUDY IN DIGITAL SUBJECTIVITY Gary Larsen New conditions of materiality are emerging from fundamental changes in our ontological order. Digital subjectivity represents an emergent mode of subjectivity that is the effect of a more profound ontological drift that has taken place, and this bears significant repercussions for the practice and understanding of the political. This thesis pivots around mathematician Grigori ‘Grisha’ Perelman, most famous for his refusal to accept numerous prestigious prizes resulting from his proof of the Poincaré conjecture. The thesis shows the Perelman affair to be a fascinating instance of the rise of digital subjectivity as it strives to actualize a new hegemonic order. By tracing first the production of aesthetic works that represent Grigori Perelman in legacy media, the thesis demonstrates that there is a cultural imperative to represent Perelman as an abject figure. Additionally, his peculiar abjection is seen to arise from a challenge to the order of materiality defended by those with a vested interest in maintaining the stability of a hegemony identified with the normative regulatory power of the heteronormative matrix sustaining social relations in late capitalism.
    [Show full text]
  • On the Sormani-Wenger Intrinsic Flat Convergence of Alexandrov Spaces 3
    ON THE SORMANI-WENGER INTRINSIC FLAT CONVERGENCE OF ALEXANDROV SPACES NAN LI AND RAQUEL PERALES Abstract. We study sequences of integral current spaces (X j, d j, T j) such that the integral current structure T j has weight 1 and no boundary and, all (X j, d j) are closed Alexandrov spaces with curvature uniformly bounded from below and diameter uniformly bounded from above. We prove that for such sequences either their limits collapse or the Gromov- Hausdorff and Sormani-Wenger Intrinsic Flat limits agree. The latter is done showing that the lower n dimensional density of the mass measure at any regular point of the Gromov- Hausdorff limit space is positive by passing to a filling volume estimate. In an appendix we show that the filling volume of the standard n dimensional integral current space coming from an n dimensional sphere of radius r > 0 in Euclidean space equals rn times the filling volume of the n dimensional integral current space coming from the n dimensional sphere of radius 1. Introduction Burago, Gromov and Perelman proved that sequences of Alexandrov spaces with cur- vature uniformly bounded from below, diameter and dimension uniformly bounded from above, have subsequences which converge in the Gromov-Hausdorff sense to an Alexan- drov space with the same curvature and diameter bounds. The properties of Alexandrov spaces and their Gromov-Hausdorff limit spaces have been amply studied by Alexander- Bishop [1], Alexander-Kapovitch-Petrunin [2], Burago-Gromov-Perelman [5], Burago- Burago-Ivanov [4], Li-Rong [15], Otsu-Shioya [20], and many others. The Gromov Hausdorff distance between two metric spaces, Xi, is defined as, Z (0.1) dGH (X , X ) = inf d (ϕ (X ) , ϕ (X )) , 1 2 { H 1 1 2 2 } Z ff where dH denotes the Hausdor distance and the infimum is taken over all complete metric spaces Z and all distance preserving maps ϕi : Xi Z, [7].
    [Show full text]
  • Large Scale Geometry by Nowak and Yu
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 52, Number 1, January 2015, Pages 141–149 S 0273-0979(2014)01460-0 Article electronically published on August 20, 2014 Large scale geometry, by P. Nowak and G. Yu, EMS Textbooks in Mathematics, European Mathematical Society, Zu¨rich, 2012, xiv+189 pp., ISBN 978-3-03719- 112-5, AC38.00, $41.80 Everyone knows that many phenomena are best studied at one scale or another, and that deep problems often involve the interactions of several scales. From the broad conception of our understanding of physics, based on the atomic hypothesis to the germ theory of disease to the success of calculus with its move to the infin- itesimal, the value of the study of phenomena at small scales and the techniques of integrating such information to the macroscopic level are now the most basic intuition in the scientific world view—with attendant backlashes against “blind reductionism”. In the subject of global geometry, the important general direction of “under- standing manifolds under some condition of curvature” is of this sort. Curvature is the infinitesimal measure of how the space di®ers from Euclidean space, and one tries to obtain global conclusions from uniform assumptions on this type of local hypothesis. There is also another extreme: going from the cosmic, the large scale, back to the local. In retrospect, at least, one can see this trend in, say, Liouville’s theorem that bounded analytic functions are constant: boundedness is a large scale condition; surely, if one looks from a very large scale, a bounded function should not be viewed as di®erent than a constant, and Liouville’s theorem tells us that under a condition of analyticity, the large scale information tells all.
    [Show full text]
  • An Intrinsic Parallel Transport in Wasserstein Space
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 145, Number 12, December 2017, Pages 5329–5340 http://dx.doi.org/10.1090/proc/13655 Article electronically published on July 10, 2017 AN INTRINSIC PARALLEL TRANSPORT IN WASSERSTEIN SPACE JOHN LOTT (Communicated by Guofang Wei) Abstract. If M is a smooth compact connected Riemannian manifold, let P (M) denote the Wasserstein space of probability measures on M. We describe a geometric construction of parallel transport of some tangent cones along geodesics in P (M). We show that when everything is smooth, the geometric parallel transport agrees with earlier formal calculations. 1. Introduction Let M be a smooth compact connected Riemannian manifold without boundary. The space P (M) of probability measures of M carries a natural metric, the Wasser- stein metric, and acquires the structure of a length space. There is a close relation between minimizing geodesics in P (M) and optimal transport between measures. For more information on this relation, we refer to Villani’s book [13]. Otto discovered a formal Riemannian structure on P (M), underlying the Wasser- stein metric [10]. One can do formal geometric calculations for this Riemannian structure [6]. It is an interesting problem to make these formal considerations into rigorous results in metric geometry. If M has nonnegative sectional curvature, then P (M) is a compact length space with nonnegative curvature in the sense of Alexandrov [8, Theorem A.8], [12, Propo- sition 2.10]. Hence one can define the tangent cone TμP (M)ofP (M)atameasure μ ∈ P (M). If μ is absolutely continuous with respect to the volume form dvolM , then TμP (M) is a Hilbert space [8, Proposition A.33].
    [Show full text]
  • ON GLUING ALEXANDROV SPACES with LOWER RICCI CURVATURE BOUNDS 3 and the Boundary (Defined Either Way) Is a Closed Subset in the Ambient Space
    ON GLUING ALEXANDROV SPACES WITH LOWER RICCI CURVATURE BOUNDS VITALI KAPOVITCH, CHRISTIAN KETTERER, AND KARL-THEODOR STURM Abstract. In this paper we prove that in the class of metric measure space with Alexandrov curvature bounded from below the Riemannian curvature- dimension condition RCD(K,N) with K ∈ R & N ∈ [1, ∞) is preserved under doubling and gluing constructions. Contents 1. Introduction and Statement of Main Results 1 1.1. Application to heat flow with Dirichlet boundary condition 4 2. Preliminaries 5 2.1. Curvature-dimension condition 5 2.2. Alexandrov spaces 7 2.3. Gluing 8 2.4. Semi-concave functions 10 2.5. 1D localisation of generalized Ricci curvature bounds. 11 2.6. Characterization of curvature bounds via 1D localisation 13 3. Applying 1D localisation 14 3.1. First application 14 3.2. Second application 15 4. Semiconcave functions on glued spaces 18 5. Proof of Theorem 1.1 21 References 23 1. Introduction and Statement of Main Results arXiv:2003.06242v1 [math.DG] 13 Mar 2020 A way to construct Alexandrov spaces is by gluing together two or more given Alexandrov spaces along isometric connected components of their intrinsic bound- aries. The isometry between the boundaries is understood w.r.t. induced length metric. A special case of this construction is the double space where one glues together two copies of the same Alexandrov space with nonempty boundary. It was shown by Perelman that the double of an Alexandrov space of curvature k is again Alexandrov of curvature k. Petrunin later showed [Pet97] that the≥ lower ≥ CK is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – Projektnummer 396662902.
    [Show full text]
  • Mathematical Congress of the Americas
    656 Mathematical Congress of the Americas First Mathematical Congress of the Americas August 5–9, 2013 Guanajuato, México José A. de la Peña J. Alfredo López-Mimbela Miguel Nakamura Jimmy Petean Editors American Mathematical Society Mathematical Congress of the Americas First Mathematical Congress of the Americas August 5–9, 2013 Guanajuato, México José A. de la Peña J. Alfredo López-Mimbela Miguel Nakamura Jimmy Petean Editors 656 Mathematical Congress of the Americas First Mathematical Congress of the Americas August 5–9, 2013 Guanajuato, México José A. de la Peña J. Alfredo López-Mimbela Miguel Nakamura Jimmy Petean Editors American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dennis DeTurck, Managing Editor Michael Loss Kailash Misra Martin J. Strauss 2000 Mathematics Subject Classification. Primary 00-02, 00A05, 00A99, 00B20, 00B25. Library of Congress Cataloging-in-Publication Data Library of Congress Cataloging-in-Publication (CIP) Data has been requested for this volume. Contemporary Mathematics ISSN: 0271-4132 (print); ISSN: 1098-3627 (online) DOI: http://dx.doi.org/10.1090/conm/656 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service.
    [Show full text]
  • Calculus, Heat Flow and Curvature-Dimension Bounds in Metric Measure Spaces
    P. I. C. M. – 2018 Rio de Janeiro, Vol. 1 (301–340) CALCULUS, HEAT FLOW AND CURVATURE-DIMENSION BOUNDS IN METRIC MEASURE SPACES L A Abstract The theory of curvature-dimension bounds for nonsmooth spaces has several motivations: the study of functional and geometric inequalities in structures which are very far from being Euclidean, therefore with new non-Riemannian tools, the description of the “closure” of classes of Riemannian manifolds under suitable geo- metric constraints, the stability of analytic and geometric properties of spaces (e.g. to prove rigidity results). Even though these goals may occasionally be in conflict, in the last few years we have seen spectacular developments in all these directions, and my text is meant both as a survey and as an introduction to this quickly devel- oping research field. 1 Introduction I will mostly focus on metric measure spaces (m.m.s. in brief), namely triples (X; d; m), where (X; d) is a complete and separable metric space and m is a non-negative Borel measure, finite on bounded sets, typically with supp m = X. The model case that should always be kept in mind is a weighted Riemannian manifold (M; g; m), with m given by V (1-1) m := e volg for a suitable weight function V : M R. It can be viewed as a metric measure space ! by taking as d = dg the Riemannian distance induced by g. In order to achieve the goals I mentioned before, it is often necessary to extend many basic calculus tools from smooth to nonsmooth structures.
    [Show full text]
  • Grigori Perelman
    Grigori Perelman Biography Grigori Perelman was born in Leningrad, Soviet Union (now Saint Petersburg, Russia) on 13 June 1966, to Jewish parents, Yakov (who now lives in Israel) and Lubov. Grigori's mother Lubov gave up graduate work in mathematics to raise him. Grigori's mathematical talent became apparent at the age of ten, and his mother enrolled him in Sergei Rukshin's after-school math training program. His mathematical education continued at the Leningrad Secondary School №239, a specialized school with advanced mathematics and physics programs. Grigori excelled in all subjects except physical education. In 1982, as a member of the Soviet Union team competing in the International Mathematical Olympiad, an international competition for high school students, he won a gold medal, achieving a perfect score. In the late 1980s, Perelman went on to earn a Candidate of Sciences degree (the Soviet equivalent to the Ph.D.) at the School of Mathematics and Mechanics of the Leningrad State University, one of the leading universities in the former Soviet Union. His dissertation was titled "Saddle surfaces in Euclidean spaces." After graduation, Perelman began work at the renowned Leningrad Department of Steklov Institute of Mathematics of the USSR Academy of Sciences, where his advisors were Aleksandr Aleksandrov and Yuri Burago. In the late 1980s and early 1990s, Perelman held research positions at several universities in the United States. In 1991 Perelman won the Young Mathematician Prize of the St. Petersburg Mathematical Society for his work on Aleksandrov's spaces of curvature bounded from below . In 1992, he was invited to spend a semester each at the Courant Institute in New York University and State University of New York at Stony Brook where he began work on manifolds with lower bounds on Ricci curvature.
    [Show full text]
  • Optimal Transport Maps on Alexandrov Spaces Revisited 3
    OPTIMAL TRANSPORT MAPS ON ALEXANDROV SPACES REVISITED TAPIO RAJALA AND TIMO SCHULTZ Abstract. We give an alternative proof for the fact that in n-dimensional Alexandrov spaces with curvature bounded below there exists a unique optimal transport plan from any purely (n − 1)-unrectifiable starting measure, and that this plan is induced by an optimal map. 1. Introduction The problem of optimal mass transportation has a long history, starting from the work of Monge [27] in the late 18th century. In the original formulation of the problem, nowadays called the Monge-formulation, the problem is to find the transport map T minimizing the transportation cost c(x, T (x)) dµ0(x), (1.1) ZRn n n among all Borel maps T : R → R transporting a given probability measure µ0 to another given probability measure µ1, that is, T♯µ0 = µ1. In the original problem of Monge, the cost function c(x, y) was the Euclidean distance. Later, other cost functions have been considered, in particular much of the study has involved the distance squared cost, c(x, y)= |x − y|2, which is the cost studied also in this paper. In the Monge-formulation (1.1) of the optimal mass transportation problem the class of admissible maps T that send µ0 to µ1 is in most cases not closed in any suitable topology. To overcome this problem, Kantorovich [20, 19] considered a larger class of optimal transports, n n namely, measures π on R ×R such that the first marginal of π is µ0 and the second is µ1. Such measures π are called transport plans.
    [Show full text]
  • Grigory Perelman Biography
    Grigory Perelman Life & Education Soul conjecture Poincare conjecture Topology Mathematics Genealogy Park Hong-gil Early life and education Born in June 13, 1966 (Leningrad, Soviet Union) lived in Saint Petersburg, Russia Blood Russian-Jewish parents Education Leningrad Secondary School #239 Leningrad State University Doctoral advisor Aleksandr Aleksandrov Yuri Burago Prize International Mathematical Olympiad Gold Medal After his PhD in 1990 : work at the Leningrad Department of Steklov Institute of Mathematics of USSR Academy of Sciences The late 1980s and early 1990s : research positions at several universities in the United States 1991 : the Young Mathematician Prize of the St. Petersburg Mathematical Society 1992 : invited to spend a semester each at the Courant Institute in New York University and Stony Brook University 1993 : accepted a two-year Miller Research Fellowship at the University of California, Berkeley . 1994 : proved the soul conjecture The summer of 1995 : returned to the Steklov Institute in Saint Petersburg for a research-only position. 2003 : proved Thurston's geometrization conjecture. 2006 : confirmed the above August, 2006 : offered the Fields Medal but he declined the award December 22, 2006 : the scientific journal Science recognized Perelman's proof of the Poincaré conjecture March 18, 2010 : the first Clay Millennium Prize July 1, 2010 : rejected the prize of one million dollars Soul conjecture Cheeger and Gromoll's soul conjecture states: Suppose (M, g) is complete, connected and non-compact with sectional curvature K ≥ 0, and there exists a point in M where the sectional curvature (in all sectional directions) is strictly positive. Then the soul of M is a point; equivalently M is diffeomorphic to Rn.
    [Show full text]
  • An Invitation to Alexandrov Geometry: CAT(0) Spaces
    An invitation to Alexandrov geometry: CAT(0) spaces Stephanie Alexander, Vitali Kapovitch, Anton Petrunin Contents 1 Preliminaries5 1.1 Metric spaces........................5 1.2 Constructions........................6 1.3 Geodesics, triangles, and hinges..............7 1.4 Length spaces........................8 1.5 Model angles and triangles................. 11 1.6 Angles and the first variation............... 13 1.7 Space of directions and tangent space.......... 15 1.8 Hausdorff convergence................... 16 1.9 Gromov–Hausdorff convergence.............. 17 2 Gluing theorem and billiards 21 2.1 The 4-point condition................... 21 2.2 Thin triangles........................ 22 2.3 Reshetnyak’s gluing theorem............... 26 2.4 Reshetnyak puff pastry................... 28 2.5 Wide corners........................ 31 2.6 Billiards........................... 33 2.7 Comments.......................... 36 3 Globalization and asphericity 37 3.1 Locally CAT spaces.................... 37 3.2 Space of local geodesic paths............... 38 3.3 Globalization........................ 40 3.4 Polyhedral spaces...................... 44 3.5 Flag complexes....................... 46 3.6 Cubical complexes..................... 48 3.7 Exotic aspherical manifolds................ 49 3.8 Comments.......................... 52 iii iv CONTENTS 4 Subsets 55 4.1 Motivating examples.................... 55 4.2 Two-convexity........................ 56 4.3 Sets with smooth boundary................ 60 4.4 Open plane sets....................... 62 4.5 Shefel’s
    [Show full text]