A Note on Ricci-pinched three-manifolds

Let $(M, g)$ be a complete, connected, non-compact Riemannian $3$-manifold. Suppose that $(M,g)$ satisfies the Ricci–pinching condition $\mathrm{Ric}\geq\varepsilon\mathrm{R} g$ for some $\varepsilon>0$, where $\mathrm{Ric}$ and $\mathrm{R}$ are the Ricci tensor and scalar curvature, respectively. In this short note, we give an alternative proof based on potential theory of the fact that if $(M,g)$ has Euclidean volume growth, then it is flat. Deruelle-Schulze-Simon and Huisken-Körber have already shown this result and together with the contributions by Lott and Lee-Topping led to a proof of the so-called Hamilton’s pinching conjecture.

💡 Research Summary

The paper addresses the rigidity of complete, connected, non‑compact three‑dimensional Riemannian manifolds (M,g) that satisfy a pointwise Ricci‑pinching condition Ric ≥ ε R g for some ε > 0. The authors focus on manifolds whose volume growth is Euclidean, i.e. the asymptotic volume ratio (AVR) is positive, or more generally on manifolds with “super‑quadratic” volume growth: there exist constants C_vol > 0 and α∈(1,2] such that for large radii r, C_vol⁻¹ r^{1+α} ≤ Vol B_r(p) ≤ C_vol r^{1+α}. When α = 2 this condition is equivalent to AVR > 0.

The main result (Theorem 1.5) states that any Ricci‑pinched 3‑manifold with super‑quadratic growth and exponent α > 4/3 must be flat. As a corollary (Theorem 1.4) the case α = 2 yields the known fact that Ricci‑pinched manifolds with Euclidean volume growth are isometric to ℝ³.

The proof departs from the traditional Ricci‑flow or inverse mean curvature flow arguments (used in earlier works by Deruelle‑Schulze‑Simon, Huisken‑Körber, Lott, Lee‑Topping). Instead, the authors employ a potential‑theoretic approach based on harmonic functions and capacity.

1. Construction of a special function.
   Choose a small geodesic ball B_r(o) whose boundary satisfies ∫_{∂B_r(o)} H² dμ < 16π. Define w as the solution of the nonlinear elliptic problem Δw = |∇w|² on M \ Ω, w = 0 on ∂Ω, w → +∞ at infinity, where Ω = B_r(o). By setting u = e^{−w}, one obtains a harmonic function u solving Δu = 0 on M \ Ω, u = 1 on ∂Ω, u → 0 at infinity. Classical potential theory guarantees existence, uniqueness, and regularity of u under the super‑quadratic growth assumption.

2. Monotone quantities.
   For each regular value t of w, let Ω_t = {w ≤ t} and define F(t) = ∫{∂Ω_t} (H|∇w| − |∇w|²) dμ, G(t) = ∫{∂Ω_t} |∇w|² dμ. Using Sard’s theorem, the authors show that F is locally absolutely continuous and non‑increasing, with derivative F′(t) = −∫{∂Ω_t} (|∇⊤∇w|² + Ric(ν,ν) + |◦h|² + ½(H − 2|∇w|)²) dμ ≤ 0. The Ricci‑pinching condition together with the Gauss–Bonnet theorem yields two auxiliary inequalities (2.6) and (2.7) that distinguish between genus‑zero and higher‑genus components of ∂Ω_t. From these, one derives a differential inequality for F: F′(t) ≤ max{−2F(t), ε(2F(t) − 8π)}. Solving this inequality shows that for sufficiently large t, F(t) ≤ C e^{−2t}, and consequently G(t) ≤ F(t) ≤ C e^{−2t}.

3. Capacity and volume estimates.
   The normalized capacity of a closed set D is defined by c₂(∂D) = inf_{ψ≥χ_D} (1/4π)∫{M\D} |∇ψ|² dV. For the constructed w one has c₂(∂Ω) = (1/4π)∫{∂Ω} |∇w| dμ, and more generally c₂(∂Ω_t) = e^{t} c₂(∂Ω). Combining this with Hölder’s inequality yields a lower bound for the derivative of the volume of the sublevel sets: d/dt Vol({w ≤ t}) ≥ (4π c₂(∂Ω))³ e^{7t}/C². On the other hand, standard potential‑theoretic estimates give u(x) ≤ C d(x,o)^{1−α}, which translates into a relation between the radius R_t = sup_{Ω_t} d(·,o) and t: R_t^{α−1} ≤ C e^{t}. Integrating the lower bound for d/dt Vol({w ≤ t}) over