[论文解读] Intrinsic geometry of convex ideal polyhedra in hyperbolic 3-space

Igor Rivin|ArXiv.org|May 23, 2000

Geometric and Algebraic Topology参考文献 3被引用 21

一句话总结

本文建立了双曲3维空间中凸理想多面体的完整内在刻画，证明此类多面体在合同变换下由其内在度量唯一确定。通过利用域的不变性原理和三角剖分中的剪切参数，本文表明：每个与N个穿孔球面同胚的、具有有限体积的完备双曲曲面，均可唯一地嵌入到H³中形成一个顶点位于无穷远的凸理想多面体。

ABSTRACT

The main result is that every complete finite area hyperbolic metric on a sphere with punctures can be uniquely realized as the induced metric on the surface of a convex ideal polyhedron in hyperbolic 3-space. A number of other observations are included.

研究动机与目标

• 提供双曲3维空间中所有顶点位于无穷远的凸理想多面体的完整内在刻画。
• 建立此类多面体仅由其内在度量在合同变换下唯一实现的结论。
• 构建一个通过剪切参数将双曲三角剖分与多面体结构联系起来的框架。
• 将唯一性结果推广至包含有限、理想及超无穷顶点的广义多面体。
• 为将N个穿孔的双曲曲面构造性地嵌入为理想多面体奠定基础。

提出的方法

• 利用域的不变性原理，证明从多面体嵌入到N个穿孔球面上双曲结构的映射是满射。
• 通过在黎曼球面上参数化顶点位置，并固定三个顶点以消除等距群的作用。
• 在测地三角剖分中引入相邻理想三角形之间的剪切参数，以编码几何数据。
• 定义顶点的邻域（球面、双曲或欧氏）以捕捉有限、超无穷和理想顶点处的局部几何。
• 应用定理4.4，该定理指出广义多面体在合同变换下由其顶点类型和邻域边长唯一确定。
• 建立从多面体嵌入到Teichmüller空间的度量映射的连续性与闭性，从而实现拓扑唯一性。

实验结果

研究问题

• RQ1 每个与N次穿孔球面同胚的、具有有限体积的完备双曲曲面，是否都能等距嵌入为H³中的凸理想多面体？
• RQ2 若仅给定曲面的内在度量，此类嵌入在合同变换下是否唯一？
• RQ3 如何通过三角剖分与剪切参数，内在地编码理想多面体的几何数据？
• RQ4 顶点邻域（球面、双曲或欧氏）在多大程度上决定了广义双曲多面体的全局结构？
• RQ5 能否利用理想多面体的内在度量重建其在H³中的完整几何实现？

主要发现

• 每个与N个穿孔球面同胚的、具有有限体积的完备双曲曲面，均可唯一地嵌入到H³中，形成一个所有顶点位于无穷远球面上的凸理想多面体。
• 凸理想多面体的内在度量在H³中唯一确定其几何实现（合同变换下）。
• 三角剖分中相邻理想三角形之间的剪切参数编码了多面体的二面体几何；顶点邻域中边长比值的对数等于剪切量。
• H³中的广义多面体在合同变换下由其顶点类型和顶点邻域中的边长唯一确定。
• 具有N个顶点的凸理想多面体空间是一个2N−6维流形，与N个穿孔球面的Teichmüller空间维数一致。
• 从多面体嵌入到N个穿孔球面上双曲结构的映射是连续、开且闭的，结合域的不变性原理，确保了满射性与唯一性。