[论文解读] The space of embedded minimal surfaces of fixed genus in a 3-manifold II; Multi-valued graphs in disks

Tobias Colding, William P. Minicozzi|ArXiv.org|Oct 7, 2002

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

一句话总结

本文证明，在3-流形中具有大曲率的嵌入极小圆盘包含几乎平坦的多值图像，且其延伸几乎到达边界。通过曲率爆破分析与内在几何不等式，证明此类圆盘在极限下收敛于光滑极小图像，从而解决了高曲率点附近的局部结构，并推广了[CM3]的结果。

ABSTRACT

This paper is the second in a series where we attempt to give a complete description of the space of all embedded minimal surfaces of fixed genus in a fixed (but arbitrary) closed 3-manifold. The key for understanding such surfaces is to understand the local structure in a ball and in particular the structure of an embedded minimal disk in a ball in $\RR^3$. We show here that if the curvature of such a disk becomes large at some point, then it contains an almost flat multi-valued graph nearby that continues almost all the way to the boundary.

研究动机与目标

• 通过分析球体内嵌入极小圆盘，理解3-流形中嵌入极小曲面的局部结构。
• 解决极小圆盘在某点曲率爆破时的行为，这是分类此类曲面的关键障碍。
• 确立高曲率点与朝向边界延伸的多值图像存在的关联。
• 利用曲率与分离估计，证明此类圆盘序列在极限下收敛于光滑极小图像。

提出的方法

• 使用爆破论证，对高曲率点的邻域进行缩放，表明其附近存在几乎平坦的多值图像。
• 应用Poincaré不等式与Caccioppoli型不等式，控制面积与曲率，将内在几何与曲率估计联系起来。
• 运用Harnack不等式与稳定性估计，控制多值图像各层之间的分离。
• 结合曲率上界与[CM3]中的次线性增长估计，证明层间分离的增长速度慢于线性。
• 利用可去奇点定理，将极限下的2值图像延拓为通过原点的光滑极小图像。
• 依赖内在几何与旋转不变性，将问题约化为R³中的通用模型，该模型在任意3-流形的局部均成立。

实验结果

研究问题

• RQ1 当曲率变得极大时，嵌入极小圆盘中会涌现出何种局部几何结构？
• RQ2 在嵌入极小圆盘的高曲率点附近，能否找到多值图像？
• RQ3 当远离高曲率点向外移动时，多值图像各层之间的分离行为如何？
• RQ4 在某点曲率爆破的嵌入极小圆盘序列的极限行为是什么？
• RQ5 此类序列的极限是否可以是通过高曲率点的光滑极小图像？

主要发现

• 若嵌入极小圆盘在球体内曲率超过与$ r_0^{-2} $成比例的阈值，则该圆盘在$ D_{R/C_2} \setminus D_{2r_0} $上包含一个梯度$ \leq \epsilon $、且位于$ \epsilon $角锥内的$ N $-值图像。
• 对任意$ N \in \mathbb{Z}_+ $，$ \epsilon > 0 $，存在$ C_1, C_2 > 0 $，使得大曲率意味着存在几乎平坦的多值图像，其延伸几乎到达边界。
• 当曲率在点$ y_i $处爆破时，极小圆盘序列包含收敛于通过极限点的光滑极小图像的2值图像。
• 多值图像各层之间的分离以次线性方式增长，满足$ u(2R) \leq 2^\alpha u(R) $，其中$ \alpha < 1 $，确保图像在极限下闭合。
• 2值图像的极限是定义在穿孔圆盘上的光滑极小图像，通过可去奇点定理可光滑地延拓过原点。
• 2值图像的收敛具有二重重数，且在原点外的任意紧子集上一致收敛。