[論文レビュー] Alexandrov meets Lott--Villani--Sturm

Anton Petrunin|arXiv (Cornell University)|Mar 30, 2010

Geometric Analysis and Curvature Flows参考文献 12被引用数 114

ひとこと要約

この論文は、非負の断面曲率をもつm次元のアレクサンドロフ空間（Alex^m[0]）が、曲率次元条件CD[m,0]を満たすことを確立し、アレクサンドロフの曲率境界とロット–ヴィラニ–シュトゥルムの合成リッチ曲率枠組みの間の整合性を確認した。証明は勾配流れとラプラシアン技術を用いてアレクサンドロフ空間上の微積分を拡張し、 Wasserstein測度の曲率の下界に沿った関数Umの凹性を示した。このことはCD[m,0]条件を意味する。

ABSTRACT

Here I show compatibility of two definition of generalized curvature bounds --- the lower bound for sectional curvature in the sense of Alexandrov and lower bound for Ricci curvature in the sense of Lott--Villani--Sturm.

研究の動機と目的

• アレクサンドロフの意味での下界付き断面曲率と、ロット–ヴィラニ–シュトゥルムの意味での曲率次元条件CD[m,κ]との整合性を確立すること。
• 任意のm次元アレクサンドロフ空間で曲率 ≥ 0 であるもの（Alex^m[0]）が、クラスCD[m,0]に属することを示すこと。
• 特にラプラシアンとヘッセ形式を含む微積分的道具を、アレクサンドロフ空間に拡張し、Wasserstein測度の曲率の下界に沿った関数Umの凹性を証明すること。
• 合成リッチ曲率条件CD[m,0]がアレクサンドロフ空間で満たされることを示し、リーマンの比較幾何学と最適輸送理論を結ぶこと。

提案手法

• 測度付き距離空間上の確率測度のWasserstein空間を用い、関数Umの凹性によって曲率次元条件CD[m,0]を定義する。
• アレクサンドロフ空間における勾配流れと擬凸関数の理論を適用し、ペルネリンとペトルニンによるヘッセ形式とラプラシアンの正則性に関する結果を活用する。
• 測地線族の像上から定義される距離関数ψとφを定義し、それらのラプラシアンが、測地線族の像上でほとんど everywhere で和が0になることを示す。
• ペトルニン（1998）の第二変分公式を用いて、距離関数のヘッセ形式を曲率の下界と関連づけ、微分不等式を導出する。
• 時間微分∂w_t/∂t = Trace(Hess φ_t) が満たされることを示し、微分不等式 ∂²/dt² exp(w_t/m) ≤ 0 を得る。
• 関数Θ(t) = ∫ r_t^{-1/m} dΠ が凹であることを結論づけ、これはUmの定義によりCD[m,0]を意味する。

実験結果

リサーチクエスチョン

• RQ1 m次元のアレクサンドロフ空間で曲率 ≥ 0 であるもの（Alex^m[0]）は、曲率次元条件CD[m,0]を満たすか？
• RQ2 最適輸送と特異な距離空間上の微積分を用いて、アレクサンドロフ空間において合成リッチ曲率条件CD[m,0]を検証できるか？
• RQ3 アレクサンドロフ空間における測地線族の像上での距離関数のラプラシアンはどのように振る舞い、これは曲率の下界にどのような意味を持つのか？
• RQ4 擬凸関数とヘッセ形式の微積分は、曲率次元解析を支援するために、どの程度アレクサンドロフ空間に拡張可能か？
• RQ5 非負曲率をもつアレクサンドロフ空間において、Wasserstein測度の曲率の下界に沿った関数Umは、曲率の下界に沿って凹性を示すか？

主な発見

• 主な結果は、Alex^m[0] ⊂ CD[m,0] であり、アレクサンドロフ空間とロット–ヴィラニ–シュトゥルムの曲率次元クラスとの直接的な包含関係を確立した。
• 関数Umは、Alex^m[0]における任意のWasserstein測度の曲率の下界に沿って凹性を示し、これはCD[m,0]の定義的条件である。
• 測地線族の像上で、2つの距離関数ψとφのラプラシアンの和が、ほとんど everywhere で0になる。これは、曲率効果のバランスを示す。
• 対数密度w_tの時間微分は∂w_t/∂t = Trace(Hess φ_t) を満たし、これによりexp(w_t/m)の凹性を示す微分不等式が導かれる。
• 関数Θ(t) = ∫ r_t^{-1/m} dΠ は、凹関数の平均として定義されるため凹であり、局所リプシッツ性から(0,1)上で至る所で凹である。
• 証明により、最適輸送と分布的微積分を用いてリーマンの比較幾何学の道具を特異空間に拡張することで、合成曲率条件CD[m,0]がアレクサンドロフ空間で成立することが示された。