[論文レビュー] Local curvature-dimension condition implies measure-contraction property

Fabio Cavalletti, Karl‐Theodor Sturm|arXiv (Cornell University)|Dec 21, 2011

Geometric Analysis and Curvature Flows被引用数 6

ひとこと要約

本稿では、非分岐な距離測度空間において、局所的曲率次元条件 $\sigma_{K,N}^{(t)}(\theta)$ が、全般的な測度収縮性 $\sigma_{K,N}^{(t)}(\theta)$ を示すことを確立しており、これにより、リーマン多様体におけるものと同等の鋭い幾何学的・関数解析的不等式（例えば、Bishop-Gromovの体積成長、Poincaré不等式）が局所的曲率の下限から導かれる。証明は、距離の等高線集合に沿った測度の分解と、Hölderの不等式を用いた1次元および $(N-1)$ 次元体積歪みの組み合わせに依拠している。

ABSTRACT

We prove that for non-branching metric measure spaces the local curvature condition CDloc(K,N) implies the global version of MCP(K,N). The curvature condition CD(K,N) introduced by the second author and also studied by Lott & Villani is the generalization to metric measure space of lower bounds on Ricci curvature together with upper bounds on the dimension. It is worth pointing out that our result implies sharp Bishop-Gromov volume growth inequality and sharp Poincaré inequality.

研究の動機と目的

• 非分岐な距離測度空間において、局所的曲率次元条件 $\sigma_{K,N}^{(t)}(\theta)$ が全般的な測度収縮性 $\sigma_{K,N}^{(t)}(\theta)$ を含意するかどうかという未解決問題を解消すること。
• 局所的条件 $\sigma_{K,N}^{(t)}(\theta)$ が、Bishop-Gromovの体積成長やPoincaré不等式といった鋭い定量的幾何的・関数解析的結果をもたらすことを確立すること。
• 局所的曲率境界と全般的な幾何的制御の間のギャップを埋めるために、$(N-1)$ 次元体積歪み成分を特定し、それを全般に拡張すること。

提案手法

• 固定された点 $o$ からの距離の等高線集合 $\partial B_r(A)$ に沿って、参考測度 $m$ と最適輸送計画 $\boldsymbol{\gamma}$ を分解し、距離測度空間におけるcoarea公式を用いる。
• デルタ質量から一様測度への最適輸送を、球面上での $(N-1)$ 次元の発展の族に分解し、曲率依存の歪み係数 $\sigma_{K,N-1}^{(t)}(\theta)$ を分離する。
• モデル空間との比較を用いて、任意の $0 < R_0 < R_1$ に対して、$(N-1)$ 次元の局所的歪み推定を係数 $\sigma_{K,N-1}^{(t)}(\theta)$ を用いて確立する。
• 1次元方向の $1/N$-斉次性と $(N-1)$ 次元歪みをHölderの不等式で組み合わせ、全次元の $\tau_{K,N}^{(t)}(\theta)$ 係数を回復する。
• 分解された輸送計画を用いて、補間測度 $\mu_t$ の密度 $\varrho_t$ に対する全般的な不等式を導出し、$\varrho_t^{-1/N}$ が $\tau_{K,N}^{(t)}(\theta)$ を含む凸不等式を満たすことを示す。
• 得られた点ごとの不等式を統合し、全般的な測度収縮性 $\mathsf{MCP}(K,N)$ を得て、主結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 非分岐な距離測度空間において、局所的曲率次元条件 $\mathsf{CD}_{\text{loc}}(K,N)$ は、全般的な測度収縮性 $\mathsf{MCP}(K,N)$ を含意するか？
• RQ2 全般的な $\mathsf{CD}(K,N)$ を仮定せずに、局所的曲率の下限から、Bishop-Gromovの体積成長やPoincaré不等式といった鋭い幾何的不等式を導けるか？
• RQ3 局所的 $\mathsf{CD}_{\text{loc}}(K,N)$ 条件から、$(N-1)$ 次元体積歪み成分を特定し、それを全般に拡張することは可能か？

主な発見

• 非分岐な距離測度空間において、局所的曲率次元条件 $\mathsf{CD}_{\text{loc}}(K,N)$ は、全般的な測度収縮性 $\mathsf{MCP}(K,N)$ を含意する。
• 証明により、全次元体積歪みを支配する $\tau_{K,N}^{(t)}(\theta)$ 係数が、Hölderの不等式と測度の分解を介して $\sigma_{K,N-1}^{(t)}(\theta)$ 係数から回復可能であることが示された。
• 本稿では、局所的条件 $\mathsf{CD}_{\text{loc}}(K,N)$ から、リーマン多様体の場合と同等の鋭いBishop-Gromovの体積成長不等式が導出された。
• $\mathsf{MCP}(K,N)$ 条件が $\mathsf{CD}_{\text{loc}}(K,N)$ から導かれるという事実から、鋭いPoincaré不等式が得られた。
• この結果により、局所的条件 $\mathsf{CD}_{\text{loc}}(K,N)$ が、$\mathsf{MCP}(K,N)$ のすべての全般的な幾何的・解析的結果（倍加性、ハウスドルフ次元の上限など）を含意することを確認した。
• 本手法により、局所的 $(N-1)$ 次元歪み推定が、全次元的ものに拡張され、局所的から全般的な曲率境界へ至る新たな道筋が提供された。