[論文レビュー] Hyperideal polyhedra in hyperbolic manifolds

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

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

ひとこと要約

この論文は、シュレーフリの公式と超理想単体体積の凹性を用いて、圧縮不能境界を持つ凸的ココンパクトな双曲的3次元多様体内の超理想多面体の可能な二面角を特徴づけている。また、境界上における赤と黒の円の配置に対して、コーエッブの円詰め定理を拡張し、πまでの指定された角度に対してそのような配置が存在し一意的であることを示しており、接点の極限状態では体積が最大となる。

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次元多様体内における超理想多面体の可能な二面角の集合を特徴づけること。
• このような多様体の境界上における二つの円族の配置へ、コーエッブの円詰め定理を拡張すること。
• 境界における第三基本形式と無限遠境界上のメビウス構造を介して、超理想多面体構造と円配置との間の対応を確立すること。
• 二面角が (0, π] の範囲にある場合、そのような配置が存在し一意的であり、πに近づくと体積が最大になることを証明すること。
• バオ＝ボナホンおよびルーシェの超理想およびフクシアン超理想多面体に関する結果を、統一的かつ一般化された枠組み内で統合すること。

提案手法

• 切断された超理想単体における体積の変化と二面角の変化との関係をシュレーフリの公式を用いて関係づける。
• 二面角を変数とする切断された超理想単体の双曲的体積の凹性を応用し、剛性とコンパクト性を確立する。
• 多様体を超理想単体と多面体に分解することで、境界のグローバル構造を分析する。
• 境界のメビウス構造を介して、二面角に関する幾何的制約を、∞での理想境界上における円配置の条件に翻訳する。
• 切断された超理想単体の体積がその二面角に関して厳密に凹関数であるという事実を用いて、一意性および存在定理を証明する。
• アーフォルズ＝バースの定理および双曲的バージョンの均一化定理を活用し、境界の共形構造と双曲的計量との関係を関係づける。

実験結果

リサーチクエスチョン

• RQ1 圧縮不能境界を持つ凸的ココンパクトな双曲的3次元多様体内に超理想多面体が存在するための、二面角に関する必要十分条件は何か？
• RQ2 境界が局所的に超理想であるとき、境界の第三基本形式は円配置をどのように特徴づけられるか？
• RQ3 超理想多面体の双対構造に対応する直交する円族を含むように、コーエッブの円詰め定理を一般化できるか？
• RQ4 二面角がπに近づくとき、体積および円配置はどのように変化するか？
• RQ5 超理想構造の剛性は、体積汎関数の凹性とどのように関係するか？

主な発見

• 圧縮不能境界を持つ凸的ココンパクトな双曲的3次元多様体内における超理想多面体の許容可能な二面角の集合は、関連する切断された超理想単体の体積が凹であるような (0, π) 内の角度として特徴づけられる。
• 二面角が (0, π] に割り当てられ、かつ凹性条件を満たす任意の割り当てに対して、多様体上に一意的な超理想多面体構造が存在する。
• すべての二面角がπに等しい極限状態は、黒い円が互いに接しており、体積が最大になる配置に対応し、古典的コーエッブ定理と一致する。
• 境界の円配置は二つの族からなる：パッケージングから得られる黒い円と、それらに直交する赤い円で、両者とも二面角によって一意に定まる。
• シュレーフリの公式と体積の凹性を用いた証明により、このような円配置の存在と一意性が示され、バオ＝ボナホンおよびルーシェの結果が一般化される。
• 体積の凹性による証明は、従来のアプローチで用いられた有限被覆を避ける直接的な幾何的構成を可能にする。