[论文解读] A General Existence Theorem for Embedded Minimal Surfaces with Free Boundary

Martin Li|arXiv (Cornell University)|Apr 13, 2012

Geometric Analysis and Curvature Flows参考文献 36被引用 6

一句话总结

本文在任意具有边界的紧致黎曼3-流形中，建立了无须曲率或凸性假设的、具有自由边界的适当嵌入极小曲面的一般存在性定理。通过改编Almgren-Pitts与Colding-De Lellis的极小化极大构造方法，作者证明了此类曲面与边界正交相交的存在性，建立了边界正则性，并引入了填充亏格以界定所构造曲面的亏格。

ABSTRACT

In this paper, we develop a general existence theory for properly embedded minimal surfaces with free boundary in any compact Riemannian 3-manifold $M$ with boundary $\partial M$. The main feature of our result is that no convexity assumption is required on $\partial M$. Our proof uses a variant of the min-max construction first considered by Almgren and Pitts. Recently, Colding-De Lellis gave a simplified proof of the interior regularity and here, we prove the boundary regularity of the limiting embedded minimal surfaces at their free boundaries. In addition, we define a topological invariant, the filling genus, for compact 3-manifolds with boundary and show that we can bound the genus of the minimal surface constructed above in terms of the filling genus of the ambient manifold $M$.

研究动机与目标

• 在任意具有边界的紧致黎曼3-流形中，建立具有自由边界的适当嵌入极小曲面的存在性。
• 去除以往存在性定理中对环境流形及其边界所需的曲率和凸性假设。
• 证明极小曲面在其自由边界处的边界正则性，确保其在边界处光滑。
• 定义一个新的拓扑不变量——填充亏格，并利用它来界定所构造极小曲面的亏格。
• 通过Almgren-Pitts构造的变体，将先前用于闭合极小曲面的极小化极大方法扩展至自由边界情形。

提出的方法

• 将Almgren-Pitts极小化极大理论改编至自由边界情形，使用环境流形中带边界的曲面的扫掠（sweepouts）。
• 通过变分方法构造极小化极大序列的曲面，确保极限变积（varifold）为自由平稳且外几乎最小。
• 应用扰动引理（引理B.2）修改扫掠，使得曲面的边界与环境流形的边界横截相交，并避免奇点。
• 利用由外法向量场生成的同伦（isotopies）控制面积和边界行为，确保修改后的曲面仍属于扫掠类。
• 采用局部γ-约化论证处理潜在奇点，确保极限变积在自由边界处正则。
• 引入填充亏格作为3-流形的拓扑不变量，以界定所得到极小曲面的亏格。

实验结果

研究问题

• RQ1 在任意具有边界的紧致黎曼3-流形中，是否总存在一个具有自由边界的适当嵌入极小曲面，而不论其曲率或凸性如何？
• RQ2 极小化极大方法能否被推广至自由边界情形，以构造面积泛函的不稳定临界点？
• RQ3 何种拓扑或几何不变量可用来界定此类极小曲面的亏格？
• RQ4 在一般几何假设下，自由边界极小曲面的边界正则性是否可保证？
• RQ5 该构造能否在避免扫掠中奇点的扰动下保持鲁棒性？

主要发现

• 本文证明了在任意具有边界的紧致黎曼3-流形中，存在一个具有自由边界的适当嵌入极小曲面，且无需曲率或凸性假设。
• 建立了边界正则性：极小曲面在其自由边界处光滑，且与∂M正交相交。
• 所构造极小曲面的亏格由环境3-流形的填充亏格上界控制。
• 引入了一个新的拓扑不变量——填充亏格，并证明其可控制极小曲面的复杂度（亏格）。
• 成功地将极小化极大构造方法通过Almgren-Pitts方法的变体及同伦技术，推广至自由边界情形。
• 扰动引理（引理B.2）确保扫掠可被修改以避免奇点并保持边界控制，从而使得极小化极大极限保持正则。