[论文解读] Weakly non-collapsed RCD spaces are strongly non-collapsed

Camillo Brena, Nicola Gigli+2 more|arXiv (Cornell University)|Oct 5, 2021

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

一句话总结

本文证明了任意弱非坍缩的 RCD(K,N) 空间在测度重归一化后实际上为非坍缩空间，从而证实了 De Philippis 与 Gigli 的一个猜想。核心论证依赖于将 Hessian 的迹与拉普拉斯算子关联，并结合热核平滑与 Bishop-Gromov 体积比较，证明有限密度蕴含测度与 Hausdorff 测度成比例。

ABSTRACT

We prove that any weakly non-collapsed RCD space is actually non-collapsed, up to a renormalization of the measure. This confirms a conjecture raised by De Philippis and the second named author in full generality. One of the auxiliary results of independent interest that we obtain is about the link between the properties $\quad$- $\mathrm{tr}(\mathrm{Hess}f)=Δf$ on $U\subset\mathsf{X}$ for every $f$ sufficiently regular, $\quad$- $\mathfrak{m}=c\mathscr{H}^n$ on $U\subset\mathsf{X}$ for some $c>0$, where $U\subset \mathsf{X}$ is open and $\mathsf{X}$ is a - possibly collapsed - RCD space of essential dimension $n$.

研究动机与目标

• 解决关于弱非坍缩 RCD(K,N) 空间在测度重归一化后是否为强非坍缩空间的猜想。
• 通过密度函数 θ_N 与 Hessian 的迹，建立非坍缩 RCD 空间的合成表征。
• 证明有限本质维数与有限密度蕴含测度与 H^N 成比例。
• 证明弱非坍缩空间的切锥为非坍缩空间，从而支撑主要结果。

提出的方法

• 利用热流与热核平滑构造一族近似黎曼度量结构的 Riemannian-like 度量 g_t。
• 应用高斯估计与局部 Hille 定理，控制热核及其导数的行为。
• 建立对所有足够光滑的 f，有 tr(Hess f) = Δf，从而将拉普拉斯算子与 Hessian 的迹关联。
• 利用 Bishop-Gromov 体积比较证明测度在有界集上具有正的下密度。
• 应用带基点的 RCD 空间在 pGH 与 pmGH 拓扑下的收敛性，传递到切锥，并利用本质维数的下极限连续性。
• 利用本质维数 N 与迹-拉普拉斯恒等式对弱非坍缩空间的表征，最终得出测度与 H^N 成比例的结论。

实验结果

研究问题

• RQ1 能否证明弱非坍缩 RCD(K,N) 空间在测度重归一化后为非坍缩空间？
• RQ2 θ_N(x) < ∞ 在正测度集合上成立的条件是否足以推出测度与 H^N 成比例？
• RQ3 在某开集上恒有 tr(Hess f) = Δf 是否足以推出测度与 H^N 成比例？
• RQ4 弱非坍缩 RCD(K,N) 空间的切锥是否必然为非坍缩空间？
• RQ5 能否利用弱非坍缩空间的本质维数 N 推出测度与 H^N 成比例？

主要发现

• 任意弱非坍缩 RCD(K,N) 空间对所有 f ∈ D(Δ) 满足 tr(Hess f) = Δf，这是关键的分析条件。
• Bishop-Gromov 不等式保证了测度在有界集上具有正的下密度，即 inf_{r∈(0,1), x∈A} m(B_r(x))/r^N > 0。
• 若本质维数为 N 且 tr(Hess f) = Δf 成立，则测度与 H^N 成比例，从而证实了主要结果。
• 弱非坍缩 RCD(K,N) 空间的切锥为非坍缩空间，该结论通过 pGH 收敛与本质维数的下极限连续性得到证明。
• 在 pGH 收敛下，缩放空间的极限保持本质维数 N，意味着渐近测度与 H^N 成比例。
• 结论具有一致性：对任意一列 ε_i-pGH 近似于非坍缩空间的序列，测度最终必然与 H^N 成比例。