[论文解读] Hyperideal polyhedra in hyperbolic manifolds

Jean‐Marc Schlenker|arXiv (Cornell University)|Dec 27, 2002

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

一句话总结

本文利用Schläfli公式和双曲单纯形体积的凹性，刻画了在拟凸共紧双曲3-流形中双曲理想多面体的可能二面角。将Koebe圆堆积定理推广至边界上红、黑圆的配置，证明了在给定角度不超过π时此类配置的存在性与唯一性，且在切触极限情况下体积最大。

ABSTRACT

Let $(M, \dr M)$ be a 3-manifold with incompressible boundary that admits a convex co-compact hyperbolic metric. We consider the hyperbolic metrics on $M$ such that $\dr M$ looks locally like a hyperideal polyhedron, and we characterize the possible dihedral angles. We find as special cases the results of Bao and Bonahon on hyperideal polyhedra, and those of Rousset on fuchsian hyperideal polyhedra. Our results can also be stated in terms of circle configurations on $\dr M$, they provide an extension of the Koebe theorem on circle packings. The proof uses some elementary properties of the hyperbolic volume, in particular the Schläfli formula and the fact that the volume of (truncated) hyperideal simplices is a concave function of the dihedral angles.

研究动机与目标

• 刻画拟凸共紧双曲3-流形（具有不可压缩边界）中双曲理想多面体的可能二面角集合。
• 将Koebe圆堆积定理推广至此类流形边界上两组圆的配置。
• 通过无穷远处边界上的第三基本形式与Möbius结构，建立双曲理想多面体结构与圆配置之间的对应关系。
• 证明对于二面角在(0, π]范围内的配置，此类结构的存在性与唯一性成立，且在π处体积达到最大。
• 在统一框架下整合并推广Bao-Bonahon与Rousset关于双曲理想与Fuchsian双曲理想多面体的研究成果。

提出的方法

• 利用Schläfli公式，将截断双曲理想单纯形的体积变化与二面角变化关联起来。
• 应用截断双曲理想单纯形体积作为二面角函数的凹性，以建立刚性与紧致性。
• 通过将流形单位分解为双曲理想单纯形与多面体，分析边界的整体结构。
• 通过无穷远处边界上的Möbius结构，将二面角的几何约束转化为∂M上圆配置的条件。
• 利用截断双曲理想单纯形的体积是其二面角的严格凹函数这一事实，证明存在性与唯一性定理。
• 借助Ahlfors-Bers定理与双曲几何的统一化定理，将边界共形结构与双曲度量联系起来。

实验结果

研究问题

• RQ1 在具有不可压缩边界的拟凸共紧双曲3-流形中，双曲理想多面体存在的充要条件是什么？
• RQ2 当边界局部为双曲理想时，如何用圆配置表征边界的第三基本形式？
• RQ3 Koebe圆堆积定理能否推广至包含对应于双曲理想多面体对偶结构的正交圆族？
• RQ4 当二面角趋近于π时，体积与圆配置会发生什么变化？
• RQ5 双曲理想结构的刚性如何与体积泛函的凹性相关联？

主要发现

• 在拟凸共紧双曲3-流形中，双曲理想多面体的可允许二面角集合被刻画为：使得相关截断双曲理想单纯形体积为凹的那些角度，即(0, π)内的角度。
• 对于任意满足凹性条件的(0, π]范围内二面角赋值，流形上存在唯一的双曲理想多面体结构。
• 所有二面角等于π的极限情况对应于黑圆彼此相切的配置，此时体积达到最大，与经典Koebe定理一致。
• 边界圆配置由两组圆构成：黑圆（来自堆积）与红圆（与黑圆正交），其配置由二面角唯一确定。
• 此类圆配置的存在性与唯一性通过Schläfli公式与体积凹性得到证明，推广了Bao-Bonahon与Rousset的结果。
• 通过体积凹性证明的构造方法，直接给出了两组圆的几何构造，避免了早期方法中对有限覆盖的依赖。