Math Labs

Worked solution: Perelman's Ricci flow with surgery (2002–2003), condensed

Step 1 of 9: Hamilton's Ricci flow programme
In plain words

Heating an oddly shaped metal plate makes its temperature smooth out over time. In 1982 Richard Hamilton proposed doing something similar to the shape of space itself: let a metric gijg_{ij} evolve by the heat-like equation ∂tgij=−2Rij\partial_t g_{ij} = -2R_{ij} so that bumps of positive curvature shrink.

Hamilton proved that if a closed 3-dimensional shape starts out already curved positively everywhere, this flow smooths it all the way down to a perfectly round sphere. His hope was that running the same equation on any starting shape would eventually reveal the geometric building blocks that Thurston had conjectured every 3-manifold decomposes into.

∂tgij=−2Rij,∂tR=ΔR+2∣Ric⁡∣2\partial_t g_{ij} = -2R_{ij}, \qquad \partial_t R = \Delta R + 2|\operatorname{Ric}|^2
Detailed analysis

Hamilton (1982) proposed evolving a Riemannian metric gijg_{ij} on a closed manifold by ∂tgij=−2Rij\partial_t g_{ij} = -2R_{ij}. After pulling back by the time-dependent diffeomorphisms generated by a solution of the harmonic-map heat equation (de Turck's trick), the system becomes strictly parabolic — its leading term is the rough Laplacian Δgij\Delta g_{ij} — which yields short-time existence and uniqueness on closed manifolds. Curvature quantities evolve by reaction–diffusion equations; for the scalar curvature, ∂tR=ΔR+2∣Ric⁡∣2\partial_t R = \Delta R + 2|\operatorname{Ric}|^2, so the maximum principle makes min⁡MR\min_M R nondecreasing along the flow.

In dimension 3 Hamilton applied the tensor maximum principle to the evolution of Rm\mathrm{Rm} and proved that positivity of the Ricci tensor is preserved, and moreover that the trace-free part is pinched relative to RR: ∣Ric⁡˚∣≤CR1−δ|\mathring{\operatorname{Ric}}| \le C R^{1-\delta} for some δ>0\delta>0. Regions of large scalar curvature therefore become asymptotically round, and combined with Myers's diameter bound the volume-normalised flow on a Ric⁡>0\operatorname{Ric}>0 3-manifold exists for all time and converges smoothly to a metric of constant positive sectional curvature — so M3M^3 is a quotient of the round S3S^3.

Hamilton's programme was to apply the same flow to an arbitrary metric on any closed 3-manifold and read off Thurston's geometric decomposition from its long-time behaviour, with the Poincaré conjecture as the simply connected special case. The obstruction is that for a general initial metric ∣Rm∣|\mathrm{Rm}| can blow up before any nice limit is reached; understanding what the flow converges to therefore requires, in order, blow-up analysis (next step), a mechanism ruling out degenerate limits, and a way to continue the flow past singular times.

Terms in this step
Ricci flow
An evolution equation ∂tgij=−2Rij\partial_t g_{ij} = -2R_{ij} that deforms a Riemannian metric in the direction of its own Ricci curvature, shrinking regions of high positive curvature the way heat flow smooths out temperature.
Ricci curvature (Ric⁡\operatorname{Ric})
A symmetric tensor built from the curvature of a Riemannian manifold that measures, roughly, how the volume of a small ball deviates from its Euclidean value; its trace is the scalar curvature RR.
Knowledge used in this step