[论文解读] Weak solutions for the Ricci flow I

Robert Haslhofer, Aaron Naber|arXiv (Cornell University)|Apr 3, 2015

Geometric Analysis and Curvature Flows参考文献 40被引用 10

一句话总结

本文通过在时空路径空间上的无限维分析，提出了一类Ricci流解的新表征方法，证明Ricci流等价于路径空间上的特定梯度估计、鞅正则性以及对数Sobolev不等式。关键贡献是基于随机分析与Malliavin微积分的严格解析准则，用于识别Ricci流，从而在非光滑几何设定下定义了弱解。

ABSTRACT

This is the first of a series of papers, where we introduce a new class of estimates for the Ricci flow, and use them both to characterize solutions of the Ricci flow and to provide a notion of weak solutions to the Ricci flow in the nonsmooth setting. In this first paper, we prove various new estimates for the Ricci flow, and show that they in fact characterize solutions of the Ricci flow. Namely, given a family $(M,g_t)_{t\in I}$ of Riemannian manifolds, we consider the path space $P\mathcal{M}$ of its space time $\mathcal{M}=M imes I$. Our first characterization says that $(M,g_t)_{t\in I}$ evolves by Ricci flow if and only if an infinite dimensional gradient estimate holds for all functions on $P\mathcal{M}$. We prove additional characterizations in terms of the $C^{1/2}$-regularity of martingales on path space, as well as characterizations in terms of log-Sobolev and spectral gap inequalities for a family of Ornstein-Uhlenbeck type operators. Our estimates are infinite dimensional generalizations of much more elementary estimates for the linear heat equation on $(M,g_t)_{t\in I}$, which themselves generalize the Bakry-Emery-Ledoux estimates for spaces with lower Ricci curvature bounds. Based on our characterizations we can define a notion of weak solutions for the Ricci flow. We will develop the structure theory of these weak solutions in subsequent papers.

研究动机与目标

• 发展适用于经典光滑设定之外的Ricci流解的分析准则。
• 通过无限维分析，将Bakry-Émery-Ledoux的Ricci曲率下界估计推广至演化黎曼流形。
• 利用内在几何与随机估计，定义Ricci流的弱解概念。
• 通过路径空间随机微积分，建立在非光滑或奇异几何中分析Ricci流的框架。
• 为后续论文中弱解的结构理论提供基础。

提出的方法

• 使用时空流形 $\mathcal{M} = M \times I$ 上连续曲线的路径空间 $P\mathcal{M}$，且曲线以单位速度反向时间移动。
• 应用随机分析工具：Wiener测度、随机平行移动及演化流形上的Malliavin微积分。
• 引入平行梯度与Malliavin梯度，以在路径空间上定义导数。
• 推导出刻画Ricci流的无限维梯度估计（R2），其成立当且仅当对所有 $P\mathcal{M}$ 上的函数成立。
• 建立Ricci流与路径空间上鞅的 $C^{1/2}$-正则性之间的等价性。
• 证明路径空间上Ornstein-Uhlenbeck型算子的对数Sobolev不等式（R4）与谱间隙不等式（R5）的刻画等价于Ricci流。

实验结果

研究问题

• RQ1 Ricci流能否通过路径空间上的无限维估计表征，且独立于经典可微性？
• RQ2 路径空间上鞅的何种随机性质与Ricci流方程等价？
• RQ3 路径空间上的对数Sobolev与谱间隙不等式如何与Ricci流演化相关联？
• RQ4 能否通过路径空间分析将Bakry-Émery-Ledoux估计推广至演化流形？
• RQ5 一族黎曼度量 $ (M, g_t) $ 的何种分析条件可推出其满足Ricci流方程？

主要发现

• 一族 $ (M, g_t) $ 沿Ricci流演化，当且仅当某类无限维梯度估计（R2）对路径空间 $ P\mathcal{M} $ 上所有函数成立。
• 路径空间上鞅的 $ C^{1/2} $-Hölder 正则性刻画了Ricci流，提供了随机准则。
• 路径空间上一族Ornstein-Uhlenbeck算子的对数Sobolev不等式（R4）与谱间隙不等式（R5）等价于Ricci流。
• 结果将适用于具有下界Ricci曲率的流形的Bakry-Émery-Ledoux估计推广至演化度量设定。
• 通过路径空间梯度估计的表征，将经典线性热方程估计推广至Ricci流的非线性几何设定。
• 该框架为在非光滑或奇异几何中严格定义Ricci流的弱解提供了坚实基础。