[论文解读] Closed self-shrinking surfaces in $\mathbb{R}^3$ via the torus

Niels Martin Møller|arXiv (Cornell University)|Nov 30, 2011

Geometric Analysis and Curvature Flows参考文献 9被引用 15

一句话总结

该论文通过受 Kapouleas 极小曲面理论启发的粘合构造，将标准 2-球面与 Angenent 的自缩小时曲率环面在交线处去奇异化，构建了 $\mathbb{R}^3$ 中高亏格 $g = 2k$ 的闭合、嵌入的平均曲率自缩曲面。这些曲面具有 $2g$ 阶二面体对称性，收敛于两个已知自缩曲面的并集，并通过定量稳定性估计与在 $e$-接近测地线的曲线上施加的 Neumann 边界条件证明其存在性。

ABSTRACT

We construct many closed, embedded mean curvature self-shrinking surfaces $Σ_g^2\subseteq\mathbb{R}^3$ of high genus $g=2k$, $k\in \mathbb{N}$. Each of these shrinking solitons has isometry group equal to the dihedral group on $2g$ elements, and comes from the "gluing", i.e. desingularizing of the singular union, of the two known closed embedded self-shrinkers in $\mathbb{R}^3$: The round 2-sphere $\mathbb{S}^2$, and Angenent's self-shrinking 2-torus $\mathbb{T}^2$ of revolution. This uses the results and methods N. Kapouleas developed for minimal surfaces in \cite{Ka97}--\cite{Ka}.

研究动机与目标

• 在已知的球面与 Angenent 环面之外，构造 $\mathbb{R}^3$ 中新的闭合、嵌入的平均曲率自缩曲面。
• 将 Kapouleas 的极小曲面粘合技术推广至平均曲率流中自缩曲面的设定。
• 建立具有二面体对称性且以 $\mathbb{S}^2$ 与 $\mathbb{T}^2$ 并集为极限的高亏格自缩曲面的存在性。
• 在扰动环面上验证线性化算子的非退化条件（N1'）与稳定性估计，以支持粘合过程。

提出的方法

• 将 Kapouleas 的极小曲面去奇异化方法适配于自缩曲面构造，通过在球面与 Angenent 环面的交线处粘合来实现。
• 在环面与对称平面对应的交线圆上施加 Neumann 边界条件，以确保经反射加倍后仍保持光滑。
• 利用扰动环面上稳定性算子 $\mathcal{L} = \Delta + |A|^2 + \operatorname{Ric}(\nu,\nu)$ 的定量估计，验证非退化性与可解性。
• 应用 Grönwall-Bellman 不等式，控制近似曲面上 $delta$-接近特征函数与 $heta$-测地线中的误差传播。
• 依赖于测试函数与近似误差 ($\varepsilon_i^{B/T}, \delta_i^{B/T}$) 在 $10^{-1}$ 至 $10^{-3}$ 水平上的严格数值验证，以确定 Jacobi 场位置。
• 在 Hausdorff 拓扑下建立收敛性，并在两处交线圆之外实现局部光滑收敛。

实验结果

研究问题

• RQ1 能否在 $\mathbb{R}^3$ 中构造出超越球面与 Angenent 环面的闭合、嵌入的高亏格自缩曲面？
• RQ2 基于对称性与稳定性估计的粘合构造是否能产生具有指定二面体对称性的嵌入自缩曲面？
• RQ3 在扰动环面上，线性化稳定性算子的非退化性是否可在 Neumann 条件下得到验证？
• RQ4 在粘合框架中，为确保 $delta$-特征函数与 $heta$-测地线的存在性，需要哪些定量估计？
• RQ5 所构造的曲面如何收敛于 $\mathbb{S}^2$ 与 $\mathbb{T}^2$ 的并集？

主要发现

• 对每个足够大的偶数亏格 $g = 2k$，$k \in \mathbb{N}$，存在一个紧致、嵌入、光滑的自缩曲面 $\Sigma_g^2 \subset \mathbb{R}^3$，其亏格为 $g$。
• 所构造的曲面 $\Sigma_g^2$ 关于阶为 $2g = 4k$ 的二面体群不变。
• 序列 $\{\Sigma_g^2\}$ 在 Hausdorff 拓扑下收敛于并集 $\mathbb{S}^2 \cup \mathbb{T}^2$，且在两处交线圆之外实现局部光滑收敛。
• 其存在性依赖于在扰动环面上对稳定性算子 $\mathcal{L}$ 验证 Neumann 非退化条件（N1'），并实现对误差项的定量控制。
• 通过 Grönwall-Bellman 不等式与测试函数的严格估计，结合数值验证，确认图中 Jacobi 场位置的误差在 $\mathcal{O}(10^{-1})$ 至 $\mathcal{O}(10^{-3})$ 范围内。
• 通过确保 $|G'(1/2) - g'(1/2)| \leq 813|U(0) - u(0)| + 86\varepsilon_1^B + 3\varepsilon_2^B + \frac{95}{27}\delta_1^B + (\sqrt{2} - a_0)\delta_2^B$ 及类似值的界，并匹配初始条件，使构造成功。