[论文解读] Alexandrov meets Lott--Villani--Sturm

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

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

一句话总结

本文证明了具有非负截面曲率的 m 维 Alexandrov 空间（Alex^m[0]）满足曲率-维数条件 CD[m,0]，确认了 Alexandrov 的曲率下界与 Lott–Villani–Sturm 的合成 Ricci 曲率框架之间的兼容性。证明通过梯度流与 Laplacian 技术扩展了 Alexandrov 空间上的微积分，表明 Um 功能在 Wasserstein 测地线上是凹的，从而推出 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.

研究动机与目标

• 建立 Alexandrov 意义下的下截面曲率边界与 Lott–Villani–Sturm 意义下的曲率-维数条件 CD[m,κ] 之间的兼容性。
• 证明任意 m 维具有曲率 ≥ 0 的 Alexandrov 空间（Alex^m[0]）属于 CD[m,0] 类。
• 将 Alexandrov 空间上的微积分工具（特别是 Laplacian 与 Hessian）进行扩展，以证明 Um 功能在 Wasserstein 测地线上是凹的。
• 展示合成 Ricci 曲率条件 CD[m,0] 在 Alexandrov 空间中成立，从而在黎曼比较几何与最优传输理论之间建立桥梁。

提出的方法

• 利用度量-测度空间上概率测度的 Wasserstein 空间，通过 Um 功能的凹性来定义曲率-维数条件 CD[m,0]。
• 应用 Alexandrov 空间上梯度流与严格拟凸函数的理论，利用 Perelman 与 Petrunin 关于 Hessian 与 Laplacian 正则性的结果。
• 从测地线族的像出发，定义距离函数 ψ 与 φ，并证明它们的 Laplacian 几乎处处在测地线族的像上之和为零。
• 利用 Petrunin（1998）的二阶变分公式，将距离函数的 Hessian 与曲率上界关联，推导出微分不等式。
• 证明时间导数 ∂w_t/∂t 满足 ∂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 的 Alexandrov 空间（Alex^m[0]）是否满足曲率-维数条件 CD[m,0]？
• RQ2 能否通过最优传输与奇异度量空间上的微积分，在 Alexandrov 空间中验证合成 Ricci 曲率条件 CD[m,0]？
• RQ3 在 Alexandrov 空间中，测地线族像上的距离函数的 Laplacian 如何表现？这对曲率上界有何含义？
• RQ4 在多大程度上可以将严格拟凸函数与 Hessian 形式上的微积分扩展到 Alexandrov 空间，以支持曲率-维数分析？
• RQ5 在具有非负曲率的 Alexandrov 空间中，Um 功能是否在 Wasserstein 测地线上是凹的？

主要发现

• 主要结果为 Alex^m[0] ⊂ CD[m,0]，建立了 Alexandrov 空间与 Lott–Villani–Sturm 曲率-维数类之间的直接包含关系。
• 在 Alex^m[0] 中，Um 功能沿任意 Wasserstein 测地线是凹的，这正是 CD[m,0] 的定义条件。
• 与测地线族相关的两个距离函数 ψ 与 φ 的 Laplacian 几乎处处在该族的像上之和为零，表明曲率效应达到平衡。
• 时间导数 ∂w_t/∂t 满足 ∂w_t/∂t = Trace(Hess φ_t)，由此导出的微分不等式表明 exp(w_t/m) 是凹的。
• 功能 Θ(t) = ∫ r_t^{-1/m} dΠ 是凹的，因为它是凹函数的平均值，且由于其局部 Lipschitz 性质，它在整个 (0,1) 区间上都是凹的。
• 该证明表明，通过将黎曼比较几何的工具扩展到奇异空间，并结合最优传输与分布式微积分，合成曲率条件 CD[m,0] 在 Alexandrov 空间中成立。