[论文解读] Constancy of the dimension for RCD(K,N) spaces via regularity of Lagrangian flows

Semola, D, Brué, E|arXiv (Cornell University)|Apr 19, 2018

Geometric Analysis and Curvature Flows被引用 12

一句话总结

本文通过证明与Sobolev向量场相关的拉格朗日流的新正则性结果，建立了RCD(K,N)度量测度空间的维数恒定性，采用基于格林函数的准度量。关键贡献是一项类似Lusin的正则性定理，该定理表明维数在整个空间中保持恒定，将Colding-Naber在里奇极限空间中的结果推广至非光滑情形。

ABSTRACT

We prove a regularity result for Lagrangian flows of Sobolev vector fields over RCD(K, N) metric measure spaces; regularity is understood with respect to a newly defined quasi‐metric built from the Green function of the Laplacian. Its main application is that RCD(K, N) spaces have constant dimension. In this way we generalize to such an abstract framework a result proved by Colding‐Naber for Ricci limit spaces, introducing ingredients that are new even in the smooth setting.

研究动机与目标

• 建立RCD(K,N)空间在其定义域内维数恒定，解决该类空间结构理论中的一个关键问题。
• 将Colding-Naber在里奇极限空间中的结果推广至RCD(K,N)空间的非光滑、度量测度空间设定。
• 在缺乏光滑结构的条件下，基于格林函数诱导的准度量，发展拉格朗日流的新正则性理论。
• 证明在m-几乎处处意义下，切空间的维数是常数，建立在RCD(K,N)空间的可矩形化基础上。
• 引入一种基于格林函数及其关联准度量的新分析框架，使在合成里奇曲率空间中实现正则性结果成为可能。

提出的方法

• 引入一种从RCD(K,N)空间上拉普拉斯算子的格林函数导出的新准度量 $\mathsf{d}_G$。
• 证明与Sobolev向量场相关的拉格朗日流具有 $\mathsf{d}_G$-Lipschitz正则性，从而建立一种类似Lusin的正则性结果。
• 利用格林函数的性质，包括其局部有界性及上弱梯度控制，分析流的正则性。
• 通过格林函数的逼近 $G^\varepsilon$ 进行极限论证，从光滑逼近对象过渡到极限对象。
• 利用正规拉格朗日流的有界压缩性，控制流映射下的测度畸变。
• 将流的正则性与 $\mathsf{d}_G$-Lipschitz 映射的刚性结果相结合，推导出维数恒定性。

实验结果

研究问题

• RQ1 能否在切空间维数可能变化的情况下，证明RCD(K,N)空间的维数在整个定义域内保持恒定？
• RQ2 能否在缺乏光滑结构的条件下，仅使用度量与测度论工具，发展拉格朗日流的正则性理论？
• RQ3 RCD(K,N)空间上拉普拉斯算子的格林函数是否能生成一个控制流正则性的准度量？
• RQ4 能否利用 $\mathsf{d}_G$-Lipschitz 映射的刚性特性，强制推导出RCD(K,N)空间中维数的恒定性？
• RQ5 本文所用技术在多大程度上可推广至其他具有合成里奇曲率下界的度量测度空间类别？

主要发现

• 在任意 $\operatorname{RCD}(K,N)$ 度量测度空间中，切空间的维数在 $\mathfrak{m}$-几乎处处意义下为常数。
• 与 $L^1((0,T);L^2(TX))$ 向量场相关的拉格朗日流具有 $\mathsf{d}_G$-Lipschitz正则性，且 $G({\bm{X}}_t(x),{\bm{X}}_t(y))$ 的导数由涉及向量场与格林函数梯度的特定公式给出。
• 对 $\mathfrak{m} \times \mathfrak{m}$-几乎处处的 $(x,y)$，映射 $t \mapsto G({\bm{X}}_t(x),{\bm{X}}_t(y))$ 属于 $W^{1,1}((0,T))$，确保了流的充分正则性。
• 流关于格林准度量 $\mathsf{d}_G$ 的正则性意味着空间的维数恒定，因为正则集 $\mathcal{R}_k$ 仅可能对单一 $k$ 存在。
• 该结果将Colding-Naber在里奇极限空间中的定理推广至非光滑RCD设定，使用了最优传输与度量测度空间分析中的新工具。
• 证明表明，在 $\operatorname{RCD}(K,N)$ 空间中 $\mathfrak{m}$-几乎处处的点，其切空间等距同构于 $\mathbb{R}^k$，且 $k$ 与点的选择无关。