[論文レビュー] 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型の点ごとの勾配推定値を分析することにより、非負のリッチ曲率をもつ完全なリーマン多様体について、グローバルおよびローカルな分割定理を確立する。一般化されたModica不等式の等号が正則点で成立するとき、多様体は等長的に $\sigma \times \mathbb{R}$ の積に局所的に分割され、解は $\times$-因子に関する厳密に単調な関数となり、計量および解の構造が完全に特徴づけられる。

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

研究の動機と目的

• 点ごとの勾配推定値を用いて、非負のリッチ曲率をもつ完全なリーマン多様体の新しい分割定理を確立すること。
• 非負でない $F \geq 0$ を仮定しない任意の $C^2$ 非線形関数 $F$ に対して、Modicaの不等式を一般化すること。
• 一般化されたModica推定値における等号が成立する場合の多様体および解の構造を特徴づけること。
• 正則点における等号が成立することは、局所的なリーマン多様体の積構造および1次元の単調な解の挙動を意味することを示すこと。

提案手法

• 一般化されたModica型不等式を導入：$\frac{1}{2}|\nabla_g u|^2 \leq F(u) - c_u$ であり、$-\Delta_g u + f(u) = 0$ の有界解 $u$ に対して、$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$ であることを示す。
• 変数変換を用いて $H'(u) = (2F(u) - 2c_u)^{-1/2}$ を満たす関数 $v = H(u)$ を構成し、その勾配長が1に一定となる調和関数を得る。
• 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$ で成立し、$\nabla_g u(x_0) \neq 0$ であるならば、$\nabla_g u \neq 0$ である連結成分上で $P \equiv 0$ である。
• 等号が成立する連結成分において、リッチ曲率は $\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}$ が得られる。