[论文解读] Local Sobolev Constant Estimate for Integral Ricci Curvature Bounds

Xianzhe Dai, Guofang Wei+1 more|arXiv (Cornell University)|Jan 29, 2016

Geometric Analysis and Curvature Flows参考文献 29被引用 6

一句话总结

本文在无需非坍塌条件的前提下，建立了在积分 Ricci 曲率有界下流形的局部 Sobolev 常数估计，将最大值原理、梯度估计和热核界等关键几何工具扩展至坍塌情形。主要结果表明，若当 $ p > n/2 $ 时，尺度不变曲率量 $ k(p,1) $ 足够小，则小球上的归一化 Dirichlet 等周常数受一个与维度无关的常数乘以半径控制，从而在坍塌情形下实现 $ L^2 $ Hessian 与 Sobolev 估计。

ABSTRACT

We obtain a local Sobolev constant estimate for integral Ricci curvature, which enables us to extend several important tools such as the maximal principle, the gradient estimate, the heat kernel estimate and the $L^2$ Hessian estimate to manifolds with integral Ricci lower bounds, without the non-collapsing conditions.

研究动机与目标

• 通过在坍塌情形下提供积分 Ricci 曲率有界下的局部 Sobolev 常数估计，填补 Cheeger–Colding–Naber 理论中的关键空白。
• 将梯度估计、热核界和 $ L^2 $ Hessian 估计等基本几何估计从非坍塌情形推广至更一般情形。
• 证明即使 $ L^p $ 范数的 Ricci 曲率有界，尺度不变曲率量 $ k(p,1) $ 的小性仍是此类估计所必需的。
• 表明 $ L^p $ 范数有界不足以支撑坍塌极限下的完整 Cheeger–Colding 理论，而必须要求 $ k(p,1) $ 的小性。

提出的方法

• 引入尺度不变曲率量 $ k(x,p,R) = R^2 \left( \fint_{B_R(x)} \rho_-^p \right)^{1/p} $，其中 $ \rho_- $ 为最小 Ricci 特征值的负部。
• 证明若当 $ p > n/2 $ 时 $ k(p,1) \leq \varepsilon(p,n) $，则归一化 Dirichlet 等周常数满足对所有 $ r \leq 1 $ 有 $ \mathrm{ID}^*_n(B_r(x)) \leq 10^{2n+4} r $。
• 利用此等周控制推导出局部 Sobolev 不等式：对所有 $ f \in C_0^\infty(B_r(x)) $，有 $ \left( \fint_{B_r(x)} f^{n/(n-1)} \right)^{(n-1)/n} \leq 10^{2n+4} r \fint_{B_r(x)} |\nabla f| $。
• 将等周估计应用于推导 Cheeger 常数界 $ \mathrm{ID}_\infty(B_r(x)) \leq 10^{2n+4} r $，从而通过 Cheeger 不等式获得第一特征值的下界。
• 通过扭曲积度量构造反例，表明 $ L^p $ 范数有界不足以保证结果；$ k(p,1) $ 的小性是本质性的。
• 分析一族坍塌流形的极限空间，其中满足 $ r^2 \left( \fint_{B_r} |Ric|^{p} \right)^{1/(2p)} \to k^2 > 0 $，表明体积比较与分裂定理均不成立。

实验结果

研究问题

• RQ1 Cheeger–Colding–Naber 理论能否在积分 Ricci 曲率有界的坍塌流形上得到推广？
• RQ2 尺度不变曲率量 $ k(p,1) $ 的小性是否对局部 Sobolev 与等周估计是必要的？
• RQ3 仅 $ L^p $ 范数有界是否足以控制坍塌情形下的几何估计？
• RQ4 在积分 Ricci 曲率有界下，$ L^2 $ Hessian 估计与热核界能否推广至坍塌流形？
• RQ5 归一化 Dirichlet 等周常数在控制小球上 Sobolev 不等式方面起何作用？

主要发现

• 当 $ p > n/2 $ 且 $ k(p,1) \leq \varepsilon(p,n) $ 时，对所有 $ r \leq 1 $，有 $ \mathrm{ID}^*_n(B_r(x)) \leq 10^{2n+4} r $。
• 该结果蕴含具有最优体积标度的局部 Sobolev 不等式：$ \left( \fint_{B_r(x)} f^{n/(n-1)} \right)^{(n-1)/n} \leq 10^{2n+4} r \fint_{B_r(x)} |\nabla f| $。
• Cheeger 常数满足 $ \mathrm{ID}_\infty(B_r(x)) \leq 10^{2n+4} r $，结合 Cheeger 不等式可推出第一特征值的下界。
• 反例表明 $ L^p $ 范数有界不足以保证结果；$ k(p,1) $ 的小性是本质性的，因为当 $ k(p,1) \to k^2 > 0 $ 时，体积比较与分裂定理均失效。
• 该结果无需非坍塌假设，成功将梯度估计、热核界等工具推广至坍塌情形。
• 该等周估计具有尺度不变性，且与 Sobolev 常数的最优标度一致，从而在本质上区别于先前工作的较弱结果。