[论文解读] An overview on the proof of the splitting theorem in non-smooth context

Nicola Gigli|arXiv (Cornell University)|May 21, 2013

Geometric Analysis and Curvature Flows参考文献 41被引用 8

一句话总结

本文在 ${\sf RCD}(0,N)$ 度量测度空间的非光滑设定下，提供了Cheeger-Colding-Gromoll分裂定理的一个简洁、自包含的证明。通过利用最优传输、Sobolev微分学和热流估计的工具，本文证明了：任何包含测地线的此类空间，均等距且保测度地分裂为 $\mathbb{R}$ 与一个 ${{\sf RCD}}(0,N-1)$ 空间的乘积，当 $N<2$ 时维度降至1。该结果通过合成Ricci曲率下界，将经典分裂定理推广至奇异空间。

ABSTRACT

We give a quite detailed overview on the proof of the Cheeger-Colding-Gromoll splitting theorem in the abstract framework of spaces with Riemannian Ricci curvature bounded from below.

研究动机与目标

• 为 ${\sf RCD}(0,N)$ 空间中的分裂定理在非光滑设定下提供一个简短而全面的证明。
• 将经典的Cheeger-Colding-Gromoll分裂定理推广至具有合成Ricci曲率下界的度量测度空间。
• 在空间包含测地线时，建立等距且保测度的乘积结构。
• 阐明曲率-维数条件与热流在非光滑几何中的作用。
• 证明当 $N\geq 2$ 时商空间继承 ${\sf RCD}(0,N-1)$ 性质，而当 $N\in[1,2)$ 时则坍缩为一点。

提出的方法

• 将 ${\sf RCD}(0,N)$ 条件作为通过最优传输与熵凸性实现的合成下界Ricci曲率。
• 在具有加倍性质与Poincaré不等式的度量测度空间中应用超极小化子的强最大值原理。
• 利用高斯热核估计与Bakry-Émery压缩估计处理 ${\sf RCD}(K,\infty)$ 空间上的热流。
• 利用Busemann函数的梯度流保持测度与Dirichlet能量不变。
• 应用 ${\sf RCD}(K,\infty)$ 空间的乘积结构，以提升测地线计划并验证乘积上的曲率条件。
• 应用 $N'$-维Hausdorff测度论证，证明当 $N'\in(N,2)$ 时有 $\mathcal{H}^{N'}(B_R(x_0))=0$，从而导致维度降低。

实验结果

研究问题

• RQ1 在具有合成下界Ricci曲率的非光滑度量测度空间中，分裂定理是否成立？
• RQ2 经典分裂结果能否推广至包含测地线的 ${\sf RCD}(0,N)$ 空间？
• RQ3 分裂后商空间的维度是多少？其与原始 $N$ 的关系如何？
• RQ4 热流与最优传输技术如何在非光滑设定中实现正则性与曲率估计？
• RQ5 在何种条件下，商空间会继承 ${\sf RCD}(0,N-1)$ 性质？

主要发现

• 若 $(X,{\sf d},\mathfrak{m})$ 是一个包含测地线的 ${\sf RCD}(0,N)$ 空间，则其等距且保测度同胚于 $\mathbb{R} \times X'$，其中乘积距离满足 ${\sf d}^2 = {\sf d}'^2 + |t-s|^2$。
• 当 $N \geq 2$ 时，商空间 $(X',{\sf d}',\mathfrak{m}')$ 是一个 ${\sf RCD}(0,N-1)$ 空间。
• 当 $N \in [1,2)$ 时，商空间 $X'$ 必为单点，意味着该空间等距同胚于 $\mathbb{R}$。
• Busemann函数的梯度流保持测度与Dirichlet能量不变，从而确保了等距分裂。
• 在 $X$ 中，当 $N' \in (N,2)$ 时，球的 $N'$-维Hausdorff测度为零，这强制商空间的维度至多为 $N-1$。
• 该证明依赖于概率测度空间中测地线上熵的 $N'$-凸性，从而导出几乎处处成立的不等式 $\rho_t^{-1/(N'-1)} \geq (1-t)\rho_0^{-1/(N'-1)} + t\rho_1^{-1/(N'-1)}$。