[论文解读] Existence of constant mean curvature 2-spheres in Riemannian 3-spheres

Da Rong Cheng, Xin Zhou|arXiv (Cornell University)|Dec 24, 2020

Geometric Analysis and Curvature Flows参考文献 50被引用 4

一句话总结

该论文证明了在任意黎曼3-球面上，对几乎所有给定的平均曲率 H > 0，均存在分支浸入的常平均曲率（CMC）2-球面；当3-球面具有正里奇曲率时，对所有 H > 0 均存在此类2-球面。作者提出了一种针对加权Dirichlet能量泛函的新颖变分极小-极大方案，结合双调和逼近、极小-极大值的导数估计以及Morse指标估计，实现了紧致性与能量控制。

ABSTRACT

We prove the existence of branched immersed constant mean curvature 2-spheres in an arbitrary Riemannian 3-sphere for almost every prescribed mean curvature, and moreover for all prescribed mean curvatures when the 3-sphere is positively curved. To achieve this, we develop a min-max scheme for a weighted Dirichlet energy functional. There are three main ingredients in our approach: a bi-harmonic approximation procedure to obtain compactness of the new functional, a derivative estimate of the min-max values to gain energy upper bounds for min-max sequences for almost every choice of mean curvature, and a Morse index estimate to obtain another uniform energy bound required to reach the remaining constant mean curvatures in the presence of positive curvature.

研究动机与目标

• 在具有受控拓扑的任意黎曼3-球面上，建立闭合、分支浸入的CMC 2-球面的一般存在性理论。
• 解决已知情况 H = 0 和 H 极大之外的中间平均曲率 H > 0 时CMC 2-球面的构造这一开放问题。
• 证实Rosenberg-Smith关于在正曲率3-球面上对所有 H > 0 存在分支浸入CMC 2-球面的猜想。
• 将Sacks-Uhlenbeck对极小曲面的极小-极大理论推广至3-球面上的CMC情形。

提出的方法

• 为构造CMC曲面，发展一种针对加权Dirichlet能量泛函的极小-极大方案，采用变分方法。
• 实施双调和逼近过程，以确保在新泛函下极小-极大序列的紧致性。
• 推导极小-极大值的导数估计，以获得几乎所有 H > 0 下的统一能量上界。
• 建立Morse指标估计，以控制极限曲面的指标，并在里奇曲率为正时获得额外的能量界。
• 利用CMC方程（1.1）和弱共形条件（1.2）将解表征为具有常平均曲率 H 的分支浸入。
• 应用Sobolev不等式与Poincaré型估计，控制高阶导数并确保极小-极大构造中的正则性。

实验结果

研究问题

• RQ1 在任意黎曼3-球面上，是否存在一个具有常平均曲率 H > 0 的分支浸入2-球面？
• RQ2 当环境3-球面具有正里奇曲率时，是否能保证对所有 H > 0 均存在此类CMC 2-球面？
• RQ3 能否发展一种CMC曲面的极小-极大构造方法，确保紧致性与统一能量界，且不依赖于曲率钳制条件？
• RQ4 Sacks-Uhlenbeck对极小曲面的极小-极大理论在3-球面上推广至CMC情形的适用范围有多大？

主要发现

• 对几乎所有 H > 0，在任意微分同胚于 S³ 的黎曼3-球面上，均存在一个非平凡的分支浸入2-球面，其具有常平均曲率 H 且Morse指标至多为1。
• 当黎曼3-球面具有正里奇曲率时，对所有 H > 0 均保证存在此类分支浸入CMC 2-球面。
• 该存在性结果在更弱的曲率条件 Ric_g > -H²/2 g 下成立，扩展至严格正里奇曲率之外的情形。
• 在正里奇曲率情况下，所构造的CMC 2-球面的Morse指标恰好为1。
• 通过导数估计与Morse指标控制，极小-极大构造实现了统一能量界，确保收敛至非平凡解。
• 该方法将Sacks-Uhlenbeck对极小2-球面的存在性理论推广至3-球面上的CMC情形。