[论文解读] De Giorgi and Gromov working together

Nicola Gigli|arXiv (Cornell University)|Jun 26, 2023

Advanced Topology and Set Theory被引用 5

一句话总结

本综述将 De Giorgi 的泛函 $Γ$-收敛与 Gromov 的度量测度空间的 mGH-收敛统一起来，用于研究非光滑几何中下 Ricci 曲率边界稳定的性质。它证明了 ${\sf RCD}(K,\infty)$ 空间——在具有无穷小希尔伯特性的情况下——在 mGH-收敛下构成一个稳定类，从而可通过最优传输和热流梯度流结构推导出精确的几何与分析结果。

ABSTRACT

The title is meant as way to honor two great mathematicians that, although never actually worked together, introduced concepts of convergence that perfectly match each other and very fruitfully interact: De Giorgi's $Γ$-convergence of lower semicontinuous functions and Gromov's convergence of geometric structures.

研究动机与目标

• 将 De Giorgi 的下半连续泛函的 $\Gamma$-收敛与 Gromov 的度量测度空间的 mGH-收敛统一起来，以研究曲率边界下的稳定性。
• 通过最优传输与梯度流结构之间的相互作用，证明 ${\sf RCD}(K,\infty)$ 条件在 mGH-收敛下是稳定的。
• 展示非光滑度量测度空间中的稳定性结果如何在光滑范畴中导出精确的几何与分析结论。
• 通过 Sobolev 理论与热流理论，为非可微空间上的一阶与二阶微积分提供泛函分析框架。
• 将该框架应用于证明定性与定量的稳定性结果，包括分裂定理与 Bonnet-Myers 估计。

提出的方法

• 使用 De Giorgi 的 $\Gamma$-收敛分析非光滑极限下总变差与 Willmore 能量等泛函的稳定性。
• 应用 Gromov 的 mGH-收敛对具有统一下 Ricci 曲率与维数界的一类黎曼流形空间进行紧化。
• 通过 Wasserstein 空间中熵的位移凸性，利用 ${\sf CD}(K,\infty)$ 条件内在地刻画下 Ricci 曲率。
• 通过在 ${\sf CD}(K,\infty)$ 上添加无穷小希尔伯特性，引入 ${\sf RCD}(K,\infty)$ 条件，以确保 Sobolev 空间 $W^{1,2}$ 为希尔伯特空间。
• 利用热流在 mGH-收敛下的稳定性作为关键工具，证明 ${\sf RCD}(K,\infty)$ 在极限下保持不变。
• 应用演化变分不等式系统（EVI）将热流刻画为 ${\sf RCD}(K,\infty)$ 空间中的梯度流。

实验结果

研究问题

• RQ1 如何将 De Giorgi 的 $\Gamma$-收敛与 Gromov 的 mGH-收敛结合，以研究下 Ricci 曲率边界的稳定性？
• RQ2 最优传输与位移凸性在非光滑度量测度空间中刻画 Ricci 曲率时起什么作用？
• RQ3 为何添加无穷小希尔伯特性是确保黎曼结构在 mGH-收敛下稳定所必需的？
• RQ4 ${\sf RCD}(K,\infty)$ 空间中的稳定性结果如何导出光滑范畴中的定性与定量几何结论？
• RQ5 非光滑空间中的热流能否被刻画为梯度流？这与曲率边界有何关联？

主要发现

• 由于 ${\sf CD}(K,\infty)$ 与无穷小希尔伯特性的结合，通过热流收敛确保了稳定性，因此 ${\sf RCD}(K,\infty)$ 条件在 mGH-收敛下是稳定的。
• 在 ${\sf RCD}(K,\infty)$ 空间中，热流是熵泛函的梯度流，由演化变分不等式系统（EVI）刻画。
• 在 mGH-收敛下，渐近体积比（AVR）有统一的下界，防止坍塌，并确保极限空间是非坍塌的。
• 在缩放下，Ricci 压缩的非紧致 3-流形的极限是一个渐近锥，其为具有截面为 ${\sf RCD}(1,2)$ 空间的度量锥。
• 渐近锥的截面是曲率 $\geq 1$ 的 Alexandrov 空间，在二维时同胚于 $S^2$。
• 通过构造逼近的孤立子并利用 Ricci 流解在局部初值下的稳定性，本文证明了几乎 Ricci 压缩的膨胀梯度孤立子除非为平坦的，否则会导致矛盾，从而证明了非平坦、非紧致、$c$-Ricci 压缩 3-流形的非存在性。