[论文解读] Ricci tensor on ${ m RCD}^*(K,N)$ spaces

Bang-Xian Han|arXiv (Cornell University)|Dec 1, 2014

Geometric Analysis and Curvature Flows参考文献 15被引用 28

一句话总结

本文在满足 ${\rm RCD}^*(K,N)$ 条件的非光滑度量测度空间上，建立了 $N$-维里奇曲率张量的严格定义。通过扩展 Gagli 的框架并结合 Sturm 在有限维情形下的方法，证明了当且仅当空间为 ${\rm RCD}^*(K,N)$ 时，$N$-里奇张量的下确界为 $K$，从而将 Bakry-Émery 理论推广至奇异空间。

ABSTRACT

We obtain an improved Bochner inequality based on the curvature-dimension condition ${ m RCD}^*(K,N)$ and propose a definition of $N$-dimensional Ricci tensor on metric measure spaces.

研究动机与目标

• 在经典微分几何失效的非光滑度量测度空间中，定义一个有意义的 $N$-维里奇曲率概念。
• 解决在缺乏光滑结构时，特别是针对有限 $N$ 时，哈西安与迹项的定义挑战。
• 通过 $N$-里奇张量对 ${\rm RCD}^*(K,N)$ 条件进行表征，将博赫纳不等式推广至奇异空间。
• 在非光滑情形下，弥合博赫纳不等式与里奇曲率张量之间的鸿沟，确保与光滑黎曼几何的一致性。

提出的方法

• 将 Gagli 关于 ${\rm RCD}(K,\infty)$ 空间上微分结构的理论适配至 $N$-维情形，通过公式 ${\bf Ricci}_N(X,X) := {\bf \Gamma}_2(X,X) - |(\nabla X)^b|^2_{\rm HS} - \frac{1}{N - \dim_{\rm loc}}(\mathrm{tr}(\nabla X)^b - \mathrm{div}X)^2$ 定义 $N$-里奇张量。
• 利用定理 3.3 中改进的博赫纳不等式，以拉普拉斯与哈西安项的形式推导 $N$-里奇张量的下确界。
• 通过简单函数的逼近与总变差范数下的连续延拓，将不等式推广至一般 $L^\infty$-取值向量场。
• 依赖于 ${\bf \Gamma}_2(X,X)$ 与迹-散度项在 $L^1$ 拓扑下的连续性，以证明从测试向量场到全空间 $H^{1,2}_H(TM)$ 的延拓合理性。
• 通过柯西-施瓦茨不等式与迹恒等式，证明逆向不等式，从而建立 $N$-里奇张量下确界与 ${\rm RCD}^*(K,N)$ 条件的等价性。
• 利用 $N$-里奇张量的定义，推导出对所有 $f \in {\rm TestF}(M)$ 成立的标准博赫纳不等式 $ {\bf \Gamma}_2(f) \geq \frac{1}{N}(\Delta f)^2 + K|Df|^2 $，确认与光滑理论的一致性。

实验结果

研究问题

• RQ1 能否在满足 ${\rm RCD}^*(K,N)$ 的非光滑度量测度空间上，构造出一个明确定义的 $N$-维里奇曲率张量？
• RQ2 在缺乏光滑性时，如何有意义地定义里奇曲率公式中的哈西安与迹项？
• RQ3 在非光滑情形下，$N$-里奇张量的下确界 $K$ 是否表征了 ${\rm RCD}^*(K,N)$ 条件？
• RQ4 $N$-里奇张量的定义是否与光滑情形下的经典 Bakry-Émery 公式一致？
• RQ5 在非光滑情形下，能否从 $N$-里奇张量的下确界恢复博赫纳不等式？

主要发现

• 通过涉及二阶能量形式 ${\bf \Gamma}_2$、哈西安的希尔伯特-施密特范数以及迹修正项的公式，严格定义了 ${\rm RCD}^*(K,N)$ 空间上的 $N$-里奇张量。
• $N$-里奇张量满足对所有 $X \in H^{1,2}_H(TM)$ 有 $ {\bf Ricci}_N(X,X) \geq K|X|^2\mathfrak{m} $，且在光滑情形下取等。
• 对所有 $f \in {\rm TestF}(M)$，不等式 $ {\bf \Gamma}_2(f) \geq \frac{1}{N}(\Delta f)^2 + K|Df|^2 $ 成立，确认与博赫纳不等式的兼容性。
• $N$-里奇张量的下确界为 $K$ 当且仅当空间为 ${\rm RCD}^*(K,N)$，从而建立了曲率-维数条件的表征。
• 通过总变差拓扑中逼近与连续性论证，该定义可从简单函数连续延拓至 $L^\infty$-取值向量场。
• 该构造验证了非光滑情形下 $N$-维里奇曲率的合理性，将 Bakry-Émery 理论推广至具有有限维的度量测度空间。