[论文解读] A topological splitting theorem for weighted Alexandrov spaces

Kazuhiro Kuwae, Takashi Shioya|arXiv (Cornell University)|Mar 30, 2009

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

一句话总结

本文在加权亚历山大洛夫空间上建立了基于无穷小 Bishop-Gromov 体积比较条件的拓扑分裂定理，证明了若存在一条直线，则该空间同胚于 $ M' \times \mathbb{R} $。其主要贡献通过测度论意义下的里奇曲率下界，将 Cheeger-Gromoll 分裂定理推广至奇异空间，且在具有非负 Bakry-Émery 里奇曲率的黎曼流形上，结合适当的正则性条件，可推出等距分裂。

ABSTRACT

Under an infinitesimal version of the Bishop-Gromov relative volume comparison condition for a measure on an Alexandrov space, we prove a topological splitting theorem of Cheeger-Gromoll type. As a corollary, we prove an isometric splitting theorem for Riemannian manifolds with singularities of nonnegative (Bakry-Emery) Ricci curvature.

研究动机与目标

• 建立满足无穷小 Bishop-Gromov 体积比较条件的测度的亚历山大洛夫空间的拓扑分裂定理。
• 将 Cheeger-Gromoll 分裂定理推广至里奇曲率未经典定义的奇异空间。
• 在适当的测度条件下，证明具有非负 Bakry-Émery 里奇曲率的黎曼流形的等距分裂。
• 弥合非光滑度量测度空间中测度收缩性质与几何刚性之间的鸿沟。
• 通过弱形式的 Weitzenböck 公式，将已知的里奇曲率下界结果推广至具有奇点的加权空间。

提出的方法

• 引入无穷小 Bishop-Gromov 条件 BG(κ,N) 作为奇异空间中下界里奇曲率的替代条件。
• 在 $ M $ 的子集 $ W_{p,t} \subset M $ 上定义径向展开映射 $ \Phi_{p,t} $，以实现测度论体积增长的比较。
• 在相对紧致子集上利用 BG(0,N) 条件，推导出 Busemann 函数 $ b_\pm $ 的次调和性，从而得出其 $ \mu $-调和性。
• 应用 Bakry-Émery 里奇曲率 $ \operatorname{Ric}_{N,\mu} $ 的广义 Weitzenböck 公式，推导出在正则部分有 $ \operatorname{Hess}b_+ = 0 $ 且 $ \langle \nabla V, \nabla b_+ \rangle = 0 $。
• 利用 $ b_+ $ 的正则性及其在测地线上的线性性，通过逼近和测度 Gromov-Hausdorff 收敛下的稳定性，得出拓扑分裂。
• 通过拉普拉斯比较和 $ \operatorname{Ric}_{\infty,\mu} \geq 0 $ 条件处理 $ N = \infty $ 的情形，证明 $ \operatorname{Hess}b_+ = 0 $ 且 $ \partial_t^2 V = 0 $，故 $ V $ 沿直线为常数。

实验结果

研究问题

• RQ1 在加权亚历山大洛夫空间上，何种测度论条件下，直线的存在性可推出拓扑分裂？
• RQ2 当里奇曲率未经典定义时，Cheeger-Gromoll 分裂定理能否推广至奇异空间？
• RQ3 在测度上满足 BG(0,N) 条件是否意味着具有非负 Bakry-Émery 里奇曲率的黎曼流形可实现等距分裂？
• RQ4 广义 Weitzenböck 公式对 $ \operatorname{Ric}_{N,\mu} $ 在非光滑情形下如何促进分裂定理的证明？
• RQ5 当 $ N = \infty $ 时，势函数 $ V $ 在确保等距分裂中起何作用？

主要发现

• 若一个完备的亚历山大洛夫空间 $ M $ 搭配满足每个相对紧致子集 $ \Omega $ 上 BG(0,N_Ω) 的测度 $ \mu $，且包含一条直线，则 $ M $ 同胚于某度量空间 $ M' $ 与 $ \mathbb{R} $ 的积空间。
• 对于 $ n $-维黎曼流形，若 $ \mu $ 为黎曼体积测度且 $ \operatorname{Ric}_{N,\mu} \geq 0 $，在 $ N < \infty $ 且 $ \operatorname{Ric} \geq (N-1)\kappa $ 条件下，空间可等距分裂为 $ M' \times \mathbb{R} $。
• Busemann 函数 $ b_+ $ 与 $ b_- $ 在正则部分 $ M \setminus S_M $ 上为 $ \mu $-调和函数，且其 Hessian 矩阵为零，表明其在测地线上为线性函数。
• 在等距分裂中，势函数 $ V $ 沿每条直线 $ \{x\} \times \mathbb{R} $ 为常数，这是由于 $ \partial_t^2 V = 0 $ 且 $ V $ 有界。
• 在 $ N = \infty $ 情形下，拉普拉斯比较 $ \Delta_\mu r_p \geq -\frac{N_\Omega - 1}{r_p} $ 在 $ \Omega \setminus (S_M \cup \text{Cut}_p \cup \{p\}) $ 上成立，可推出 BG(0,N_Ω)，从而实现拓扑分裂。
• 对于 $ \operatorname{Ric}_{\infty,\mu} \geq 0 $ 的广义 Weitzenböck 公式，可推出 $ \operatorname{Hess}b_+ = 0 $ 且 $ \operatorname{Ric}_{\infty,\mu}(\nabla b_+, \nabla b_+) = 0 $，从而在无限维情形下确认了等距分裂。