[論文レビュー] Extra-large metrics

Igor Rivin|ArXiv.org|Sep 14, 2005

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

ひとこと要約

この論文は、すべての円錐角が $2\pi$ より大きく、すべての閉じた測地線の長さが $2\pi$ より長い2次元の球面的円錐計量が、円錐点の集合である0次元スケルトンをもつ三角形分割をもつことを証明している。これはデローランの三角形分割である。証明は、円錐点のボロノイ図が、凸で星型のセル分割をなしており、そのポincare双対が追加大条件のもとで望ましい三角形分割を導くことに基づいている。

ABSTRACT

An extra large metric is a spherical cone metric with all cone angles greater than 2 pi and every closed geodesic longer than 2pi. We show that every two-dimensional extra large metric can be triangulated with vertices at cone points only. The argument implies the same result for Euclidean and hyperbolic cone metrics, and can be modified to show a similar result for higher-dimensional extra-large metrics. The extra-large hypothesis is necessary.

研究の動機と目的

• 球面的円錐面が、頂点が円錐点にちょうど一致する三角形分割をもつための条件を確立すること。
• 特に測地線と曲率との関係において、そのような表面の幾何学的・位相的性質を特徴づけること。
• 追加大条件のもとで、円錐点のデローランの三角形分割がボロノイ図のポincare双対と一致することを証明すること。
• 双曲的多面体とその極双対に関する結果を、より広いクラスの球面的円錐多様体へと拡張すること。
• 特異な球面的表面におけるセル分割のための構成的幾何学的枠組みを提供すること。

提案手法

• 円錐面の注釈半径を定義し、それが $\pi$ より大きいことと、表面が追加大であることとは同値であることを証明する。
• 円錐点の集合 $P$ に対してボロノイ図 $\mathcal{V}_P$ を構成し、各セル $V_i$ は $p_i$ よりも他の円錐点よりも近い点の集合からなる。
• 三角不等式と測地線的凸性を用いて、各ボロノイセル $V_i$ が $p_i$ を中心として星型であることを証明する。
• 球面幾何と距離の最小性を用いて、各ボロノイセルの境界が凸な多角形曲線であることを示す。
• 任意の二つのボロノイセル $V_i \cap V_j$ の交わりが連結であり、エッジをなすことを示し、図が適切なセル分割であることを確立する。
• ボロノイ図のポincare双対としてデローランタイルレーションを構成し、頂点が円錐点にちょうど一致する三角形分割が得られることを示す。

実験結果

リサーチクエスチョン

• RQ1 球面的円錐面が、0次元スケルトンが円錐点の集合にちょうど一致する三角形分割をもつための条件は何か？
• RQ2 円錐角 > $2\pi$ かつすべての閉じた測地線 > $2\pi$ である追加大条件は、そのような三角形分割の存在とどのように関係するか？
• RQ3 球面的円錐面における円錐点のボロノイ図を用いてデローランの三角形分割を構成できるか？
• RQ4 双対が三角形分割になるために、ボロノイセルが満たすべき幾何的性質（例：凸性、星型性）は何か？
• RQ5 注釈半径が $\pi$ より大きいという条件は、追加大球面的円錐面を完全に特徴づけるか？

主な発見

• 追加大球面的円錐面では、各セル $V_i$ が対応する円錐点 $p_i$ を中心として凸かつ星型であるボロノイ図が存在する。
• 各ボロノイセル $V_i$ の直径は $\pi$ よりも厳密に小さいため、セルに反対点が含まれない。
• 任意の二つのボロノイセル $V_i \cap V_j$ の交わりは連結であり、単一のエッジをなすため、ボロノイ図が適切なセル分割であることが示される。
• ボロノイ図のポincare双対は、円錐点に頂点を持つ表面のセル分割であり、そのセルは凸多角形である。
• ボロノイ図の双対として構成されたデローランタイルレーションは、0次元スケルトンが円錐点の集合にちょうど一致する表面の三角形分割をもたらす。
• 追加大条件（円錐角 > $2\pi$、すべての閉じた測地線 > $2\pi$）は、表面の注釈半径が $\pi$ より大きいことに同値である。