[Paper Review] Finite extinction time for the solutions to the Ricci flow on certain three-manifolds

Grisha Perelman|ArXiv.org|Jul 17, 2003

Geometric Analysis and Curvature FlowsMathematics1 references582 citations

TL;DR

This paper proves that Ricci flow with surgery on any closed, oriented three-manifold without aspherical prime factors—such as spherical space forms and $\mathbb{S}^2 \times \mathbb{S}^1$—exhibits finite extinction time for every initial metric. The argument combines a regularized curve shortening flow with a least-area disk estimate under Ricci flow, showing that the minimal area functional decreases at a rate bounded below by $-2\pi - \frac{1}{2}R_{\text{min}} A^t$, leading to extinction in finite time via a comparison with a divergent integral.

ABSTRACT

Let M be a closed oriented three-manifold, whose prime decomposition contains no aspherical factors. We show that for any initial riemannian metric on M the solution to the Ricci flow with surgery, defined in our previous paper math.DG/0303109, becomes extinct in finite time. The proof uses a version of the minimal disk argument from 1999 paper by Richard Hamilton, and a regularization of the curve shortening flow, worked out by Altschuler and Grayson.

Motivation & Objective

• To resolve the open analytical question of whether Ricci flow with surgery becomes extinct in finite time for every initial metric on three-manifolds of the first type in Perelman's classification.
• To provide a direct proof of the elliptization conjecture without relying on the full long-time analysis of [P,§6–8].
• To establish that the absence of aspherical prime factors in a 3-manifold implies finite extinction time for all initial metrics under Ricci flow with surgery.
• To extend the minimal area disk argument to singular curves via regularization of the curve shortening flow, ensuring continuity and differentiability in the flow parameter.

Proposed method

• Define the functional $ A(\alpha, g^t) $ as the infimum of areas of Lipschitz maps from $ \mathbb{D}^2 $ to $ M $ with boundary in a given homotopy class $ \alpha \in \pi_*(\Lambda M, M) $.
• Establish a differential inequality for the rate of change of $ A^t = A(\alpha, g^t) $: $ \frac{d}{dt}A^t \leq -2\pi - \frac{1}{2}R^t_{\text{min}} A^t $, derived from the Gauss-Bonnet theorem and Ricci flow evolution.
• Regularize the curve shortening flow on singular or non-immersed curves using a one-dimensional extension technique inspired by Altschuler and Grayson, ensuring smooth convergence in the limit.
• Use the boundedness of length and total curvature under the regularized flow to control area evolution and apply comparison arguments via ODEs.
• Apply a $ \mu $-net argument to extend estimates from finitely many curves to the entire family $ \Gamma $, ensuring uniform control over the functional $ A^t $.
• Show that the rescaled functional $ \hat{A}^t = A^t / (t + \text{const}) $ satisfies $ \frac{d}{dt}\hat{A}^t \leq -\frac{2\pi}{t + \text{const}} $, implying finite extinction time due to non-integrability at infinity.

Experimental results

Research questions

• RQ1 Does every initial metric on a closed, oriented three-manifold without aspherical prime factors lead to finite extinction time under Ricci flow with surgery?
• RQ2 Can the elliptization conjecture be proven directly using only the minimal area disk argument and regularized curve shortening, without the full long-time analysis of Perelman’s earlier work?
• RQ3 Is the rate of change of the minimal area functional under Ricci flow with surgery bounded below by $ -2\pi - \frac{1}{2}R_{\text{min}} A^t $, even when curves are not immersed?
• RQ4 Can the curve shortening flow be regularized in a way that preserves continuity in both time and family parameters for non-smooth or self-intersecting loops?
• RQ5 Does the finite extinction time result hold uniformly across all homotopy classes in $ \pi_*(\Lambda M, M) $, even when the minimal area disks are not smoothly varying?

Key findings

• Finite extinction time is achieved for all initial metrics on any closed, oriented three-manifold whose prime decomposition contains no aspherical factors.
• The minimal area functional $ A^t $ satisfies $ \frac{d}{dt}A^t \leq -2\pi - \frac{1}{2}R^t_{\text{min}} A^t $, which ensures exponential decay in the presence of positive scalar curvature.
• The regularization of the curve shortening flow via a one-dimensional extension allows the minimal disk argument to be applied even to non-immersed or singular curves.
• The rescaling $ \hat{A}^t = A^t / (t + \text{const}) $ leads to a differential inequality $ \frac{d}{dt}\hat{A}^t \leq -\frac{2\pi}{t + \text{const}} $, whose right-hand side is not integrable at infinity, forcing $ \hat{A}^t $ to reach zero in finite time.
• The result provides a direct proof of the elliptization conjecture: a closed 3-manifold with finite fundamental group is diffeomorphic to a spherical space form.
• The proof avoids the need for Kneser’s finiteness theorem and simplifies earlier arguments in [P,§5] by replacing sequences with single parameters due to the uniform extinction time bound.