[论文解读] 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

一句话总结

本文证明，在非分支度量测度空间中，局部曲率-维数条件 $σ_{K,N}^{(t)}(\theta)$ 蕴含全局测度收缩性质 $σ_{K,N}^{(t)}(\theta)$，从而从局部曲率上界导出精确的几何与泛函分析不等式（如 Bishop-Gromov 体积增长与 Poincaré 不等式）。证明利用距离超曲面的测度分解，并通过 Hölder 不等式结合一维与 $(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.

研究动机与目标

• 解决非分支度量测度空间中，局部曲率-维数条件 $σ_{K,N}^{(t)}(\theta)$ 是否蕴含全局测度收缩性质 $σ_{K,N}^{(t)}(\theta)$ 的开放问题。
• 建立局部条件 $σ_{K,N}^{(t)}(\theta)$ 可导出精确的定量几何与泛函分析后果，如 Bishop-Gromov 体积增长与 Poincaré 不等式。
• 通过分离并全局化 $(N-1)$ 维体积畸变分量，弥合局部曲率界与全局几何控制之间的鸿沟。

提出的方法

• 利用度量测度空间中的坐标公式，沿从固定点 $o$ 出发的距离超曲面 $\partial B_r(A)$ 对参考测度 $m$ 与最优传输计划 $\boldsymbol{\gamma}$ 进行分解。
• 将狄拉克测度到均匀测度的最优传输分解为沿球面的 $(N-1)$ 维演化族，分离出依赖曲率的畸变系数 $\sigma_{K,N-1}^{(t)}(\theta)$。
• 通过与模型空间比较，利用系数 $\sigma_{K,N-1}^{(t)}(\theta)$ 建立适用于所有 $0 < R_0 < R_1$ 的局部 $(N-1)$ 维畸变估计。
• 应用 Hölder 不等式，将一维方向的 $1/N$-齐次行为与 $(N-1)$ 维畸变相结合，恢复完整的 $\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)$ 条件的推论，获得了精确的 Poincaré 不等式。
• 结果证实，局部条件 $\mathsf{CD}_{\text{loc}}(K,N)$ 足够蕴含 $\mathsf{MCP}(K,N)$ 的所有全局几何与分析后果，包括加倍性质与 Hausdorff 维数的界。
• 该方法成功地将局部 $(N-1)$ 维畸变估计推广为全维估计，为从局部到全局曲率界提供了新路径。