[Paper Review] The Curvature of Gradient Ricci Solitons

Ovidiu Munteanu, Mu‐Tao Wang|arXiv (Cornell University)|Jun 17, 2010

Geometric Analysis and Curvature Flows16 references3 citations

TL;DR

This paper establishes pointwise polynomial growth bounds on the Riemann curvature tensor of gradient shrinking Ricci solitons under bounded Ricci curvature, enabling weighted $L^2$ estimates and proving a gap theorem: if Ricci curvature is sufficiently small, the manifold is isometric to the Gaussian soliton. It further yields a compactness result under local curvature and Ricci curvature bounds.

ABSTRACT

We study integral and pointwise bounds on the curvature of gradient shrinking Ricci solitons. As applications we discuss gap and compactness results for gradient shrinkers.

Motivation & Objective

• To establish pointwise polynomial bounds on the Riemann curvature tensor of gradient shrinking Ricci solitons with bounded Ricci curvature.
• To derive weighted $L^2$ estimates for the Riemann curvature tensor and its covariant derivatives using curvature growth control.
• To prove a gap theorem: if $|\mathrm{Rc}| \leq \frac{1}{100n^2}$, the soliton is isometric to the Gaussian soliton.
• To establish a compactness result for sequences of gradient shrinking Ricci solitons under uniform Ricci curvature and local curvature bounds.
• To extend the compactness framework of Haslhofer and Müller by replacing global curvature assumptions with local and Ricci curvature bounds.

Proposed method

• Derives a differential inequality $\Delta_f |\mathrm{Rm}|^2 \geq -c|\mathrm{Rm}|^3$ using the Ricci soliton equation and weighted Laplacian $\Delta_f = \Delta - \nabla f \cdot \nabla$.
• Applies Moser iteration on weighted $L^p$ spaces with respect to the measure $e^{-f} \, d\mathrm{vol}$ to control $|\mathrm{Rm}|^p$.
• Uses Sobolev and Poincaré inequalities with uniform constants due to bounded Ricci curvature, enabling iterative $L^p$ estimates.
• Employs integration by parts and estimates on $|\nabla \mathrm{Rc}|$ and $|\nabla \mathrm{Rm}|$ to bound terms in the $L^p$ inequality.
• Combines curvature growth estimates with distance function bounds $f(x) \geq \frac{1}{4}(d(x_0,x) - 5n)_+^2$ to control tail integrals.
• Applies the main curvature estimate to prove compactness via the pointed Cheeger-Gromov convergence framework with entropy and curvature bounds.

Experimental results

Research questions

• RQ1 Can pointwise polynomial bounds on the Riemann curvature tensor be established for gradient shrinking Ricci solitons under bounded Ricci curvature?
• RQ2 Does a smallness condition on the Ricci curvature imply that the soliton is isometric to the Gaussian soliton?
• RQ3 Can compactness of sequences of gradient shrinking Ricci solitons be established with only local curvature and Ricci curvature bounds?
• RQ4 How do weighted $L^2$ estimates for curvature and its derivatives arise from curvature growth control?
• RQ5 To what extent can the compactness result of Haslhofer and Müller be strengthened by replacing global curvature assumptions with local and Ricci bounds?

Key findings

• The Riemann curvature tensor of a gradient shrinking Ricci soliton with bounded Ricci curvature grows at most polynomially in the distance function: $|\mathrm{Rm}|(x) \leq C(r(x)+1)^a$ for some $a > 0$.
• Weighted $L^2$ estimates for $|\mathrm{Rm}|$ and its covariant derivatives are obtained via the curvature growth bound and Moser iteration.
• If $|\mathrm{Rc}| \leq \frac{1}{100n^2}$ on $M$, then $M$ is isometric to the Gaussian soliton $(\mathbb{R}^n, dx^2, \frac{1}{4}|x|^2)$.
• For $n \geq 6$, if $|\mathrm{Rc}| \leq K$ and $\int_{B_{x_0}(r_0)} |\mathrm{Rm}|^{n/2} \leq L$ for a minimum point $x_0$ of $f$, then $\int_{B_{x_0}(r)} |\mathrm{Rm}|^{n/2} \leq E(r)$ for all $r > 0$, with $E(r)$ depending on $n, K, L$.
• Under uniform Ricci curvature bound $|\mathrm{Rc}| \leq K$ and entropy bound $\mu_i \geq \bar{\mu}$, a subsequence of normalized gradient shrinking Ricci solitons converges to an orbifold gradient shrinker in the pointed Cheeger-Gromov sense if the local $L^{n/2}$ norm of $|\mathrm{Rm}|$ is uniformly bounded at a minimum point.
• The proof relies on $L^p$ estimates via Moser iteration on the weighted measure $e^{-f} \, d\mathrm{vol}$, with key estimates derived from integration by parts and curvature differential inequalities.