[论文解读] Shapes of polyhedra and triangulations of the sphere

William P. Thurston|ArXiv.org|Jan 19, 1998

Computational Geometry and Mesh Generation参考文献 6被引用 6

一句话总结

本文证明，若一个多面体在每个 n 个顶点处的总顶角均小于 2π，则其形状空间上存在一个凯勒度量，该度量在局部上同构于复双空间 CH^{n-3}。该度量是不完备的，顶点碰撞发生在有限距离处；其度量完备化形成一个复双锥流形，在特定情况下则为轨道丛。这一几何结构为每顶点至多有六个三角形的球面三角剖分提供了新的组合洞察。

ABSTRACT

The space of shapes of a polyhedron with given total angles less than 2πat each of its n vertices has a Kaehler metric, locally isometric to complex hyperbolic space CH^{n-3}. The metric is not complete: collisions between vertices take place a finite distance from a nonsingular point. The metric completion is a complex hyperbolic cone-manifold. In some interesting special cases, the metric completion is an orbifold. The concrete description of these spaces of shapes gives information about the combinatorial classification of triangulations of the sphere with no more than 6 triangles at a vertex.

研究动机与目标

• 理解在顶点角受约束条件下多面体形状空间的几何结构。
• 分析该形状空间的度量性质，特别是其完备性与曲率。
• 将多面体形状的几何与球面三角剖分的组合学联系起来。
• 确定该形状空间的度量完备化在何种条件下成为轨道丛，尤其是特殊情形下。
• 利用所得的几何框架，对任意顶点处至多有六个三角形相交的球面三角剖分进行分类。

提出的方法

• 定义在每个顶点处总顶角小于 2π 的多面体形状空间。
• 在该空间上赋予一个凯勒度量，通过局部坐标与曲率分析证明其在局部上同构于复双空间 CH^{n-3}。
• 通过研究测地线趋近于顶点碰撞时的行为，分析该度量的不完备性。
• 构造该形状空间的度量完备化，证明其形成一个复双锥流形。
• 识别在何种条件下锥流形结构简化为轨道丛，特别是在对称或低复杂度情形下。
• 将几何结果应用于对每顶点至多有六个三角形相交的球面三角剖分的组合类型进行分类。

实验结果

研究问题

• RQ1 在顶点角受限制的条件下，多面体形状空间的内在几何结构是什么？
• RQ2 该形状空间上的凯勒度量与复双几何有何关系？
• RQ3 为何该度量不完备？当顶点趋近碰撞时，测地线会发生什么？
• RQ4 在何种条件下，该形状空间的度量完备化成为轨道丛？
• RQ5 如何利用形状空间的几何结构对每顶点度数有界的球面三角剖分进行分类？

主要发现

• 在每个 n 个顶点处总顶角小于 2π 的多面体形状空间上，存在一个局部同构于复双空间 CH^{n-3} 的凯勒度量。
• 该度量是不完备的：即使从非奇异点出发，测地线也会在有限距离内到达顶点碰撞。
• 该形状空间的度量完备化是一个复双锥流形。
• 在某些对称或特殊情形下，度量完备化为轨道丛，表明其奇点结构更具规律性。
• 该几何框架提供了一种分析和分类每顶点至多有六个三角形相交的球面三角剖分的新方法。
• 所得结果对这类三角剖分施加了具体的组合约束，将其与形状空间的几何联系起来。