[論文レビュー] Hyperbolic manifolds with polyhedral boundary

Jean‐Marc Schlenker|arXiv (Cornell University)|Nov 12, 2001

Geometric and Algebraic Topology参考文献 48被引用数 23

ひとこと要約

本稿は、多面体的境界をもつ双曲的3次元多様体と、二面角および誘導計量を含む境界上の計量の間に双対性を確立する。シュレーフリの公式と理想点の凸包を用いて、与えられた三角形分割のもとで、曲率条件 $ K < 1 $ および測地線長 $ L > 2\pi $ を満たす二面角が、双曲的構造を一意に決定することを証明する。これは、滑らかな境界から多面体的境界へと結果を拡張し、テイヒミュラー空間上にアフィン的で部分的に平坦な構造を導出し、コーエッブの円 Packing 定理の一般化をもたらす。

ABSTRACT

Let $(M, \partial M)$ be a compact 3-manifold with boundary which admits a complete, convex co-compact hyperbolic metric. For each hyperbolic metric $g$ on $M$ such that $\dr M$ is smooth and strictly convex, the induced metric on $\dr M$ has curvature $K&gt;-1$, and each such metric on $\dr M$ is obtained for a unique choice of $g$. A dual statement is that, for each $g$ as above, the third fundamental form of $\dr M$ has curvature $K&lt;1$, and its closed geodesics which are contractible in $M$ have length $L&gt;2π$. Conversely, any such metric on $\dr M$ is obtained for a unique choice of $g$. We are interested here in the similar situation where $\partial M$ is not smooth, but rather looks locally like an ideal polyhedron in $H^3$. We can give a fairly complete answer to the question on the third fundamental form -- which in this case concerns the dihedral angles -- and some partial results about the induced metric. This has some by-products, like an affine piecewise flat structure on the Teichmueller space of a surface with some marked points, or an extension of the Koebe circle packing theorem to many 3-manifolds with boundary.

研究の動機と目的

• 滑らかで強く凸な境界について既に知られていた双曲的計量と境界計量の間の双対性を、境界が多面体的である場合にまで拡張すること。
• 理想多面体的構造をもつ双曲的3次元多様体の境界における第3基本形式（二面角の観点から）を特徴づけること。
• 特に組合せ的制約の下で、多面体的境界における誘導計量を調べること。
• テイヒミュラー理論、円パッキング、および錐多様体幾何学との関係を確立すること。
• 与えられた境界データを実現する双曲的構造の存在および一意性を調査し、テイヒミュラー空間上にアフィン的構造を導くこと。

提案手法

• 双曲的構造における体積の変化と二面角およびずれの変化を関係づけるシュレーフリの公式の応用。
• 双曲的3次元空間における理想点の凸包の構成により、多面体的境界をモデル化すること。
• 有限および理想のフクシアン多面体の無限小的剛性技術を用いて境界データを分析すること。
• 多様体の三角形分割に基づく境界のセル分離の導入により、二面角の割り当てを研究すること。
• 組合せ的および幾何的制約を用いて、特定の二面角割り当ての一意的実現を証明すること。
• 角度の変化とそのグローバル整合性の分析により、テイヒミュラー空間上にアフィン的で部分的に平坦な構造を導出すること。

実験結果

リサーチクエスチョン

• RQ1 滑らかな境界について知られている双曲的計量と境界計量の間の双対性は、境界が多面体的表面である場合にまで拡張可能であろうか？
• RQ2 多面体的境界の二面角にどのような条件を課すと、多様体上に完全で凸で、共コンパクトな双曲的計量が存在し、一意に定まるであろうか？
• RQ3 多面体的境界における誘導計量は、周囲の双曲的多様体の幾何学とどのように関係するであろうか？
• RQ4 多面体的境界をもつ3次元多様体の双曲的構造の空間に、二面角を用いて自然なアフィン的構造を導入できるであろうか？
• RQ5 理想双曲的多様体と特異測地線をもつ錐多様体との関係は何か？そしてこれは剛性とどのように関係するであろうか？

主な発見

• 与えられた境界の三角形分割のもとで、二面角が $ K < 1 $ を満たし、すべての可縮可能な閉測地線の長さが $ L > 2\pi $ である限り、多面体的境界をもつ双曲的3次元多様体は存在し、一意に定まる。
• 境界における第3基本形式は、曲率 $ K < 1 $ をもつ計量に対応し、このような計量は多様体上の双曲的構造によって一意に実現される。
• マークされた点をもつ曲面のテイヒミュラー空間上に、境界における二面角の割り当てから生じるアフィン的で部分的に平坦な構造が構成される。
• 二面角を $ \mathbb{CP}^1 $ 内の円配置に関連づけることにより、境界をもつ多くの3次元多様体に対してコーエッブの円パッキング定理が一般化される。
• 理想双曲的多様体の空間には自然なアフィン的構造が存在し、多様体の三角形分割の組合せ的構造に基づく境界のセル分離は、非退化点において局所的に有限である。
• 境界から有限個の点を除いた有限面積計量を実現する一意な双曲的計量の存在は、未解決の問題のままであるが、部分的な結果が得られている。