[论文解读] The Soliton-Ricci Flow over Compact Manifolds

Nefton Pali|arXiv (Cornell University)|Mar 16, 2012

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

一句话总结

本文引入了孤立子-里奇流（SRF），这是一种在紧致流形上定义的里奇度量的前向抛物流，其演化目标为收缩型里奇孤立子。SRF 被定义为佩雷尔曼的 $χ$-泛函在具有三重对称协变导数变分的度量子空间上的梯度流，并且当 $Ω$-巴尔基-埃梅里-里奇张量一致为正时，其收敛速度呈指数级加快。

ABSTRACT

We introduce a flow of Riemannian metrics over compact manifolds with formal limit at infinite time a shrinking Ricci soliton. We call this flow the Soliton-Ricci flow. It correspond to a Perelman's modified backward Ricci type flow with some special restriction conditions. The restriction conditions are motivated by convexity results for Perelman's $\mathcal{W}$-functional over convex subsets inside adequate subspaces of Riemannian metrics. We show indeed that the Soliton-Ricci flow is generated by the gradient flow of the restriction of Perelman's $\mathcal{W}$-functional over such subspaces. Assuming long time existence of the Soliton-Ricci flow we show exponentially fast convergence to a shrinking Ricci soliton provided that the Bakry-Emery-Ricci tensor is uniformly strictly positive with respect to the evolving metric.

研究动机与目标

• 定义一种新的几何流——孤立子-里奇流（SRF），使其在紧致流形上演化里奇度量，最终趋向于收缩型里奇孤立子。
• 通过将佩雷尔曼的 $χ$-泛函限制在具有三重对称协变导数变分的度量子空间上，将 SRF 嵌入梯度流框架中。
• 在 $Ω$-巴尔基-埃梅里-里奇张量一致严格为正的条件下，建立 SRF 的长时间存在性与指数收敛性。
• 为通过 Lax 型复结构的常微分方程流生成孤立子-凯勒-里奇流的解，提供一个正式框架。
• 识别出‘散射数据’作为特殊初始度量，使得 SRF 可在度量空间的约束子空间上作为梯度流被形式化求解。

提出的方法

• SRF 由演化方程 $\dot{g}_t = \operatorname{Ric}_{g_t}(\Omega) - g_t$ 定义，其中 $\operatorname{Ric}_{g_t}(\Omega)$ 为 $Ω$-巴尔基-埃梅里-里奇张量。
• 该流被构造为佩雷尔曼的 $\mathcal{W}_\Omega$-泛函在度量空间 $\mathcal{M}$ 的子空间 $\Sigma \subset \mathcal{M}$ 上的梯度流，这些子空间中的度量具有三重对称协变导数变分。
• $Ω$-巴尔基-埃梅里-里奇张量定义为 $\operatorname{Ric}_g(\Omega) := \operatorname{Ric}(g) + \nabla_g d\log\frac{dV_g}{\Omega}$，若 $g = \operatorname{Ric}_g(\Omega)$，则称度量 $g$ 为 $Ω$-收缩型里奇孤立子。
• 该流配备了一个加权 $L^2$ 内积 $G_g(u,v) = \int_X \langle u,v \rangle_g \Omega$，在度量空间上诱导出一个距离 $d_G$。
• 算子 $P$ 的形式伴随 $P^{*_{\Omega}}_g$ 定义为 $e^f P^*_g(e^{-f} \cdot)$，其中 $f = \log \frac{dV_g}{\Omega}$，从而可定义 $Ω$-拉普拉斯算子 $\Delta^{\Omega}_g = \nabla^*_{\Omega,g} \nabla_g$。
• 通过分析里奇张量的 $\nabla_{T_X,g}$-协变导数的变分，并利用曲率恒等式与比安基型恒等式，证明 SRF 为严格抛物且前向演化。

实验结果

研究问题

• RQ1 能否构造一种几何流，通过佩雷尔曼的 $\mathcal{W}_\Omega$-泛函的梯度系统，使里奇度量演化至收缩型里奇孤立子？
• RQ2 初始度量需满足何种条件，才能保证此类流的长时间存在性与收敛性至收缩型里奇孤立子？
• RQ3 如何利用 $Ω$-巴尔基-埃梅里-里奇张量定义一个度量子空间，使得 $\mathcal{W}_\Omega$-泛函在该子空间上为凸函数，且流是适定的？
• RQ4 三重对称协变导数变分在确保 SRF 为严格抛物且前向演化中起到何种作用？
• RQ5 SRF 与凯勒初始数据下的孤立子-凯勒-里奇流有何关联？能否通过 Lax 型复结构的常微分方程流生成此类解？

主要发现

• 孤立子-里奇流被定义为紧致流形上的一类前向严格抛物演化方程 $\dot{g}_t = \operatorname{Ric}_{g_t}(\Omega) - g_t$。
• 该流是佩雷尔曼的 $\mathcal{W}_\Omega$-泛函在具有三重对称协变导数变分的度量子空间上的梯度流。
• 在长时间存在性假设下，若 $Ω$-巴尔基-埃梅里-里奇张量一致严格为正，则 SRF 以指数速度收敛至收缩型里奇孤立子。
• 该流仅对‘散射数据’——即满足 $\nabla_{T_X,g} \operatorname{Ric}^*_g(\Omega) = 0$ 的初始度量 $g \in \mathcal{S}_\Omega$ —— 形式上适定，此类度量确保与三重对称变分条件相容。
• 沿流方向，$Ω$-巴尔基-埃梅里-里奇张量的变分为 $2\frac{d}{dt}\operatorname{Ric}_g(\Omega) = -\nabla^*_{\Omega,g} \mathcal{D}_g \dot{g}$，其中 $\mathcal{D}_g = \hat{\nabla}_g - 2\nabla_g$，该关系确立了流的梯度结构。
• SRF 通过 Lax 型复结构的常微分方程流，为凯勒初始数据生成孤立子-凯勒-里奇流的解，如先前工作 [Pal2] 所示。