[論文レビュー] A discrete uniformization theorem for polyhedral surfaces II

Xianfeng Gu, Ren Guo+3 more|arXiv (Cornell University)|Jan 18, 2014

Geometric and Algebraic Topology参考文献 19被引用数 32

ひとこと要約

本稿では、双曲的三角形分割と双曲正弦関数を用いた離散的共形性の概念を導入することで、双曲的多面的表面に対する離散的均質化定理を確立する。閉じた曲面上の負のオイラー標数をもつ任意の双曲的多面的計量が、手順的な手術付き離散ヤマベフローによって一意に双曲的計量に離散的共形であることを証明し、離散的均質化を双曲的設定に一般化する。

ABSTRACT

A discrete conformality for hyperbolic polyhedral surfaces is introduced in this paper. This discrete conformality is shown to be computable. It is proved that each hyperbolic polyhedral metric on a closed surface is discrete conformal to a unique hyperbolic polyhedral metric with a given discrete curvature satisfying Gauss-Bonnet formula. Furthermore, the hyperbolic polyhedral metric with given curvature can be obtained using a discrete Yamabe flow with surgery. In particular, each hyperbolic polyhedral metric on a closed surface with negative Euler characteristic is discrete conformal to a unique hyperbolic metric.

研究の動機と目的

• 閉じた曲面上のユークリッドから双曲的多面的計量への離散的均質化定理の拡張。
• 双曲正弦関数による辺長変換を用いて、双曲的多面的計量の計算可能な離散的共形性の定義。
• 所定の離散的曲率を満たす、ガウス・ボネの公式を満たす一意な離散的共形双曲的計量の存在と一意性の確立。
• 手術付き離散ヤマベフローが所定の計量へ指数関数的に収束することの証明。
• 負のオイラー標数をもつ曲面上の任意の双曲的多面的計量が、一意な双曲的計量に離散的共形であることの証明。

提案手法

• 頂点における共形因子とデラウンイ三角形分割を介して、双曲的多面的計量間の離散的共形性関係を導入。
• 変換式 $ \sinh\frac{x_{d_{i+1}}(e)}{2} = e^{u(v)+u(v')} \sinh\frac{x_{d_i}(e)}{2} $ を用いて、共形計量間の辺長を関連付ける。
• 装飾付きティヒミュラー空間と $ C^1 $ 微同相写像を用いて、離散的共形類と基本的な双曲的構造との関係を確立。
• 文献[4]の研究に基づく変分原理を適用し、所定の曲率をもつ計量の存在と一意性を証明。
• 双曲的ポツェレメの恒等式と双曲的三角法の恒等式を用いて、デラウンイ三角形分割と外接円の性質を分析。
• 所定の曲率へ収束するように計量を進める手術付き離散ヤマベフローを用い、指数関数的収束が証明された。

実験結果

リサーチクエスチョン

• RQ1 双曲的多面的計量に対して、アルゴリズム的に計算可能な離散的共形性関係を定義できるか？
• RQ2 負のオイラー標数をもつ閉曲面上の双曲的多面的計量は、一意に双曲的計量に離散的共形である代表元をもつか？
• RQ3 手術付き離散ヤマベフローは、所定の離散的曲率をもつ計量へ収束するのに十分か？
• RQ4 外接円が非コンパクト（例えばアスリックや等距離曲線）となる双曲幾何におけるデラウンイ三角形分割は、どのように振る舞うか？
• RQ5 装飾付きティヒミュラー空間と離散的共形類の対応関係を用いて、曲率を保存する計量の存在と一意性を証明できるか？

主な発見

• 閉じたマーク付き曲面上の任意の双曲的多面的計量は、$ \sum_{v\in V} K^*(v) > 2\pi\chi(S) $ を満たす任意の所定の離散的曲率 $ K^* $ をもつ一意な双曲的多面的計量に離散的共形である。
• 手術付き離散ヤマベフローは、所定の曲率 $ K^* $ をもつ一意の計量へ指数関数的に収束し、アルゴリズム的構成を提供する。
• 曲面の $ \chi(S) < 0 $ の場合、任意の双曲的多面的計量は一意な双曲的計量に離散的共形である（定理3の推論）。
• 離散的共形性関係は計算可能である：2つの双曲的多面的計量が離散的共形であるかどうかを判定するアルゴリズムが存在する。
• 双曲的多面的計量の空間には、ティヒミュラー空間上で $ C^1 $-滑らかで、離散的共形類を保存し、クラス内の一意な双曲的計量へ収束する流れが存在する。
• 非コンパクトな外接円に起因する課題を、曲率制約下でデラウンイ三角形分割が一般化されたポツェレメ型恒等式を満たすことを証明することで克服した。