[論文レビュー] 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)}$ とすること。
• マッキャン＝トッピングによる超リッチフローの特徴付けを採用する：距離計量の族 $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$ に対して $\partial_t D^t \geq \Delta_{M_i^t \times M_j^t} D^t$ が成り立つならば、$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$ が導かれる。
• この枠組みは、古典的リッチフローの代替としての計量論的枠組みを提供し、有限時間での特異点を越えて距離に基づく進化によって幾何的変形を解析可能にする。