[论文解读] Lecture notes on differential calculus on RCD spaces

Nicola Gigli|arXiv (Cornell University)|Mar 20, 2017

Geometric Analysis and Curvature Flows参考文献 6被引用 13

一句话总结

本文使用 L²-范数 L∞-模的框架，对 RCD 空间上的微分微积分提供了自包含的导论，无需假设加倍或 Poincaré 不等式，建立了稳健的一阶与二阶微积分。关键贡献是改进的 Bochner 不等式 (0.2)，该不等式使得 L² 中的 Hessian 与协变导数得以定义，从而实现外微分的闭包性，并在 RCD 空间上建立 de Rham 上同调的 Hodge 定理。

ABSTRACT

These are extended notes of the course given by the author at RIMS, Kyoto, in October 2016. The aim is to give a self-contained overview on the recently developed approach to differential calculus on metric measure spaces. The effort is directed into giving as many ideas as possible, without losing too much time in technical details and utmost generality: for this reason many statements are given under some simplifying assumptions and proofs are sometimes only sketched.

研究动机与目标

• 使用 L²-范数 L∞-模在一般度量测度空间上建立一阶微分微积分的基础理论。
• 将此微积分扩展至 RCD(K,∞) 空间上的二阶结构，特别是通过 Bochner 不等式。
• 在所有 k ∈ ℕ 的 k-形式空间上建立外微分的闭包性，从而实现 Hodge 定理。
• 通过切模与带基点的测度 Gromov-Hausdorff 极限，关联分析与几何的维数概念。
• 通过 N- Ricci 张量及向量场的迹与散度条件，刻画 RCD*(K,N) 空间。

提出的方法

• 理论基于 L²-范数 L∞-模构建，抽象化向量丛的 L² 截面空间。
• 余切模定义为 1-形式空间的对偶，Sobolev 函数的微分通过测试路径与拉回定义。
• 切模作为余切模的对偶构造，从而定义向量场与流。
• 以弱形式推导改进的 Bochner 不等式 (0.2)，使得 L² 中的 Hessian 与协变导数得以定义。
• 通过希尔伯特模的外幂定义 Sobolev k-形式上的外微分，并通过改进的 Bochner 恒等式积分证明其闭包性。
• 通过 Ricci 曲率的修正项 RN 引入 N-Ricci 张量，从而刻画 RCD*(K,N) 空间。

实验结果

研究问题

• RQ1 能否在不假设光滑性或 Poincaré 不等式的前提下，在 RCD 空间上建立一致的二阶微分微积分？
• RQ2 在 RCD 设置下，k-形式上的外微分是否闭包？这是否允许实现 Hodge 分解？
• RQ3 在 RCD 空间中，通过切模与带基点的测度 Gromov-Hausdorff 极限关联的分析维数与几何维数之间有何关系？
• RQ4 RCD*(K,N) 空间在 N-Ricci 张量及 Hessian 迹的条件下，其刻画条件为何？
• RQ5 Hodge 定理与 de Rham 上同调能否推广至非光滑度量测度空间？

主要发现

• 外微分在所有 k ∈ ℕ 的 Sobolev k-形式空间上是闭包的，这是超越 k=0 情况的全新结果。
• 改进的 Bochner 不等式 (0.2) 推出不等式 ∫|Hess f|_HS² d𝔪 ≤ ∫(Δf)² - K|∇f|² d𝔪，确保了众多函数具有 L² Hessian。
• 对 𝔪-几乎处处的 x ∈ X，有分析局部维数 dim_loc(x) 等于几何切空间维数 n(x)，从而关联了分析与几何的维数概念。
• 对于 RCD(0,N) 空间，若其首阶 de Rham 上同调维数为 N，则该空间等距同构于平坦的 N-环面。
• N-Ricci 张量通过三个条件刻画 RCD*(K,N) 空间：dim_loc ≤ N，几乎处处在 {dim_loc = N} 上有 tr(∇X) = div X，且 Ric_N(X,X) ≥ K|X|² 𝔪。
• de Rham 上同调在 RCD 空间上满足 Hodge 定理，将经典结果推广至非光滑情形。