[論文レビュー] 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次元を超える次元における一般の凸ポリトープおよびさまざまな種類の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 3次元の双曲的多面体の二面角空間の境界上での体積関数の正則性クラスは何か？
• 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)$の距離に位置し、$N$（頂点数）に依存する明示的定数を伴う。
• 大径の双曲的多面体における巡回的面列に沿った外的二面角の和は、$2\pi + 12N\exp(-\rho/2N)$で有界であり、ガウス像におけるほぼ測地的挙動を示唆する。