New Geometric Flows

Total Page:16

File Type:pdf, Size:1020Kb

New Geometric Flows National Science Review REVIEW 5: 534–541, 2018 doi: 10.1093/nsr/nww053 Advance access publication 12 September 2016 MATHEMATICS New geometric flows Gang Tian1,2 ABSTRACT Downloaded from https://academic.oup.com/nsr/article/5/4/534/2615238 by guest on 27 September 2021 This is an expository paper on geometric flows. I will start with a brief tour on Ricci flow, thenIwill discuss two geometric flows introduced in my joint work with J. Streets and some recent workson them. Keywords: Ricci flow, metrics, AMMP, Kahler,¨ Hermitian, symplectic RICCI FLOW AND ITS APPLICATION First, we recall that a metric g is Einstein if Ric(g) = λ g, where λ is a constant, often nor- We will assume that M is a closed manifold of dimen- malized to be −(n − 1), 0 or n − 1. Note sion n and g is fixed. The Ricci flow was introduced 0 that Ric(g) = (R ) denotes the Ricci curvature by Hamilton in [1]: ij of g and measures the deviation of volume form from the Euclidean one. In dimension 2, an Ein- ∂g stein metric is simply a metric of constant Gauss ij =−2R , g (0) = a given metric. ∂t ij curvature. (1) Now we assume that M is a closed 3-manifold. It Hamilton and later DeTurck proved that for any ini- is known that any Einstein metric on a 3-manifold tial metric there is a unique solution g(t)onM × [0, is of constant sectional curvature. Therefore, it fol- T)forsomeT > 0. Hamilton also established an an- lows from the classical uniformization theorem that alytic theory for Ricci flow. It provides a way of con- if M admits an Einstein metric, then its universal cov- structing Einstein metrics as one has done for 2D or ering is of the form either round sphere S3 or R3 or 3D manifolds. the hyperbolic 3-ball H3. Thus, if we can construct an If M is a 2-manifold, it is proved in [2,3] that given Einstein metric, then we have a similar picture for 3- 1School of any initial g0 on M, (1) has a global solution g(t) after manifolds as we have for surfaces. However, not ev- Mathematical normalization and g(t) converges to a metric g∞ on ery 3-manifold admits an Einstein metric. One can Sciences, Peking 1 M. One can show that g∞ is of constant Gauss curva- easily construct such examples, such as × S for University, Beijing any surface of genus > 1. This is because its funda- 100871, China and ture. The proof is trivial if M has non-positive Euler 2 number and contained in [4]ifM has positive Eu- mental group is the product of a surface group with Department of Z Mathematics, ler number. Thus, combined with the classical uni- which is neither an Abelian group nor the funda- Princeton University, formization theorem on surfaces, we can use Ricci mental group of any hyperbolic compact 3-manifold Princeton, NJ 08544, flow to prove the following. The universal covering (cf. [5]). USA of M is isomorphic to either the 2D round sphere S2 It was known [6] that any closed 3-manifold can or the Euclidean plane R2 or the hyperbolic disk D. be decomposed along embedded 2-spheres into ir- E-mail: Of course, this conclusion can be also obtained by reducible 3-manifolds; moreover, such a decompo- [email protected] the elliptic method or the Riemann mapping theo- sition is essentially unique. Thurston’s Geometriza- rem. However, the method of Ricci flow has much tion Conjecture claims (cf. [5]) that any irreducible Received 18 July more advantages since it can be generalized to higher 3-manifold can be decomposed along incompress- 2016; Revised 15 dimensions. ible tori into finitely many complete Einstein 3- August 2016; A celebrated example is Perelman’s resolution for manifolds plus some Graph manifolds. The famous Accepted 15 August Thurston’s Geometrization Conjecture, which im- Poincare´ Conjecture is a special case of this Ge- 2016 plies the famous PoincareConjecture.´ ometrization Conjecture. C The Author(s) 2016. Published by Oxford University Press on behalf of China Science Publishing & Media Ltd. All rights reserved. For permissions,please e-mail: [email protected] REVIEW Tian 535 The Geometrization Conjecture was solved by If M is simply connected or its fundamental group Perelman (cf. [7,8]) using the Ricci flow. is not too big, Perelman showed us in [9]whyMt has If the Ricci flow has a solution g(t), then we can to become empty for t sufficiently large, i.e. the Ricci choose a scaling λ(t) > 0 and a reparametrization flow with surgery becomes extinct in finite time. In t = t(s) with λ(0) = 1 and t(0) = 0suchthat particular, the Poincare´ Conjecture follows. One can g˜(s ) = λ(s )g (t(s )) has fixed volume and satisfies find detailed proof of this finite extinction in[10] the normalized Ricci flow: and [11]. To solve Thurston’s Geometrization Con- ∂g˜ R˜(s ) ij =−2 R˜ − g˜ , (2) jecture, one needs to study asymptotic behavior ∂s ij 3 ij of the above Ricci flow with surgery (in 2012, Bamler found and fixed a gap in section 6.4 of Downloaded from https://academic.oup.com/nsr/article/5/4/534/2615238 by guest on 27 September 2021 where R˜ij denotes the Ricci curvature of g˜(s ), and [9] that had been missed) and prove a result R˜(s ) denotes the average of the scalar curvature of on collapsing 3-manifolds with curvature locally g˜(s ). If the normalized Ricci flow (2) has a global bounded from below and geodesically convex solution g˜(s )foralls ≥ 0 and g˜(s ) converges to a boundary. smooth metric g∞ as s goes to ∞, then its limiting Perelman did not prove that there are only metric g∞ is an Einstein metric, so the universal cov- finitely many surgeries. It was accomplished by Bam- ering of M is standard. The Geometrization Conjec- ler in [12]. Moreover, he proved that after finitely ture follows. many surgeries, the normalized Ricci flow g(t)has In 1982, Hamilton proved that for any 3- bounded curvature and consequently, converges to manifold with a metric g0 with positive Ricci curva- limiting spaces (possibly collapsed) that fall into one ture, (2) with initial metric g0 has a global solution of the eight geometries classified by Thurston. This that converges smoothly to a metric of constant pos- limit should be unique, but a complete proof is still itive curvature. It follows that M is a quotient of S3 missing though it seems to be doable. Thus, if we by a finite group. could further prove that finite-time surgery is canon- However, in general, (1) or (2) develops singu- ical, then one would have a refined version of the larity at finite time, so one has to introduce amore Geometrization Conjecture: given (M, g0), there is general evolution process called ‘Ricci flow with a unique Ricci flow with surgery (Mt, g(t)) with ini- surgery’. This evolution process is still given by(Mt, tial value (M, g0) such that either Mt becomes ex- g(t)) satisfying: (i) there is a discrete set of times t0 tinct when t is sufficiently large or after normaliza- = 0 < t1 < ... < ti < ... without accumulation point tion, (Mt, g(t)) converges to a unique limit in the such that in each (ti, ti+1), Mt is a fixed smooth mani- eight geometries. fold and g(t) is the usual Ricci flow on Mt; (ii) at each For higher dimensions, we do not know much ti for i ≥ 1, the manifolds and metrics undergo topo- about singularity formation of Ricci flow unless the logical and metric discontinuities (surgeries), in par- underlying manifolds have certain structures. If the ticular, the topology type of Mt for T < ti changes initial metric g0 has either positive curvature op- to that of Mt for t > ti as t moves across ti.Inthis erator or positive bisectional curvature or positive definition, we did not specify how g(t) moves across isotropic curvature, so does g(t) along the Ricci flow. ti. We expect there is a canonical way for g(t)togo In particular, Brendle and Schoen solved a long- through the surgery time. This is still an open prob- standing problem: if a closed manifold admits a met- lem and has applications though it is not needed in ric with curvature 1/4-pinched, then it is diffeomor- Perelman’s resolution of the Geometrization Con- phic to a sphere. jecture. If the initial metric g0 is Kahler,¨ so does g(t) One of Perelman’s crucial advances is that one along the Ricci flow, thus we can restrict the Ricci needs to do surgeries only along two spheres; con- flow to Kahler¨ metrics and call it Kahler-Ricci¨ flow. sequently, he understood completely the change in The analytic minimal model program, abbreviated topology. More precisely, he proved: ‘There is a Ricci as AMMP (it is also referred as the Song-Tian pro- flow with surgery (Mt, g(t)) defined for all t ∈ [0, gram), is to use the Kahler-Ricci¨ flow to deform ∞) with any given initial 3-manifold (M, g0). The any Kahler¨ metric towards a canonical model metric, topological change in the 3-manifold as one crosses possibly through finitely many finite-time surgeries. a surgery time is a connected sum decomposition This gives a promising approach to classify all closed together with removal of connected components, Kahler¨ manifolds birationally. Let us briefly describe each of which is diffeomorphic to one of S2 × S1, the AMMP.
Recommended publications
  • The Mean Curvature Flow of Submanifolds of High Codimension
    The mean curvature flow of submanifolds of high codimension Charles Baker November 2010 arXiv:1104.4409v1 [math.DG] 22 Apr 2011 A thesis submitted for the degree of Doctor of Philosophy of the Australian National University For Gran and Dar Declaration The work in this thesis is my own except where otherwise stated. Charles Baker Abstract A geometric evolution equation is a partial differential equation that evolves some kind of geometric object in time. The protoype of all parabolic evolution equations is the familiar heat equation. For this reason parabolic geometric evolution equations are also called geometric heat flows or just geometric flows. The heat equation models the physical phenomenon whereby heat diffuses from regions of high temperature to regions of cooler temperature. A defining characteris- tic of this physical process, as one readily observes from our surrounds, is that it occurs smoothly: A hot cup of coffee left to stand will over a period of minutes smoothly equilibrate to the ambient temperature. In the case of a geometric flow, it is some kind of geometric object that diffuses smoothly down a driving gradient. The most natural extrinsically defined geometric heat flow is the mean curvature flow. This flow evolves regions of curves and surfaces with high curvature to regions of smaller curvature. For example, an ellipse with highly curved, pointed ends evolves to a circle, thus minimising the distribution of curvature. It is precisely this smoothing, energy- minimising characteristic that makes geometric flows powerful mathematical tools. From a pure mathematical perspective, this is a useful property because unknown and complicated objects can be smoothly deformed into well-known and easily understood objects.
    [Show full text]
  • CHAPTER 6: RICCI FLOW Contents 1. the Hamilton–Perelman Program
    CHAPTER 6: RICCI FLOW DANNY CALEGARI Abstract. These are notes on Ricci Flow on 3-Manifolds after Hamilton and Perelman, which are being transformed into Chapter 6 of a book on 3-Manifolds. These notes are based on a graduate course taught at the University of Chicago in Fall 2019. Contents 1. The Hamilton–Perelman program1 2. Mean curvature flow: a comparison8 3. Curvature evolution and pinching 15 4. Singularities and Limits 33 5. Perelman’s monotone functionals 41 6. The Geometrization Conjecture 54 7. Acknowledgments 61 References 61 1. The Hamilton–Perelman program In this section we give a very informal overview of the Hamilton–Perelman program proving the Poincaré Conjecture and the Geometrization Conjecture for 3-manifolds. 1.1. What is Ricci flow? There’s lots of different ways to answer this question, depending on the point you want to emphasize. There’s no getting around the precision and economy of a formula, but for now let’s see how far we can get with mostly words. First of all, what is curvature? To be differentiable is to have a good linear approximation at each point: the derivative. To be smooth is for successive derivatives to be themselves differentiable; for example, the deviation of a smooth function from its derivative has a good quadratic approximation at each point: the Hessian. A Riemannian manifold is a space which is Euclidean (i.e. flat) to first order. Riemannian manifolds are smooth, so there is a well-defined second order deviation from flatness, and that’s Curvature. In Euclidean space of dimension n a ball of radius r has volume rn times a (dimension dependent) constant.
    [Show full text]
  • The Differences of Ricci Flow Between Perelman and Hamilton About the Poincaré Conjecture and the Geometrization Conjecture Of
    Journal of Modern Education Review, ISSN 2155-7993, USA September 2017, Volume 7, No. 9, pp. 662–670 Doi: 10.15341/jmer(2155-7993)/09.07.2017/007 © Academic Star Publishing Company, 2017 http://www.academicstar.us The Differences of Ricci Flow between Perelman and Hamilton about the Poincaré Conjecture and the Geometrization Conjecture of Thurston for Mathematics Lectures Karasawa Toshimitsu (YPM Mara Education Foundation/Univertiti Kuala Lumpur, Japan) Abstract: In this paper, it will be given the ideas of the proof the Poincaré conjecture and the geometrization conjecture of Thurston by Perelman who is a Russian mathematician posted the first of a series of three e-prints. Perelman’s proof uses a modified version of a Ricci flow program developed by Richard Streit Hamilton. Someone said that the major contributors of this work are Hamilton and Perelman. Actually Ricci flow was pioneered by Hamilton. But the version of surgery needed for Perelman’s argument which is extremely delicate as one need to ensure that all the properties of Ricci flow used in the argument also hold for Ricci flow with surgery. Running the surgery in reverse, this establishes the full geometry conjecture of Thurston, and in particular the Poincaré conjecture as a special and simpler case. This is the excellent thing for the mathematics lecturer to find in his/her mathematics education. Keywords: Ricci Flow, Poincaré conjecture, Geometrization conjecture, Perelman, Hamilton 1. Introduction The Poincaré conjecture was one of the most important open questions in topology before being proved. In 2000, it was named one of the seven Millennium Prize Problems which were conceived to record some of the most difficult problems with which mathematicians were grappling at the turn of the second millennium.
    [Show full text]
  • Ancient Solutions to Geometric Flows
    Ancient Solutions to Geometric Flows Panagiota Daskalopoulos and Natasa Sesum A major breakthrough in the history of nonlinear par- one that has thus far been solved, though its proof was tial differential equations occurred in 2004 with Grig- envisioned by Richard S. Hamilton in the early 1980s. ori Yakovlevich Perelman’s proof of the Poincare´ conjec- The early 1980s was an exciting time for the devel- ture and Thurston’s geometrization conjecture, which was opment of nonlinear elliptic and parabolic PDEs. The based on years of work on the Ricci flow by Richard Hamil- fundamental work of N. Krylov and M. Safonov on the ton. Hölder regularity for elliptic and parabolic second-order Thurston’s geometrization conjecture, considered to be equations in nondivergence form was opening new fun- one of the most important problems in topology, is a damental directions for the development of fully nonlin- generalization of the Poincare´ conjecture, stated by Henri ear equations. About the same time, geometric analysts Poincare´ in 1904. The latter asserts that any closed simply such as R. Hamilton, G. Huisken, R. Schoen, L. Simon, connected three-dimensional manifold is topologically a three- K. Uhlenbeck, and S. T. Yau, among others, were develop- dimensional sphere. Simply connected means that any loop ing new models of nonlinear elliptic and parabolic geo- on the manifold can be contracted to a point. Analogous metric PDEs, aiming to approach fundamental problems results in higher dimensions had been previously resolved in topology and geometry. by Stephen Smale (in dimensions 푛 ≥ 5) and Michael During one of the discussions between Hamilton and Freedman (in dimension 푛 = 4), who both received the Yau the idea of using the Ricci flow for the resolution of Fields Medal for their contributions to this problem.
    [Show full text]
  • Geometric Evolution Equations
    GEOMETRIC EVOLUTION EQUATIONS OLIVER C. SCHNURER¨ Abstract. Lecture notes for the Summer School of the International Re- search Training Group Arithmetic and Geometry, 02.09.–07.09.2007 in Alp- bach (Tirol). Contents 0. Overview 1 1. Differential Geometry of Submanifolds 2 2. Evolving Submanifolds 6 3. Evolution Equations for Submanifolds 11 4. Graphical Solutions to Mean Curvature Flow 16 5. Convex Hypersurfaces 20 6. Mean Curvature Flow with Surgery 26 7. Ricci Flow 28 8. Evolution Equations 29 9. Spherical Space Forms 30 10. Non-Compact Solutions 31 11. Ricci Flow with Surgery 32 Appendix A. Parabolic Maximum Principles 33 Appendix B. Some linear algebra 34 References 36 0. Overview We consider flow equations that deform manifolds according to their curvature. In the lectures, I will focus on two types of such flow equations. n n+1 If X0 : M → R is an embedding of an n-dimensional manifold, we can define principal curvatures (λi)1≤i≤n and a normal vector ν. We deform the embedding vector according to ( d dt X = −F ν, X(·, 0) = X0, where F is a symmetric function of the principal curvatures, e. g. the mean curvature H = λ1 + ··· + λn. In this way, we obtain a family X(·, t) of embeddings and study their behavior near singularities and for large times. We consider hypersurfaces that contract to a point in finite time and, after appropriate rescaling, to a round sphere. Graphical solutions are shown to exist for all times. Date: September 2007. 2000 Mathematics Subject Classification. 53C44. 1 2 OLIVER C. SCHNURER¨ We will also consider Ricci flow, where the metric g(t) of a Riemannian manifold M evolves according to ( ∂ ∂t g(t) = −2 Ric (g(t)), g(0) = g0.
    [Show full text]
  • The Inverse Mean Curvature Flow: Singularities, Dynamical Stability, and Applications to Minimal Surfaces
    The Inverse Mean Curvature Flow: Singularities, Dynamical Stability, and Applications to Minimal Surfaces By BRIAN DONALD HARVIE DISSERTATION Submitted in partial satisfaction of the requirements for the degree of DOCTOR OF PHILOSOPHY in MATHEMATICS in the OFFICE OF GRADUATE STUDIES of the UNIVERSITY OF CALIFORNIA DAVIS Approved: Adam Jacob, Chair Joel Hass Andrew Waldron Committee in Charge 2021 i Source: The Far Side by Gary Larson ii To my friends, family, and teachers. iii Contents Abstract vi Acknowledgments vii List of Figures ix Chapter 1. Introduction 1 1.1. A Brief Overview of Geometric Flows 1 1.2. The Contraction and Expansion of Hypersurfaces by their Mean Curvature 3 1.3. Singularities of MCF and IMCF 6 1.4. The Dynamical Stability of Round Spheres under MCF and IMCF 13 1.5. Weak Solutions, Outward-Minimizing Sets, and Applications in General Relativity 16 Chapter 2. The Eventual Star Shape of Classical and Weak Solutions 22 2.1. The Main Theorems 22 2.2. An Aleksandrov Reflection Approach to Variational Solutions 25 2.3. Consequences for Classical Solutions 31 2.4. Intersections and Singularities in the Spherical Topology 38 Chapter 3. The Singular Limit of IMCF on a Torus 45 3.1. The Main Theorems 45 3.2. The Generating Curve 47 3.3. An Energy Estimate on Gauss Curvature 51 3.4. Rescaling the Singularity 53 3.5. Convergence at Tmax 57 3.6. The General Case 58 Chapter 4. The Flow of Rotationally Symmetric Hypersurfaces into Spheres 61 iv 4.1. The Main Theorem 61 4.2. Preserving Embeddedness 64 4.3.
    [Show full text]
  • Research Statement
    RESEARCH STATEMENT THEODORA BOURNI My research interests are in geometric analysis, and particularly in the areas of differential geometry, partial differential equations, geometric flows and geometric measure theory. I am especially interested in minimal surfaces and the mean curvature flow. In what follows, I will outline my main research and some of the results I have obtained. I will begin with a brief introduction to minimal surfaces and mean curvature flow aiming to outline the motivation for their study and their connection to other fields of mathematics. minimal surfaces The theory of minimal surfaces, which are critical points for the area functional, dates back to the investigations of Euler and Lagrange, in connection with the calculus of variations, during the second half of the 18th century, and to this day remains a very active field of research. The theory became very popular during the nineteenth century with the realization of minimal surfaces as soap films by Plateau. Plateau's extensive experimentation with soap films resulted in his name being given to what is known today as Plateau's problem. This problem, which was first raised by Lagrange, asks for the existence of a minimal surface with a given boundary. Plateau's problem was solved (for surfaces in R3) by Douglas and Rad´oin the 1930's [36, 71]. De Giorgi, around 1960, solved the problem for general hypersurfaces [35] and, soon after, Federer and Fleming solved the problem in arbitrary dimension and codimension by the use of integral currents [44]. Integral currents are generalizations of oriented manifolds and provide a concept of `k-dimensional domains of integration in Euclidean n-space', which are extremely powerful tools in the calculus of variations due to their compactness properties.
    [Show full text]
  • Geometric Invariants of the Time-Slice of the Mean Curvature Flow
    Global Journal of Advanced Research on Classical and Modern Geometries ISSN: 2284-5569, Vol.10, (2021), Issue 1, pp.15-31 GEOMETRIC INVARIANTS OF THE TIME-SLICE OF THE MEAN CURVATURE FLOW FRANCK HOUENOU, CARLOS OGOUYANDJOU, LEONARD TODJIHOUNDE AND JOEL TOSSA Abstract. Let S be a submanifold of a Riemannian manifold M. The evolution equations of some extrinsic geometric quantities such as the norm of the second fundamental form, the norm of the mean curvature, etc., have been computed along the mean curvature flow and then used to investigate either the long-time existence of the floworsome extrinsic geometrical properties (minimality, totally geodesic, umbilicity, etc.) of the limiting submanifold (see e.g. [1, 2, 4, 5]). But few results are known about the intrinsic geometry of the evolving submanifold along the flow [3]. In the present work, assuming that the mean curvature flow exists, we compute for a submanifold of a Riemannian manifold, the evolution equations of the Riemannian curvature, the Ricci curvature and the scalar curvature which are intrinsic geometrical invariants of the submanifold. From the evolution equation of the scalar curvature, we derived that the graphical mean curvature flow favours positive scalar curvature ; a well known result in thisarea. 1. Introduction and motivations The celebrated theory of J. F. Nash on isometric immersion of a Riemannian manifold into a suitable Euclidean space gives a very important and effective motivation to view each Riemannian manifold as a submanifold in an Euclidean space. Since ever, the problem of discovering simple and sharp relationships between intrinsic and extrinsic invariants of a Riemannian submanifold becomes one of the most fundamental problems in submanifolds theory.
    [Show full text]
  • GEOMETRIC EVOLUTION EQUATIONS Contents 0. Overview
    GEOMETRIC EVOLUTION EQUATIONS OLIVER C. SCHNURER¨ Abstract. Lecture notes for the Summer School of the International Re- search Training Group Arithmetic and Geometry, 02.09.–07.09.2007 in Alp- bach (Tirol). Contents 0. Overview 1 1. Differential Geometry of Submanifolds 2 2. Evolving Submanifolds 6 3. Evolution Equations for Submanifolds 11 4. Graphical Solutions to Mean Curvature Flow 16 5. Convex Hypersurfaces 20 6. Mean Curvature Flow with Surgery 26 7. Ricci Flow 28 8. Evolution Equations 29 9. Spherical Space Forms 30 10. Non-Compact Solutions 31 11. Ricci Flow with Surgery 32 Appendix A. Parabolic Maximum Principles 33 Appendix B. Some linear algebra 34 References 36 0. Overview We consider flow equations that deform manifolds according to their curvature. In the lectures, I will focus on two types of such flow equations. n n+1 If X0 : M → R is an embedding of an n-dimensional manifold, we can define principal curvatures (λi)1≤i≤n and a normal vector ν. We deform the embedding vector according to ( d dt X = −F ν, X(·, 0) = X0, where F is a symmetric function of the principal curvatures, e. g. the mean curvature H = λ1 + ··· + λn. In this way, we obtain a family X(·, t) of embeddings and study their behavior near singularities and for large times. We consider hypersurfaces that contract to a point in finite time and, after appropriate rescaling, to a round sphere. Graphical solutions are shown to exist for all times. Date: August 2007. 2000 Mathematics Subject Classification. 53C44. 1 2 OLIVER C. SCHNURER¨ We will also consider Ricci flow, where the metric g(t) of a Riemannian manifold M evolves according to ( ∂ ∂t g(t) = −2 Ric (g(t)), g(0) = g0.
    [Show full text]