Worked solution: Perelman's Ricci flow with surgery (2002–2003), condensed
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 evolve by the heat-like equation 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.
Hamilton (1982) proposed evolving a Riemannian metric on a closed manifold by . 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 — which yields short-time existence and uniqueness on closed manifolds. Curvature quantities evolve by reaction–diffusion equations; for the scalar curvature, , so the maximum principle makes nondecreasing along the flow.
In dimension 3 Hamilton applied the tensor maximum principle to the evolution of and proved that positivity of the Ricci tensor is preserved, and moreover that the trace-free part is pinched relative to : for some . Regions of large scalar curvature therefore become asymptotically round, and combined with Myers's diameter bound the volume-normalised flow on a 3-manifold exists for all time and converges smoothly to a metric of constant positive sectional curvature — so is a quotient of the round .
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 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.
- Ricci flow
- An evolution equation 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 ()
- 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 .