[論文レビュー] $α$-curvatures and $α$-flows on low dimensional triangulated manifolds

Huabin Ge, Xu Xu|arXiv (Cornell University)|May 19, 2015

Geometric Analysis and Curvature Flows参考文献 16被引用数 14

ひとこと要約

本稿では、2次元および3次元の三角形分割多様体上で$α$-曲率と$α$-フローを導入し、組み合わせ的リッチフローとヤマベフローを一般化して、離散的曲率を定数値へと進化させる。定数$α$-曲率計量の存在のための必要十分な組み合わせ的位相的計量条件を確立し、サーストンの条件を拡張し、その計量が存在する場合かつその場合に限り$α$-フローが収束することを証明する。

ABSTRACT

In this paper, we introduce two discrete curvature flows, which are called $α$-flows on two and three dimensional triangulated manifolds. For triangulated surface $M$, we introduce a new normalization of combinatorial Ricci flow (first introduced by Bennett Chow and Feng Luo \cite{CL1}), aiming at evolving $α$ order discrete Gauss curvature to a constant. When $αχ(M)\leq0$, we prove that the convergence of the flow is equivalent to the existence of constant $α$-curvature metric. We further get a necessary and sufficient combinatorial-topological-metric condition, which is a generalization of Thurston's combinatorial-topological condition, for the existence of constant $α$-curvature metric. For triangulated 3-manifolds, we generalize the combinatorial Yamabe functional and combinatorial Yamabe problem introduced by the authors in \cite{GX2,GX4} to $α$-order. We also study the $α$-order flow carefully, aiming at evolving $α$ order combinatorial scalar curvature, which is a generalization of Cooper and Rivin's combinatorial scalar curvature, to a constant.

研究の動機と目的

• 三角形分割多様体における古典的離散曲率およびフロー概念を$α$-順序曲率へと一般化すること。
• 三角形分割された曲面上における定数$α$-曲率計量の存在のための必要十分条件を確立すること。
• 3次元三角形分割多様体における組み合わせ的ヤマベ問題および関数を$α$-順序に拡張すること。
• 位相的および組み合わせ的制約の下で、$α$-フローが定数$α$-曲率計量へ収束することを証明すること。

提案手法

• 面積要素$A_i = r_i^\alpha$を用いて、$K_i^{(α)} = 2\pi - \sum_{\{ijk\}\in F} \theta_i^{jk}$により$α$-順離散ガウス曲率を定義し、古典的曲率を一般化する。
• $α$-曲率フローを$\frac{dr_i}{dt} = (K_{av}^{(\alpha)} - K_i^{(\alpha)}) r_i$として定義し、定数$α$-曲率へ進化させる正規化フローとする。
• 球 Packing 計量と辺重みを用いて、3次元における$α$-順の組み合わせ的ヤマベ関数およびスカラー曲率を一般化する。
• 凸解析およびヘッシアンの性質を用いて、$α$-ヤマベ関数の厳密な凸性と適切性を証明する。
• 一般化されたサーストン型条件を確立する：任意の真部分集合$I\subset V$に対して、$2\pi\chi(M)\frac{|I|}{|V|} > -\sum_{(e,v)\in Lk(I)}(\pi - \Phi(e)) + 2\pi\chi(F_I)$が成り立つとき、かつそのときに限り、定数$α$-曲率計量が存在する。
• 曲率のヘッシアンが半正定値であり、定数ベクトルが生成する部分空間が核となることを利用し、フローの単調性および収束性を保証する。

実験結果

リサーチクエスチョン

• RQ1 三角形分割された曲面上に定数$α$-曲率計量が存在するための組み合わせ的位相的計量的条件は何か？
• RQ2 $α\chi(M) \leq 0$のとき、$α$-曲率フローは曲面上でどのように振る舞うか？
• RQ3 3次元三角形分割多様体において、組み合わせ的ヤマベ問題を$α$-順曲率へ一般化できるか？
• RQ4 $α$-フローの収束と定数$α$-曲率計量の存在との関係は何か？
• RQ5 $α$-曲率はスケーリング挙動および滑らか極限において、古典的離散曲率をどのように一般化するか？

主な発見

• $α$-曲率フローは、定数$α$-曲率計量が存在する場合かつその場合に限り収束する。これは$α=1$のときのチョウとルオの結果を一般化する。
• 定数$α$-曲率計量の存在のための必要十分条件が確立され、サーストンの組み合わせ的位相的条件を一般化する。
• $α$-ヤマベ関数は厳密に凸かつ適切であり、固定された全曲率の制約下で一意な最小値をもつことを保証する。
• $α$-曲率写像のヘッシアンは半正定値であり、核が定数ベクトルによって生成されるため、フローの単調性が保証される。
• 3次元三角形分割多様体において、$α$-順の組み合わせ的スカラー曲率が定義され、一般化されたヤマベ条件の下で、フローがその値を定数へと進化させる。
• 一般化された条件は$α=1$のときサーストンの条件に還元され、古典的結果と整合性を保つことが確認される。