[论文解读] Geometric and spectral estimates based on spectral Ricci curvature assumptions

Gilles Carron, Christian Rose|arXiv (Cornell University)|Aug 21, 2018

Geometric Analysis and Curvature Flows参考文献 17被引用 2

一句话总结

该论文在谱 Ricci 曲率假设下，为闭 Riemann 流形建立了几何与谱估计，通过 Scharödinger 算子条件证明了广义 Bonnet-Myers 定理，并从 Ricci 曲率的 Kato 型条件推导出等周不等式。关键贡献是在 $\epsilon\Delta + \rho$ 的正性条件下（$\epsilon < 1/(n-2)$），获得了基本群有限的结果，通过改进扰动下的稳定性，推广了经典曲率估计。

ABSTRACT

We obtain a Bonnet-Myers theorem under a spectral condition: a closed Riemannian manifold $(M^n,g)$ for which the lowest eigenvalue of the Ricci tensor $ ho$ is such that the Schr\"odinger operator $(n-2)\Delta + ho$ is positive has finite fundamental group. As a continuation of our earlier results, we obtain isoperimetric inequalities from a Kato condition on the Ricci curvature. Furthermore, we obtain the Kato condition for the Ricci curvature under purely geometric assumptions.

研究动机与目标

• 在弱于逐点下界假设的谱 Ricci 曲率条件下推广 Bonnet-Myers 定理。
• 从 Ricci 曲率负部的 Kato 型条件推导等周不等式。
• 证明 Ricci 曲率的 Kato 条件可由纯粹的几何假设推出。
• 在曲率扰动下，为曲面族建立统一的估计。

提出的方法

• 利用 Scharödinger 算子 $\epsilon\Delta + \rho - (n-1)k^2$，通过 Sobolev 不等式推导直径估计。
• 应用 D. Bakry 与 M. Ledoux 的结果，将 Sobolev 不等式与直径估计联系起来。
• 利用热核估计与加倍性质，推导 $\rho^-$ 的 Kato 型条件。
• 利用热核上界与积分技巧，控制 Kato 常数 $\kappa_{R^2}(\rho^-)$。
• 应用 Hölder 不等式，将 $\rho^-$ 的 $L^p$ 范数与 Kato 常数关联。
• 通过 Kato 条件与文献 [11] 和 [32] 的谱估计，建立等周不等式。

实验结果

研究问题

• RQ1 当 Ricci 曲率在整体上不被下界控制，但满足 Scharödinger 算子上的谱条件时，Bonnet-Myers 定理是否可推广至流形？
• RQ2 $\epsilon\Delta + \rho$ 正性条件下 $\epsilon$ 的最优阈值是多少，能推出基本群有限？
• RQ3 能否从 $\rho^-$ 的 Kato 型条件而非积分夹紧条件推导出等周不等式？
• RQ4 在何种几何假设下，$\rho^-$ 的 Kato 条件可被推出？
• RQ5 当 $\epsilon > 0$ 很小时，$\epsilon\Delta + \rho$ 的正性是否意味着完备流形是闭的？

主要发现

• 当 $\epsilon \in \left(0, \frac{1}{n-2}\right)$ 时，若 $\epsilon\Delta + \rho$ 的谱底为正，则流形 $M$ 的基本群是有限的。
• 存在常数 $C(n,\epsilon) \to 1$ 当 $\epsilon \to 0^+$ 时，若 $\epsilon\Delta + \rho - (n-1)k^2 \geq 0$，则 $\text{diam}(M,g) \leq C(n,\epsilon)\frac{\pi}{k}$。
• Kato 常数 $\kappa_{R^2}(\rho^-)$ 满足 $\lambda_n \sup_x \int_0^D r e^{-r^2/(7R^2)} \left( \int_{B(x,r)} \rho^- \right) dr$，从而导出统一估计。
• 若 $\sup_x \int_0^D r \left( \int_{B(x,r)} \rho^- \right) dr \leq \eta_n$，则第一 Betti 数满足 $b_1(M) \leq n$。
• 当 $R = \theta(n,p) D / I(M,g)$ 时，Kato 条件 $\kappa_{R^2}(\rho^-) \leq \frac{1}{16n}$ 成立，从而推出等周不等式 $1 \leq c_{1+\xi}^n D \text{vol}(M) I^n(M)$，对所有满足 $\text{vol}(\Omega) \leq \frac{1}{2}\text{vol}(M)$ 的子集 $\Omega$ 成立。
• 目前尚不明确 $\epsilon$ 的阈值 $1/(n-2)$ 是否为最优，但结果表明谱条件可能替代逐点 Ricci 下界。