DOCSLIB.ORG

Alexandrov Geometry, Angles Defined As in Section 5.3 Always Exist (See Theorem 7.3.1C and Corollary 8.3.2B)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Alexandrov Geometry, Angles Defined As in Section 5.3 Always Exist (See Theorem 7.3.1C and Corollary 8.3.2B) Alexandrov geometry preliminary version no. 1 S. Alexander, V. Kapovitch, A. Petrunin arXiv:1903.08539v1 [math.DG] 20 Mar 2019 ii Contents I Preliminaries 1 1 Model plane 3 1.1 Trigonometry ........................ 3 1.2 Hemispherelemma ..................... 6 2 Metric spaces 9 2.1 Metrics and their relatives . 9 2.2 Notations .......................... 11 2.3 Lengthspaces........................ 13 2.4 Convexsets ......................... 16 2.5 Quotientspaces....................... 17 2.6 Gluing and doubling . 19 2.7 Kuratowskyembedding . 20 3 Ultralimits 21 3.1 Ultrafilters ......................... 21 3.2 Ultralimits of points . 22 3.3 Ultralimits of spaces . 24 3.4 Ultratangentspace . 26 3.5 Gromov–Hausdorff convergence and ultralimits . 27 3.6 Ultralimits of sets . 29 3.7 Ultralimits of functions . 29 4 Maps and functions 31 4.1 Submaps........................... 31 4.2 Lipschitz conditions . 32 4.3 Isometriesandsumbetries . 33 4.4 Speedofcurves ....................... 35 4.5 Convexreal-to-realfunctions . 36 4.6 Convexfunctionsonametricspace. 38 1 2 CONTENTS 5 The ghost of Euclid 41 5.1 Geodesics, triangles and hinges . 41 5.2 Modelanglesandtriangles. 42 5.3 Anglesandthefirstvariation . 44 5.4 Constructions........................ 46 5.5 Spaceofdirectionsandtangentspace . 47 5.6 Velocityofcurves...................... 47 5.7 Differential ......................... 49 5.8 Remarks........................... 50 6 Dimension theory 51 6.1 Definitions.......................... 51 6.2 Lineardimension ...................... 53 II Definitions and constructions 55 7 Definitionsofcurvatureboundedbelow 57 7.1 Four-pointcomparison . 57 7.2 Geodesics .......................... 60 7.3 Morecomparisons ..................... 62 7.4 Functioncomparison . 65 7.5 Development ........................ 66 7.6 Local definitions and globalization . 70 7.7 Propertiesofgeodesicsandangles . 76 7.8 Onpositivelowerbound . 81 7.9 Remarksandopenproblems. 84 8 Definitionsofcurvatureboundedabove 85 8.1 Four-pointcomparison.. 85 8.2 Geodesics .......................... 86 8.3 Morecomparisons ..................... 88 8.4 Thintriangles........................ 91 8.5 Functioncomparison . 94 8.6 Convexsets ......................... 95 8.7 Development ........................ 98 8.8 Patchwork globalization . 99 8.9 Reshetnyak’sgluingtheorem . .101 8.10 Spaceofgeodesics . .103 8.11 Lifting globalization . 107 8.12 Reshetnyakmajorization. .110 8.13 Hadamard–Cartantheorem . .118 8.14Angles............................121 8.15 Remarksandopenproblems. .123 CONTENTS 3 9 Kirszbraun revisited 125 9.1 Shortmapextensiondefinitions. .125 9.2 (1+n)-pointcomparison . .129 9.3 Helly’stheorem.......................131 9.4 Kirszbraun’stheorem. .132 9.5 Curvaturefree .......................138 9.6 Remarksandopenproblems. .139 10 Warped products 141 10.1Definition ..........................141 10.2 Extendeddefinition. .144 10.3Examples ..........................144 10.4 1-dimensionalbase . .145 10.5 Generalcase.. .. .. .. .. .. .. .. .. .. ..147 III Structureandtools 149 11Firstorderdifferentiation 151 11.1 Intrinsic propertyoftangentspace . .151 11.2Differential .........................154 11.3 Ultratangentspace . .156 11.4Gradient...........................156 11.5Polarvectors ........................162 11.6 Linearsubspaceoftangentspace . .163 11.7Comments..........................165 12DimensionofCATspaces 167 12.1 The caseofcomplete geodesicspaces . .167 12.2 ThecaseofCATspaces . .172 12.3 DimensionofCBAspaces . .176 12.4 Finite-dimensional CAT spaces . 179 12.5 Remarksandopenproblems. .181 13DimensionofCBBspaces 183 13.1 Strutsandrank. .183 13.2 Right-inversetheorem . .184 13.3 DimensiontheoremforCBB . .187 13.4 Finite dimensional CBB spaces . 191 13.5 One-dimensionalCBBspaces . .194 4 CONTENTS 14 Gradient flow 197 14.1 Gradient-likecurves . .197 14.2 Gradientcurves. .200 14.3Gradientflow ........................207 14.4 Line splitting theorem . 208 14.5Radialcurves . .. .. .. .. .. .. .. .. .. ..210 14.6 Radialcomparisons. .212 14.7 Gradientexponent . .217 14.8Remarks...........................218 Bibliography 229 Part I Preliminaries 1 Chapter 1 Model plane 1.1 Trigonometry Given a real number κ, the model κ-plane will be a complete sim- ply connected 2-dimensional Riemannian manifold of constant curva- ture κ. The model κ-plane will be denoted by M2(κ). If κ > 0, M2(κ) is isometric to a sphere of radius 1 ; the ⋄ √κ unit sphere M2(1) will be also denoted by S2. If κ = 0, M2(κ) is the Euclidean plane, which is also de- ⋄ noted by E2 If κ < 0, M2(κ) is the Lobachevsky plane with curvature ⋄ κ. Set ̟κ = diam M2(κ), so ̟κ = if κ 6 0 and ̟κ = π/√κ if κ > 0. ∞ The distance between points x, y M2(κ) will be denoted by x y , and [xy] will denote the segment connecting∈ x and y. The segment| − | [xy] is uniquely defined for κ 6 0 and for κ > 0 it is defined uniquely if x y <̟κ = π/√κ. | − | A triangle in M2(κ), with vertices x,y,z will be denoted by [xyz]. Formally, a triangle is an ordered set of its sides, so [xyz] is just a short notation for a triple ([yz], [zx], [xy]). y The angle of [xyz] at x will be denoted by ∡[x z ]. By ˜ κ a,b,c we denote a triangle in M2(κ) with sidelengths a,b,c, so△ [{xyz] =} ˜ κ a,b,c means that x,y,z M2(κ) are such that △ { } ∈ x y = c, y z = a, z x = b. | − | | − | | − | For ˜ κ a,b,c to be defined, the sides a,b,c must satisfy the triangle △ { } 3 4 CHAPTER 1. MODEL PLANE inequality. If κ > 0, we require in addition that a + b + c < 2 ̟κ; otherwise ˜ κ a,b,c is considered to be undefined. · △ { } Trigonometric functions. We will need three “trigonometric func- tions” in M2(κ): csκ, snκ and mdκ; cs stands for cosine, sn stands for sine and md, for modified distance. They are defined as the solutions of the following initial value prob- lems respectively: x′′ + κ x =0, y′′ + κ y =0, z′′ + κ z =1, · · · x(0) = 1, y(0) = 0, z(0) = 0, x′(0) = 0. y′(0) = 1. z′(0) = 0. Namely we set csκ(t)=x(t), snκ(t)= y(t) and κ κ z(t) if 0 6 t 6 ̟ , md (t)= 2 κ ( κ if t>̟ . Here are the tables which relate our trigonometric functions to the standard ones, where we take κ > 0: κ 1 1 κ 1 sn± = sn± (x √κ); cs± = cs± (x √κ); √κ · · · 1 1 sn− x = sinh x; cs− x = cosh x; sn0x = x; cs0x = 1; sn1x = sin x; cs1x = cos x. κ 1 1 md± = md± (x √κ); κ · · 1 md− x = cosh x 1; − md0x = 1 x2; 2 · 1 cos x for x 6 π, md1x = − " 2 for x> π. Note that x b a mdκ(x)= snκ(x) dx for x 6 ̟κ = g w · ˜ 0 κ κ ϕ =∡ ˜ a; b, c { { } ϕ κ ; Let ϕ be the angle of ˜ a,b,c opposite b, c △ { } to a. In this case we will write c } κ a = g˜ ϕ; b,c or ϕ =˜∡κ a; b,c . { } { } 1.1. TRIGONOMETRY 5 κ The functions g˜ and∡ ˜ κ will be called cor- respondingly the model side and the model angle. Set κ κ κ g˜ ϕ; b, c = g˜ ϕ; b,c := g˜ π ϕ; b,c , { − } { − } { − } κ this way we define g˜ ϕ; b,c for some negative values of b and c. { } 1.1.1. Properties of standard functions. a) For fixed a and ϕ, the function κ y(t) = mdκ g˜ ϕ; a,t { } satisfies the following differential equation: y′′ + κ y =1. · b) Let α:[a,b] M2(κ) be a unit-speed geodesic, and A be the image of→ a complete geodesic. If f(t) is the distance from α(t) to A, the function y(t)=snκ(f(t)) satisfies the following differential equation: y′′ + κ y =0 · for y =0. c) For fixed6 κ, b and c, the function a ∡˜ κ a; b,c 7→ { } is increasing and defined on a real interval. Equivalently, the function κ ϕ g˜ ϕ; b,c 7→ { } is increasing and defined if b,c<̟κ and ϕ [0, π]1. d) For fixed ϕ,a,b,c, the functions ∈ κ κ ∡˜ κ a; b,c and κ g˜ ϕ; b,c 7→ { } 7→ { } are respectively non-decreasing (in fact, decreasing, if a / b c ,b + c ) and non-increasing (in fact, increasing,∈ if ϕ{| /− 0|, π ). } e) (Alexandrov’s∈{ } lemma) Assume that for real numbers a, b, a′, b′, x and κ, the following two expressions are defined 1Formally speaking, if κ > 0 and b + c > ̟κ, it is defined only for ϕ ∈ [0, π), but g˜ κ{ϕ; b, c} can be extended to [0, π] as a continuos function. 6 CHAPTER 1. MODEL PLANE κ κ 1. ∡˜ a; b, x +˜∡ a′; b′, x π, κ{ } { κ }− 2. ∡˜ a′; b + b′,a ∡˜ x; a,b , { }− { } Then they have the same sign. All the properties except Alexandrov’s lemma (e) can be shown by direct calculation. Alexandrov’s lemma is reformulated in 5.2.1 and is proved there. Cosine law. The above formulas easily imply the cosine law in M2(κ), which can be expressed as follows b2 + c2 a2 − if κ =0 cos ϕ = 2 b c csκa · ·csκb csκc csκa csκb csκc − · if κ =0 − · if κ =0 κ snκb snκc 6 κ snκb snκc 6 · · · · However, rather than using these explicit formulas, we mainly will κ use the properties of∡ ˜ κ and g˜ listed in 1.1.1. 1.2 Hemisphere lemma 1.2.1. Hemisphere lemma. For κ > 0, any closed path of length < 2 ̟κ (respectively, 6 2 ̟κ) in M2(κ) lies in an open (respectively, closed)· hemisphere. · Proof. By rescaling, we may assume that κ = 1 and thus ̟κ = π and M2(κ)= S2. Let α be a closed curve in S2 of length 2 ℓ. Assume ℓ< π. Let αˇ be a subarc of α of length ℓ, with· endpoints p and q. Since p q 6 ℓ< π, there is a unique geodesic [pq] in S2. Let z be the midpoint| − of| [pq]. We claim that α lies in the open hemisphere centered at z. If not, α intersects the boundary great circle in a point, say r. Without loss of generality we may assume that r αˇ.
Load more

Recommended publications
  • Metric Geometry in a Tame Setting
    University of California Los Angeles Metric Geometry in a Tame Setting A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Erik Walsberg 2015 c Copyright by Erik Walsberg 2015 Abstract of the Dissertation Metric Geometry in a Tame Setting by Erik Walsberg Doctor of Philosophy in Mathematics University of California, Los Angeles, 2015 Professor Matthias J. Aschenbrenner, Chair We prove basic results about the topology and metric geometry of metric spaces which are definable in o-minimal expansions of ordered fields. ii The dissertation of Erik Walsberg is approved. Yiannis N. Moschovakis Chandrashekhar Khare David Kaplan Matthias J. Aschenbrenner, Committee Chair University of California, Los Angeles 2015 iii To Sam. iv Table of Contents 1 Introduction :::::::::::::::::::::::::::::::::::::: 1 2 Conventions :::::::::::::::::::::::::::::::::::::: 5 3 Metric Geometry ::::::::::::::::::::::::::::::::::: 7 3.1 Metric Spaces . 7 3.2 Maps Between Metric Spaces . 8 3.3 Covers and Packing Inequalities . 9 3.3.1 The 5r-covering Lemma . 9 3.3.2 Doubling Metrics . 10 3.4 Hausdorff Measures and Dimension . 11 3.4.1 Hausdorff Measures . 11 3.4.2 Hausdorff Dimension . 13 3.5 Topological Dimension . 15 3.6 Left-Invariant Metrics on Groups . 15 3.7 Reductions, Ultralimits and Limits of Metric Spaces . 16 3.7.1 Reductions of Λ-valued Metric Spaces . 16 3.7.2 Ultralimits . 17 3.7.3 GH-Convergence and GH-Ultralimits . 18 3.7.4 Asymptotic Cones . 19 3.7.5 Tangent Cones . 22 3.7.6 Conical Metric Spaces . 22 3.8 Normed Spaces . 23 4 T-Convexity :::::::::::::::::::::::::::::::::::::: 24 4.1 T-convex Structures .
    [Show full text]
  • Compact Clifford-Klein Forms of Symmetric Spaces
    Compact Clifford-Klein forms of symmetric spaces – revisited In memory of Professor Armand Borel Toshiyuki Kobayashi and Taro Yoshino Abstract This article discusses the existence problem of a compact quotient of a symmetric space by a properly discontinuous group with emphasis on the non-Riemannian case. Discontinuous groups are not always abun- dant in a homogeneous space G/H if H is non-compact. The first half of the article elucidates general machinery to study discontinuous groups for G/H, followed by the most update and complete list of symmetric spaces with/without compact quotients. In the second half, as applica- tions of general theory, we prove: (i) there exists a 15 dimensional compact pseudo-Riemannian manifold of signature (7, 8) with constant curvature, (ii) there exists a compact quotient of the complex sphere of dimension 1, 3 and 7, and (iii) there exists a compact quotient of the tangential space form of signature (p, q) if and only if p is smaller than the Hurwitz-Radon number of q. Contents 1 Introduction 2 2 Examples 4 2.1 NotationandDefinition ....................... 4 2.2 Symmetric spaces with compact Clifford-Klein forms . 4 2.3 Para-Hermitiansymmetricspaces. 5 arXiv:math/0509543v1 [math.DG] 23 Sep 2005 2.4 Complex symmetric spaces GC/KC ................. 6 2.5 Spaceformproblem ......................... 8 2.6 Tangentspaceversionofspaceformproblem . 9 3 Methods 10 3.1 Generalized concept of properly discontinuous actions . 10 3.2 Criterionofpropernessforreductivegroups . 13 2000 Mathematics Subject Classification. Primary 22F30; Secondary 22E40, 53C30, 53C35, 57S30 Key words: discontinuous group, Clifford-Klein form, symmetric space, space form, pseudo- Riemannian manifold, discrete subgroup, uniform lattice, indefinite Clifford algebra 1 3.3 Construction of compact Clifford-Klein forms .
    [Show full text]
  • Nonpositive Curvature and the Ptolemy Inequality
    Zurich Open Repository and Archive University of Zurich Main Library Strickhofstrasse 39 CH-8057 Zurich www.zora.uzh.ch Year: 2007 Nonpositive curvature and the Ptolemy inequality Foertsch, T ; Lytchak, A ; Schroeder, Viktor Abstract: We provide examples of nonlocally, compact, geodesic Ptolemy metric spaces which are not uniquely geodesic. On the other hand, we show that locally, compact, geodesic Ptolemy metric spaces are uniquely geodesic. Moreover, we prove that a metric space is CAT(0) if and only if it is Busemann convex and Ptolemy. DOI: https://doi.org/10.1093/imrn/rnm100 Posted at the Zurich Open Repository and Archive, University of Zurich ZORA URL: https://doi.org/10.5167/uzh-21536 Journal Article Published Version Originally published at: Foertsch, T; Lytchak, A; Schroeder, Viktor (2007). Nonpositive curvature and the Ptolemy inequality. International Mathematics Research Notices, 2007(rnm100):online. DOI: https://doi.org/10.1093/imrn/rnm100 Foertsch, T., A. Lytchak, and V. Schroeder. (2007) “Nonpositive Curvature and the Ptolemy Inequality,” International Mathematics Research Notices, Vol. 2007, Article ID rnm100, 15 pages. doi:10.1093/imrn/rnm100 Nonpositive Curvature and the Ptolemy Inequality Thomas Foertsch1, Alexander Lytchak1, Viktor Schroeder2 1Universitat¨ Bonn, Mathematisches Institut, Beringstr. 1, 53115 Bonn, Germany, and 2Universitat¨ Zurich¨ , Institut fur¨ Mathematik, Winterthurerstr. 190, 8057 Zurich¨ , Switzerland Correspondence to be sent to: Thomas Foertsch, Universitat¨ Bonn, Mathematisches Institut, Beringstr. 1, 53115 Bonn, Germany. e-mail: [email protected] We provide examples of nonlocally, compact, geodesic Ptolemy metric spaces which are not uniquely geodesic. On the other hand, we show that locally, compact, geodesic Ptolemy metric spaces are uniquely geodesic.
    [Show full text]
  • Arxiv:0803.2592V3 [Math.GR] 29 Jan 2010 F)I N Nyi Vr Isometric Every If Only and If (FH) Taeyfrpoigsao’ Eutadterm
    FIXED POINT PROPERTIES IN THE SPACE OF MARKED GROUPS YVES STALDER Abstract. We explain, following Gromov, how to produce uniform isometric actions of groups starting from isometric actions without fixed point, using common ultralimits techniques. This gives in particular a simple proof of a result by Shalom: Kazhdan’s property (T) defines an open subset in the space of marked finitely generated groups. 1. Introduction In this expository note, we are interested in groups whose actions on some particular kind of spaces always have (global) fixed points. Definition 1.1. Let G be a (discrete) group. We say that G has: – Serre’s Property (FH), if any isometric G-action on an affine Hilbert space has a fixed point [HV89, Chap 4]; – Serre’s Property (FA), if any G-action on a simplicial tree (by automorphisms and without inversion) has a fixed point [Ser77, Chap I.6]; – Property (FRA), if if any isometric G-action on a complete R-tree has a fixed point [HV89, Chap 6.b]. These definitions extend to topological groups: one has then to require the actions to be continuous. Such properties give information about the structure of the group G. Serre proved that a countable group has Property (FA) if and only if (i) it is finitely generated, (ii) it has no infinite cyclic quotient, and (iii) it is not an amalgam [Ser77, Thm I.15]. Among locally compact, second countable groups, Guichardet and Delorme proved that Property (FH) is equivalent to Kazhdan’s Property (T) [Gui77, Del77]. Kazhdan groups are known to be compactly generated and to have a compact abelianization; see e.g.
    [Show full text]
  • Non-Positive Curvature and the Ptolemy Inequality 11
    NON-POSITIVE CURVATURE AND THE PTOLEMY INEQUALITY THOMAS FOERTSCH, ALEXANDER LYTCHAK, VIKTOR SCHROEDER1 Abstract. We provide examples of non-locally compact geodesic Pto- lemy metric spaces which are not uniquely geodesic. On the other hand, we show that locally compact, geodesic Ptolemy metric spaces are uniquely geodesic. Moreover, we prove that a metric space is CAT(0) if and only if it is Busemann convex and Ptolemy. 1. Introduction A metric space X is called a Ptolemy metric space, if the inequality (1) jxyjjuvj ≤ jxuj jyvj + jxvj jyuj is satisfied for all x; y; u; v 2 X. Our interest in Ptolemy metric spaces originates from an analysis of bound- aries of CAT(−1)-spaces when endowed with a Bourdon or Hamenst¨adt metric. Such boundaries are indeed Ptolemy metric spaces (see [8]). Various aspects of such spaces have occasionally been studied, for instance in [5], [11], [13] and [18]. A smooth Riemannian manifold is of non-positive sectional curvature, if and only if it is locally Ptolemy, and a locally Ptolemy Finsler manifold is necessarily Riemannian (see [12] and [5]). Furthermore, CAT(0)-spaces are geodesic Ptolemy metric spaces (compare Section 2). On first consideration, these observations might suggest that for geodesic metric spaces the Ptolemy condition is some kind of non-positive curvature condition. We show that without any further conditions this is completely wrong. Theorem 1.1. Let X be an arbitrary Ptolemy space, then X can be isomet- rically embedded into a complete geodesic Ptolemy space X^ . As an application, take the four point Ptolemy space X = fx; y; m1; m2g with jxyj = 2 and all other nontrivial distances equal to 1.
    [Show full text]
  • 3-Manifolds with Subgroups Z Z Z in Their Fundamental Groups
    Pacific Journal of Mathematics 3-MANIFOLDS WITH SUBGROUPS Z ⊕ Z ⊕ Z IN THEIR FUNDAMENTAL GROUPS ERHARD LUFT AND DENIS KARMEN SJERVE Vol. 114, No. 1 May 1984 PACIFIC JOURNAL OF MATHEMATICS Vol 114, No. 1, 1984 3-MANIFOLDS WITH SUBGROUPS ZΦZΦZ IN THEIR FUNDAMENTAL GROUPS E. LUFT AND D. SJERVE In this paper we characterize those 3-manifolds M3 satisfying ZΘZΘZC ^i(Λf). All such manifolds M arise in one of the following ways: (I) M = Mo # R, (II) M= Mo # R*, (III) M = Mo Uθ R*. Here 2 Λf0 is any 3-manifold in (I), (II) and any 3-manifold having P compo- nents in its boundary in (III). R is a flat space form and R* is obtained from R and some involution t: R -> R with fixed points, but only finitely many, as follows: if C,,..., Cn are disjoint 3-cells around the fixed points then R* is the 3-manifold obtained from (R - int(C, U UQ))/ί by identifying some pairs of projective planes in the boundary. 1. Introduction. In [1] it was shown that the only possible finitely generated abelian subgroups of the fundamental groups of 3-manifolds are Zn9 Z θ Z2, Z, Z θ Z and Z θ Z θ Z. The purpose of this paper is to 3 characterize all M satisfying ZΘZΘZC πx(M). To explain this characterization recall that the Bieberbach theorem (see Chapter 3 of [8]) implies that if M is a closed 3-dimensional flat space form then ZΘZΘZC πx(M). We let M,,... 9M6 denote the 6 compact connected orientable flat space forms in the order given on p.
    [Show full text]
  • Representation Operators of Metric and Euclidian Charges Philippe Bouafia
    Representation operators of metric and Euclidian charges Philippe Bouafia To cite this version: Philippe Bouafia. Representation operators of metric and Euclidian charges. General Mathematics [math.GM]. Université Paris Sud - Paris XI, 2014. English. NNT : 2014PA112004. tel-01015943 HAL Id: tel-01015943 https://tel.archives-ouvertes.fr/tel-01015943 Submitted on 27 Jun 2014 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. No d’ordre: THÈSE Présentée pour obtenir LE GRADE DE DOCTEUR EN SCIENCES DE L’UNIVERSITÉ PARIS-SUD XI Spécialité: Mathématiques par Philippe Bouafia École doctorale de Mathématiques de Paris Sud Laboratoire d’Analyse Harmonique Blow-up analysis of multiple valued stationary functions Soutenue le 7 janvier 2014 devant la Commission d’examen: M. Petru Mironescu (Rapporteur, Université Lyon I) M. Camillo De Lellis (Rapporteur, Universität Zürich) M. Guy David (Directeur de thèse, Université Paris Sud) M. Thierry De Pauw (Promoteur de thèse, IMJ) M. Gilles Godefroy (Professeur d’université, IMJ) M. Stefan Wenger (Full professor, University of Fribourg) Thèse préparée au Département de Mathématiques d’Orsay Laboratoire de Mathématiques (UMR 8628), Bât. 425 Université Paris-Sud 11 91 405 Orsay CEDEX Abstract On étudie les fonctions multivaluées vers un espace de Hilbert.
    [Show full text]
  • Fundamental Groups of Manifolds with Positive Sectional Curvature And
    FUNDAMENTAL GROUPS OF MANIFOLDS WITH POSITIVE SECTIONAL CURVATURE AND TORUS SYMMETRY LEE KENNARD Abstract. In 1965, S.-S. Chern posed a question concerning the extent to which funda- mental groups of manifolds admitting positive sectional curvature look like spherical space form groups. The original question was answered in the negative by Shankar in 1998, but there are a number of positive results in the presence of symmetry. These classifications fall into categories according to the strength of their conclusions. We give an overview of these results in the case of torus symmetry and prove new results in each of these categories. 1. Introduction The sphere is the simplest example of a compact manifold. With its standard Riemannian metric, it has positive sectional curvature. Strikingly, in all odd dimensions except for 7 and 13, the spheres remain the only simply connected, compact manifolds known to admit pos- itively curved metrics. In view of this, it is not surprising that the realization problem for fundamental groups of positively curved manifolds remains open. As far as general obstruc- tions go, one only has the classical results of Synge and Bonnet–Myers, as well as Gromov’s universal bound on the number of generators (see [19]). Spherical space forms provide many examples of fundamental groups of positively curved manifolds (see Davis–Milgram [14], Hambleton [27], and Wolf [55]). However they form a very restrictive class of groups. In particular, they satisfy the properties that every abelian subgroup is cyclic and every involution is central. By analogy with Preissmann’s theorem, S.-S. Chern asked whether the first of these properties holds for the fundamental groups of positively curved manifolds (see [30, p.
    [Show full text]
  • Curvature Inequalities for Submanifolds of S-Space Form Najma Abdul Rehman Department of Mathematics, COMSATS University Islamabad, Sahiwal Campus, Pakistan
    EUROPEAN JOURNAL OF PURE AND APPLIED MATHEMATICS Vol. 12, No. 4, 2019, 1811-1818 ISSN 1307-5543 { www.ejpam.com Published by New York Business Global Curvature Inequalities for Submanifolds of S-space form Najma Abdul Rehman Department of Mathematics, COMSATS University Islamabad, Sahiwal Campus, Pakistan Abstract. In this paper we establish new results of squared mean curvature and Ricci curvature for the sub manifolds of S-space from that is the generalization of complex and contact structures. Obtained results are discussed for invariant, anti invariant and CR sub manifolds of S-space from. 2010 Mathematics Subject Classifications: 53C40, 53C25 Key Words and Phrases: Curvature, Sub manifolds, S-space form 1. Introduction One of the main and useful idea in submanifolds conjectures is to derive relationship among squared mean curvature and Ricci curvature of submanifolds, was explained by Chen [6], [7]. After this many authors derived Chen inequalities for complex and contact space forms [1], [11], [12] and on hyper surfaces of a Lorentzian manifold [9]. After the generalization of complex and contact space forms into S-space form [4], it is natural to study the inequalities of Ricci curvature for submanifolds of S-space forms. Geometry of S-space forms were studied by many authors i.e. [10], [13]. In this paper we find relations between squared mean curvature and Ricci curvature for the sub manifolds of S-space form and discuss this relation for invariant, anti invariant and CR sub manifolds of S-space form. After introduction, second section contains basics of S-space forms and submanifolds. Third section contains main results.
    [Show full text]
  • Integral Formulas and Hyperspheres in a Simply Connected Space Form
    proceedings of the american mathematical society Volume 88, Number 1, May 1983 INTEGRAL FORMULAS AND HYPERSPHERES IN A SIMPLY CONNECTED SPACE FORM IRL BIVENS Abstract. Let M" denote a connected compact hypersurface without boundary contained in Euclidean or hyperbolic n + 1 space or in an open hemisphere of S"+ '. We show that if two consecutive mean curvatures of M are constant then M is in fact a geodesic sphere. The proof uses the generalized Minkowski integral formulas for a hypersurface of a complete simply connected space form. These Minkowski formulas are derived from an integral formula for submanifolds in which the ambient Riemannian manifold M possesses a generalized position vector field; that is a vector field Y whose covariant derivative is at each point a multiple of the identity. In addition we prove that if M is complete and connected with the covariant derivative of Y exactly the identity at each point then M is isometric to Euclidean space. Let (M, g) denote a connected compact oriented n dimensional Riemannian manifold without boundary with h: M -» M an isometric immersion of M into an oriented n + p dimensional Riemannian manifold (M, g). If p = 1 we let ok denote the k th mean curvature of M. That is ok is equal to the k th elementary symmetric function of the principal curvatures of M divided by ( k ). Theorem 1. Suppose p — 1 and assume ok, ak+x are constant for some k = 1,2,...,« - 1. (a) If M = R"+ ' with the standard metric then h embeds M as an n-sphere in R"+ .
    [Show full text]
  • Metric Foundations of Geometry. I
    METRIC FOUNDATIONS OF GEOMETRY. I BY GARRETT BIRKHOFF 1. Introduction. It is shown below by elementary methods that «-dimen- sional Euclidean, spherical, and hyperbolic geometry can be characterized by the following postulates. Postulate I. Space is metric (in the sense of Fréchet). Postulate II. Through any two points a line segment can be drawn, locally uniquely. Postulate III. Any isometry between subsets of space can be extended to a self-isometry of all space. The outline of the proof has been presented elsewhere (G. Birkhoff [2 ]('))• Earlier, H. Busemann [l] had shown that if, further, exactly one straight line connected any two points, and if bounded sets were compact, then the space was Euclidean or hyperbolic; moreover for this, Postulate III need only be assumed for triples of points. Later, Busemann extended the result to elliptic space, assuming that exactly one geodesic connected any two points, that bounded sets were compact, and that Postulate III held locally for triples of points (H. Busemann [2, p. 186]). We recall Lie's celebrated proof that any Riemannian variety having local free mobility is locally Euclidean, spherical, or hyperbolic. Since our Postu- late II, unlike Busemann's straight line postulates, holds in any Riemannian variety in which bounded sets are compact, our result may be regarded as freeing Lie's theorem for the first time from its analytical hypotheses and its local character. What is more important, we use direct geometric arguments, where Lie used sophisticated analytical and algebraic methods(2). Our methods are also far more direct and elementary than those of Busemann, who relies on a deep theorem of Hurewicz.
    [Show full text]
  • Kirszbraun's Theorem
    Version of 14.9.18 Kirszbraun’s theorem D.H.Fremlin University of Essex, Colchester, England Wikipedia gives a statement of this theorem and an outline of its history, but no online source for the proof. It’s so pretty that I write one out here. 1 The essential ideas 1A The context I’ll come to the actual statement of the theorem, taken from http://en.wikipedia.org/ wiki/Kirszbraun theorem, in 1G below. This will be in the standard full-generality form concerning Lipschitz maps between (real) Hilbert spaces H1 and H2. If you aren’t familiar with ‘Hilbert spaces’ (http://en.wikipedia.org/wiki/Hilbert space), then you will probably prefer to start by taking both n H1 and H2 to be a Euclidean space R , with the inner product n (x y)= x.y = ξiηi | Pi=1 n if x =(ξ1,... ,ξn) and y =(η1,... ,ηn) belong to R , and the norm x = (x x)= n ξ2, k k p | pPi=1 i so that n 2 x y = (ξi ηi) k − k pPi=1 − is the Euclidean distance from x to y calculated with the n-dimensional version of Pythagoras’ theorem. In fact all the really interesting ideas of the proof, in 1B-1F below, are needed for the two-dimensional case n = 2. (The case n = 1 is much easier, as noted in Wikipedia.) I do have to warn you, however, that ordinary proofs of Kirszbraun’s theorem involve ‘Tychonoff’s theorem’ (see 2B below), and unless the words ‘topology’, ‘compact set’ and ‘continuous function’ mean something to you, you are going to have a good deal of work to do to understand the ‘first proof’ offered in 2.
    [Show full text]