[论文解读] Weighted Poincaré inequality and rigidity of complete manifolds

Peter Li, Jiaping Wang|ArXiv.org|Jan 24, 2007

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

一句话总结

本文建立了满足加权 Poincaré 不等式且权函数 $\rho$ 非负的完备黎曼流形的刚性定理，其中下界 Ricci 曲率与 $\rho$ 成比例。在 $\rho$ 沿 $\rho$-度量满足特定增长条件时，此类流形必微分同胚于一个扭曲积，或具有特定几何结构；并表明若 $\rho \to 0$ 在无穷远处成立，则流形无法支持扭曲积结构，除非 $\rho$ 恒定且度量为双曲型。

ABSTRACT

We prove structure theorems for complete manifolds satisfying both the Ricci curvature lower bound and the weighted Poincaré inequality. In the process, a sharp decay estimate for the minimal positive Green's function is obtained. This estimate only depends on the weight function of the Poincaré inequality, and yields a criterion of parabolicity of connected components at infinity in terms of the weight function.

研究动机与目标

• 通过变权 $\rho(x)$ 的加权 Poincaré 不等式推广谱隙条件 $\lambda_1(M) > 0$。
• 利用从加权 Poincaré 不等式导出的衰减估计，刻画非抛物端与抛物端。
• 在维度 $n \geq 4$ 的情况下，建立在 Ricci 曲率下界与 $\rho(x)$ 成比例时的度量刚性。
• 确定在给定曲率与权函数条件下，何时可或不可存在扭曲积结构。
• 在曲率与可积性约束下，证明当 $\rho(x) \to 0$ 在无穷远处时，扭曲积度量不存在。

提出的方法

• 使用 $\rho$-度量 $ds^2_\rho = \rho \, ds^2_M$ 分析流形 $M$ 的几何与谱性质。
• 利用加权 Poincaré 不等式与广义 Bochner 公式，推导调和函数的衰减估计。
• 应用最大值原理控制 $\rho^{-1/4}$ 的增长，并沿射线导出 $\rho$ 的下界。
• 计算调和函数 $f$ 的 $g = |\nabla f|^{1/2}$ 的拉普拉斯算子，得到涉及 Ricci 曲率与 $\rho$ 的下界。
• 使用扭曲积度量 $ds^2_M = dt^2 + \eta^2(t)\,ds^2_N$ 分析类似积的几何中曲率与 $\rho$ 的行为。
• 在扭曲积设定下比较 Ricci 曲率分量，导出对 $\eta(t)$ 与 $\rho$ 的约束，从而得出刚性结论。

实验结果

研究问题

• RQ1 在何种 $\rho$ 条件下，满足加权 Poincaré 不等式 $\int_M \rho \phi^2 \, dV \leq \int_M |\nabla \phi|^2 \, dV$ 的完备流形可微分同胚于扭曲积？
• RQ2 当 $\rho(x) \to 0$ 沿 $x \to \infty$ 时，在 Ricci 曲率下界与 $\rho$ 成比例的条件下，会产生何种几何约束？
• RQ3 $\rho$-度量如何影响完备流形中端的抛物性或非抛物性？
• RQ4 广义 Bochner 公式等号成立时，何时意味着 $\rho$ 必须为常数且 $\eta(t)$ 为指数函数？
• RQ5 在何种 $\rho$ 增长条件下，满足 $\text{Ric}_M \geq -\frac{n-1}{n-2}\rho$ 的流形微分同胚于扭曲积？

主要发现

• 若 $\liminf_{R \to \infty} S(R) \exp\left(-\frac{n-3}{n-2} R\right) = 0$，其中 $S(R)$ 为 $\rho$-球半径 $R$ 上 $\sqrt{\rho}$ 的上确界，则流形必微分同胚于扭曲积或具有非抛物端。
• 当 $n \geq 4$ 时，若 $\rho(x) \to 0$ 在无穷远处且 $\text{Ric}_M \geq -\frac{4}{n-1}\rho$，则流形无法支持扭曲积结构，除非 $\rho$ 恒定。
• 若 $\rho$ 恒定且 $\text{Ric}_M \geq -\frac{4}{n-1}\rho$，则 $\eta(t)$ 必须为指数函数：$\eta(t) = \exp(\pm at + t_0)$。
• 当 $n=3$ 时，条件 $\liminf_{R \to \infty} S(R) R^{-1} = 0$ 暗示类似刚性：要么存在非抛物端，要么 $\rho$ 恒定且 $\eta(t)$ 为指数函数。
• 证明表明沿序列 $r_i \to \infty$，$\rho^{-1/4}(r)$ 有正下界，意味着 $\rho$ 不能衰减过快，除非 $\rho$ 恒定。
• 广义 Bochner 公式等号成立时，强制 $\eta(t)$ 关于 $\log \eta$ 为线性，因此 $\eta(t)$ 为指数函数，且 $\rho$ 恒定。