[论文解读] Rigidity of manifolds with boundary under a lower Ricci curvature bound

Yohei Sakurai|Osaka City University (Osaka City University)|Apr 15, 2014

Geometric Analysis and Curvature Flows参考文献 24被引用 7

一句话总结

本文在下界为 Ricci 曲率和边界平均曲率的条件下，为带边界的黎曼流形建立了类 Bishop-Gromov 的体积比较定理。在存在一条测地线的条件下，证明了刚性结果，包括体积增长刚性定理和类 Cheeger-Gromoll 的分裂定理，其中模型空间通过满足特定初值条件的 Jacobi 方程的解来定义。

ABSTRACT

We study Riemannian manifolds with boundary under a lower Ricci curvature bound, and a lower mean curvature bound for the boundary. We prove a volume comparison theorem of Bishop-Gromov type concerning the volumes of the metric neighborhoods of the boundaries. We conclude several rigidity theorems. As one of them, we obtain a volume growth rigidity theorem. We also show a splitting theorem of Cheeger-Gromoll type under the assumption of the existence of a single ray.

研究动机与目标

• 发展在 Ricci 曲率和平均曲率有下界条件下的带边黎曼流形的比较几何。
• 为边界度量邻域建立类 Bishop-Gromov 的体积比较定理。
• 在曲率和边界条件下推导刚性定理——特别是体积增长刚性和类 Cheeger-Gromoll 的分裂定理。
• 在流形与模型空间之间提供度量空间的等距同构，补充现有黎曼几何中的等距同构结果。

提出的方法

• 将模型空间 $M^{n}_{\bar{\theta},\bar{\theta}}$ 定义为空间形式 $M^{n}_{\bar{\theta}}$ 中的测地球或商空间，其具有常曲率 $\kappa$，取决于 $\kappa$ 和 $\lambda$。
• 引入函数 $s_{\kappa,\lambda}(t)$，即满足初值条件 $f(0) = 1$，$f'(0) = -\lambda$ 的 Jacobi 方程 $f''(t) + \kappa f(t) = 0$ 的解，用于定义模型空间中的度量。
• 建立体积比较不等式：在 $\operatorname{Ric}_M \geq (n-1)\kappa$ 且 $H_{\partial M} \geq \lambda$ 条件下，对所有 $r \leq R$，有 $\frac{\operatorname{vol}_g B_R(\partial M)}{\operatorname{vol}_g B_r(\partial M)} \leq \frac{\int_0^R s_{\kappa,\lambda}^{n-1}(s)\,ds}{\int_0^r s_{\kappa,\lambda}^{n-1}(s)\,ds}$。
• 通过将环形区域 $A_{t^i r_1, t^i r_2}(\partial M)$ 进行二进制分解，利用 $s_{\kappa,\lambda}^{n-1}$ 加权积分的比值来估计体积比。
• 应用极限论证，令 $t \to 1^-$ 且 $N \to \infty$，从离散积分过渡到连续积分，从而恢复连续的比较不等式。
• 利用体积比较推导出刚性：若体积比中等号成立，则流形作为度量空间与模型空间等距同构。

实验结果

研究问题

• RQ1 在何种曲率和边界条件下，边界的度量邻域的体积满足类 Bishop-Gromov 的比较？
• RQ2 在体积比较中等号成立时，何时意味着与模型空间等距同构？
• RQ3 在存在一条测地线的条件下，能否建立类 Cheeger-Gromoll 的分裂定理，前提是满足 Ricci 曲率和平均曲率的有界条件？
• RQ4 在这些曲率有界条件下，$p$-拉普拉斯算子的最小 Dirichlet 特征值如何变化？
• RQ5 在此背景下，度量空间等距同构与黎曼等距同构之间有何关系？

主要发现

• 证明了体积比较定理：在 $r \leq R$ 时，有 $\frac{\operatorname{vol}_g B_R(\partial M)}{\operatorname{vol}_g B_r(\partial M)} \leq \frac{\int_0^R s_{\kappa,\lambda}^{n-1}(s)\,ds}{\int_0^r s_{\kappa,\lambda}^{n-1}(s)\,ds}$，条件为 $\operatorname{Ric}_M \geq (n-1)\kappa$ 且 $H_{\partial M} \geq \lambda$。
• 建立了体积增长刚性定理：若体积比达到等号，则流形作为度量空间与模型空间 $M^{n}_{\kappa,\lambda}$ 等距同构。
• 在存在一条测地线的假设下，证明了类 Cheeger-Gromoll 的分裂定理：若存在这样的测地线，则流形等距同构于 $[0,\infty) \times \Sigma$。
• 获得了 $p$-拉普拉斯算子最小 Dirichlet 特征值的下界，扩展了 Kasue（2004）关于拉普拉斯算子刚性结果的研究。
• 对所有满足球条件的 $\kappa \in \mathbb{R}$，$\lambda \in \mathbb{R}$，明确构造了模型空间 $M^{n}_{\kappa,\lambda}$，确保存在具有常平均曲率 $\lambda$ 的测地球。
• 本文表明，在此设定下，流形与模型空间之间的度量空间等距同构等价于黎曼等距同构，从而为刚性结果中使用度量几何提供了合理性。