[論文レビュー] A combinatorial Yamabe problem on two and three dimensional manifolds

Huabin Ge, Xu Xu|arXiv (Cornell University)|Apr 22, 2015

Geometric Analysis and Curvature Flows参考文献 23被引用数 18

ひとこと要約

本稿では、2次元および3次元の三角形分割多様体に対して、滑らかなガウス曲率と同様にスケーリングする新しい組み合わせ的ガウス曲率を導入し、離散ヤマベ問題を可能にする。組み合わせ的リッチ、カラビ、ヤマベフローを用いて、位相的および組み合わせ的条件下で定曲率計量の存在および一意性を証明し、離散的最大原理および変分原理を用いて収束を示す。

ABSTRACT

In this paper, we introduce a new combinatorial curvature on two and three dimensional triangulated manifolds, which transforms in the same way as that of the smooth scalar curvature under scaling of the metric and could be used to approximate the Gauss curvature on two dimensional manifolds. Then we use the flow method to study the corresponding constant curvature problem, which is called combinatorial Yamabe problem.

研究の動機と目的

• 三角形分割された2次元および3次元多様体に、滑らかなガウス曲率と同様にスケーリングする新しい離散曲率を定義すること。
• 離散幾何における定曲率計量のための組み合わせ的ヤマベ問題を確立すること。
• 定曲率問題を解くための組み合わせ的フロー（リッチ、カラビ、ヤマベ）を構築および分析すること。
• 位相的および組み合わせ的制約の下で定曲率計量の存在および一意性を証明すること。
• 離散的最大原理および変分原理を用いて、離散フローの収束を確立すること。

提案手法

• 円パッキング計量と辺重み $\Phi_{ij} \in [0, \pi/2]$ を用いて、新しい組み合わせ的ガウス曲率を定義する。
• 三角形不等式を満たすように、$l_{ij} = \sqrt{r_i^2 + r_j^2 + 2r_i r_j \cos \Phi_{ij}}$ を用いて辺長を構築する。
• 組み合わせ的リッチフロー $\frac{dr_i}{dt} = -K_i r_i$ と、カラビフロー $\frac{dr_i}{dt} = -\Delta_r K_i$ を導入する。
• 四面体体積を用いて3次元の組み合わせ的スカラー曲率を定義し、ヤマベフロー $\frac{dr_i}{dt} = -R_i r_i$ を導出する。
• 離散最大原理および変分法を用いて、長期的挙動および収束を分析する。
• 解の特異性を回避し、コンactnessを保つために、$\mathbb{S}^{N-1}$ への正規化を適用する。

実験結果

リサーチクエスチョン

• RQ1 三角形分割された2次元および3次元多様体に、滑らかなガウス曲率と正確に同じスケーリングを示す新しい離散曲率を定義できるか？
• RQ2 どのような位相的および組み合わせ的条件下で、三角形分割された曲面上に定曲率計量が存在するか？
• RQ3 組み合わせ的リッチ、カラビ、ヤマベフローは、定曲率計量に収束するか？
• RQ4 離散ヤマベ問題の解はスケーリングを除いて一意的か？
• RQ5 組み合わせ的ヤマベフローで生じる特異性の種類は何か？また、それらはどのように分類できるか？

主な発見

• 新しい組み合わせ的ガウス曲率は、離散ガウス・ボンネの公式を満たし、滑らかなガウス曲率と同一のスケーリングを示す。
• 三角形分割された曲面上に定曲率計量が存在するための必要十分条件は、すべての空でない真部分集合 $I \subset V$ に対して、$2\pi\chi(M)\frac{|I|}{|V|} > -\sum_{(e,v)\in Lk(I)}(\pi - \Phi(e)) + 2\pi\chi(F_I)$ が成り立つことである。
• 初期計量が許容領域 $\mathfrak{M}_{\mathcal{T}}$ 内にある限り、組み合わせ的リッチフローは定曲率計量に収束する。
• 3次元の組み合わせ的ヤマベフローにおいて、特異性のない解が存在するならば、定曲率の球パッキング計量が存在する。
• $\mathfrak{M}_{\mathcal{T}} \cap \mathbb{S}^{N-1}$ 内で、非正の定スカラー曲率を持つ球パッキング計量は孤立しており、正規化のもとで一意性が保証される。
• フローにおける特異性は、本質的（頂点半径 $r_i \to 0$）または除去可能な（四面体体積 $Q_{ijkl} \to 0$）に分類され、フローの終了に影響を及ぼす。