[论文解读] Volume and rigidity of hyperbolic polyhedral $3$-manifolds

Feng Luo, Tian Yang|arXiv (Cornell University)|Apr 22, 2014

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

一句话总结

本文通过证明曲率唯一确定了几何结构，建立了由理想四面体和广义理想四面体构成的双曲多面体3-流形的刚性结果。利用体积函数的Fenchel对偶及共体积函数的凸延拓，证明了带装饰和广义理想双曲度量在等距同构与装饰变换下是刚性的，并通过边长赋值刻画了最大体积角结构。

ABSTRACT

We investigate the rigidity of hyperbolic cone metrics on $3$-manifolds which are isometric gluing of ideal and hyper-ideal tetrahedra in hyperbolic spaces. These metrics will be called ideal and hyper-ideal hyperbolic polyhedral metrics. It is shown that a hyper-ideal hyperbolic polyhedral metric is determined up to isometry by its curvature and a decorated ideal hyperbolic polyhedral metric is determined up to isometry and change of decorations by its curvature. The main tool used in the proof is the Fenchel dual of the volume function.

研究动机与目标

• 建立由理想四面体和广义理想四面体构造的双曲锥度量在3-流形上的无穷小与整体刚性结果。
• 刻画非负角结构空间中的最大体积角结构，包括某些角为零的情形。
• 通过凸对偶方法，将Casson与Rivin的体积优化程序推广至广义理想与带装饰理想情形。
• 证明曲率唯一确定广义理想与带装饰双曲多面体度量的等距同构类。
• 证明最大体积角结构恰好对应于边长赋值的几何实现，即使某些角为零。

提出的方法

• 利用体积函数的Fenchel对偶，将体积优化问题转化为凸对偶设置。
• 构建共体积函数（体积的对偶）在边长上的C¹-光滑凸延拓，克服原始定义域的非凸性。
• 应用Legendre变换及基于Schl"afli公式变分原理，关联体积变化与二面角、边长变化的关系。
• 利用Schlaefli公式推导体积变化的微分条件，证明体积在角空间线段上的凹性。
• 运用凸分析与下极限连续性，将共体积函数的Fenchel对偶等同于角结构空间上的最大体积泛函。
• 引入并分析广义理想与带装饰理想角结构，定义边长赋值实现最大体积构型的条件。

实验结果

研究问题

• RQ1 能否从曲率分布唯一重构广义理想双曲多面体度量？
• RQ2 曲率与边长数据在多大程度上确定了带装饰理想双曲多面体度量的等距同构类？
• RQ3 在三角剖分的3-流形上，非负角结构在何种条件下达到最大体积？
• RQ4 边长赋值与最大化体积的角结构之间有何关系，尤其在某些角为零时？
• RQ5 Casson与Rivin的体积优化程序能否推广至具有退化构型的广义理想与带装饰理想四面体？

主要发现

• 在紧致伪3-流形上，带装饰的双曲多面体度量由其曲率分布唯一确定，至多相差一个等距同构与装饰变换。
• 广义理想双曲多面体度量由其曲率唯一确定，无需考虑装饰变换的歧义。
• 在紧致伪3-流形上，非负角结构的最大体积构型恰好对应于边长赋值的几何实现：正角来自带装饰理想四面体，零角构型满足涉及边长指数的特定不等式。
• 对于广义理想类型的角结构，最大体积恰好在边长赋值满足几何实现条件时达成——具体而言，零角四面体不对应任何有效的广义理想四面体。
• 共体积函数的Fenchel对偶与角结构空间上的最大体积泛函一致，建立了边长与曲率之间的对偶关系。
• 共体积函数的临界点对应于实现最大体积的几何度量，且对曲率域相对内部的任意曲率向量，此类度量均存在。