[论文解读] Stability index jump for cmc hypersurfaces of spheres

Óscar Perdomo, Aldir Brasil|arXiv (Cornell University)|Feb 9, 2012

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

一句话总结

本文证明了在 $n+1$-维球面中，任意非完全脐的紧致常平均曲率（CMC）超曲面的弱稳定性指标不可能属于集合 $\{1, 2, \dots, n\}$，从而实现从 0 到至少 $n+1$ 的严格跃迁。该结果通过雅可比算子的谱分析得出，构造了一个涉及法向量场与位置向量投影的测试子空间，并利用几何恒等式及第二基本形式上的柯西-施瓦茨不等式。

ABSTRACT

It is known that the totally umbilical hypersurfaces in the (n+1)-dimensional spheres are characterized as the only hypersurfaces with weak stability index 0. That is, a compact hypersurface with constant mean curvature, cmc, in S^{n+1}, different from an Euclidean sphere, must have stability index greater than or equal to 1. In this paper we prove that the weak stability index of any non-totally umbilical compact hypersurface M\subset S^{n+1} with cmc cannot take the values 1,2,3... n.

研究动机与目标

• 确定紧致 CMC 超曲面在 $S^{n+1}$ 中的弱稳定性指标可能取值。
• 通过证明非完全脐超曲面在 1 到 $n$ 之间取值不可能，填补稳定性指标谱中的空缺。
• 在已知仅完全脐超曲面具有弱稳定性指标 0 的结果基础上，证明所有其他 CMC 超曲面的弱稳定性指标有精确下界 $n+1$。
• 提供关于球面中 CMC 超曲面雅可比算子谱的一般结构性结果，且不依赖额外对称性或曲率假设。

提出的方法

• 将弱稳定性指标 $\mathrm{ind}_T(M)$ 定义为 $C^\infty(M)$ 中满足函数积分为零且二次型 $\int_M f J(f) < 0$ 的子空间的最大维数。
• 构造一个光滑函数的测试子空间 $V$，其中 $h_u = f_u + \frac{\sqrt{1+H^2}-1}{H} l_u$，且满足 $\int_M h_u = 0$，其中 $f_u = \langle \nu, u \rangle$，$l_u = \langle \phi, u \rangle$，$u \in \mathbb{R}^{n+2}$。
• 利用已知的拉普拉斯恒等式 $\Delta l_u = -n l_u + nH f_u$ 和 $\Delta f_u = -|A|^2 f_u + nH l_u$，计算雅可比算子 $J$ 在 $h_u$ 上的作用。
• 应用引理 2.1，将 $\int_M |A|^2 f_u l_u$ 表示为 $\int_M f_u l_u$、$\int_M f_u^2$ 和 $\int_M l_u^2$ 的形式，从而在二次型中实现代换。
• 利用对形状算子与单位矩阵应用柯西-施瓦茨不等式所得的不等式 $|A|^2 \geq nH^2$，对二次型进行上界估计。
• 通过证明其上界为 $-n \int_M (f_u + H l_u)^2 < 0$，表明对所有非零 $u$ 有 $\int_M h_u J(h_u) < 0$，该式严格为负，源于非脐与非克莱夫福德假设。

实验结果

研究问题

• RQ1 对于非完全脐的紧致 CMC 超曲面 $M \subset S^{n+1}$，其弱稳定性指标 $\mathrm{ind}_T(M)$ 可能取哪些值？
• RQ2 在非完全脐 CMC 超曲面中，是否存在稳定性指标谱的空缺，即排除 1 到 $n$ 的取值？
• RQ3 是否可以对所有非完全脐 CMC 超曲面在 $S^{n+1}$ 中的弱稳定性指标给出 $n+1$ 的下界，而无需依赖对称性或曲率约束？
• RQ4 在非克莱夫福德、非脐情形下，若不存在与 $l_u$ 和 $f_u$ 成比例的特征函数，是否能保证弱稳定性指标存在统一的下界？

主要发现

• 任意非完全脐的紧致 CMC 超曲面 $M \subset S^{n+1}$ 的弱稳定性指标 $\mathrm{ind}_T(M)$ 满足 $\mathrm{ind}_T(M) \geq n+1$，从而排除了 1 到 $n$ 的所有取值。
• 构造维数至少为 $n+1$ 的测试子空间 $V$，确保二次型 $\int_M f J(f)$ 在 $V$ 上为负定，从而证明了该下界。
• 在非脐与非克莱夫福德假设下，$f_u + H l_u$ 不恒为零，从而保证 $\int_M h_u J(h_u)$ 严格为负，如文献 [2] 所建立。
• 证明依赖于恒等式 $\int_M |A|^2 f_u l_u = n \int_M f_u l_u - nH \int_M f_u^2 + nH \int_M l_u^2$，该式通过分部积分与拉普拉斯恒等式推导得出。
• 不等式 $|A|^2 \geq nH^2$ 在控制二次型并确保最终表达式为负定方面至关重要。
• 该结果推广了巴博萨与多·卡莫的定理：$\mathrm{ind}_T(M) = 0$ 当且仅当 $M$ 为完全脐曲面，表明下一个可能的指标至少为 $n+1$。