[论文解读] Continuity of volumes -- on a generalization of a conjecture of J. W. Milnor

Igor Rivin|ArXiv.org|Feb 25, 2005

Mathematics and Applications参考文献 1被引用 8

一句话总结

本文提供了米尔诺关于双曲与球面单形体积作为二面角函数的连续性猜想的简洁统一证明，将结果推广至高维（>3）一般凸多面体及各类三维双曲多面体。通过施瓦茨-希爾伯特微分公式与新颖的几何估计（将多面体直径与极度量的系统长度关联），证明体积函数在二面角参数空间闭包上为 $C^{0,1}$（利普希茨连续）。

ABSTRACT

In his paper "On the Schlafli differential equality", J. Milnor conjectured that the volume of n-dimensional hyperbolic and spherical simplices, as a function of the dihedral angles, extends continuously to the closure of the space of allowable angles. A proof of this has recently been given by F. Luo (see math.GT/0412208). In this paper we give a simple proof of this conjecture, prove much sharper regularity results, and then extend the method to apply to a large class of convex polytopes. The simplex argument works without change in dimensions greater than 3 (and for spherical simplices in all dimensions), so the bulk of this paper is concerned with the three-dimensional argument. The estimates relating the diameter of a polyhedron to the length of the systole of the polar polyhedron are of independent interest.

研究动机与目标

• 证明米尔诺猜想：双曲与球面单形的体积可连续延拓至其二面角参数空间的闭包。
• 将结果推广至高维（>3）中由二面角决定体积的固定组合型凸多面体。
• 将连续性结果扩展至三维双曲多面体，其二面角为非钝角，或具有理想或双曲理想顶点。
• 在允许二面角空间的边界上，建立体积函数的精确正则性估计（具体为 $C^{0,1}$）。

提出的方法

• 利用施瓦茨-希爾伯特微分公式，将体积导数与余维数为2的面对应面积关联，证明高维中偏导数有界。
• 应用索伯列夫嵌入定理，由导数的 $L^p$ 有界性推得赫尔德连续性，从而确立 $C^{0,1}$ 正则性。
• 采用几何估计，将双曲多面体的直径与其中心极度量至允许度量边界距离关联。
• 利用双曲余弦定律与球面三角学，将二面角变化量以远离退化构型的距离表示。
• 应用抽屉原理，构造一条穿过中心平面的循环面序列，从而在高斯像上实现曲率估计。
• 推导指数衰减界：$c_1(N)\exp(-c_2(N)\rho)$，用于极度量至边界距离，其中 $\rho$ 为多面体直径。

实验结果

研究问题

• RQ1 双曲或球面单形的体积是否可连续延拓至其二面角参数空间的闭包？
• RQ2 单形的连续性结果能否推广至维度大于3的一般凸多面体？
• RQ3 三维双曲多面体在二面角空间边界上，体积函数的正则性类为何？
• RQ4 双曲多面体的几何退化性如何与其中心极度量至允许度量边界的距离相关？
• RQ5 该方法能否适用于具有理想或双曲理想顶点的多面体？

主要发现

• 在 $\mathbb{H}^n$ 或 $\mathbb{S}^n$ 中，单形的体积函数在二面角空间上可连续延拓至闭包，且具有 $C^{0,1}$ 正则性。
• 当 $n > 3$ 时，连续性结果可直接推广至所有固定组合型凸多面体，只要其二面角决定体积。
• 在 $\mathbb{H}^3$ 中，对于固定组合型的非钝角二面角空间，体积函数为 $C^{0,1}$ 连续。
• 对于 $\mathbb{H}^3$ 中的双曲理想或多面体，体积函数在二面角空间的闭包上为 $C^{0,1}$ 连续。
• 直径为 $\rho \gg 1$ 的双曲多面体，其极度量至允许度量边界的距离为 $c_1(N)\exp(-c_2(N)\rho)$，其中常数 $c_1(N)$ 与 $c_2(N)$ 依赖于顶点数 $N$。
• 在大直径双曲多面体中，沿循环面序列的外二面角之和有界于 $2\pi + 12N\exp(-\rho/2N)$，表明其在高斯像中近似测地线行为。