[论文解读] Super Ricci flow for disjoint unions

Sajjad Lakzian, Michael Munn|arXiv (Cornell University)|Nov 12, 2012

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

一句话总结

本文通过定义在 $M_1 \sqcup M_2$ 上的一族距离度量 $D^t$，提出了对不相交紧致黎曼流形并集的基于度量的超里奇流表征。这些度量随时间演化，使得热流解的利普希茨常数在时间上非增。关键结果表明，当不同分支中点之间的距离按热方程演化时，即 $\partial_t D^t \geq \Delta_{M_1^t \times M_2^t} D^t$，该超里奇流性质成立。这为不连通情形下的超里奇流提供了基于度量的判别准则。

ABSTRACT

In this paper we consider compact, Riemannian manifolds $M_1, M_2$ each equipped with a one-parameter family of metrics $g_1(t), g_2(t)$ satisfying the Ricci flow equation. Motivated by a characterization of the super Ricci flow developed by McCann-Topping, we introduce the notion of a super Ricci flow for a family of distance metrics defined on the disjoint union $\MM$. In particular, we show such a super Ricci flow property holds provided the distance function between points in $M_1$ and $M_2$ evolves by the heat equation. We also discuss possible applications and examples.

研究动机与目标

• 将超里奇流的概念从光滑黎曼度量推广至由不相交流形并集构成的不连通度量空间。
• 在 $M_1 \sqcup M_2$ 上定义一族距离度量 $D^t$，使其与每个分量上演化里奇流相容。
• 建立一个充分条件——基于度量通过热方程的演化——使得整个族 $(M_1 \sqcup M_2, D^t)$ 满足超里奇流性质。
• 提供一个度量理论框架，可在奇点处持续存在，从而实现对有限时间里奇流崩溃之后的分析。

提出的方法

• 在不相交并集 $M_1 \sqcup M_2$ 上定义一族距离度量 $D^t$，使得 $D^t|_{M_i} = d_{g_i(t)}$，以保持每个分量的内在几何结构。
• 采用 McCann-Topping 对超里奇流的刻画：一族 $D^t$ 是超里奇流，当且仅当任意热流解的利普希茨常数在时间上非增。
• 利用乘积空间 $M_1^t \times M_2^t$ 上的热方程，定义作用于距离函数 $D^t(x,y)$（$x \in M_1, y \in M_2$）的拉普拉斯算子 $\Delta_{M_1^t \times M_2^t}$。
• 将关键不等式 $\partial_t D^t \geq \Delta_{M_1^t \times M_2^t} D^t$ 作为超里奇流性质的充分条件。
• 对热流解 $\overline{u}$ 的比值 $\overline{u}/D^t$ 应用最大值原理，证明在所述条件下有 $\partial_t \operatorname{Lip}(u,t) \leq 0$。
• 将结果推广至 $k$-分量不相交并集，要求对所有 $i \neq j$，均有相同的不等式 $\partial_t D^t \geq \Delta_{M_i^t \times M_j^t} D^t$。

实验结果

研究问题

• RQ1 在不相交流形并集上，一族距离度量在何种条件下可被视为超里奇流？
• RQ2 超里奇流性质能否完全基于分量间距离的演化来表征，而独立于光滑度量的演化？
• RQ3 在乘积空间 $M_1^t \times M_2^t$ 上的热方程如何控制超里奇流中不同分量间距离的时间演化？
• RQ4 最大值原理在证明不连通度量空间上热流解利普希茨常数非增性中起什么作用？
• RQ5 超里奇流框架能否推广至多个不连通分量，且分量间距离演化由热型不等式控制？

主要发现

• 若对所有 $x \in M_1, y \in M_2$，有 $\partial_t D^t \geq \Delta_{M_1^t \times M_2^t} D^t$，则在 $M_1 \sqcup M_2$ 上超里奇流性质成立，确保任意热流解的利普希茨常数在时间上非增。
• 条件 $\partial_t D^t \geq \Delta_{M_1^t \times M_2^t} D^t$ 是充分的，即使各分量度量 $g_i(t)$ 仅为超里奇流，$D^t$ 仍可定义为不相交并集上的超里奇流。
• 该结果可推广至 $k$-分量不相交并集：若所有 $i \neq j$ 的分量间距离演化均满足相同不等式，则 $D^t$ 是 $M_1 \sqcup \cdots \sqcup M_k$ 上的超里奇流。
• 若初始时 $D^0(x,y) \geq c > 0$，则对所有 $t > 0$，有 $D^t(x,y) \geq c$，这是由对距离演化应用最大值原理所保证的。
• 证明依赖于对比值 $\overline{u}/D^t$ 的拉普拉斯分析，并导出不等式 $\partial_t \overline{u} \leq \frac{\overline{u}}{D^t} \partial_t D^t$，该式蕴含 $\partial_t \operatorname{Lip}(u,t) \leq 0$。
• 该框架提供了一种经典里奇流的基于度量的替代方案，使得可通过基于距离的演化，在有限时间奇点之后仍能进行几何演化分析。