[论文解读] Period problems for mean curvature one surfaces in $H^3$ (with application to surfaces of low total curvature)

Wayne Rossman, Masaaki Umehara+1 more|ArXiv.org|May 24, 2008

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

一句话总结

本文研究双曲3空间 $H^3$ 中常平均曲率一（CMC-1）曲面的周期问题，重点在于低总绝对曲率曲面的分类。通过Bryant表示法并分析亚纯数据，作者解决了周期问题，对真总绝对曲率 $ ext{TA}(f) \leq 8\pi$ 的CMC-1曲面进行分类，识别出特定类型如 $ extbf{I}(-2,-2)$、$ extbf{I}(-2,-3)$ 和 $ extbf{I}(-2,-2,-2)$，并证明 $ extbf{I}(0,0)$ 由于高斯映射约束而不可能出现。

ABSTRACT

We review recent results on classifying complete constant mean curvature 1 (CMC 1) surfaces in hyperbolic 3-space with low total curvature. There are two natural notions of "total curvature" -- one is the total absolute curvature, which is the integral over the surface of the absolute value of the Gaussian curvature, and the other is the dual total absolute curvature, which is the total absolute curvature of the dual CMC 1 surface. Here we discuss results on both notions (proven in two other papers by the authors), and we introduce new results as well.

研究动机与目标

• 对 $H^3$ 中总绝对曲率较低的完备CMC-1曲面进行分类，重点关注真总绝对曲率 $\operatorname{TA}(f)$。
• 在 $H^3$ 中CMC-1曲面的Bryant表示框架下，解决周期问题。
• 区分真总曲率 $\operatorname{TA}(f)$ 与对偶总曲率 $\operatorname{TA}(f^\sharp)$，并分析其几何与拓扑意义。
• 将分类结果从对偶总曲率情形推广至更复杂的真总曲率情形，后者缺乏整数约束与Osserman不等式。
• 通过高斯映射行为与通量条件，识别并排除不可能的构型，如 $\mathbf{I}(0,0)$。

提出的方法

• 利用 $H^3$ 中CMC-1曲面的Bryant表示法，通过亚纯数据（包括第二高斯映射 $g$ 和双曲高斯映射 $G$）表达曲面。
• 通过研究曲面发展映射的单值性与单值群，分析周期问题，确保浸入的全局闭合性。
• 应用平衡公式 (7.15) 与通量条件，约束端点类型与端点次数 $d_j$。
• 利用高斯映射次数与分支点分析，通过反证法排除不可能构型（如 $\mathbf{I}(0,0)$），与 (7.13) 矛盾。
• 应用Osserman与Cohn-Vossen不等式以限制曲率并指导分类，尤其针对 $\operatorname{TA}(f^\sharp)$。
• 应用 [RUY2]、[UY5] 与 [RUY4] 的结果，推导端点类型与曲率次数的约束，特别是针对 $d_j \geq -2$ 或 $d_j \leq -3$ 的情形。

实验结果

研究问题

• RQ1 在解决周期问题后，哪些 $H^3$ 中满足 $\operatorname{TA}(f) \leq 8\pi$ 的CMC-1曲面可实现全局浸入？
• RQ2 为何构型 $\mathbf{I}(0,0)$ 不可能出现在满足 $\operatorname{TA}(f) \leq 8\pi$ 的CMC-1曲面中？
• RQ3 第二高斯映射 $g$ 与双曲高斯映射 $G$ 在约束总曲率与端点行为方面有何不同？
• RQ4 发展映射的单值性在决定CMC-1曲面周期问题可解性方面起何作用？
• RQ5 具有不规则端点（如 $d_j = -3$）的曲面能否与规则端点共存，同时满足曲率与通量约束？

主要发现

• 构型 $\mathbf{I}(0,0)$ 不可能出现在满足 $\operatorname{TA}(f) \leq 8\pi$ 的CMC-1曲面中，因为它意味着双曲高斯映射 $G$ 至多有两个分支点，与 (7.13) 矛盾。
• 真总绝对曲率 $\operatorname{TA}(f) \leq 8\pi$ 的唯一可能双端CMC-1曲面为 $\mathbf{I}(-2,-2)$、$\mathbf{I}(-2,-3)$ 与 $\mathbf{I}(-1,-1)$ 类型，其中 $\mathbf{I}(-1,-1)$ 同样因高斯映射矛盾被排除。
• 双曲3空间中的亏格一环状曲面（catenoid cousin）属于 $\mathbf{I}(-2,-2)$ 类型，但其总绝对曲率超过 $8\pi$，表明其位于 $\operatorname{TA}(f) \leq 8\pi$ 分类范围之外。
• 亏格一三叶曲面（trinoid，类型 $\mathbf{I}(-2,-2,-2)$）的 $\operatorname{TA}(f)$ 接近 $12\pi$，因此不满足 $\operatorname{TA}(f) \leq 8\pi$，证实基于形变的构造会超出曲率界限。
• 对于满足 $d_1 = -3$ 的双端曲面，唯一一致的构型是 $\mathbf{I}(-2,-3)$，因为 $d_1 = -3$ 暗示 $d_2 \geq -2$，而 $d_2 \geq -1$ 会因整数通量条件导致矛盾。
• 本文确立了 $\mathbf{I}(-2,-2)$、$\mathbf{I}(-2,-3)$ 与 $\mathbf{I}(-2,-2,-2)$ 是 $\operatorname{TA}(f) \leq 8\pi$ 下的唯一可能类型，其中后两者为非嵌入且非对称曲面。