[论文解读] Scalar curvature rigidity of geodesic balls in S^n

Simon Brendle, Fernando C. Marques|arXiv (Cornell University)|May 16, 2010

Geometric Analysis and Curvature Flows参考文献 10被引用 12

一句话总结

本文建立了在半径小于 $\pi/2$ 的 $n$-球 $S^n$ 上测地球的标量曲率刚性结果，表明在标准度量的 $W^{2,p}$-小扰动下，任何具有非负标量曲率、边界平均曲率不小于标准度量、且边界度量相同的黎曼度量，若测地球足够远离赤道，则必与标准度量等距。该结果与 Min-Oo 猜想的反例形成对比，依赖于加权 $L^2$-框架下的扰动分析与隐函数定理，其中使用函数 $f = x_{n+1}$ 作为权重。

ABSTRACT

In this paper, we prove a scalar curvature rigidity result for geodesic balls in S^n. This result contrasts sharply with the recent counterexamples to Min-Oo's conjecture for the hemisphere (cf. [5]).

研究动机与目标

• 建立在标量曲率与边界平均曲率约束下，$S^n$ 上测地球的刚性结果。
• 理解为何 Min-Oo 猜想在上半球失败，但在更小的测地球上成立。
• 在加权 $L^2$-框架下，为接近标准度量的度量提供稳定的刚性条件。
• 通过扰动理论，将类似正质量定理的刚性结果推广至 $S^n$ 中的紧致非凸区域。
• 确定刚性成立的精确临界阈值 $c \geq 2/\sqrt{n+3}$，以区别于上半球情形。

提出的方法

• 对紧致区域 $\Omega = \{f \geq c\}$ 上标准度量 $\overline{g}$ 附近的小扰动度量 $g = \overline{g} + h$，展开标量曲率与边界平均曲率的扰动。
• 使用函数 $f = x_{n+1}$ 作为权重，建立加权 $L^2$-估计，以捕捉测地球的几何结构。
• 在 $W^{2,p}$-正则黎曼度量与保持边界的微分同胚空间中，应用隐函数定理。
• 利用李导数线性化微分同胚作用，并将扰动 $h$ 分解为无散部分与纯迹部分。
• 导出一个涉及 $|\overline{D}h|^2$、$|\overline{\nabla}(\text{tr}_{\overline{g}} h)|^2$ 与边界项的强制不等式，表明当 $h$ 足够小时，必有 $h \equiv 0$。
• 证明当 $c \geq 2/\sqrt{n+3}$ 时，边界项 $\frac{1}{4}H_{\overline{g}}f + \partial_\nu f \geq 0$ 成立，这对强制性至关重要。

实验结果

研究问题

• RQ1 尽管 Min-Oo 猜想在完整上半球失败，但在小于上半球的测地球上，标量曲率刚性结果是否仍成立？
• RQ2 使得刚性结果在 $\Omega = \{f \geq c\}$ 上成立的 $c$ 的最优下界是什么？
• RQ3 能否在 $W^{2,p}$-小扰动而非 $C^2$-小扰动下建立该刚性？
• RQ4 在 $L^2$-估计中选择 $f = x_{n+1}$ 作为权重，如何影响曲率差的强制性？
• RQ5 在何种边界与曲率的几何条件下，扰动 $h$ 必恒为零？

主要发现

• 对于 $S^n$ 中满足 $c \geq 2/\sqrt{n+3}$ 的测地球 $\Omega = \{f \geq c\}$，任何 $W^{2,p}$-小扰动度量 $g$，若满足 $R_g \geq n(n-1)$ 且 $H_g \geq H_{\overline{g}}$，则必通过保持边界的微分同胚与标准度量 $\overline{g}$ 等距。
• 当 $c=0$（即上半球）时，刚性不成立，[5] 中的反例已证实 $c \geq 2/\sqrt{n+3}$ 条件的必要性。
• 由加权 $L^2$-估计导出的强制不等式确保：若 $\|h\|_{C^1}$ 足够小，则扰动 $h = \varphi^*(g) - \overline{g}$ 恒为零。
• 边界项 $\frac{1}{4}H_{\overline{g}}f + \partial_\nu f \geq 0$ 恰当且仅当 $c \geq 2/\sqrt{n+3}$ 时成立，这对能量泛函的强制性至关重要。
• 该结果在更弱的假设下成立：$g - \overline{g}$ 在 $W^{2,p}$-范数下足够小（$p > n$），从而将刚性推广至更广的度量类。
• 证明依赖于对微分同胚作用应用隐函数定理，将问题约化为证明线性化方程的唯一解为零解。