Canonical Neighbourhood Theorem

The Theorem

The canonical neighbourhood theorem gives a precise description of the geometry near points of high scalar curvature in a Ricci flow. This is the key structural result that makes surgery possible.

Theorem (Perelman, 2003)

For every $\varepsilon > 0$ there exists $r_0 > 0$ such that the following holds. If $(M^3, g(t))$ is a Ricci flow on a closed 3-manifold and $x \in M$ is a point with $R(x, t) \geq r_0^{-2}$, then the parabolic neighbourhood of $x$ at the appropriate scale is $\varepsilon$-close (in the pointed $C^{[\varepsilon^{-1}]}$ topology) to one of the following models:

A round $S^3$ or a quotient $S^3/\Gamma$ (spherical space form)
A round cylinder $S^2 \times \mathbb{R}$ or its $\mathbb{Z}_2$-quotient
A κ-solution (ancient solution with bounded non-negative curvature)

Proof Strategy: Blow-Up Analysis

The proof proceeds by contradiction using a compactness argument:

Step 1: Point picking. If the theorem fails, there exist sequences $x_k \in M$ with $R(x_k, t_k) \to \infty$ whose parabolic neighbourhoods are not $\varepsilon$-close to any model.

Step 2: Rescaling. Rescale the metrics by $Q_k = R(x_k, t_k)$, setting $\tilde{g}_k(s) = Q_k \cdot g(t_k + s/Q_k)$. The rescaled flows have $\tilde{R}(x_k, 0) = 1$.

Step 3: Hamilton compactness. By Perelman's $\kappa$-non-collapsing theorem, the rescaled sequence has a uniform volume lower bound. Combined with curvature bounds (obtained via point picking with a suitable cutoff), Hamilton's compactness theorem gives a subsequential limit $(\bar{M}, \bar{g}(s))$defined for $s \in (-\infty, 0]$.

Step 4: Classification. The limit is an ancient, non-collapsed solution with bounded non-negative curvature — a κ-solution. By the classification theorem (below), this must be one of the standard models, contradicting the assumption.

Classification of κ-Solutions

A κ-solution is an ancient solution $(M, g(t))$,$t \in (-\infty, 0]$, that is:

Complete with bounded curvature on each time-slice
Non-negatively curved: $\mathrm{Rm} \geq 0$
$\kappa$-non-collapsed at all scales for some $\kappa > 0$
Non-flat

These solutions enjoy remarkable structural properties:

Hamilton Trace Harnack

Every κ-solution satisfies Hamilton's trace Harnack inequality:

$$\frac{\partial R}{\partial t} + \frac{R}{t} + 2\,\langle \nabla R, X \rangle + 2\,\mathrm{Ric}(X, X) \;\geq\; 0$$

for all vector fields $X$. In particular $\partial_t R \geq 0$: the scalar curvature is non-decreasing in forward time.

Gradient Shrinking Soliton Equation

Every κ-solution is asymptotic (in a suitable sense) to a gradient shrinking Ricci soliton satisfying:

$$R_{ij} + \nabla_i\nabla_j f = \frac{g_{ij}}{2\tau}$$

Three-Dimensional Classification

In dimension $n = 3$, the classification of κ-solutions is complete. Every 3-dimensional κ-solution is isometric to one of the following:

$S^3 / \Gamma$

Round shrinking spherical space forms. Includes $S^3$ itself and quotients like $\mathbb{R}P^3$.

$S^2 \times \mathbb{R}$

The round cylinder and its $\mathbb{Z}_2$-quotient $S^2 \tilde{\times} \mathbb{R}$.

Caps

Rotationally symmetric caps that are asymptotic to a half-cylinder at infinity (Bryant soliton type).

This exhaustive list means that in 3-d, every high-curvature region looks like a sphere, a neck (cylinder), or a cap — precisely the geometries needed for the surgery procedure described in Part II.

← Reduced Length & Volume Next: Ricci Flow with Surgery →