[论文解读] Laplacian comparison for Alexandrov spaces

Kazuhiro Kuwae, Takashi Shioya|ArXiv.org|Sep 6, 2007

Geometric Analysis and Curvature Flows参考文献 26被引用 20

一句话总结

该论文在无穷小Bishop-Gromov体积比较条件（BG(κ)）下，为Alexandrov空间建立了Laplacian比较定理（Laplacian comparison theorem），将Ricci曲率下界推广至奇异空间。证明了距离函数的分布Laplacian满足涉及模型空间曲率余切函数的比较不等式，从而在满足BG(0)的空间中得出拓扑分裂定理。

ABSTRACT

We consider an infinitesimal version of the Bishop-Gromov relative volume comparison condition as generalized notion of Ricci curvature bounded below for Alexandrov spaces. We prove a Laplacian comparison theorem for Alexandrov spaces under the condition. As an application we prove a topological splitting theorem.

研究动机与目标

• 将Riemann流形中的Laplacian比较定理推广至Ricci曲率有下界的Alexandrov空间。
• 通过无穷小Bishop-Gromov体积比较条件（BG(κ)）定义Ricci曲率下界的一般化概念。
• 为满足BG(κ)的Alexandrov空间建立Cheeger-Gromoll型拓扑分裂定理。
• 为处理度量仅局部为BV（有界变差）的奇异空间中的分布Laplacian，构建一个框架。
• 证明在BG(0)条件下Busemann函数是次调和的，从而在奇异设定中可应用最大值原理。

提出的方法

• 将BG(κ)条件引入为一种无穷小体积比较条件，以替代奇异空间中Ricci曲率的有界条件。
• 在Alexandrov空间的正则部分$M^*$上定义分布Laplacian$\bar{\Delta} r_p$，其中度量为局部BV。
• 通过映射$\Phi_{p,t}$下Hausdorff测度的前推来分析体积畸变，并推导Laplacian比较。
• 应用BV理论与分布微积分，处理度量缺乏光滑性以及切点集非光滑的问题。
• 利用距离函数的逼近与控制收敛定理，证明在BG(0)下Busemann函数$b_\gamma$是$\mathcal{E}$-次调和的。
• 应用$\mathcal{E}$-次调和函数的最大值原理，证明$b_+ + b_- \equiv 0$，从而推出双渐近直线的存在性与拓扑分裂。

实验结果

研究问题

• RQ1 在缺乏光滑Riemann结构的Alexandrov空间中，能否建立Laplacian比较定理？
• RQ2 无穷小Bishop-Gromov条件BG(κ)是否蕴含距离函数分布Laplacian的比较不等式？
• RQ3 在奇异空间中，Busemann函数在何种条件下成为次调和函数？
• RQ4 能否为满足BG(0)的Alexandrov空间证明一个Cheeger-Gromoll型分裂定理？
• RQ5 $\mathcal{E}$-次调和性条件在控制奇异几何中Busemann函数行为方面起什么作用？

主要发现

• Laplacian比较定理成立：在BG(κ)条件下，有$d\bar{\Delta} r_p \geq -(n-1)\cot_\kappa \circ r_p \, d\mathcal{H}^n$在$M^* \setminus \{p\}$上成立。
• 对于曲率$\geq \kappa$的Alexandrov空间，对所有$p \in M$，Laplacian比较不等式(1.1)成立。
• 在BG(0)条件下，Busemann函数$b_\gamma$是$\mathcal{E}$-次调和的，从而可在奇异设定中应用最大值原理。
• 若$b_+ + b_- \equiv 0$，则$M$同胚于$b_+^{-1}(t) \times \mathbb{R}$，且$M$可被一组与给定直线$\gamma$双渐近的不相交直线覆盖。
• Busemann函数$b_+$在$M \setminus S_M$上为$C^\infty$且调和（$\Delta b_+ = 0$），其Hessian为零，表明其在测地线上为线性函数。
• 拓扑分裂定理（定理1.3）由$b_+ + b_-$的消失性与关于$\gamma_\pm$的射线唯一性推出，从而导出全局积结构。