Gradient Ricci Solitons and Self-Similar Solutions
The Soliton Equation
A gradient Ricci soliton is a Riemannian manifold $(M, g)$ equipped with a smooth function $f : M \to \mathbb{R}$ (the soliton potential) satisfying:
The constant $\lambda$ determines the soliton type:
- $\lambda > 0$: shrinking soliton (models Type I singularities)
- $\lambda = 0$: steady soliton (models Type II singularities)
- $\lambda < 0$: expanding soliton (models long-time behaviour)
Self-Similar Evolution
The defining property of a soliton is that it evolves under Ricci flow only by scaling and diffeomorphism. If $(M, g, f)$ satisfies the soliton equation, then the Ricci flow starting at $g(0) = g$ is:
where $\varphi_t$ is the family of diffeomorphisms generated by$\frac{1}{1 - 2\lambda t}\nabla f$. For shrinking solitons ($\lambda > 0$), the flow exists on $[0, 1/(2\lambda))$ and the metric shrinks to a point. For steady solitons ($\lambda = 0$), the metric moves by diffeomorphism alone, maintaining its shape for all time.
Fundamental Identities
Taking the trace of the soliton equation $R_{ij} + \nabla_i\nabla_j f = \lambda g_{ij}$ yields the scalar relation:
where $n$ is the dimension. A deeper identity, obtained by combining the traced equation with the contracted second Bianchi identity, gives the soliton potential identity:
This identity is the soliton analogue of the Hamilton-Ivey identity. It plays a critical role in the asymptotic analysis of solitons: for a shrinking soliton, it implies that $R \geq 0$ (after normalisation), and the potential $f$ grows quadratically like $\lambda\,d(x,x_0)^2/2$ at infinity.
Classification in Three Dimensions
For the geometrization programme, the key classification result concerns 3-dimensional shrinking gradient Ricci solitons that are $\kappa$-non-collapsed at all scales (the condition arising from Perelman's non-collapsing theorem):
Classification Theorem
A complete, 3-dimensional, $\kappa$-non-collapsed gradient shrinking Ricci soliton with bounded non-negative sectional curvature is isometric to one of:
- $S^3$ (or a quotient $S^3/\Gamma$) — the round shrinking sphere
- $S^2 \times \mathbb{R}$ (or a quotient) — the shrinking cylinder
- $\mathbb{R}^3$ — the Gaussian soliton (flat space with $f = \lambda|x|^2/2$)
This classification is central to singularity analysis: every Type I blow-up limit of a 3-dimensional Ricci flow is one of these three models. The round $S^3$ appears at extinction points, $S^2 \times \mathbb{R}$ appears at neck pinches (where surgery is performed), and the Gaussian soliton corresponds to regular (non-singular) points.