[论文解读] Deformations of hyperbolic convex polyhedra and 3-cone-manifolds

Grégoire Montcouquiol|arXiv (Cornell University)|Mar 27, 2009

Geometric and Algebraic Topology参考文献 13被引用 5

一句话总结

本文通过证明其形变空间在局部上由二面角（或锥角）参数化，建立了凸双曲多面体及双曲锥-3-流形的局部刚性，扩展了先前的无穷小刚性结果。利用双重构造和克莱因模型中的几何分析，证明此类结构的空间是一个与边数相等的维数的流形，且二面角作为局部坐标。

ABSTRACT

The Stoker problem, first formulated in 1968, consists in understanding to what extent a convex polyhedron is determined by its dihedral angles. By means of the double construction, this problem is intimately related to rigidity issues for 3-dimensional cone-manifolds. In a former paper, two such rigidity results were proven, implying that the infinitesimal version of the Stoker conjecture is true in the hyperbolic and Euclidean cases. In this second article, we prove that local rigidity holds and obtain that the space of convex hyperbolic polyhedra with given combinatorial type is locally parameterized by the set of dihedral angles, together with a similar statement for hyperbolic 3-cone-manifolds.

研究动机与目标

• 通过证明其形变空间在局部上由二面角参数化，建立凸双曲多面体的局部刚性。
• 将文献[11]中的无穷小刚性结果扩展至双曲情形下的完整局部刚性陈述。
• 证明固定奇异轨迹且锥角小于 $2\pi$ 的双曲锥-3-流形结构空间在局部上由锥角参数化。
• 通过引入顶点分裂避免技术，解决锥-流形中非三价奇异轨迹带来的拓扑挑战。
• 为双曲3维几何中的局部斯托克问题提供几何基础，类似于安德烈夫定理，但适用于一般二面角。

提出的方法

• 利用双重构造，将凸双曲多面体与具有对应于边和顶点的奇异轨迹的闭合双曲锥-3-流形联系起来。
• 应用克莱因（射影）模型，将 $\mathbb{H}^3$ 嵌入 $\mathbb{R}^3$ 的开单位球内，保持凸性和组合结构。
• 通过一阶形变分析形变空间的切空间，并推导出角度变化泛函 $d\psi_{v,i}$ 的线性无关性。
• 基于面收缩的递归论证，并应用引理18，证明余切空间中的依赖关系意味着系数为零。
• 证明在 $D(\mathcal{P})$ 附近的锥-3-流形结构空间 $C(M,\Sigma)$ 是一个维数等于奇异边数的流形。
• 利用映射 $Pol(\mathcal{P}) \to C(M,\Sigma)$ 的单射性，以及两空间维数相同，得出局部微分同胚，从而得出由二面角参数化的结论。

实验结果

研究问题

• RQ1 固定组合类型的凸双曲多面体空间能否在局部上由其二面角参数化？
• RQ2 锥角小于 $2\pi$ 的双曲锥-3-流形是否具有局部刚性？
• RQ3 在非三价奇异顶点存在的情况下，如何将局部刚性结果从无穷小刚性扩展至完整局部刚性？
• RQ4 双重构造在将多面体刚性与锥-流形结构联系起来的过程中起到什么作用？
• RQ5 二面角参数化在多大程度上无法推出全局刚性？其障碍是什么？

主要发现

• 固定组合类型的凸双曲多面体空间在局部上由二面角的元组参数化。
• 固定奇异轨迹 $\Sigma$ 且锥角小于 $2\pi$ 的双曲锥-3-流形结构空间在局部上由锥角参数化。
• 形变空间 $Pol(\mathcal{P})$ 是一个维数为 $|E| + 6$ 的流形，其中 $|E|$ 为边数，且二面角作为局部坐标。
• 通过基于面收缩的递归论证，确立了余切空间上泛函 $d\psi_{v,i}$ 的线性无关性，确保不存在非平凡依赖关系。
• 双重构造在 $Pol(\mathcal{P})$ 与 $C(M,\Sigma)$ 之间产生局部微分同胚，证实角度参数化在局部是光滑且可逆的。
• 尽管奇异轨迹中可能存在顶点分裂，但该方法通过仔细分析形变空间避免了拓扑障碍，结果依然成立。