[Paper Review] Splitting theorems on complete Riemannian manifolds with nonnegative Ricci curvature

Alberto Farina, Jesús Ocáriz|arXiv (Cornell University)|Jan 8, 2020

Geometric Analysis and Curvature Flows4 citations

TL;DR

This paper establishes global and local splitting theorems for complete Riemannian manifolds with nonnegative Ricci curvature by analyzing pointwise gradient estimates of Modica-type for bounded solutions to semilinear Poisson equations. When equality holds in the generalized Modica inequality at a regular point, the manifold locally splits isometrically as a product $σ \times \mathbb{R}$, and the solution becomes a strictly monotone function of the $×$-factor, with the metric and solution structure fully characterized.

ABSTRACT

In this paper we provide some local and global splitting results on complete Riemannian manifolds with nonnegative Ricci curvature. We achieve the splitting through the analysis of some pointwise inequalities of Modica type which hold true for every bounded solution to a semilinear Poisson equation. More precisely, we prove that the existence of a nonconstant bounded solution $u$ for which one of the previous inequalities becomes an equality at some point leads to the splitting results as well as to a classification of such a solution $u$.

Motivation & Objective

• To establish new splitting theorems for complete Riemannian manifolds with nonnegative Ricci curvature using pointwise gradient estimates.
• To generalize Modica's inequality to arbitrary $C^2$ nonlinearities $F$, not requiring $F \geq 0$.
• To characterize the structure of the manifold and the solution when equality is achieved in the generalized Modica estimate.
• To show that equality at a regular point implies local Riemannian product structure and 1D monotonic solution behavior.

Proposed method

• Introduce a generalized Modica-type inequality: $\frac{1}{2}|\nabla_g u|^2 \leq F(u) - c_u$ for bounded solutions $u$ of $-\Delta_g u + f(u) = 0$, where $c_u = \inf_{y \in \mathcal{M}} F(u(y))$.
• Use the strong maximum principle on the quantity $P = \frac{1}{2}|\nabla_g u|^2 - F(u) + c_u$ to show that equality implies $P \equiv 0$ on the connected component where $\nabla_g u \neq 0$.
• Construct a harmonic function $v = H(u)$ with constant gradient length 1 via a change of variables, using $H'(u) = (2F(u) - 2c_u)^{-1/2}$.
• Apply the Bochner formula and the fact that $\nabla v$ is parallel to deduce that the level sets of $v$ are totally geodesic and isoparametric, leading to local splitting.
• Use the flow of $\nabla v$ to construct a Riemannian isometry $\Phi: \mathcal{N} \times \mathbb{R} \to \mathcal{M}$, proving local product structure.
• Show that the solution $u$ restricted to the product neighborhood is $u(p,s) = \varphi(s)$, where $\varphi$ solves $\varphi'' = f(\varphi)$.

Experimental results

Research questions

• RQ1 Under what conditions does equality in the generalized Modica inequality imply a splitting of the manifold?
• RQ2 Can the local structure of the manifold be characterized when equality holds at a regular point of a bounded solution?
• RQ3 How does the solution $u$ behave in a neighborhood where equality holds in the generalized gradient estimate?
• RQ4 What is the role of the constant $c_u = \inf F(u(y))$ in refining the classical Modica estimate?
• RQ5 Does the existence of a nonconstant bounded solution achieving equality in the gradient estimate force the manifold to be a Riemannian product?

Key findings

• If equality holds in the generalized Modica inequality at a regular point $x_0$ with $\nabla_g u(x_0) \neq 0$, then $P \equiv 0$ on the connected component of $\{ \nabla_g u \neq 0 \}$ containing $x_0$.
• The Ricci curvature vanishes in the direction of $\nabla_g u$ on the connected component where equality holds.
• A neighborhood $\mathcal{U}$ of $x_0$ splits isometrically as $\mathcal{N} \times I$, where $\mathcal{N}$ is a totally geodesic, isoparametric hypersurface with $\text{Ric}(\mathcal{N}) \geq 0$.
• The solution $u$ restricted to $\mathcal{U}$ is $u(p,s) = \varphi(s)$, where $\varphi$ is a bounded, strictly monotone solution of $\varphi'' = f(\varphi)$.
• The global splitting result holds if $u$ is nonconstant: $\mathcal{M}$ is isometric to $\mathcal{N} \times \mathbb{R}$, with $\mathcal{N}$ totally geodesic and isoparametric, and $u(p,s) = \varphi(s)$.
• The construction of the harmonic function $v = H(u)$ with $|\nabla_g v| \equiv 1$ ensures that $\nabla_g v$ is parallel, leading to the global isometry $\Phi: \mathcal{N} \times \mathbb{R} \to \mathcal{M}$.