MathLabs
TheoremProved

Finite-time extinction of Ricci flow with surgery

Statement

Let MM be a closed, simply connected 3-manifold, π1(M)={1}\pi_1(M) = \{1\}, and let g(t)g(t) evolve by Ricci flow with surgery from an arbitrary initial metric g(0)g(0) with Rmin⁡(0)=r0>0R_{\min}(0)=r_0>0. Then the flow becomes extinct — every remaining piece of MM disappears through surgery — by time T=32r0T=\dfrac{3}{2r_0}.

Why is it true?

Geometrization predicts exactly two possible long-term fates for Ricci flow with surgery on a closed 3-manifold: converge (after rescaling) to a collection of genuine geometric pieces, or become extinct in finite time. Simple connectivity rules out every non-positively-curved geometry (H3\mathbb{H}^3, Nil\mathrm{Nil}, Sol\mathrm{Sol}, H2×R\mathbb{H}^2\times\mathbb{R}, SL2R~\widetilde{\mathrm{SL}_2\mathbb{R}} all force a nontrivial fundamental group on any compact piece), so for M≅S3M\cong S^3-candidates the only possible fate is extinction — this theorem makes that fate quantitative and turns a qualitative topological argument into hard analysis.

Proof sketch

Step 1 (a dimension-3 Cauchy–Schwarz inequality). At a point of a 3-manifold, the Ricci tensor is a symmetric 3×33\times3 matrix with eigenvalues λ1,λ2,λ3\lambda_1,\lambda_2,\lambda_3, and R=λ1+λ2+λ3R=\lambda_1+\lambda_2+\lambda_3. The Cauchy–Schwarz (power-mean) inequality on three numbers gives (λ1+λ2+λ3)2≤3(λ12+λ22+λ32)(\lambda_1+\lambda_2+\lambda_3)^2\le3(\lambda_1^2+\lambda_2^2+\lambda_3^2), i.e. ∣Ric∣2≥R2/3|\mathrm{Ric}|^2\ge R^2/3, with equality exactly at Einstein points (Ric=R3g\mathrm{Ric}=\tfrac{R}{3}g). This inequality is special to dimension 3 and is exactly what lets the argument close using only the scalar curvature RR.

**Step 2 (a differential inequality for RR).** Substituting into Hamilton's evolution formula ∂tR=ΔR+2∣Ric∣2\partial_tR=\Delta R+2|\mathrm{Ric}|^2 gives ∂tR=ΔR+2∣Ric∣2≥ΔR+23R2\partial_tR=\Delta R+2|\mathrm{Ric}|^2\ge\Delta R+\tfrac23R^2.

Step 3 (maximum principle at the minimum). Let Rmin⁡(t)=min⁡x∈MR(x,t)R_{\min}(t)=\min_{x\in M}R(x,t). At a point where the spatial minimum of RR is attained, ΔR≥0\Delta R\ge0 (second-derivative test), so the differential inequality of Step 2 forces ddtRmin⁡≥23Rmin⁡2\frac{d}{dt}R_{\min}\ge\frac23R_{\min}^2 in the barrier sense (Hamilton's maximum principle for evolving minima under Ricci flow). Surgery only grafts in metrics whose curvature is at least as large as the surgery threshold, so it can never lower Rmin⁡R_{\min} below where it already was; hence this differential inequality persists across the finitely many surgery times.

Step 4 (solving the model ODE). Solve y′=23y2y'=\tfrac23y^2, y(0)=r0>0y(0)=r_0>0, by separation of variables: ∫y−2dy=∫23dt\int y^{-2}dy=\int\tfrac23dt gives −1y=23t−1r0-\tfrac1y=\tfrac23t-\tfrac1{r_0}, i.e. 1y(t)=1r0−23t\tfrac1{y(t)}=\tfrac1{r_0}-\tfrac23t, i.e. y(t)=r01−23r0ty(t)=\dfrac{r_0}{1-\frac23 r_0 t}. This is exactly the scalar curvature of a shrinking round metric sphere of matching initial size, and y(t)→+∞y(t)\to+\infty precisely as the denominator vanishes, at t=Tt=T, where T=32r0T=\dfrac{3}{2r_0}.

Step 5 (comparison). Since Rmin⁡(t)R_{\min}(t) satisfies ddtRmin⁡≥23Rmin⁡2\frac{d}{dt}R_{\min}\ge\tfrac23R_{\min}^2 while y(t)y(t) satisfies this ODE with equality and the same initial value r0r_0, the ODE comparison principle gives Rmin⁡(t)≥y(t)R_{\min}(t)\ge y(t) for as long as both remain defined. Because y(t)→+∞y(t)\to+\infty as t→T−t\to T^-, Rmin⁡(t)R_{\min}(t) must already have escaped to +∞+\infty at or before TT: the flow cannot be smoothly continued past TT without curvature blowing up, so surgery must intervene no later than TT.

Step 6 (from blow-up to extinction). A component on which Rmin⁡→∞R_{\min}\to\infty is, by comparison with the model shrinking sphere of Step 4, shrinking to zero volume everywhere at least that fast; there is no room for it to persist past TT. Because MM is simply connected, geometrization allows no non-positively-curved piece (H3\mathbb{H}^3, Nil\mathrm{Nil}, Sol\mathrm{Sol}, H2×R\mathbb{H}^2\times\mathbb{R}, SL2R~\widetilde{\mathrm{SL}_2\mathbb{R}} pieces would each force a nontrivial fundamental group on a compact 3-manifold), so no surviving geometric piece can be left over once the positively-curved pieces have shrunk away: every connected component present at time tt is forced to disappear by surgery no later than time T=32r0T=\tfrac{3}{2r_0}, i.e. the flow with surgery is extinct by TT. ■\blacksquare

Topics that use this theorem

Step-by-step proofs

No step-by-step proof yet for this theorem.

References

  1. Grigori Perelman (2002). The entropy formula for the Ricci flow and its geometric applications · arXiv:math/0211159
  2. Grigori Perelman (2003). Ricci flow with surgery on three-manifolds · arXiv:math/0303109
  3. John Morgan, Gang Tian (2007). Ricci Flow and the Poincaré Conjecture
  4. Clay Mathematics Institute (2000). Poincaré Conjecture — Millennium Prize Problems