[论文解读] Surfaces of constant curvature in R^3 with isolated singularities

José A. Gálvez, Laurent Hauswirth+1 more|arXiv (Cornell University)|Jul 15, 2010

Geometric Analysis and Curvature Flows参考文献 27被引用 4

一句话总结

本文对 $ℝ^3$ 中常正曲率 $K > 0$ 的曲面的孤立奇点进行分类，证明有限面积奇点为可去奇点、分支点或浸入的锥形奇点。建立了嵌入的孤立奇点与 $ℝ^2$ 上实解析严格凸的 Jordan 曲线之间的一一对应关系，并通过其高斯映射和共形结构表征了尖顶球面——具有有限多个奇点的紧致凸曲面。

ABSTRACT

We prove that finite area isolated singularities of surfaces with constant positive curvature in R^3 are removable singularities, branch points or immersed conical singularities. We describe the space of immersed conical singularities of such surfaces in terms of the class of real analytic closed locally convex curves in the 2-sphere with admissible cusp singularities, characterizing when the singularity is actually embedded. In the global setting, we describe the space of peaked spheres in R^3, i.e. compact convex surfaces of constant positive curvature with a finite number of singularities, and give applications to harmonic maps and constant mean curvature surfaces.

研究动机与目标

• 对 $ℝ^3$ 中常正曲率 $K > 0$ 的曲面的孤立奇点的性质进行分类，特别关注有限面积和嵌入情形。
• 通过高斯映射和共形结构，表征尖顶球面——具有有限多个奇点的紧致凸曲面——的几何性质。
• 建立嵌入的孤立奇点与 $ℝ^2$ 上实解析严格凸的 Jordan 曲线之间的一一对应关系，从而通过 Schwarz 反射实现解析延拓。
• 通过高斯映射和反射原理，探讨常曲率曲面、调和映射与常平均曲率（CMC）曲面之间的联系。
• 解决关于具有锥形奇点的共形度量的实现性问题，以及尖顶球面的外蕴共形结构的开放问题。

提出的方法

• 利用有界平均曲率和有限总平均曲率作为标准，分析孤立奇点的正则性和可延拓性。
• 应用 Monge-Ampère 方程理论，将 $K$-曲面建模为满足 $|u_{xx}u_{yy} - u_{xy}^2| = K(1 + u_x^2 + u_y^2)^2$ 的解，将几何行为与 PDE 的正则性联系起来。
• 利用 $K$-曲面的高斯映射，将其与映射到 $ℝ^2$ 的调和映射联系起来，利用由第二基本形式诱导的共形结构。
• 在紧致 $K$-曲面的边界分量上应用 Schwarz 反射原理，构造具有无限端点的完备分支 CMC 曲面。
• 将孤立奇点处的极限单位法向量表征为 $ℝ^2$ 中实解析、闭合且严格局部凸的曲线，可能带有孤立的尖点奇点。
• 应用 Hopf 微分和黎曼曲面理论，证明当 $n > 2$ 时，由于高亏格曲面上非零的全纯二次微分，反射曲面上分支点的存在不可避免。

实验结果

研究问题

• RQ1 哪些 $ℝ$ 中的有界圆域可作为 $ℝ^3$ 中尖顶球面的外蕴共形结构？尖顶球面是否由该结构唯一确定？
• RQ2 在 $ℝ^3$ 中，有限个点作为尖顶球面奇点的必要与充分条件是什么？
• RQ3 能否将 $ℝ^2$ 上具有有限个锥形奇点的常曲率 1 的共形度量实现为 $ℝ^3$ 中浸入的 $K=1$ 曲面的内在度量？
• RQ4 具有孤立奇点的 $K$-曲面的高斯映射如何与映射到 $ℝ^2$ 的调和微分同胚相关联？Neumann 问题在此中起什么作用？
• RQ5 通过迭代反射具有 $n > 2$ 个边界分量的紧致 $K$-曲面，所得到的完备分支 CMC 曲面的拓扑与几何结构是怎样的？

主要发现

• 在 $ℝ^3$ 中，若 $K$-曲面的孤立奇点具有有限面积，则其可去当且仅当奇点附近平均曲率有界。
• 有限面积的 $K$-曲面孤立奇点被分类为可去奇点、分支点或浸入的锥形奇点。
• 对于有限面积且不可延拓的孤立奇点，其极限单位法向量是 $ℝ^2$ 中实解析、闭合且严格局部凸的曲线，可能带有孤立的尖点奇点。
• 嵌入的 $K$-曲面孤立奇点与 $ℝ^2$ 上实解析严格凸的 Jordan 曲线一一对应，且此类曲面可通过 Schwarz 反射实现解析延拓。
• 当 $n > 2$ 时，具有 $n$ 个圆边界分量和球面边界分量的 $H = 1/2$ 紧致曲面 $S_H$ 的空间维数为 $3n - 6$，其反射生成具有无限端点和亏格零的完备分支 CMC 曲面。
• 当 $n > 2$ 时，反射曲面上分支点的存在性由亏格 $g = n - 1 > 1$ 的紧黎曼曲面上 Hopf 微分非零所保证，这意味着 $S_H$ 必须具有脐点。