[Paper Review] A generalization of Hamilton's differential Harnack inequality for the Ricci flow

Simon Brendle|ArXiv.org|Jul 16, 2007

Geometric Analysis and Curvature Flows5 references3 citations

TL;DR

This paper generalizes Hamilton's differential Harnack inequality for the Ricci flow by replacing the nonnegative curvature operator condition with the weaker assumption of nonnegative isotropic curvature on $M \times \mathbb{R}^2$. The key result establishes a new Harnack inequality involving the space-time curvature tensor, which implies a trace Harnack inequality and leads to rigidity results for ancient solutions, including the identification of steady and expanding Ricci solitons under scalar curvature maximization.

ABSTRACT

In [10], R. Hamilton established a differential Harnack inequality for solutions to the Ricci flow with nonnegative curvature operator. We show that this inequality holds under the weaker condition that M x R^2 has nonnegative isotropic curvature.

Motivation & Objective

• To extend Hamilton's differential Harnack inequality for Ricci flow beyond the nonnegative curvature operator condition.
• To establish a new Harnack inequality under the weaker curvature assumption of nonnegative isotropic curvature on $M \times \mathbb{R}^2$.
• To derive rigidity results for ancient solutions of the Ricci flow, identifying them as steady or expanding Ricci solitons under scalar curvature maximization.
• To generalize existing results on Harnack inequalities and soliton rigidity in the context of Ricci flow.

Proposed method

• Define the space-time curvature tensor $S$ using components $R_{ijkl}$, $P_{ijk}$, and $M_{ij}$, which encode Ricci curvature derivatives and Laplacians.
• Derive evolution equations for $P_{ijk}$ and $M_{ij}$ under Ricci flow using the curvature evolution and Ricci identity.
• Introduce the space-time connection $\tilde{D}$ on $M \times (0,T)$ to define parallel transport of vector fields in space-time.
• Use the nonnegative isotropic curvature condition to prove that the Harnack quantity $M(w,w) + 2P(v,w,w) + R(v,w,v,w) \geq 0$ holds for all vectors $v,w$.
• Apply maximum principle arguments to scalar curvature and vector fields to deduce rigidity of ancient solutions.
• Take limits as $\alpha \to -\infty$ to remove $1/t$ terms in the Harnack inequality for ancient solutions.

Experimental results

Research questions

• RQ1 Can Hamilton's differential Harnack inequality be generalized under a weaker curvature condition than nonnegative curvature operator?
• RQ2 Does nonnegative isotropic curvature on $M \times \mathbb{R}^2$ imply a valid Harnack inequality for the Ricci flow?
• RQ3 What rigidity properties arise for ancient Ricci flow solutions with nonnegative isotropic curvature and bounded scalar curvature?
• RQ4 Under what conditions does scalar curvature maximization imply the existence of a Ricci soliton structure?
• RQ5 How do the $1/t$ terms in the Harnack inequality behave in the ancient flow setting?

Key findings

• The inequality $M(w,w) + 2P(v,w,w) + R(v,w,v,w) \geq 0$ holds for all $v,w \in T_xM$ under nonnegative isotropic curvature on $M \times \mathbb{R}^2$ and bounded scalar curvature.
• A generalized trace Harnack inequality is established: $\frac{\partial}{\partial t}\text{scal} + \frac{1}{t}\text{scal} + 2\partial_i\text{scal}\,v^i + 2\text{Ric}(v,v) \geq 0$.
• For ancient solutions, the $1/t$ term vanishes in the Harnack inequality, yielding $\frac{\partial}{\partial t}\text{scal} + 2\partial_i\text{scal}\,v^i + 2\text{Ric}(v,v) \geq 0$.
• If scalar curvature achieves a maximum at a point in an ancient solution with nonnegative isotropic curvature and positive Ricci curvature, then the solution is a steady Ricci soliton at that time.
• If $t \cdot \text{scal}$ achieves a maximum, then the solution is an expanding Ricci soliton at that time.
• The space-time connection $\tilde{D}$ preserves the vector field $\frac{\partial}{\partial t} + V$ along paths, leading to the soliton structure.