[论文解读] General curvature estimates for stable H-surfaces in 3-manifolds and applications

Harold Rosenberg, Rabah Souam+1 more|ArXiv.org|Feb 20, 2009

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

一句话总结

本文通过一种新颖的爆破论证，建立了在具有有界截面曲率的3-流形中稳定H-曲面的普遍曲率估计，证明了第二基本形式的范数 |A(p)| 有界于一个与环境流形和平均曲率H无关的绝对常数C除以到边界距离与π/(2√Λ)的最小值。该结果不依赖于周围流形或H，扩展了以往需要更强曲率控制或导数控制的估计结果。

ABSTRACT

We obtain an estimate for the norm of the second fundamental form of stable H-surfaces in Riemannian 3-manifolds with bounded sectional curvature. Our estimate depends on the distance to the boundary of the surface and on the bounds on the geometry of the ambient manifold but not on the manifold itself. We give some applications, in particular we obtain an interior gradient estimate for H-sections in Killing submersions.

研究动机与目标

• 推导在具有有界截面曲率的3-流形中稳定H-曲面的普遍曲率估计，且不依赖于周围流形和平均曲率H。
• 消除对曲率张量协变导数的依赖，而这一依赖在Schoen和Zhang的先前结果中是必需的。
• 建立一个仅依赖于到边界距离和截面曲率上界Λ的一般曲率估计。
• 将结果应用于获得Killing纤维丛中H-截面的内部梯度估计。
• 证明在这些流形中，完备的稳定H-曲面必须具有受控的第二基本形式，从而对其几何与拓扑产生影响。

提出的方法

• 采用基于反证法的爆破论证：假设曲率估计不成立，从而构造出一列稳定H-曲面，其在某点处的 |A| 逐渐增大。
• 通过 |A_n(p_n^*)| 对曲面进行缩放，使得基点处的第二基本形式范数变为1。
• 缩放后的度量在R^3的紧子集上收敛于欧氏度量，从而在R^3中构造出一个极限曲面S。
• 证明该极限曲面S是R^3中的完备稳定H-曲面，因此必为平面，与原点处 |A|=1 矛盾。
• 使用调和坐标处理局部几何，固定在欧氏球内，从而可与欧氏图进行比较，并控制度量畸变。
• 利用调和坐标图和度量分量及其导数的统一有界性，建立局部版本的曲率估计。

实验结果

研究问题

• RQ1 能否在不依赖曲率张量协变导数有界性的前提下，获得在3-流形中稳定H-曲面的普遍曲率估计？
• RQ2 第二基本形式 |A(p)| 对到边界距离和截面曲率上界Λ的最优依赖关系是什么？
• RQ3 即使缺乏对曲率的导数控制，是否仍能在稳定H-曲面情形下获得曲率估计？
• RQ4 此类曲率估计能否用于推导Killing纤维丛中H-截面的梯度估计？
• RQ5 能否在R^3中构造出一个满足 |A|=1 的完备稳定H-曲面，从而与该曲面的存在性矛盾？

主要发现

• 主要结果表明，存在与流形M和Λ无关的绝对常数C，使得 |A(p)| ≤ C / min{d(p,∂Σ), π/(2√Λ)} 成立。
• 对于完备非紧致的稳定H-曲面，有 |A(p)| ≤ C√Λ 一致成立，表明曲率受环境曲率上界控制。
• 对于紧致的稳定H-曲面，有 |A(p)| × min{diam(Σ), π/√Λ} ≤ C，揭示了直径与曲率之间的权衡关系。
• 爆破论证通过构造一个在R^3中满足 |A|=1 的完备稳定H-曲面而导出矛盾，该曲面必为平面，从而违反第二基本形式范数。
• 证明了估计的局部版本：任何具有有界 |A| 且到边界足够远的稳定H-曲面，均位于一个调和坐标图内，并可表示为固定半径圆盘上的欧氏图。
• 结果表明，Killing纤维丛中的整体H-截面满足内部梯度估计，从而推广了关于图的已知结果。