[论文解读] Discrete linear Weingarten surfaces with singularities in Riemannian and Lorentzian spaceforms

Wayne Rossman, Masashi Yasumoto|arXiv (Cornell University)|Nov 1, 2016

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

一句话总结

本文提出一个统一框架，用于在黎曼与洛伦兹三维空间形式中，通过离散 Legendre 浸入和 Weierstrass 型表示法，定义并分析离散线性 Weingarten 曲面的奇点。该框架建立了基于顶点与基于面的奇点定义之间的等价性，尤其针对闵氏空间中的离散极大曲面和 de Sitter 空间中的常平均曲率 1 曲面，关键结果表明奇点条件与离散全纯函数的模长穿过单位圆密切相关。

ABSTRACT

In this paper we define and analyze singularities of discrete linear Weingarten surfaces with Weierstrass-type representations in $3$-dimensional Riemannian and Lorentzian spaceforms. In particular, we discuss singularities of discrete surfaces with non-zero constant Gaussian curvature, and parallel surfaces of discrete minimal and maximal surfaces, and discrete constant mean curvature $1$ surfaces in de Sitter $3$-space, including comparisons with different previously known definitions of such singularities.

研究动机与目标

• 在三维黎曼与洛伦兹空间形式中，定义并分析离散线性 Weingarten 曲面的奇点。
• 统一不同曲面类别的基于顶点与基于面的奇点定义。
• 在离散平坦与极大曲面中，建立焦散接触定义与曲率符号变化定义之间的等价性。
• 利用离散全纯函数与 Lie 球几何，提供一种通用的奇点检测框架。
• 通过 FPS 顶点概念，明确离散曲面中奇点、抛物点与平坦点之间的区别。

提出的方法

• 使用离散 Legendre 浸入与 Lie 球几何，表示空间形式中的离散曲面。
• 应用带有离散全纯函数的 Weierstrass 型表示法来参数化曲面。
• 基于离散主曲率的符号变化，定义 FPS（平坦/抛物/奇点）顶点。
• 通过边度量项导出的不等式 $ \mathcal{H} \leq 0 $，引入面奇点条件。
• 在 Weierstrass 表示中使用 $ g $-函数，当 $ |g| = 1 $ 时检测奇点，并结合 $ \lambda \to 0 $ 的极限分析。
• 通过计算验证 $ \mathcal{H} \leq 0 $ 条件，以确定离散 CMC 1 曲面中的奇点面。

实验结果

研究问题

• RQ1 如何在不同空间形式中一致地定义离散线性 Weingarten 曲面的奇点？
• RQ2 在离散曲面中，基于顶点与基于面的奇点定义之间存在何种关系？
• RQ3 当离散曲面在顶点或面上满足 $ |g| = 1 $ 时，其在何种条件下对应于真实的几何奇点？
• RQ4 离散主曲率的符号变化如何与奇点、抛物点或平坦点相关联？
• RQ5 在 de Sitter 3-空间中的离散 CMC 1 曲面中，$ \mathcal{H} \leq 0 $ 条件能否可靠预测奇点面？

主要发现

• 当且仅当表达式 $ \mathcal{H} \leq 0 $ 时，离散曲面具有奇点面，其中 $ \mathcal{H} $ 是涉及 $ |g| $、边微分与 $ \lambda $-依赖权重的对称组合。
• 对于 $ \mathbb{S}^{2,1} $ 中的离散 CMC 1 曲面，当 $ g $-值的外接圆与单位圆横截相交时，出现奇点面，如定理 9.1 所示。
• 当 $ \lambda $ 较小时，条件 $ \kappa_{p_-p} \cdot \kappa_{pp_+} < 0 $ 成立，当且仅当 $ |g| $ 穿过单位圆，表明为奇点顶点（定理 9.2）。
• 推论 9.1 确认奇点面出现在 $ |g| $ 穿过单位圆的顶点附近，尽管逆命题不成立（例如图 7 中存在反例）。
• 在离散平坦曲面情况下，焦散接触定义与 FPS 顶点定义之间的等价性已确立（定理 6.1）。
• 该框架通过检测离散主曲率的符号变化，成功区分奇点顶点与抛物或平坦顶点，解决了离散情形下的歧义问题。