[论文解读] On a new definition of Ricci curvature on Alexandrov spaces

Hui-Chun Zhang, Xi-Ping Zhu|arXiv (Cornell University)|Jul 23, 2010

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

一句话总结

本文在亚历山德罗夫空间中提出了里奇曲率下确界的新定义，将黎曼几何的结果推广至奇异空间。它建立了两个关键结果：在 Bishop-Gromov 体积比较下，里奇曲率条件下的刚性定理，以及利用度量测度空间上的谱分析与调和分析技术，证明在该曲率条件下热核的利普希茨连续性。

ABSTRACT

Recently, in [49], a new definition for lower Ricci curvature bounds on Alexandrov spaces was introduced by the authors. In this article, we extend our research to summarize the geometric and analytic results under this Ricci condition. In particular, two new results, the rigidity result of Bishop-Gromov volume comparison and Lipschitz continuity of heat kernel, are obtained.

研究动机与目标

• 在亚历山德罗夫空间中定义下确界里奇曲率的概念，使其在光滑黎曼流形上退化为经典定义。
• 在该新曲率条件下，将基本的几何与分析结果（如体积比较与热核正则性）进行推广。
• 在里奇曲率有下界的亚历山德罗夫空间中，建立 Bishop-Gromov 体积比较定理的刚性结果。
• 在新里奇曲率条件下，证明紧致子集上热核在空间变量上的利普希茨连续性。

提出的方法

• 在亚历山德罗夫空间中提出一种新的下确界里奇曲率定义，与曲率-维数条件 $CD(n,k)$ 和测度收缩性质 $MCP(n,k)$ 兼容。
• 以拉普拉斯比较与 Bishop-Gromov 体积比较定理作为几何分析的基础工具。
• 应用亚历山德罗夫空间上拉普拉斯算子的谱理论，包括特征函数梯度估计与特征函数的 $L^∞$ 有界性。
• 利用调和函数估计与 Petrunin 的梯度界，推导特征函数的内部估计。
• 将特征函数梯度界与通过谱分解表示的热核相结合，以控制热核在 $y$ 变量上的梯度。
• 利用具有指数衰减与多项式衰减速率的特征值上的求和估计，控制热核梯度的 $L^\infty$ 范数。

实验结果

研究问题

• RQ1 在亚历山德罗夫空间中，新里奇曲率定义是否蕴含 Bishop-Gromov 体积比较定理的刚性版本？
• RQ2 在里奇曲率有下界的亚历山德罗夫空间中，热核在空间变量上是否为利普希茨连续的？
• RQ3 在新里奇曲率条件下，能否得到特征函数的精确梯度估计？
• RQ4 在曲率有下界的亚历山德罗夫空间中，拉普拉斯算子的谱与几何性质如何表现？
• RQ5 在曲率与体积约束下，热核在紧致子集上是否可统一建立利普希茨连续性？

主要发现

• 建立了 Bishop-Gromov 体积比较的刚性结果：在新里奇曲率条件下，若体积比较中取等号，则空间必为等距分裂。
• 在 $n$-维亚历山德罗夫空间 $\Omega$ 中，若曲率 $\geqslant \kappa$，则其紧致子集 $K \subset \Omega$ 上的热核 $p(t,x,y)$ 在 $[\rho^2, \infty) \times K \times K$ 上的 $y$-梯度的 $L^\infty$ 范数一致有界。
• 获得了显式上界 $|\nabla_y p(t,x,y)|_{L^\infty} \leqslant c(n,\kappa,D,v,\rho)$，其仅依赖于维数、曲率下确界、直径、体积及到边界距离。
• 导出了特征函数的梯度估计：$|\nabla f|_{L^\infty(K)} \leqslant L \cdot \sqrt{\frac{2\lambda+1}{2\sqrt{\lambda}}} \cdot e^{\sqrt{\lambda} \cdot \rho}$，其中 $L$ 依赖于 $n,\kappa,D,v,\rho$。
• 获得了特征函数的点态上界：在满足 $\text{vol}(K) \geqslant v$ 的紧致 $K$ 上，有 $|f(x)| \leqslant v^{-1/2} + DL \cdot \sqrt{\frac{2\lambda+1}{2\sqrt{\lambda}}} \cdot e^{\sqrt{\lambda} \cdot \rho}$。
• 证明依赖于热核的谱分解，以及在谱尾部具有指数衰减与多项式衰减速率的特征值上的求和估计。