[论文解读] Polygons in hyperbolic geometry 1: Rigidity and inversion of the n-inequality

Rolf Walter|arXiv (Cornell University)|Aug 19, 2010

Mathematics and Applications参考文献 2被引用 6

一句话总结

本文建立了固定边长的双曲多边形的刚性，证明在边长保持不变时，仅有共线或凸共圆多边形（顶点位于圆上）是刚性的。本文提出了一种广义 $n$-不等式的反演方法，表明 $n$-不等式在双曲空间中既是此类多边形存在的必要条件也是充分条件，利用凯利-克莱因模型及通过圆的群论性质导出的长度谱闭包条件。

ABSTRACT

Certain topics on polygons are extended from Euclidean to hyperbolic geometry. This first part deals with uniqueness and existence of cocyclic polygons with prescribed sidelengths. The non-Euclidean versions are more difficult due to the existence of three different types of circles in the hyperbolic plane. The second part will be concerned with the problem of maximizing the area of polygons with fixed sidelengths. By the metric character of these problems it is necessary to dispense to a certain extent with classical hyperbolic trigonometry because angles must be replaced by length quantities. So this first part also takes regard of this technical aspect.

研究动机与目标

• 建立在边长固定时双曲几何中多边形刚性的条件。
• 研究在不依赖凸性或简单性的情况下，具有指定边长的双曲 $n$-边形的存在性。
• 通过反演广义三角不等式（即 $n$-不等式）来确定双曲空间中多边形存在的必要且充分条件。
• 通过度量几何方法（不依赖角度）将欧氏空间中关于多边形刚性和长度谱约束的结果推广至双曲情形。

提出的方法

• 采用凯利-克莱因模型作为几何框架，将双曲点表示为单位圆内部的点，直线表示为弦。
• 使用 $\mathbb{R}^3$ 中的齐次坐标表示点与直线，通过伪欧氏内积 $\langle x,y \rangle = x_0y_0 - x_1y_1 - x_2y_2$ 定义距离与关联性。
• 利用双曲圆的生成群——距离圆、直线与抛物线圆——推导长度谱的闭包条件，这对刚性证明至关重要。
• 通过在距离圆或基线构造显式多边形，结合涉及 $\sinh$ 与 $\sin$ 函数的三角恒等式，实现广义 $n$-不等式的反演。
• 通过归纳法与双曲余弦定理证明唯一性，表明 $n$-不等式中的等式成立时，点列共线且有序排列。
• 对点与直线向量进行归一化，确保度量计算的一致性，并实现向双曲面模型 $\mathbb{H} \subset \mathbb{R}^3$ 的嵌入。

实验结果

研究问题

• RQ1 在等距变形下，哪些具有固定边长的双曲 $n$-边形是刚性的？
• RQ2 边长需满足何种条件，才能保证双曲 $n$-边形的存在，而不依赖于凸性或闭包性？
• RQ3 如何反演广义 $n$-不等式以显式构造此类多边形？
• RQ4 为何在双曲几何中仅共线与共圆多边形具有非平凡刚性？
• RQ5 三种圆（距离圆、直线、抛物线圆）在长度谱与多边形构造中起什么作用？

主要发现

• 在双曲平面上，仅共线多边形与凸共圆多边形（顶点位于圆上）在边长固定时具有刚性。
• 广义 $n$-不等式是给定边长 $L_1, \dots, L_n$ 下双曲 $n$-边形存在的必要且充分条件，如推论 5.4 所述。
• 当 $L_n = L_1 + \cdots + L_{n-1}$ 时，多边形必须共线且在一条直线上单调排列，且在刚性运动下唯一。
• 当 $n$-不等式严格成立时，可通过调节总角 $\Phi(R, L_n)$ 使定向凸多边形在距离圆 $\mathcal{S}(R)$ 上构造，以匹配边长。
• 构造依赖于恒等式 $\sinh\left(\frac{d(Z_1,Z_n)}{2}\right) = \sinh\left(\frac{L_n}{2}\right)$，以确保闭合边段的边长正确。
• 此类多边形在刚性运动下的唯一性仅存在于共线与共圆情形，从而证明它们是唯一非共线的刚性构型。