[论文解读] On the number of minimal surfaces with a given boundary

David Hoffman, Brian White|ArXiv.org|Jul 7, 2008

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

一句话总结

本文建立了在均凸3-流形中，具有给定边界的嵌入极小曲面的模2奇偶性定理，将White早期在严格凸区域中的结果推广至非严格凸及分段光滑边界的情形。关键贡献是基于欧拉示性数的拓扑不变量：若曲面为圆盘的并集，则此类极小曲面的数量为奇数，否则为偶数——该结果被用于证明在$\mathbf{S}^2\times\mathbf{R}$中存在嵌入的亏格-$g$螺旋面。结果依赖于度理论、Jacobi场分析以及对称边界下的摄动技术。

ABSTRACT

We generalize the following result of White: Suppose $N$ is a compact, strictly convex domain in $\RR^3$ with smooth boundary. Let $Σ$ be a compact 2-manifold with boundary. Then a generic smooth curve $Γ\cong \partialΣ$ in $\partial N$ bounds an odd or even number of embedded minimal surfaces diffeomorphic to $Σ$ according to whether $Σ$ is or is not a union of disks. First, we prove that the parity theorem holds for any compact riemannian 3-manifold $N$ such that $N$ is strictly mean convex, $N$ is homeomorphic to a ball, $\partial N$ is smooth, and $N$ contains no closed minimal surfaces. We then further relax the hypotheses by allowing $N$ to be weakly mean convex and to have piecewise smooth boundary. We extend the parity theorem yet further by showing that, under an additional hypothesis, it remains true for minimal surfaces with prescribed symmetries. The parity theorems are used in an essential way to prove the existence of embedded genus-$g$ helicoids in $\SS^2 imes \RR$. We give a very brief outline of this application. (The full argument will appear elsewhere.)

研究动机与目标

• 将White在严格凸区域中关于极小曲面的奇偶性定理推广至更一般的均凸3-流形，且边界为分段光滑的情形。
• 建立在给定拓扑类型（为圆盘型或非圆盘型）下，具有指定边界的嵌入极小曲面数量为奇数或偶数的条件。
• 将奇偶性定理推广至具有指定对称性的极小曲面，特别是$\mathbf{S}^2\times\mathbf{R}$等对称情形。
• 将这些奇偶性结果应用于证明在$\mathbf{S}^2\times\mathbf{R}$中存在嵌入的亏格-$g$螺旋面，这是一个长期悬而未决的公开问题。
• 提供一种基于度理论与摄动方法的模2计数框架，即使在标准等周不等式失效时亦可适用。

提出的方法

• 利用度理论与Jacobi场理论，分析紧致3-流形$N$（带边界）中嵌入极小曲面的模2计数。
• 引入不规则边界条件，以确保无非平凡的Jacobi场在边界上消失，从而保证横截性与解的有限性。
• 应用摄动技术，将边界上的曲线形变为$Y$-不规则形式，从而可使用光滑的一族曲面。
• 构造逼近曲面$S_t$作为参考曲面$\tilde{M}$的法向图，确保当$t \to 0$时，$S_t$光滑收敛至极限极小曲面。
• 利用曲面与对称轴$Y$的交点数量与解计数奇偶性之间的对应关系，推导模2下的递推关系。
• 利用如下事实：$|S_t \cap Y| = |M \cap Y|$ 或 $|M \cap Y| + 2$，具体取决于极限曲面属于$\mathcal{M}_Y^*(\Gamma,j,+)$ 或 $\mathcal{M}_Y^*(\Gamma,j,-)$，从而导出模2的递推关系。

实验结果

研究问题

• RQ1 在何种条件下，给定的边界曲线$\Gamma$会在均凸3-流形中，以指定拓扑类型绑定奇数或偶数个嵌入极小曲面？
• RQ2 奇偶性定理如何推广至具有分段光滑、均凸边界的3-流形？特别是当极小曲面可能位于边界上时？
• RQ3 模2计数方法能否适用于具有指定对称性的曲面，如$\mathbf{S}^2 \times \mathbf{R}$中的$Y$-对称极小曲面？
• RQ4 曲面的欧拉示性数在决定具有给定边界的极小曲面数量奇偶性方面起何种作用？
• RQ5 模2计数如何用于证明任意亏格的嵌入极小曲面（如亏格-$g$螺旋面）的存在性？

主要发现

• 若$N$为严格均凸、光滑、同胚于球体，且不包含闭极小曲面，则与$\Sigma$微分同胚且边界为$\Gamma$的嵌入极小曲面数量为奇数当且仅当$\Sigma$是圆盘的并集，否则为偶数。
• 在排除不稳定边界上极小曲面且无两个相邻边界区域同时为极小曲面的条件下，该奇偶性定理可推广至具有分段光滑边界的均凸3-流形。
• 若缺少上述条件，定理不成立，反例包括$\mathbf{R}^3$中的平坦环形区域或圆柱形区域。
• 在对称情形下（如$\mathbf{S}^2 \times \mathbf{R}$中的$Y$-对称极小曲面），与对称轴交点数为$k$的此类曲面数量满足：$$|\mathcal{M}_Y^*(\Gamma(t),k)| \equiv |\mathcal{M}_Y^*(\Gamma,k,+)| + |\mathcal{M}_Y^*(\Gamma,k-2,-)| \pmod{2}$$
• 通过关于$k$的归纳法，本文证明了对所有$k \geq 0$，有$|\mathcal{M}_Y^*(\Gamma,k,+)| \equiv 1 \pmod{2}$，从而表明对每个$k$至少存在一个此类曲面，因此在$\mathbf{S}^2 \times \mathbf{R}$中存在嵌入的亏格-$g$螺旋面。