[論文レビュー] Shapes of polyhedra and triangulations of the sphere

William P. Thurston|ArXiv.org|Jan 19, 1998

Computational Geometry and Mesh Generation参考文献 6被引用数 6

ひとこと要約

この論文は、各頂点で全頂点角が 2π より小さい n 個の頂点を持つ多面体の形状空間が、局所的に複素双曲空間 CH^{n-3} に等長であるケーラー計量を持つことを確立する。この計量は不完全であり、有限距離のうちに頂点の衝突が発生する。その計量の完備化は複素双曲コーン多様体をなすが、特別な場合、オーロラに簡約される。この幾何的構造により、任意の頂点に高々6個の三角形が接する球面の三角形分割に関する新しい組合せ的知見が得られる。

ABSTRACT

The space of shapes of a polyhedron with given total angles less than 2πat each of its n vertices has a Kaehler metric, locally isometric to complex hyperbolic space CH^{n-3}. The metric is not complete: collisions between vertices take place a finite distance from a nonsingular point. The metric completion is a complex hyperbolic cone-manifold. In some interesting special cases, the metric completion is an orbifold. The concrete description of these spaces of shapes gives information about the combinatorial classification of triangulations of the sphere with no more than 6 triangles at a vertex.

研究の動機と目的

• 頂点角に制約を課えた多面体の形状空間の幾何的構造を理解すること。
• この形状空間の計量的性質、特に完備性と曲率を分析すること。
• 多面体の形状の幾何と球面の三角形分割の組合せ論を結びつけること。
• 形状空間の計量の完備化がオーロラとなる条件を特定すること、特に特殊な場合に注目すること。
• 得られた幾何的枠組みを用いて、任意の頂点に高々6個の三角形が接する球面の三角形分割を分類すること。

提案手法

• 各頂点で全頂点角が 2π より小さい多面体の形状空間を定義する。
• 局所座標と曲率解析により、この空間にケーラー計量を導入し、それが局所的に複素双曲空間 CH^{n-3} に等長であることを示す。
• 測地線が頂点の衝突に近づくときの挙動を分析することで、計量の不完全性を検討する。
• 形状空間の計量の完備化を構成し、それが複素双曲コーン多様体をなすことを示す。
• 対称的または低複雑性のケースにおいて、コーン多様体構造がオーロラに簡約される条件を同定する。
• 幾何的結果を応用して、任意の頂点に高々6個の三角形が接する球面の三角形分割の組合せ的型を分類する。

実験結果

リサーチクエスチョン

• RQ1 全頂点角が制限された多面体の形状空間の内面的幾何的構造は何か？
• RQ2 この形状空間上のケーラー計量は、複素双曲幾何とどのように関係するか？
• RQ3 なぜ計量は不完全なのか？ また、頂点が衝突に近づくとき測地線には何が起こるのか？
• RQ4 形状空間の計量の完備化がオーロラとなる条件は何か？
• RQ5 形状空間の幾何を用いて、各頂点の次数が制限された球面の三角形分割をどのように分類できるか？

主な発見

• 各頂点で全頂点角が 2π より小さい n 個の頂点を持つ多面体の形状空間は、局所的に複素双曲空間 CH^{n-3} に等長であるケーラー計量を持つ。
• 計量は不完全である：測地線は、特異点でない点からでも有限距離のうちに頂点の衝突に到達する。
• 形状空間の計量の完備化は、複素双曲コーン多様体をなす。
• ある種の対称的または特別な状況では、計量の完備化はオーロラとなり、より正則な特異構造を示す。
• 幾何的枠組みにより、任意の頂点に高々6個の三角形が接する球面の三角形分割を分析・分類する新しい手法が得られる。
• 結果として、このような三角形分割に明確な組合せ的制約が得られ、それらが形状空間の幾何と結びつく。