Arxiv:1710.03952V3 [Math.MG] 11 Jul 2021 Example Lp-Unit Spheres)

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1710.03952V3 [Math.MG] 11 Jul 2021 Example Lp-Unit Spheres) THE ISOPERIMETRIC INEQUALITY ON COMPACT RANK ONE SYMMETRIC SPACES AND BEYOND YASHAR MEMARIAN Abstract. Klartag's needle decomposition technique enables one to obtain strong isoperimetric inequalities on Riemannian manifolds other than the clas- sical known examples. As a result, in this paper, we obtain sharp isoperimetric inequalities for compact rank one symmetric spaces (CROSS). Namely, for the n real projective space RP , we demonstrate that the isoperimetric regions are k n given by either the geodesic balls or tubes around some RP ⊂ RP . For the n complex projective space CP , the isoperimetric regions are given by either k n the geodesic balls or tubes around some CP ⊂ CP . And for the quaternionic projective space, the isoperimetric regions are given by either the geodesic balls k n or tubes around some HP ⊂ HP . 1. Introduction Isoperimetric problems are some of the oldest problems in geometry. Given a space, one looks for domains of a given volume with the least boundary area. It is known that in model spaces (i.e. Euclidean spaces, spheres and hyperbolic spaces), for every given number v, the intrinsic balls with volume v have the least surface area among every domain with the same volume. When we leave the world of model spaces, or when we are dealing with geometric spaces with boundary, the solution to isoperimetric problems has provided real difficulties. Of course, when the number v is small enough, for spaces which locally look like Euclidean spaces (for instance manifolds), one expects that the solution of isoperimetric problems still would be the metric balls. However, for larger v and shapes with non-constant curvature or with non-smooth boundaries, the isoperimetric problem in general is very hard to solve. There are several books and surveys related to isoperimetric problems, for instance [23], [21], [15], [6], [3]. In [11], Gromov-Milman prove a general isoperimetric problem on spheres with non-necessarily canonical Riemannian volume. They use their result to obtain an isoperimetric inequality for unit spheres of uniformly-convex Banach spaces (for arXiv:1710.03952v3 [math.MG] 11 Jul 2021 example Lp-unit spheres). Their method relies on the geometry and topology of the sphere. They use a powerful technique (known as the localization method) in order to prove their result(s). Obtaining similar results for more general manifolds using the localization method was not possible since one did not have such tools Date: June 2020. 2010 Mathematics Subject Classification. 53C21. Key words and phrases. Isoperimetry, needle, Ricci Curvature, Sectional Curvature, Positively Curved Manifolds . We thank Karsten Grove for motivating us to write this paper. The paper started when the author visited the University of Notre-Dame. We would like to thank the hospitality of the mathematics department during our stay. We also thank the referees for their extremely helpful comments which made this paper realizable. 1 2 YASHAR MEMARIAN for spaces other than model spaces (even on the canonical hyperbolic space we are not aware of any result for which the localization method has been used). Recently, Klartag in [18] proves a localization theorem on every closed Riemann- ian manifold. The topic of this paper concerns utilizing Klartag's localization results in order to prove sharp isoperimetric inequalities for compact rank one symmetric spaces, namely the real, complex and quaternionic projective spaces. We begin by recalling Klartag's results on needle decomposition and its link to the isoperimetric problems. In further sections we concentrate on studying the isoperimetric problem on real, complex and quaternionic projective spaces. 2. Klartag's Generalisation of Gromov-Milman Isoperimetric Inequality on Riemannian Manifolds In this manuscript, we are mainly interested in closed, smooth n-dimensional Riemannian manifolds with some lower bounds on the Ricci curvature. A Rie- mannian manifold M satisfies the curvature-dimension condition CD(k; N), if the dimension of M is at most equal to N and if for every point m 2 M and every tangent vector v 2 TmM we have: (2.1) Ricci(v; v) ≥ k:g(v; v); where g is the metric tensor of M and Ricci is the Ricci tensor of M. When for a Riemannian manifold M, there exists a k 2 R such that for every point m 2 M and every tangent vector v 2 TmM, inequality (2.1) holds, we simply write that on M we have: Ricci ≥ k: The curvature-dimension condition and its extension to the case of weighted Rie- mannian manifolds were first defined in the pioneer work [1]. The volume Riemannian volume of M is denoted by voln emphasizing the di- mension of M. We recall the (metric-measure) invariant separation distance introduced by Gro- mov in [13] (and motivated by ideas in [11]). Definition 2.1 (Separation Distance). Let κ1; κ2 > 0 be such that κ1 + κ2 < 1: The separation distance on M (with respect to κ1 and κ2), denoted by: Sep(M; κ1; κ2); is the supremum of those δ, where for i = 1; 2, subsets Ai ⊂ M exist with µ(Ai) ≥ κi and dist(A1;A2) ≥ δ. Here dist(A1;A2) = inf d(a1; a2); (a1;a2)2A1×A2 where d(:) is the distance induced by the Riemannian metric on M. We say that the sets Ai (for i = 1; 2) with µ(Ai) = κi, realize the separation distance if dist(A1;A2) = Sep(M; κ1; κ2). Remark 2.1. • We denote the distance between two sets A1;A2 ⊂ M defined in definition 2.1 by: d(A1;A2) = dist(A1;A2): This distance should not be confused with the Hausdorff distance. THE ISOPERIMETRIC INEQUALITY ON COMPACT RANK ONE SYMMETRIC SPACES 3 • One can define the separation distance with respect to several (positive real) numbers κ1; ··· ; κk, in the same manner as defined with respect to two numbers. For the purpose of this paper, we only require this definition with respect to two numbers. We now need the definition of a needle on n-dimensional Riemannian manifolds M with Ricci(M) ≥ Ricci(Sn). Since we are using Klartag's work on needle decom- position of Riemannian manifolds, we present the definition of the needle exactly as it is defined in [18]: Definition 2.2 (Needles). Let M be an n-dimensional Riemannian manifold. A CD(k; n)-needle on M is a measure ν on M such that the following holds: • There exists a non-empty open set A ⊂ R and a smooth function : A ! R. • The function 1=n−1 satisfies the following differential inequality on A: 1 00 k 1 (2.2) ( n−1 ) + ( ) n−1 ≤ 0: n − 1 • There exists a minimizing geodesic γ : A ! M such that: ν = γ∗( (x)dx): Hence the measure ν defined on M is the push-forward of the measure (x)dx on A which has a density function with respect to the Lebesgue measure dx. A smooth function satisfying inequality (resp. equality) (2.2) for k = n−1 is called a sinn−1-concave (resp. affine) function. A measure ν which has a sinn−1 density function is called a sinn−1-concave measure. Remark 2.2. • Sometimes it may be important to recall the parameter in- terval A on which the pull-back of a needle is defined and supported. In such case, we may denote a CD(k; n)-needle by (I; ν) where I ⊂ R is a non-empty open connected subset of R and the pull-back of the measure ν is supported on I. This is useful when one considers needles on intervals of R i.e. geodesic segments of R. • In definition 2.2, when k = n − 1, the needles may be referred to as sinn−1- concave needles (or measures). • The inequality (2.2) is a local definition of the sinn-concave functions. One n (equivalently) may define a sin -concave function on an interval A ⊂ R as a function satisfying the following inequality: x + x f(x )1=n + f(x )1=n (2.3) f( 1 2 )1=n ≥ 1 2 ; 2 jx2−x1j 2 cos( 2 ) for every x1; x2 2 A. See [26] for a proof of the equivalence between in- equalities (2.3) and (2.2). • According to definition 2.2, we may view needles as intrinsic metric-measure spaces (i.e. not necessarily embedded on a manifold M) where the geomet- ric space is an interval of R, the metric being the Euclidean metric and the measure being the sinn-concave probability measure defined on this inter- val. On the other hand, it is important to bear in mind that needles inherit the geometry of the manifold on which they are embedded. 4 YASHAR MEMARIAN The following definition is handy since we shall be dealing with probability mea- sures all along this manuscript: Definition 2.3 (Normalizing Constant). Let f(x)dx be a measure supported on an interval A ⊂ R where dx is the Lebesgue measure. We say C 2 R is the normalizing constant for f(x)dx, if Cf(x)dx is a probability measure supported on A. We present some classical examples to get familiarized with some needles: Example 2.1. On the canonical sphere Sn, let fx; −xg be two diametrically op- posite points. Let γ be a maximal geodesic from x to −x. This geodesic being parametrized by the interval (0; π) which is enhanced with the normalized measure C cos(t)n−1dt. Then the push-forward of this measure on Sn is an example of a needle on the canonical sphere. Example 2.2. A sinn-affine probability measure ν defined on an open connected n interval A ⊂ R is defined by ν = (C1 sin(t) + C2 cos(t)) dt for some C1;C2 2 R where dt is the Lebesgue measure.
Recommended publications
  • Marcel Berger Remembered
    Marcel Berger Remembered Claude LeBrun, Editor and Translator Gérard Besson EDITOR’S NOTE. Claude LeBrun has kindly assembled this memorial for Marcel Berger. This month also Marcel Berger,1 one of the world’s leading differential marks the conference “Riemannian Geometry Past, geometers and a corresponding member of the French Present and Future: An Homage to Marcel Berger” at Academy of Sciences for half a century, passed away on IHÉS. October 15, 2016, at the age of eighty-nine. Marcel Berger’s contributions to geometry were both broad and deep. The classification of Riemannian holo- nomy groups provided by his thesis has had a lasting impact on areas ranging from theoretical physics to alge- braic geometry. His 1960 proof that a complete oriented even-dimensional manifold with strictly quarter-pinched positive curvature must be a topological sphere is the Claude LeBrun is professor of mathematics at Stony Brook Univer- sity. His email address is claude@math.stonybrook.edu. Gérard Besson is CNRS Research Director at Institut Fourier, Uni- For permission to reprint this article, please contact: versité Grenoble, France. His email address is g.besson@ujf reprint-permission@ams.org. -grenoble.fr. DOI: http://dx.doi.org/10.1090/noti1605 1Pronounced bare-ZHAY. December 2017 Notices of the AMS 1285 research director by the CNRS. He served as president of the French Mathematical Society (SMF) during the period of 1979–80 and in this capacity helped oversee the foundation of the International Center for Mathematical Workshops (CIRM) in Luminy. In 1985 he then became director of the Institute for Higher Scientific Studies (IHÉS) in Bures-sur-Yvette, a position in which he served until 1993, when he was succeeded by his former student Jean-Pierre Bourguignon.
    [Show full text]
  • Hamilton's Ricci Flow
    The University of Melbourne, Department of Mathematics and Statistics Hamilton's Ricci Flow Nick Sheridan Supervisor: Associate Professor Craig Hodgson Second Reader: Professor Hyam Rubinstein Honours Thesis, November 2006. Abstract The aim of this project is to introduce the basics of Hamilton's Ricci Flow. The Ricci flow is a pde for evolving the metric tensor in a Riemannian manifold to make it \rounder", in the hope that one may draw topological conclusions from the existence of such \round" metrics. Indeed, the Ricci flow has recently been used to prove two very deep theorems in topology, namely the Geometrization and Poincar´eConjectures. We begin with a brief survey of the differential geometry that is needed in the Ricci flow, then proceed to introduce its basic properties and the basic techniques used to understand it, for example, proving existence and uniqueness and bounds on derivatives of curvature under the Ricci flow using the maximum principle. We use these results to prove the \original" Ricci flow theorem { the 1982 theorem of Richard Hamilton that closed 3-manifolds which admit metrics of strictly positive Ricci curvature are diffeomorphic to quotients of the round 3-sphere by finite groups of isometries acting freely. We conclude with a qualitative discussion of the ideas behind the proof of the Geometrization Conjecture using the Ricci flow. Most of the project is based on the book by Chow and Knopf [6], the notes by Peter Topping [28] (which have recently been made into a book, see [29]), the papers of Richard Hamilton (in particular [9]) and the lecture course on Geometric Evolution Equations presented by Ben Andrews at the 2006 ICE-EM Graduate School held at the University of Queensland.
    [Show full text]
  • Book Reviews
    BOOK REVIEWS BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 11, Number 1, July 1984 ©1984 American Mathematical Society 0273-0979/84 $1.00 + $.25 per page Riemannian geometry, by Wilhelm Klingenberg, de Gruyter Studies in Mathematics, Vol. 1, Walter de Gruyter & Co., Berlin, 1982, x + 396 pp., $49.00. ISBN 3-1100-8373-5 The basic concepts of Riemannian geometry have become useful in a surprising variety of mathematical subjects. The terminology of manifolds, bundles, Riemannian metrics, and connections has become a lingua franca over much of partial differential equations, mathematical physics, and algebraic geometry, among other fields. This increasingly widespread use of the terminology and methods of geometry has tended to obscure the fact that Riemannian geometry as such is a subject with a quite precisely focused program, namely, to determine how the topology of a manifold is influenced by the local properties of its metric structure. These local properties are usually formulated in terms of curvature; this formulation is justified by the theorem of E. Cartan that the curvature tensor and its covariant derivatives of all orders at a point determine the formal Taylor expansion of the metric at that point. The program of obtaining global topological information from local metric information actually applies only to complete Riemannian manifolds, i.e., those that are complete as metric spaces when the distance between points is defined to be the infimum of the Riemannian-metric arc length of curves joining the two points. This restriction to complete manifolds, long a standard one in the subject, has been given explicit justification by a result of M.
    [Show full text]
  • Curvature Cones and the Ricci Flow
    Institut Fourier — Université de Grenoble I Actes du séminaire de Théorie spectrale et géométrie Thomas RICHARD Curvature cones and the Ricci flow. Volume 31 (2012-2014), p. 197-220. <http://tsg.cedram.org/item?id=TSG_2012-2014__31__197_0> © Institut Fourier, 2012-2014, tous droits réservés. L’accès aux articles du Séminaire de théorie spectrale et géométrie (http://tsg.cedram.org/), implique l’accord avec les conditions générales d’utilisation (http://tsg.cedram.org/legal/). cedram Article mis en ligne dans le cadre du Centre de diffusion des revues académiques de mathématiques http://www.cedram.org/ Séminaire de théorie spectrale et géométrie Grenoble Volume 31 (2012-2014) 197-220 CURVATURE CONES AND THE RICCI FLOW. Thomas Richard Abstract. — This survey reviews some facts about nonnegativity conditions on the curvature tensor of a Riemannian manifold which are preserved by the action of the Ricci flow. The text focuses on two main points. First we describe the known examples of preserved curvature conditions and how they have been used to derive geometric results, in particular sphere theorems. We then describe some recent results which give restrictions on general preserved conditions. The paper ends with some open questions on these matters. The Ricci flow is the following evolution equation: ( ∂g = −2 Ric (0.1) ∂t g(t) g(t) = g0 where (g(t))t∈[0,T ) is a one-parameter family of smooth Riemannian metrics on a fixed manifold M, and g0 is a given smooth Riemannian metric on M. It was introduced by R. Hamilton in 1982 ([11]), where it was used to study the topology of compact 3-manifolds with positive Ricci curvature.
    [Show full text]
  • Examples of Riemannian Manifolds with Non-Negative Sectional Curvature
    EXAMPLES OF RIEMANNIAN MANIFOLDS WITH NON-NEGATIVE SECTIONAL CURVATURE WOLFGANG ZILLER Manifolds with non-negative sectional curvature have been of interest since the beginning of global Riemannian geometry, as illustrated by the theorems of Bonnet-Myers, Synge, and the sphere theorem. Some of the oldest conjectures in global Riemannian geometry, as for example the Hopf conjecture on S2 £ S2, also ¯t into this subject. For non-negatively curved manifolds, there are a number of obstruction theorems known, see Section 1 below and the survey by Burkhard Wilking in this volume. It is somewhat surprising that the only further obstructions to positive curvature are given by the classical Bonnet-Myers and Synge theorems on the fundamental group. Although there are many examples with non-negative curvature, they all come from two basic constructions, apart from taking products. One is taking an isometric quotient of a compact Lie group equipped with a biinvariant metric and another a gluing procedure due to Cheeger and recently signi¯cantly generalized by Grove-Ziller. The latter examples include a rich class of manifolds, and give rise to non-negative curvature on many exotic 7-spheres. On the other hand, known manifolds with positive sectional curvature are very rare, and are all given by quotients of compact Lie groups, and, apart from the classical rank one symmetric spaces, only exist in dimension below 25. Due to this lack of knowledge, it is therefore of importance to discuss and understand known examples and ¯nd new ones. In this survey we will concentrate on the description of known examples, although the last section also contains suggestions where to look for new ones.
    [Show full text]
  • Comparison Theorems in Riemannian Geometry
    COMPARISON THEOREMS IN RIEMANNIAN GEOMETRY JEFF CHEEGER DAVID G. EBIN AMS CHELSEA PUBLISHING !MERICAN -ATHEMATICAL 3OCIETY s 0ROVIDENCE 2HODE )SLAND COMPARISON THEOREMS IN RIEMANNIAN GEOMETRY David G. Ebin and Jeff Cheeger G.EbinandJeff David Photo courtesy of Ann Billingsley COMPARISON THEOREMS IN RIEMANNIAN GEOMETRY JEFF CHEEGER DAVID G. EBIN AMS CHELSEA PUBLISHING American Mathematical Society • Providence, Rhode Island M THE ATI A CA M L ΤΡΗΤΟΣ ΜΗ N ΕΙΣΙΤΩ S A O C C I I R E E T ΑΓΕΩΜΕ Y M A F O 8 U 88 NDED 1 2000 Mathematics Subject Classification. Primary 53C20; Secondary 58E10. For additional information and updates on this book, visit www.ams.org/bookpages/chel-365 Library of Congress Cataloging-in-Publication Data Cheeger, Jeff. Comparison theorems in riemannian geometry / Jeff Cheeger, David G. Ebin. p. cm. — (AMS Chelsea Publishing) Originally published: Amsterdam : North-Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975, in series: North-Holland mathematical library ; v. 9. Includes bibliographical references and index. ISBN 978-0-8218-4417-5 (alk. paper) 1. Geometry, Riemannian. 2. Riemannian manifolds. I. Ebin, D. G. II. American Mathe- matical Society. III. Title. QA649 .C47 2008 516.373—dc22 2007052113 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 a chapter 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.
    [Show full text]
  • Comparison Geometry for Ricci Curvature
    Comparison Geometry for Ricci Curvature Xianzhe Dai Guofang Wei 1 1Partially supported by NSF grant DMS-08 2 A Ricci curvature bound is weaker than a sectional curvature bound but stronger than a scalar curvature bound. Ricci curvature is also special that it occurs in the Einstein equation and in the Ricci flow. Comparison geometry plays a very important role in the study of manifolds with lower Ricci curva- ture bound, especially the Laplacian and the Bishop-Gromov volume compar- isons. Many important tools and results for manifolds with Ricci curvature lower bound follow from or use these comparisons, e.g. Meyers' theorem, Cheeger- Gromoll's splitting theorem, Abresch-Gromoll's excess estimate, Cheng-Yau's gradient estimate, Milnor's result on fundamental group. We will present the Laplacian and the Bishop-Gromov volume comparison theorems in the first lec- ture, then discuss their generalizations to integral Ricci curvature, Bakry-Emery Ricci tensor and Ricci flow in the rest of lectures. Contents 1 Basic Tools for Ricci Curvature 5 1.1 Bochner's formula . 5 1.2 Mean Curvature and Local Laplacian Comparison . 7 1.3 Global Laplacian Comparison . 10 1.4 Volume Comparison . 12 1.4.1 Volume of Riemannian Manifold . 12 1.4.2 Comparison of Volume Elements . 15 1.4.3 Volume Comparison . 16 1.5 The Jacobian Determinant of the Exponential Map . 20 1.6 Characterizations of Ricci Curvature Lower Bound . 22 1.7 Characterization of Warped Product . 24 2 Geometry of Manifolds with Ricci Curvature Lower Bound 27 2.1 Cheeger-Gromoll's Splitting Theorem .
    [Show full text]
  • Injectivity Radius Estimates and Sphere Theorems
    Comparison Geometry MSRI Publications Volume 30, 1997 Injectivity Radius Estimates and Sphere Theorems UWE ABRESCH AND WOLFGANG T. MEYER Abstract. We survey results about the injectivity radius and sphere the- orems, from the early versions of the topological sphere theorem to the 1 authors' most recent pinching below- 4 theorems, explaining at each stage the new ideas involved. Introduction Injectivity radius estimates and sphere theorems have always been a central theme in global differential geometry. Many tools and concepts that are now fundamental for comparison geometry have been developed in this context. This survey of results of this type reaches from the early versions of the 1 topological sphere theorem to the most recent pinching below- 4 theorems. Our main concern is to explain the new ideas that enter at each stage. We do not cover the differentiable sphere theorem and sphere theorems based on Ricci curvature. In Sections 1–3 we give an account of the entire development from the first sphere theorem of H. E. Rauch to M. Berger’s rigidity theorem and his pinching 1 below-4 theorem. Many of the main results depend on subtle injectivity radius estimates for compact, simply connected manifolds. In Section 4 we present our recent injectivity radius estimate for odd-dimen- n 1 sional manifolds M with a pinching constant below 4 that is independent of n [Abresch and Meyer 1994]. With this estimate the restriction to even-dimensional 1 manifolds can be removed from the hypotheses of Berger’s pinching below- 4 theorem. Additional work is required in order to get a sphere theorem for odd-dimen- n 1 sional manifolds M with a pinching constant < 4 independent of n.
    [Show full text]
  • The Differentiable Sphere Theorem for Manifolds with Positive Ricci Curvature
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 3, March 2012, Pages 1011–1021 S 0002-9939(2011)10952-3 Article electronically published on July 21, 2011 THE DIFFERENTIABLE SPHERE THEOREM FOR MANIFOLDS WITH POSITIVE RICCI CURVATURE HONG-WEI XU AND JUAN-RU GU (Communicated by Jianguo Cao) Abstract. We prove that if M n is a compact Riemannian n-manifold and if − Ricmin > (n 1)τnKmax,whereKmax(x):=maxπ⊂TxM K(π), Ricmin(x):= · · minu∈UxM Ric(u), K( )andRic( ) are the sectional curvature and Ricci cur- − 6 vature of M respectively, and τn =1 5(n−1) ,thenM is diffeomorphic to a spherical space form. In particular, if M is a compact simply connected manifold with K ≤ 1andRicM > (n − 1)τn,thenM is diffeomorphic to the standard n-sphere Sn. We also extend the differentiable sphere theorem above to submanifolds in Riemannian manifolds with codimension p. 1. Introduction and main results In 1989, Shen [14] obtained the following important topological sphere theorem for manifolds of positive Ricci curvature (see also [16]). Theorem A. Let M n be an n-dimensional complete and simply connected mani- fold. If the sectional curvature satisfies KM ≤ 1, and the Ricci curvature satisfies RicM ≥ (n − 1)δn,where 5 − 3 8 8(n−1) for even n, δn = 5 − 3 8 4(n−1) for odd n, then M is homeomorphic to the n-sphere Sn. A natural question related to Shen’s sphere theorems is as follows. Question. Can one prove a differentiable sphere theorem for manifolds satisfying similar pinching condition? In 1966, Calabi (unpublished) and Gromoll [8] first investigated the differen- tiable pinching problem for positive pinched compact manifolds.
    [Show full text]
  • Ricci Flow and Manifolds with Positive Curvature
    Ricci flow and manifolds with positive curvature Lei Ni Dedicated to Nolan Wallach on his 70th birthday Abstract This is an expository article based on the author’s lecture delivered at the conference Lie Theory and Its Applications in March 2011, UCSD. We discuss various notions of positivity and their relations with the study of the Ricci flow, including a proof of the assertion, due to Wolfson and the author, that the Ricci flow preserves the positivity of the complex sectional curvature. We discuss the examples of Wallach of the manifolds with positive pinched sectional curvature and the behavior of Ricci flow on some examples. Finally we discuss the recent joint work with Wilking on the manifolds with pinched flag curvature and some open problems. Keywords: Positivity of the Curvature • Ricci flow • Flag curvature pinching Mathematics Subject Classification: 53C44 1 Introduction This article is based on the author’s lecture delivered at the conference Lie Theory and Its Applications in March 2011, UCSD. Gauss curvature was defined for surfaces in three-dimensional Euclidean space R3 by the determinant of the second fundamental form of the embedding with respect to the first fundamental form, namely the induced metric. The Theorem The research of the author was partially supported by NSF grant DMS-1105549. L. Ni Department of Mathematics, University of California at San Diego, La Jolla, CA 92093, USA e-mail: lni@math.ucsd.edu © Springer Science+Business Media New York 2014 491 R. Howe et al. (eds.), Symmetry: Representation Theory and Its Applications, Progress in Mathematics 257, DOI 10.1007/978-1-4939-1590-3__17 492 Lei Ni Egregium of Gauss [11] asserts that it is in fact an invariant depending only on the first fundamental form, namely the metric of the given surface.
    [Show full text]
  • Sphere Theorems in Geometry
    Surveys in Differential Geometry XIII Sphere theorems in geometry Simon Brendle and Richard Schoen 1. The topological sphere theorem The sphere theorem in differential geometry has a long history, dating back to a paper by H.E. Rauch in 1951. In that paper [64], Rauch posed the question of whether a compact, simply connected Riemannian manifold M whose sectional curvatures lie in the interval (1, 4] is necessarily homeo- morphic to the sphere. Around 1960, M. Berger and W. Klingenberg gave an affirmative answer to this question: Theorem 1.1 (M. Berger [3]; W. Klingenberg [48]). Let M beacom- pact, simply connected Riemannian manifold whose sectional curvatures lie in the interval (1, 4]. Then M is homeomorphic to Sn. More generally, Berger [4] proved that a compact, simply connected Riemannian manifold whose sectional curvatures lie in the interval [1, 4] is either homeomorphic to Sn or isometric to a compact symmetric space of rank one. K. Grove and K. Shiohama proved that the upper bound on the sectional curvature can be replaced by a lower bound on the diameter: Theorem 1.2 (K. Grove, K. Shiohama [33]). Let M be a compact Rie- mannian manifold with sectional curvature greater than 1. If the diameter of M is greater than π/2, then M is homeomorphic to Sn. There is an interesting rigidity statement in the diameter sphere the- orem. To describe this result, suppose that M is a compact Riemannian manifold with sectional curvature K ≥ 1 and diameter diam(M) ≥ π/2. A theorem of D. Gromoll and K. Grove [27] asserts that M is either home- omorphic to Sn, or locally symmetric, or has the cohomology ring of the The first author was partially supported by a Sloan Foundation Fellowship and by NSF grant DMS-0605223.
    [Show full text]
  • Simon Brendle: “Ricci Flow and the Sphere Theorem” Am
    Jahresber Dtsch Math-Ver (2011) 113: 49–54 DOI 10.1365/s13291-011-0014-y BUCHBESPRECHUNG Simon Brendle: “Ricci Flow and the Sphere Theorem” Am. Math. Soc. 2010, 176 pp. Klaus Ecker Published online: 8 February 2011 © Vieweg+Teubner und Deutsche Mathematiker-Vereinigung 2011 This monograph gives an account of the recent proof of the famous Differentiable Sphere Theorem due to the Si- mon Brendle and Richard Schoen. Their method relies on Hamilton’s Ricci flow for metrics on manifolds. Let us first review the relevant background material following the first two chapters of this book. For a smooth Riemannian manifold (M, g) we define the Riemann curvature tensor by −R(X,Y,Z,W) = g(∇X∇Y Z −∇Y ∇XZ −∇[X,Y ]Z,W) for vector fields X, Y, Z, W on M where ∇ denotes the unique way of covariantly differentiating vector fields in the direction of other vector fields (this rule produces again vector fields and is invariant under coordinate transformations) which is com- patible with the metric (a kind of product rule condition) and torsion-free, that is [X, Y ]=∇XY −∇Y X. Hence the curvature tensor in some sense measures the de- fect in commuting second derivatives of vector fields. The third term on the right hand side is included to ensure that R is a tensor field in all four entries. The curva- ture tensor satisfies the symmetry condition R(X,Y,Z,W) =−R(Y,X,Z,W) = R(Z,W,X,Y). Therefore, one may view it as a symmetric bilinear form on the space of 2-forms on M.Thecurvature operator R is defined on pairs of 2-forms by R(X ∧ Y,Z ∧ W)= R(X,Y,Z,W).
    [Show full text]