[论文解读] Ricci curvature for metric-measure spaces via optimal transport

John Lott, Cédric Villani|ArXiv.org|Dec 7, 2004

Geometric Analysis and Curvature Flows参考文献 1被引用 9

一句话总结

本文通过最优传输和 Wasserstein 空间中的位移凸性，为度量测度空间引入了一种新的 Ricci 曲率概念。它证明了非负 N-Ricci 曲率在测度 Gromov–Hausdorff 极限下保持不变，并推导出几何与分析性后果，包括在奇异和非光滑情形下对 Ricci 曲率界限的综合表征。

ABSTRACT

We define a notion of a measured length space X having nonnegative N-Ricci curvature, for N finite, or having infinity-Ricci curvature bounded below by K, for K a real number. The definitions are in terms of the displacement convexity of certain functions on the associated Wasserstein space P_2(X) of probability measures. We show that these properties are preserved under measured Gromov-Hausdorff limits. We give geometric and analytic consequences.

研究动机与目标

• 将 Ricci 曲率的概念从光滑黎曼流形推广到一般的度量测度空间。
• 通过 Wasserstein 空间中的最优传输和位移凸性，定义一种下确界有界的合成 Ricci 曲率概念。
• 确保所得空间类在测度 Gromov–Hausdorff 极限下封闭，从而支持紧致性与极限分析。
• 在光滑情形下恢复经典 Ricci 曲率概念，并推导出非平凡的几何与分析性后果。
• 为研究奇异空间（如切锥和具有 Ricci 曲率界限的流形的 Gromov–Hausdorff 极限）中的 Ricci 曲率提供一个框架。

提出的方法

• 定义度量空间 $(X,d)$ 上 Borel 概率测度的 Wasserstein 空间 $P_2(X)$，其配备由最优传输代价 $d(x_0,x_1)^2$ 导出的 $W_2$ 距离。
• 利用 $P_2(X)$ 上特定函数（尤其是熵函数和幂函数）的位移凸性来定义 Ricci 曲率界限。
• 通过 $P_2(X)$ 上熵泛函的 $\frac{1}{N}$-位移凸性，引入 $N$-Ricci 曲率下界为 $K$ 的概念，推广光滑情形。
• 应用该理论证明非负 $N$-Ricci 曲率在测度 Gromov–Hausdorff 极限下保持不变，利用弱-* 收敛和位移凸性的稳定性。
• 利用光滑流形上 $P_2(M)$ 的形式黎曼结构，通过 Otto 和 Villani 的形式计算，将位移凸性与 Ricci 曲率联系起来。
• 借助最优传输在流形上的结果（如 McCann、Cordero-Erausquin、von Renesse）将定义扩展至度量测度空间。

实验结果

研究问题

• RQ1 能否为度量测度空间定义一种合成的、下确界有界的 Ricci 曲率概念，以推广经典的黎曼概念？
• RQ2 具有下确界有界 Ricci 曲率的度量测度空间类是否在测度 Gromov–Hausdorff 极限下封闭？
• RQ3 Wasserstein 空间中的位移凸性与光滑情形下的 Ricci 曲率有何关系？
• RQ4 能否从新定义推导出几何与分析性后果（如直径界限和集中不等式）？
• RQ5 该定义能否扩展至非光滑空间（如极限空间的切锥），且这些空间是否也具有 Ricci 正则性？

主要发现

• 具有非负 $N$-Ricci 曲率的度量测度空间类在测度 Gromov–Hausdorff 极限下封闭，确保了收敛下的稳定性。
• 具有非负 $N$-Ricci 曲率的空间的切锥继承了非负 $N$-Ricci 曲率，推广了 Cheeger–Colding 的结果。
• 该定义在光滑黎曼情形下恢复了经典 Ricci 曲率界限，验证了其一致性。
• $P_2(X)$ 上熵泛函的位移凸性表征了下确界 Ricci 曲率界限，将 McCann 和 Otto–Villani 的结果推广至度量测度空间。
• 该框架允许通过 Talagrand 和 log-Sobolev 型不等式推导出几何后果，如直径界限和集中不等式。
• 该理论在测度的推前像的弱-* 极限下保持稳定，确保了在极限构造中的鲁棒性。