[论文解读] 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 Flows被引用 4

一句话总结

该论文通过分析有界解的 Modica 型点态梯度估计，建立了完备黎曼流形在非负 Ricci 曲率下的全局与局部分裂定理。当广义 Modica 不等式在正则点处取等时，流形局部等距地分裂为乘积 $σ \times \mathbb{R}$，且解成为 $×$-因子的严格单调函数，其度量与解的结构被完全刻画。

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$.

研究动机与目标

• 通过点态梯度估计，建立完备黎曼流形在非负 Ricci 曲率下的新分裂定理。
• 将 Modica 的不等式推广至任意 $C^2$ 非线性项 $F$，无需要求 $F \geq 0$。
• 刻画广义 Modica 估计中等式成立时流形与解的结构。
• 证明在正则点处等式成立意味着局部具有黎曼乘积结构及一维单调解行为。

提出的方法

• 引入广义的 Modica 型不等式：$\frac{1}{2}|\nabla_g u|^2 \leq F(u) - c_u$，其中 $u$ 是方程 $-\Delta_g u + f(u) = 0$ 的有界解，且 $c_u = \inf_{y \in \mathcal{M}} F(u(y))$。
• 在量 $P = \frac{1}{2}|\nabla_g u|^2 - F(u) + c_u$ 上应用强最大值原理，证明等式成立意味着在 $\nabla_g u \neq 0$ 的连通分支上必有 $P \equiv 0$。
• 通过变量替换构造一个调和函数 $v = H(u)$，使得其梯度长度恒为 1，其中 $H'(u) = (2F(u) - 2c_u)^{-1/2}$。
• 应用 Bochner 公式并利用 $\nabla v$ 为平行向量场，推导出 $v$ 的等值面为全测地且等参的，从而实现局部分裂。
• 利用 $\nabla v$ 的流构造一个黎曼等距同构 $\Phi: \mathcal{N} \times \mathbb{R} \to \mathcal{M}$，证明其具有局部乘积结构。
• 证明解 $u$ 在乘积邻域上满足 $u(p,s) = \varphi(s)$，其中 $\varphi$ 是方程 $\varphi'' = f(\varphi)$ 的有界且严格单调的解。

实验结果

研究问题

• RQ1 在何种条件下，广义 Modica 不等式中的等式成立能推出流形的分裂？
• RQ2 当有界解在正则点处等式成立时，流形的局部结构能否被刻画？
• RQ3 在广义梯度估计中等式成立的邻域内，解 $u$ 的行为如何？
• RQ4 常数 $c_u = \inf F(u(y))$ 在改进经典 Modica 估计中起何作用？
• RQ5 若存在非平凡有界解在梯度估计中取等，是否必然导致流形为黎曼乘积？

主要发现

• 若在正则点 $x_0$ 处广义 Modica 不等式取等，且 $\nabla_g u(x_0) \neq 0$，则在包含 $x_0$ 的 $\{ \nabla_g u \neq 0 \}$ 的连通分支上必有 $P \equiv 0$。
• 在等式成立的连通分支上，Ricci 曲率在 $\nabla_g u$ 方向上恒为零。
• 存在 $x_0$ 的邻域 $\mathcal{U}$，其等距地分裂为 $\mathcal{N} \times I$，其中 $\mathcal{N}$ 为全测地且等参的超曲面，且满足 $\text{Ric}(\mathcal{N}) \geq 0$。
• 解 $u$ 在 $\mathcal{U}$ 上的限制为 $u(p,s) = \varphi(s)$，其中 $\varphi$ 是方程 $\varphi'' = f(\varphi)$ 的有界且严格单调的解。
• 若 $u$ 为非平凡函数，则全局分裂结果成立：$\mathcal{M}$ 等距同构于 $\mathcal{N} \times \mathbb{R}$，其中 $\mathcal{N}$ 为全测地且等参的，且 $u(p,s) = \varphi(s)$。
• 通过构造调和函数 $v = H(u)$ 满足 $|\nabla_g v| \equiv 1$，可保证 $\nabla_g v$ 为平行向量场，从而导出全局等距同构 $\Phi: \mathcal{N} \times \mathbb{R} \to \mathcal{M}$。