[论文解读] Identifying Constant Curvature Manifolds, Einstein Manifolds, and Ricci Parallel Manifolds

Feng‐Yu Wang|arXiv (Cornell University)|Oct 1, 2017

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

一句话总结

本文建立了里奇曲率上下界的一般变分公式，并通过热半群的随机分析推导出里奇曲率的导数公式。结合热半群的海森矩阵与导数公式，作者通过解析不等式与积分公式识别出常曲率、爱因斯坦及里奇平行流形，为爱因斯坦与里奇平行流形提供了显式的海森矩阵估计。

ABSTRACT

We establish variational formulas for Ricci upper and lower bounds, as well as a derivative formula for the Ricci curvature. As applications, constant curvature manifolds, Einstein manifolds and Ricci parallel manifolds are identified, respectively, with different integral-differential formulas and semigroup inequalities. Moreover, by using derivative and Hessian formulas for the heat semigroup $P_t$ developed from stochastic analysis, explicit Hessian estimates are derived on Einstein and Ricci parallel manifolds.

研究动机与目标

• 通过随机过程导出的解析公式表征常曲率、爱因斯坦及里奇平行流形。
• 利用热半群与随机平行移动建立里奇上界与下界的一般变分公式。
• 为爱因斯坦与里奇平行流形上的热半群推导显式的海森矩阵估计。
• 通过热半群的导数不等式，提供流形为里奇平行的充要条件。
• 通过随机分析中的概率与解析方法，统一黎曼流形的几何分类。

提出的方法

• 利用水平布朗运动与随机平行移动，推导热半群作用在对称二阶张量上的概率公式。
• 使用博赫纳拉普拉斯算子与热半群 $ P_t = e^{t/2 \Delta} $ 分析曲率演化与海森矩阵行为。
• 应用 $ \text{Hess}_{P_t f} $ 与 $ \Delta \text{Hess}_f $ 的导数公式，通过 $ \mathcal{R} \text{Hess}_f $ 将曲率算子与里奇曲率关联。
• 引入函数 $ h(t, \cdot) $，满足 $ \lim_{t \downarrow 0} t^{-1/2} h(t, \cdot) = 0 $，以控制热半群中海森矩阵逼近误差。
• 利用沿布朗运动路径的随机平行移动 $ \parallel_t $ 比较 $ \text{Hess}_f(W_t(v)) $ 与 $ \text{Hess}_f(\parallel_t v) $，实现曲率比较。
• 利用恒等式 $ \| \text{Hess}_{P_t f} - P_t \text{Hess}_f \| \leq h(t, \cdot)(P_t \| \text{Hess}_f \| + \| \text{Hess}_{P_t f} \|) $，从海森矩阵差的导数为零推导出里奇平行性。

实验结果

研究问题

• RQ1 在何种热半群与海森矩阵行为的解析条件下，流形为里奇平行？
• RQ2 如何通过热半群的导数不等式表征里奇曲率在平行移动下保持不变的性质？
• RQ3 在爱因斯坦与里奇平行流形上，热半群的显式海森矩阵估计为何？
• RQ4 能否通过随机分析建立里奇平行性与海森矩阵差导数为零之间的等价性？
• RQ5 曲率算子 $ \mathcal{R} $ 在热半群下控制海森矩阵演化中起何作用？

主要发现

• 当 $ h(t, \cdot) $ 满足特定衰减条件时，流形为里奇平行当且仅当海森矩阵差的导数 $ \| \text{Hess}_{P_t f} - P_t \text{Hess}_f \| $ 在 $ t \downarrow 0 $ 时趋于零。
• 当 $ \mathcal{R}ic \geq K $ 且 $ M $ 为里奇平行时，海森矩阵满足不等式 $ \| \text{Hess}_{P_t f} - P_t \text{Hess}_f \| \leq \left( \frac{\| \mathcal{R}ic \|_\infty (1 - e^{-Kt})}{K} + e^{(\| \mathcal{R} \|_\infty - K)t} - e^{-Kt} \right) P_t \| \text{Hess}_f \| $。
• 通过曲率界与随机平行移动，为爱因斯坦与里奇平行流形上的热半群推导出显式的海森矩阵估计。
• 条件 $ \nabla \mathcal{R}ic = 0 $ 与海森矩阵差导数为零等价，由极限 $ \lim_{t \downarrow 0} \frac{h(t,x)}{t} (P_t \| \text{Hess}_f \| + \| \text{Hess}_{P_t f} \|) = 0 $ 所示。
• 通过 $ \nabla_{v_2} \mathcal{R}ic(v_1, v_1) $ 在极限下趋于零，证明了（1）里奇平行性与（4）海森矩阵逼近误差条件之间的等价性。
• 曲率算子 $ \mathcal{R} $ 通过项 $ \| \mathcal{R} \|_\infty \int_0^t e^{-Ks} P_s \| \text{Hess}_{P_{t-s}f} \| \, ds $ 控制海森矩阵演化，将曲率与半群行为联系起来。