skip to main content

This content will become publicly available on July 1, 2023

Title: Uniqueness and stability of Ricci flow through singularities
We verify a conjecture of Perelman, which states that there exists a canonical Ricci flow through singularities starting from an arbitrary compact Riemannian 3‑manifold. Our main result is a uniqueness theorem for such flows, which, together with an earlier existence theorem of Lott and the second named author, implies Perelman’s conjecture. We also show that this flow through singularities depends continuously on its initial condition and that it may be obtained as a limit of Ricci flows with surgery. Our results have applications to the study of diffeomorphism groups of 3‑manifolds—in particular to the generalized Smale conjecture—which will appear in a subsequent paper.
Authors:
;
Award ID(s):
2005553
Publication Date:
NSF-PAR ID:
10353914
Journal Name:
Acta mathematica
Volume:
228
Issue:
1
Page Range or eLocation-ID:
1-215
ISSN:
1871-2509
Sponsoring Org:
National Science Foundation
More Like this
  1. We complete the proof of the Generalized Smale Conjecture, apart from the case of R P 3 RP^3 , and give a new proof of Gabai’s theorem for hyperbolic 3 3 -manifolds. We use an approach based on Ricci flow through singularities, which applies uniformly to spherical space forms, except S 3 S^3 and R P 3 RP^3 , as well as hyperbolic manifolds, to prove that the space of metrics of constant sectional curvature is contractible. As a corollary, for such a 3 3 -manifold X X , the inclusion Isom ⁡ ( X , g ) → Diff ⁡ ( X ) \operatorname {Isom}(X,g)\rightarrow \operatorname {Diff}(X) is a homotopy equivalence for any Riemannian metric g g of constant sectional curvature.
  2. We show that the underlying complex manifold of a complete non-compact two-dimensional shrinking gradient Kähler-Ricci soliton (M,g,X) with soliton metric g with bounded scalar curvature Rg whose soliton vector field X has an integral curve along which Rg↛0 is biholomorphic to either C×P1 or to the blowup of this manifold at one point. Assuming the existence of such a soliton on this latter manifold, we show that it is toric and unique. We also identify the corresponding soliton vector field. Given these possibilities, we then prove a strong form of the Feldman-Ilmanen-Knopf conjecture for finite time Type I singularities of the Kähler-Ricci flow on compact Kähler surfaces, leading to a classification of the bubbles of such singularities in this dimension.
  3. This work proposes a rigorous and practical algorithm for quad-mesh generation based the Abel-Jacobi theory of algebraic \textcolor{red}{curves}. We prove sufficient and necessary conditions for a flat metric with cone singularities to be compatible with a quad-mesh, in terms of the deck-transformation, then develop an algorithm based on the theorem. The algorithm has two stages: first, a meromorphic quartic differential is generated to induce a T-mesh; second, the edge lengths of the T-mesh are adjusted by solving a linear system to satisfy the deck transformation condition, which produces a quad-mesh. In the first stage, the algorithm pipeline can be summarized as follows: calculate the homology group; compute the holomorphic differential group; construct the period matrix of the surface and Jacobi variety; calculate the Abel-Jacobi map for a given divisor; optimize the divisor to satisfy the Abel-Jacobi condition by integer programming; compute \textcolor{red}{a} flat Riemannian metric with cone singularities at the divisor by Ricci flow; \textcolor{red}{isometrically} immerse the surface punctured at the divisor onto the complex plane and pull back the canonical holomorphic differential to the surface to obtain the meromorphic quartic differential; construct a motorcycle graph to generate a T-Mesh. In the second stage, the deck transformation constraints are formulatedmore »as a linear equation system of the edge lengths of the T-mesh. The solution provides a flat metric with integral deck transformations, which leads to the final quad-mesh. The proposed method is rigorous and practical. The T-mesh and quad-mesh results can be applied for constructing Splines directly. The efficiency and efficacy of the proposed algorithm are demonstrated by experimental results on surfaces with complicated topologies and geometries.« less
  4. Abstract In a recent paper, Brendle showed the uniqueness of the Bryant soliton among 3-dimensional κ-solutions.In this paper, we present an alternative proof for this fact and show that compact κ-solutions are rotationally symmetric.Our proof arose from independent work relating to our Strong Stability Theorem for singular Ricci flows.
  5. We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient condition for this, whose proof relies on the Decomposition Theorem and Saito’s theory of mixed Hodge modules. We use it to generalize the theorem of Greb-Kebekus-Kovács-Peternell to complex spaces with rational singularities, and to prove the existence of a functorial pull-back for reflexive differentials on such spaces. We also use our methods to settle the “local vanishing conjecture” proposed by Mustaţă, Olano, and Popa.