[论文解读] Rigidity of Polyhedral Surfaces

Feng Luo|ArXiv.org|Dec 22, 2006

Advanced Mathematical Theories and Applications参考文献 24被引用 77

一句话总结

本文通过基于导数余弦定律和勒让德变换的变分原理，建立了多面曲面的刚性结果。它引入了类曲率不变量 ϕλ、ψλ 和 kλ，这些不变量唯一确定了多面度量（模等距同构），并应用于黎曼曲面参数化与 λ ≥ 0 时的凸多面体模型。

ABSTRACT

We study rigidity of polyhedral surfaces and the moduli space of polyhedral surfaces using variational principles. Curvature like quantities for polyhedral surfaces are introduced. Many of them are shown to determine the polyhedral metric up to isometry. The action functionals in the variational approaches are derived from the cosine law and the Lengendre transformation of them. These include energies used by Colin de Verdiere, Braegger, Rivin, Cohen-Kenyon-Propp, Leibon and Bobenko-Springborn for variational principles on triangulated surfaces. Our study is based on a set of identities satisfied by the derivative of the cosine law. These identities which exhibit similarity in all spaces of constant curvature are probably a discrete analogous of the Bianchi identity.

研究动机与目标

• 通过变分方法理解多面度量与类曲率不变量之间的关系。
• 在欧几里得、球面与双曲几何中，建立带边或多边形曲面的局部与全局刚性。
• 针对 λ ≥ 0，利用边不变量 ψλ 显式构造带边曲面的黎曼曲面参数化。
• 通过导数余弦定律的统一框架，整合并推广先前工作（如 Rivin、Leibon、Bobenko-Springborn）的变分方法。
• 探讨离散类曲率不变量与特殊函数（如 Lobachevsky 函数与 polylogarithm）之间的联系。

提出的方法

• 推导常曲率空间中三角形的导数余弦定律及其恒等式，类比于 Bianchi 恒等式。
• 引入三类类曲率不变量：ϕλ（边面对角）、ψλ（邻角）和 kλ（顶点总角），参数化为 λ。
• 利用从余弦定律导出的能量泛函的勒让德变换，定义变分原理的泛函。
• 在几何三角形模空间上应用闭微分形式，证明解的凸性与唯一性。
• 通过边长与角度不变量构造 Teichmüller 空间的参数化 ψλ，其为凸多面体。
• 将涉及 sinλ(t)、cosλ(t) 和 tanλ(t/2) 的 1-形式积分与特殊函数（如 Lobachevsky 函数与 dilogarithm）关联。

实验结果

研究问题

• RQ1 类曲率不变量 ϕλ、ψλ 和 kλ 是否能唯一确定多面度量（模等距同构）？
• RQ2 在导数余弦定律及其关联能量泛函作用下，几何三角形的模空间行为如何？
• RQ3 在何种程度上可利用 ψλ 不变量参数化带边曲面的 Teichmüller 空间？这些参数化的几何结构是什么？
• RQ4 所导出的 1-形式与特殊函数（如球面与双曲三角形中的 Lobachevsky 函数）之间存在何种关系？
• RQ5 本文的变分原理如何统一或推广 Rivin、Leibon、Bobenko-Springborn 等人的先前方法？

主要发现

• ϕλ、ψλ 和 kλ 不变量唯一确定了多面度量（模等距同构），其中 ψ0 和 ϕ0 恢复了 Rivin 与 Leibon 的已知不变量。
• 当 λ ≥ 0 时，参数化 ψλ 将带边曲面的 Teichmüller 空间微分同胚地映射到一个凸多面体。
• ψλ 下 Teichmüller 空间的像通过导出的能量泛函与闭 1-形式明确描述为凸多面体。
• 与 ψλ 和 ϕλ 关联的 1-形式是闭的，确保模空间上存在良定义的势函数（能量）。
• λ = 0、−1、1 时 1-形式的积分明确关联到 Lobachevsky 函数与几何体积（如理想双曲八面体与柱体）。
• 本工作通过常曲率空间中余弦定律导数恒等式，提供了 Bianchi 恒等式的离散类比。