[论文解读] Rigidity for nearly umbilical hypersurfaces in space forms

Xu Cheng, Detang Zhou|arXiv (Cornell University)|Aug 8, 2012

Geometric Analysis and Curvature Flows参考文献 5被引用 9

一句话总结

本文建立了关于空间形式（$\mathbb{R}^{n+1}$, $\mathbb{H}^{n+1}$, $\mathbb{S}^{n+1}_+$）中闭超曲面的第二基本形式与平均曲率的$L^2$不等式的刚性结果。证明了Perez不等式中的等式成立当且仅当超曲面为全脐曲面——具体而言，即距离球面——从而将稳定性结果推广至非欧几里得空间形式，并通过引入与曲率相关的常数，将不等式推广至非负 Ricci 曲率之外的情形。

ABSTRACT

Perez proved some $L^2$ inequalities for closed convex hypersurfaces immersed in the Euclidean space $\mathbb{R}^{n+1}$, more generally, for closed hypersurfaces with non-negative Ricci curvature, immersed in an Einstein manifold. In this paper, we discuss the rigidity of these inequalities when the ambient manifold is $\mathbb{R}^{n+1}$, the hyperbolic space $\mathbb{H}^{n+1}$, or the closed hemisphere $\mathbb{S}_+^{n+1}$. We also obtain a generalization of the Perez's theorem to the hypersurfaces without the hypothesis of non-negative Ricci curvature.

研究动机与目标

• 研究空间形式中具有非负 Ricci 曲率的超曲面的$L^2$不等式的刚性。
• 确定Perez的$L^2$不等式中等式成立的条件，以刻画超曲面的几何结构。
• 通过在不等式中引入与曲率相关的常数，将Perez的结果推广至非负 Ricci 曲率之外的情形。
• 证明在广义不等式中等式成立蕴含超曲面为全脐曲面，即在周围空间形式中为距离球面。

提出的方法

• 利用爱因斯坦流形中的 Codazzi 方程与曲率恒等式，推导出 trace-free 第二基本形式的$L^2$估计。
• 通过与空间形式中距离球面的特征值进行比较，分析超曲面的 Ricci 曲率。
• 应用一种类似 Bochner 的论证方法，涉及函数$\phi = H - \overline{H}$，在 Ricci 曲率正定的条件下证明$\nabla\phi = 0$。
• 建立 trace-free 第二基本形式与$\phi$的 Hessian 之间的线性相关性，从而推出$A$为常数。
• 推导出一个广义不等式，其中包含与曲率相关的常数$1 + \frac{K}{\eta_1}$，其中$K$为环境曲率，$\eta_1$为 Jacobi 算子的最小特征值。
• 通过反证法与局部分析：若等式成立且 Ricci 曲率为正定，则$A = \frac{\overline{H}}{n}g$恒成立，从而推出全脐性。

实验结果

研究问题

• RQ1 在何种条件下，Perez的$L^2$不等式在空间形式中的超曲面上等式成立？
• RQ2 刚性结果——等式蕴含全脐性——能否从$\mathbb{R}^{n+1}$推广至双曲与球面空间形式？
• RQ3 当非负 Ricci 曲率假设被移除时，$L^2$不等式会发生什么变化？
• RQ4 是否可以在不依赖 Ricci 曲率控制的情况下，保持不等式中的通用常数？若不能，会出现何种替代常数？
• RQ5 广义不等式中的等式情形是否足以推出超曲面为距离球面？

主要发现

• 在不等式$\int_{\Sigma}|A - \frac{1}{n}\overline{H}g|^2 = \frac{n}{n-1}\int_{\Sigma}|A - \frac{H}{n}g|^2$中，等式成立当且仅当$\Sigma$是$M^{n+1}(c)$中全脐超曲面，其中$c = 0, -1, 1$。
• 在$\mathbb{R}^{n+1}$中，等式成立当且仅当$\Sigma$为常平均曲率的球面。
• 在$\mathbb{H}^{n+1}$中，等式成立当且仅当$\Sigma$为中心在某点的测地球面（即距离球面）。
• 在$\mathbb{S}^{n+1}_+$中，等式成立当且仅当$\Sigma$为全脐超曲面，即距离球面。
• 广义不等式$\int_{\Sigma}|A - \frac{\overline{H}}{n}g|^2 \leq \frac{n}{n-1}(1 + \frac{K}{\eta_1})\int_{\Sigma}|A - \frac{H}{n}g|^2$对任意具有环境曲率$K$的 Einstein 流形中的闭超曲面成立，且常数为最优。
• 当$K > 0$时，只要 Ricci 曲率为正定，且$H - \overline{H}$的 Hessian 与 trace-free 第二基本形式线性相关，则等式情形仍蕴含全脐性。