[论文解读] Rigidity of discrete conformal structures on surfaces

Xu Xu|arXiv (Cornell University)|Mar 9, 2021

Geometric Analysis and Curvature Flows参考文献 79被引用 5

一句话总结

本文利用变分法证明了Glickenstein关于闭多面曲面上离散共形结构刚性性的猜想，统一并推广了关于顶点缩放和圆堆积的先前结果。关键贡献在于，针对欧氏、双曲与球面几何，建立了Glickenstein广义离散共形结构的全面刚性定理。

ABSTRACT

In \cite{G3}, Glickenstein introduced the discrete conformal structures on polyhedral surfaces in an axiomatic approach from Riemannian geometry perspective. Glickenstein's discrete conformal structures include Thurston's circle packings, Bowers-Stephenson's inversive distance circle packings and Luo's vertex scalings as special cases. Glickenstein \cite{G5} further conjectured the rigidity of the discrete conformal structures on polyhedral surfaces. Glickenstein's conjecture includes Luo's conjecture on the rigidity of vertex scalings \cite{L1} and Bowers-Stephenson's conjecture on the rigidity of inversive distance circle packings \cite{BSt} as special cases. In this paper, we prove Glickenstein's conjecture using variational principles. This unifies and generalizes the well-known results of Luo \cite{L4} and Bobenko-Pinkall-Springborn \cite{BPS}. Our method provides a unified approach to similar problems. We further discuss the relationships of Glickenstein's discrete conformal structures on polyhedral surfaces and $3$-dimensional hyperbolic geometry. As a result, we obtain some new results on the convexities of the co-volume functions of some generalized $3$-dimensional hyperbolic tetrahedra.

研究动机与目标

• 建立Glickenstein在闭多面曲面上广义离散共形结构的刚性性，该结构统一了Thurston的圆堆积、Bowers-Stephenson的反演距离堆积以及Luo的顶点缩放。
• 解决Glickenstein关于这些结构刚性性的猜想，该猜想作为Luo与Bowers-Stephenson猜想的特例被包含在内。
• 通过统一的变分方法，将刚性框架扩展至双曲与球面几何。
• 探讨Glickenstein的离散共形结构与三维双曲几何之间的联系，特别是与广义双曲四面体的共体积函数的关系。
• 提出并讨论在具有指定零组合曲率的加权标记曲面上，PL度量的离散统一化猜想。

提出的方法

• 利用与离散共形结构相关的能量函数，通过变分原理证明刚性性。
• 通过顶点函数 $ f: V \to \mathbb{R} $ 确定的边长定义离散共形结构，其中系数 $ \varepsilon \in \{-1,0,1\} $ 和 $ \eta \in \mathbb{R} $ 分别对应不同几何类型。
• 基于幂距离与三角形几何中心的有符号距离，应用加权Delaunay三角剖分条件。
• 提出一种新的离散共形定义，允许通过同伦于恒等映射的等距变换或离散共形转移来改变三角剖分。
• 将共形类 $ \mathcal{D}(d) $ 定义为所有与给定度量 $ d $ 离散共形的PL度量的集合，从而实现全局分析。
• 通过分析广义双曲四面体的共体积函数，将离散共形框架与三维双曲几何联系起来，证明了新的凸性结果。

实验结果

研究问题

• RQ1 Glickenstein关于闭多面曲面上离散共形结构刚性性的猜想，对所有几何类型（欧氏、双曲、球面）及一般系数是否成立？
• RQ2 顶点缩放与反演距离圆堆积的刚性性能否作为更一般离散共形框架下的特例推导得出？
• RQ3 Glickenstein的离散共形结构与三维双曲几何之间存在何种关系，特别是在共体积函数方面？
• RQ4 在具有零组合曲率的加权标记曲面上，Glickenstein结构的离散统一化定理是否成立？
• RQ5 加权Delaunay三角剖分与幂距离如何在该离散共形设定下推广经典Delaunay条件？

主要发现

• 利用变分法证明了Glickenstein关于闭多面曲面上离散共形结构刚性性的猜想。
• 该刚性结果推广并统一了Luo关于顶点缩放的刚性结果以及Bobenko-Pinkall-Springborn关于圆堆积的结果。
• 在离散共形框架下，建立了广义三维双曲四面体共体积函数的新凸性性质。
• 本文提出了一种新的离散共形定义，允许通过等距变换与离散共形转移实现三角剖分的改变。
• 针对具有零组合曲率的PL度量，提出了欧氏与双曲情形下的离散统一化猜想。
• 该框架成功推广至球面几何，其中边长公式通过 $ \mathbb{S}^2 $ 上的反余弦函数定义。