[論文レビュー] Volume and rigidity of hyperbolic polyhedral $3$-manifolds

Feng Luo, Tian Yang|arXiv (Cornell University)|Apr 22, 2014

Geometric and Algebraic Topology参考文献 22被引用数 3

ひとこと要約

この論文は、曲率によって幾何学が一意に定まるという事実を示すことにより、理想および超理想四面体から構成される双曲的多面体的3次元多様体の剛性結果を確立する。体積関数のFenchel双対と、共体積関数の凸拡張を用いて、装飾付きおよび超理想双曲的計量が等長写像と装飾の変更に関して一意的であることを証明し、辺長の割り当てによって最大体積角構造を特徴づける。

ABSTRACT

We investigate the rigidity of hyperbolic cone metrics on $3$-manifolds which are isometric gluing of ideal and hyper-ideal tetrahedra in hyperbolic spaces. These metrics will be called ideal and hyper-ideal hyperbolic polyhedral metrics. It is shown that a hyper-ideal hyperbolic polyhedral metric is determined up to isometry by its curvature and a decorated ideal hyperbolic polyhedral metric is determined up to isometry and change of decorations by its curvature. The main tool used in the proof is the Fenchel dual of the volume function.

研究の動機と目的

• 理想および超理想四面体から構成される3次元多様体上の双曲的錐計量の無限小的および大域的剛性結果を確立すること。
• 非負の角構造の空間における最大体積角構造を特徴づけること、特に一部の角がゼロである場合を含むこと。
• CassonおよびRivinの体積最適化プログラムを、超理想および装飾付き理想設定に拡張するための凸双対性を用いること。
• 曲率が超理想および装飾付き双曲的多面体的計量の等長写像類を一意に決定することを証明すること。
• 最大体積角構造が、一部の角が消える場合を含めても、辺長の割り当てによって正確に幾何的実現と一致することを示すこと。

提案手法

• 体積最適化問題を凸双対設定に変換するために、体積関数のFenchel双対を用いる。
• 元の定義域の非凸性を克服するため、辺長上で定義された共体積関数（体積の双対）のC¹滑らかな凸拡張を構成する。
• Schl"afliの公式に基づくLegendre変換と変分原理を用いて、体積の変化と二面角・辺長の変化との関係を関係づける。
• Schlaefliの公式を用いて、体積変化に関する微分的条件を導出し、角空間内の線分に沿った体積の凹性を証明する。
• 凸解析と下方連続性を用いて、共体積関数のFenchel双対が角構造空間上の最大体積汎関数と一致することを示す。
• 超理想および装飾付き理想角構造を導入・分析し、辺長割り当てが最大体積配置を実現する条件を定義する。

実験結果

リサーチクエスチョン

• RQ1 曲率分布から、超理想双曲的多面体的計量は一意に再構成可能か？
• RQ2 曲率と辺長データは、装飾付き理想双曲的多面体的計量の等長写像類をどの程度まで決定するか？
• RQ3 三角形分割された3次元多様体上の非負角構造が最大体積に達する条件は何か？
• RQ4 辺長割り当てと最大体積を実現する角構造の関係は何か、特に一部の角がゼロである場合にどうなるか？
• RQ5 CassonおよびRivinの体積最適化プログラムは、退化した構成を持つ超理想および装飾付き理想四面体へ拡張可能か？

主な発見

• 三角形分割されたコンパクトな擬3次元多様体上の装飾付き双曲的多面体的計量は、曲率分布によって等長写像と装飾の変更を除き一意に決定される。
• 超理想双曲的多面体的計量は、装飾の変更による曖昧さなしに、曲率によって等長写像類が一意に決定される。
• 三角形分割された閉じた擬3次元多様体上の最大体積非負角構造は、正確に辺長による幾何的実現に対応する：正の角は装飾付き理想四面体から生じ、ゼロ角構成は辺長の指数関数を含む特定の不等式を満たす。
• 超理想型角構造では、最大体積が達成されるのは、辺長割り当てが幾何的実現可能性条件を満たす場合に限る—具体的には、ゼロ角四面体がいかなる有効な超理想四面体に対しても対応しない場合に限る。
• 共体積関数のFenchel双対は、角構造空間上の最大体積汎関数と一致し、辺長と曲率の間に双対性を確立する。
• 共体積関数の臨界点は、最大体積を実現する幾何的計量に対応し、そのような計量は曲率領域の相対的内部に属する任意の曲率ベクトルに対して存在する。