[论文解读] Pointwise Characterizations of Curvature and Second Fundamental Form on Riemannian Manifolds

Feng‐Yu Wang, Bo Wu|arXiv (Cornell University)|May 9, 2016

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

一句话总结

本文通过由 $ L = \Delta + Z $ 生成的（反射）扩散过程，使用点态刻画了黎曼流形上 Bakry-Emery 曲率与第二基本形式。通过利用曲率与第二基本形式的渐近公式，并分析路径空间上的 Malliavin 梯度，作者基于涉及扩散过程的泛函不等式，建立了这些几何量的精确点态上下界，将 Naber 的结果推广至具有边界且曲率无界的流形。

ABSTRACT

Let $M$ be a complete Riemannian manifold possibly with a boundary $\partial M$. For any $C^1$-vector field $Z$, by using gradient/functional inequalities of the (reflecting) diffusion process generated by $L:=Δ+Z$, pointwise characterizations are presented for the Bakry-Emery curvature of $L$ and the second fundamental form of $\partial M$ if exists. These extend and strengthen the recent results derived by A. Naber for the uniform norm $\|{\mathbf{Ric}}_Z\|_\infty$ on manifolds without boundary. A key point of the present study is to apply the asymptotic formulas for these two tensors found by the first named author, such that the proofs are significantly simplified.

研究动机与目标

• 将 A. Naber 对 Bakry-Emery 曲率的范数一致刻画推广至具有边界的流形上的点态界。
• 通过由 $ L = \Delta + Z $ 生成的（反射）扩散过程，对边界 $ \partial M $ 的第二基本形式提供点态刻画。
• 即使曲率无界，也基于路径空间上的泛函不等式，建立 $ \text{Ric}_Z $ 与 $ \mathbb{I} $ 的精确上界与下界。
• 通过第一作者推导出的曲率与第二基本形式的渐近公式，简化证明。

提出的方法

• 研究使用由 $ L = \Delta + Z $ 生成的（反射）扩散过程 $ (X_t^x, U_t^x) $，并将其提升至或向量丛上。
• 应用 Malliavin 微积分，为路径空间 $ W_T(M) $ 上的圆柱型泛函定义 Malliavin 梯度 $ DF(X_{[0,T]}^x) $，以捕捉沿路径的方向导数。
• 引入一个随机测度 $ \mu_{x,T} $，结合时间积分与局部时间积分，并以 $ K $ 和 $ \sigma $ 加权，以编码曲率与边界几何。
• 构造能量形式 $ \mathscr{E}^{K,\sigma}_{t,T}(F,F) $，通过泛函不等式将路径上的变分与几何量联系起来。
• 通过 $ T \to 0 $ 时的渐近分析，从半群的二阶变分中提取 $ \text{Ric}_Z $ 与 $ \mathbb{I} $ 的点态值。
• 证明依赖于 $ \mathbb{E}[|\dot{D}_t F|^2] $ 与 $ \text{Var}(F) $ 的渐近展开，通过涉及 $ \sqrt{T} $ 与 $ T^{-1} $ 项的极限，将其与 $ \text{Ric}_Z $ 和 $ \mathbb{I} $ 联系起来。

实验结果

研究问题

• RQ1 是否能通过扩散过程 $ X_t^x $ 的路径空间上的泛函不等式，刻画 Bakry-Emery 曲率 $ \text{Ric}_Z $ 的点态范数？
• RQ2 如何通过扩散过程的路径空间变分刻画边界 $ \partial M $ 的第二基本形式 $ \mathbb{I} $？
• RQ3 Malliavin 梯度的渐近行为与 $ \text{Ric}_Z $ 和 $ \mathbb{I} $ 的点态值之间存在何种精确关系？
• RQ4 即使这些张量在流形上无界，是否仍能以点态方式刻画 $ \text{Ric}_Z $ 与 $ \mathbb{I} $ 的上下界？
• RQ5 涉及 $ \mu_{x,T} $ 与能量形式 $ \mathscr{E}^{K,\sigma}_{t,T} $ 的泛函不等式，如何编码流形及其边界完整的点态几何？

主要发现

• 点态下界 $ \|\text{Ric}_Z\|(x) \leq K(x) $ 成立当且仅当对所有 $ F \in \mathscr{F}C_T^\infty $，能量形式 $ \mathscr{E}^{K,\sigma}_{t,T}(F,F) $ 满足特定泛函不等式，且在 $ T \to 0 $ 时取等。
• 第二基本形式满足 $ \mathbb{I}(\nabla f, \nabla f)(x) \geq -\sigma(x)|\nabla f(x)|^2 $ 当且仅当对应泛函不等式对 $ \sigma $ 成立，将 Naber 的结果推广至边界情形。
• 泛函 $ F = f(X_T^x) $ 的方差及其 Malliavin 梯度的渐近展开给出 $ \text{Ric}_Z(\nabla f, \nabla f)(x) = \lim_{T \to 0} \frac{1}{2T} \left( P_T|\nabla f|^2(x) - |\nabla P_T f|^2(x) \right) $，提供了一个点态公式。
• 对于 $ x \in \partial M $，第二基本形式可表示为 $ \mathbb{I}(\nabla f, \nabla f)(x) = \lim_{T \to 0} \frac{3\sqrt{\pi}}{8\sqrt{T}} \left( \frac{\mathbb{E}[(F\Phi)^2] - \{\mathbb{E}[F\Phi]\}^2}{2T} - |\nabla P_T f|^2 \right) $，将路径空间方差与边界几何联系起来。
• 通过测试 $ F(\gamma) = f(\gamma_\varepsilon) - \frac{1}{2}f(\gamma_T) $，推导出 $ \text{Ric}_Z $ 与 $ \mathbb{I} $ 的上界估计，得到极限不等式，从而推出 $ \text{Ric}_Z(\nabla f, \nabla f)(x) \leq K(x)|\nabla f|^2(x) $ 与 $ \mathbb{I}(\nabla f, \nabla f)(x) \leq \sigma(x)|\nabla f|^2(x) $。
• 证明中的关键简化来自于使用曲率与第二基本形式的渐近公式，从而避免了以往工作中复杂的耦合或耦合论证。