[论文解读] From volume cone to metric cone in the nonsmooth setting

Nicola Gigli, Guido De Philippis|arXiv (Cornell University)|Dec 9, 2015

Geometric Analysis and Curvature Flows参考文献 20被引用 5

一句话总结

本文证明，在 ${\sf RCD}^{*}(K,N)$ 空间中，若球体测度的体积锥结构（即球体测度按锥体中的方式缩放）成立，则可推出完整的度量锥结构。通过梯度流、Busemann 型函数及爆破分析，作者证明：若某点为中心的球体测度缩放方式与锥体一致，则该空间在局部上同构于一个度量锥，其底空间为低一维的 ${\sf RCD}^{*}(N-2,N-1)$ 空间，从而将经典结果推广至非光滑情形。

ABSTRACT

We prove that `volume cone implies metric cone' in the setting of RCD spaces, thus generalising to this class of spaces a well known result of Cheeger-Colding valid in Ricci-limit spaces.

研究动机与目标

• 将经典‘体积锥蕴含度量锥’定理由 Ricci 极限空间推广至 ${\sf RCD}^{*}(K,N)$ 空间的非光滑设定。
• 建立球体在某点附近的测度缩放性质可推出局部度量锥结构，即使空间本身不光滑。
• 通过重缩放与爆破技术，证明该锥体的球面对应部分本身是 ${\sf RCD}^{*}(N-2,N-1)$ 空间。
• 将结果推广至环形区域，证明若环形区域的体积缩放方式与锥体一致，则该区域局部同构于重缩放球面为底的度量锥。

提出的方法

• 利用 Busemann 型函数 $\rm b(x)$ 的梯度流分析空间中测度与能量的演化。
• 在度量测度空间中应用微分学工具，特别关注 ${\sf RCD}^{*}$ 空间背景。
• 将重缩放球面 $Z$ 定义为 $S_{{\sf R}/2}({\sf O})$ 上的度量与测度空间结构，以分析其曲率维数性质。
• 在中心点进行爆破分析，验证重缩放球面 $Z$ 满足 ${\sf RCD}^{*}(N-2,N-1)$ 条件。
• 构造以 $Z$ 为底的度量锥 $Y$，并通过保度量与等距映射比较 $X$ 与 $Y$ 中的环形区域。
• 利用 Ketterer 关于锥体 Ricci 曲率下界的成果，确认空间的几何结构。

实验结果

研究问题

• RQ1 在非光滑 ${\sf RCD}^{*}(K,N)$ 设定下，若球体测度缩放方式与锥体一致，是否意味着空间在局部上同构于度量锥？
• RQ2 能否证明此类体积锥的球面对应部分具有自然的 ${\sf RCD}^{*}(N-2,N-1)$ 结构？
• RQ3 当球面 $S_{{\sf R}/2}({\sf O})$ 包含多于两个点时，空间的精确几何与测度结构为何？
• RQ4 该结果如何推广至环形区域？即当环形区域体积缩放方式与锥体一致时，其结构如何？
• RQ5 尽管环形区域非凸，是否仍可使用相同技术证明锥体的球面为 ${\sf RCD}^{*}(N-1,N)$ 空间？

主要发现

• 若 $S_{{\sf R}/2}({\sf O})$ 仅含一个点，则 $({\rm X},{\sf d})$ 同构于区间 $[0,\text{diam}({\rm X})]$ 或 $[0,\infty)$，且测度匹配 $c x^{N-1} dx$。
• 若 $S_{{\sf R}/2}({\sf O})$ 含两个点，则 $({\rm X},{\sf d})$ 为一维黎曼流形，局部同构于 $(-{\sf R},{\sf R})$，且测度保持 $c |x|^{N-1} dx$。
• 当 $S_{{\sf R}/2}({\sf O})$ 包含多于两个点时，$B_{\sf R}({\sf O})$ 局部同构于以 ${\sf RCD}^{*}(N-2,N-1)$ 空间 $Z$ 为底的度量锥 $Y$ 中半径 ${\sf R}$ 的球体，且该同构在 $\bar{B}_{{\sf R}/2}({\sf O})$ 上保持测度。
• 重缩放球面 $Z$ 定义为 $S_{{\sf R}/2}({\sf O})$ 上的诱导度量与测度结构，且满足 ${\sf RCD}^{*}(N-2,N-1)$ 条件。
• 该结果可推广至环形区域：若环形区域体积缩放方式与锥体一致，则该环形区域局部同构于以重缩放球面为底的锥体中的对应环形区域。
• 证明依赖于通过曲率参数缩放距离的 $\cos$ 或 $\cosh$ 函数定义的 Busemann 型函数 $\rm b(x)$，以及梯度流技术以推导度量与测度性质。