[论文解读] The moduli space of embedded singly periodic maximal surfaces with isolated singularities in the Lorentz-Minkowski space $ł^3$

Isabel Fernández, Francisco J. López+1 more|ArXiv.org|Dec 9, 2004

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

一句话总结

该论文证明，在包含一个标记的奇异点排序和指定渐近端的归一化条件下，洛伦兹-闵可夫斯基空间 $\mathbb{L}^3$ 中具有 $n+1$ 个孤立锥状奇点的嵌入单周期极大曲面的模空间是一个维度为 $3n+4$ 的实解析流形。该模空间在紧致子集上关于圆柱面 $\{x_3 = 0\}$ 上图的处处收敛意义下具有同胚的拓扑结构，其全局坐标由有序奇异点与第二个端点的法向量给出。

ABSTRACT

We show that, up to some natural normalizations, the moduli space of singly periodic complete embedded maximal surfaces in the Lorentz-Minkowski space $ł^3=( ^3,dx_1^2+dx_2^2-dx_3^2),$ with fundamental piece having a finite number $(n+1)$ of singularities, is a real analytic manifold of dimension $3n+4.$ The underlying topology agrees with the topology of uniform convergence of graphs on compact subsets of $\{x_3=0\}.$

研究动机与目标

• 对 $\mathbb{L}^3$ 中具有有限个孤立锥状奇点的嵌入、单周期、完备极大曲面空间进行分类与参数化。
• 在归一化约束下，确定此类曲面模空间的拓扑与几何结构。
• 证明模空间是一个维度为 $3n+4$ 的实解析流形，且其拓扑结构与在圆柱面 $\{x_3 = 0\}$ 的紧致子集上图的处处收敛相容。

提出的方法

• 利用 $\mathbb{L}^3$ 中极大曲面的 Weierstrass 表示，将亚纯数据延拓至带奇点的黎曼曲面的双重覆盖。
• 通过固定平移向量为 $(1,0,0)$ 并在 $\{x_3 = 0, x_2 \geq 0\}$ 处选择特定渐近端来实现归一化，以减少对称性。
• 对奇异点施加标记（有序集合），构造带标记的模空间 $\mathfrak{M}_n$，并证明其为实解析流形。
• 以在 $\{x_3 = 0\}$ 的紧致子集上图的处处收敛作为基础拓扑，通过调和函数的收敛性与 Schauder 估计加以验证。
• 应用最大值原理与紧致集的 Hausdorff 收敛性，追踪曲面序列中奇异点的极限行为。
• 对由图函数差导出的具一致椭圆性的线性算子应用 Schauder 估计，证明法向量的 $C^2$ 收敛性，从而确立第二个端点处法向量的收敛性。

实验结果

研究问题

• RQ1 在 $\mathbb{L}^3$ 中具有 $n+1$ 个孤立锥状奇点的嵌入单周期完备极大曲面的模空间维度是多少？
• RQ2 该模空间的拓扑结构如何与在圆柱面 $\{x_3 = 0\}$ 上图表示的收敛性相关联？
• RQ3 模空间能否通过奇异点的有序位置与第二个端点的法向量实现全局参数化？
• RQ4 非标记曲面空间是否为带标记模空间的 $(n+1)!$-叶覆盖？
• RQ5 在极限曲面中，奇异点作为逼近曲面序列中奇异点的极限出现，需满足何种条件？

主要发现

• 在 $\mathbb{L}^3/\langle(1,0,0)\rangle$ 上，具有 $n+1 \geq 2$ 个锥状奇点与指定渐近端的带标记整体极大图模空间 $\mathfrak{M}_n$ 是一个维度为 $3n+4$ 的实解析流形。
• 模空间 $\mathfrak{M}_n$ 的拓扑结构与在 $\{x_3 = 0\}$ 的紧致子集上图的处处收敛拓扑等价，确保在极限下保持稳定性。
• 模空间 $\mathfrak{M}_n$ 的全局坐标系由奇异点的有序集合与第二个端点的法向量给出，该坐标系实现到 $\mathbb{R}^{3n+4}$ 中某开子集的微分同胚。
• 非标记图的集合 $\mathfrak{G}_n$ 是 $\mathfrak{M}_n$ 的 $(n+1)!$-叶覆盖，反映了奇异点的置换对称性。
• 图函数 $u_k$ 在紧致子集上收敛于 $u_0$ 意味着奇异点与法向量也收敛，确保拓扑在极限下保持不变。
• 通过在一致椭圆方程解的差上应用 Schauder 估计，确立了第二个端点处法向量的收敛性，从而证实了模空间中的连续性。