[論文レビュー] Backwards uniqueness of the Ricci flow

Brett Kotschwar|ArXiv.org|Jun 26, 2009

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

ひとこと要約

この論文は、一様に有界な曲率を持つ完備なリーマン多様体上のリッチフローに対して、後向き一意性を確立する。すなわち、二つの解が最終時刻で一致するならば、それ以前のすべての時刻でも一致する。主な結果は、リッチフロー解の等距変換群が時間経過とともに拡大することはできず、有限時間内にリッチソリトンやアインシュタイン計量に変わることもないということを示している。

ABSTRACT

In this paper, we prove a unique continuation or ``backwards-uniqueness'' theorem for solutions to the Ricci flow. A particular consequence is that the isometry group of a solution cannot expand within the lifetime of the solution.

研究の動機と目的

• 完備多様体上で一様に有界な曲率をもつリッチフローに対して、後向き一意性の性質を確立すること。
• A. フィッシャーが提起した疑問、すなわちリッチフロー解の等距変換群が時間経過とともに拡大する可能性があるかを解消すること。
• 有界曲率のもとで、解が有限時間内にリッチソリトンやアインシュタイン計量に変わることはないことを証明すること。
• 解が最終状態によって一意に決定されることを示すことにより、リッチフローの一意性結果を拡張すること。
• フローが初期計量の等距変換群を保存することを示し、新たな対称性の出現を防ぐこと。

提案手法

• 弱い放物型リッチフローの後向き一意性問題を、結合された微分不等式系に還元する。
• デトゥルックのテクニックを用いてリッチフローを厳密に放物型系に変換するが、後向き発展を適切に扱えるように工夫する。
• 特にリース＝プロッターの古典的手法を用いた、放物型偏微分方程式理論における一意拡張技術を、変換後の系に適用する。
• 多様体 $ M \times M $ 上に $ h(t) = g(t) \oplus \tilde{g}(t) $ という二重計量を構成し、最終時刻における等距変換性を分析する。
• 後向き一意性が成り立つならば、時刻 $ T $ での等距変換は、以前の時刻にも引き上げられることを用いる。
• 与えられたソリトン計量 $ \bar{g} $ から、自己相似解 $ \tilde{g}(t) = c(t) \varphi_t^* \bar{g} $ を構成し、元の解 $ g(t) $ と比較する。

実験結果

リサーチクエスチョン

• RQ1 リッチフロー解が時間経過とともに新たな等距変換を獲得する、すなわちその等距変換群が拡大する可能性はあるか？
• RQ2 二つの完備なリッチフロー解が最終時刻 $ T $ で一致するならば、それ以前のすべての時刻でも一致する必要があるか？
• RQ3 初期状態がソリトンでなくても、解が有限時間内にリッチソリトンに変わる可能性はあるか？
• RQ4 リッチフロー解の等距変換群は、その生涯にわたり保存されるか？
• RQ5 有界曲率のもとで、解が有限時間内にアインシュタイン計量に変わる可能性はあるか？

主な発見

• 完備なリッチフロー解に対して、一様に有界な曲率のもとで後向き一意性が成り立つ：$ g(T) = \tilde{g}(T) $ ならば、すべての $ t \in [0,T] $ で $ g(t) = \tilde{g}(t) $ である。
• リッチフロー解の等距変換群は時間経過とともに非増加である：すべての $ t \in [0,T] $ で $ \operatorname{Isom}(g(t)) \subseteq \operatorname{Isom}(g(0)) $ である。
• 解が有限時間内にリッチソリトンに変わることは、すでに初期から自己相似的であった場合に限る。
• 解が時刻 $ T $ でアインシュタイン計量になったならば、それ以前のすべての時刻でもアインシュタイン計量であったはずである。
• 有限時間内にソリトンに変わる解の曲率は、$ t \to T^- $ のとき発散するが、有界曲率の仮定に反するため、ソリトン構造が初期から存在していた必要がある。
• リッチソリトンを生成するベクトル場は、計量が完備で曲率が有界ならば、完全である。これにより、関連する微分同相写像の全域的定義が保証される。