[論文レビュー] A lower bound for the diameter of solutions to the Ricci flow with nonzero $H^{1}(M^{n};R)$

Tom Ilmanen, Dan Knopf|ArXiv.org|Nov 14, 2002

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

ひとこと要約

本稿は、第一実ホモロジー群が非自明なコンパクト多様体上のリッチフローにおいて、非ねじれホモロジー類を表す閉ジオデシックの長さに正の下界を確立する。ホモロジー的アプローチと自由ホモトピー類内の最小長の単調性を用いて、このような長さが一様にゼロから離れていることを証明し、直径に対しても一様な下界が存在することを示す。これは、ハミルトンが提起した、$ S^1 \times S^{n-1} $ が最終時刻の極限フローとして出現しないという予想を解決する。

ABSTRACT

We obtain a lower bound for the diameter of a solution to the Ricci flow on a compact manifold with nonvanishing first real cohomology. A consequence of our result is an affirmative answer to Hamilton's conjecture that a product metric on $(S^{1} imes S^{n-1}$ cannot arise as a final time limit flow.

研究の動機と目的

• コンパクト多様体上のリッチフローにおいて、$ H_1(M^n; \mathbb{Z}) $ の非ねじれ要素を表す閉曲線の長さに一様な下界を確立すること。
• ハミルトンの予想、すなわち $ S^1 \times S^{n-1} $ がリッチフローの最終時刻極限フローとして出現し得ないということを解決すること。
• 有限時刻特異点に近づく際でさえも、多様体の直径が時間に依存せずに下から有界であることを示すこと。
• コホモロジー的およびホモロジー的証明の二重性を提示し、幾何的洞察と一般化の可能性を強調すること。

提案手法

• コンパクト多様体上でリッチフロー方程式 $ \partial_t g = -2\operatorname{Rc}(g) $ を用いて、幾何的量の時間発展を分析する。
• $ L_\alpha(g(t)) $ を、$ \alpha \in H_1(M^n; \mathbb{Z}) $ を表す曲線の長さの下界として定義し、それが正の定数によって下から有界であることを証明する。
• $ m_{g(t)}(\Gamma) $ を、自由ホモトピー類 $ \Gamma $ 内のループごとの漸近的最小長として定義し、これがリッチフローの下で非減少であることを示す。
• 閉1形式上のホッジ–ド・ラームラプラシアンに放物型最大原理を適用し、コホモロジー的ノルム $ N_{g(t)}(\Phi) $ の単調性を証明する。
• 画像 $ \eta(\Gamma) \in H_1(M^n; \mathbb{R}) $ の非消滅性により $ m_{g(0)}(\Gamma) > 0 $ が保証され、これが時間発展に伴っても維持される。
• $ m_{g(t)}(\Gamma) $ の単調性と不等式 $ L_\alpha(g(t)) \geq m_{g(t)}(\Gamma) $ を組み合わせることで、主な下界を得る。

実験結果

リサーチクエスチョン

• RQ1 コンパクト多様体上のリッチフローにおいて、$ H_1(M^n; \mathbb{Z}) $ の非ねじれホモロジー類を表す閉曲線の長さは、ゼロに減少しうるか？
• RQ2 第一コホモロジー群 $ H^1(M^n; \mathbb{R}) \neq 0 $ のとき、リッチフローに従って変化する多様体の直径に一様な下界が存在するか？
• RQ3 $ S^1 \times S^{n-1} $ に標準的リッチソリトン計量を備えたものが、コンパクト多様体上のリッチフローの最終時刻極限フローとして出現しうるか？
• RQ4 非自明な第一ホモロジーの存在が、リッチフローの特異点モデルに課す位相的制約は何か？
• RQ5 リッチフローの下で幾何的量の単調性を示すにあたり、コホモロジー的およびホモロジー的アプローチに双対性が存在するか？

主な発見

• $ \alpha \in H_1(M^n; \mathbb{Z}) $ が無限位数のとき、任意の $ t \in [0, T) $ に対して $ L_\alpha(g(t)) \geq c > 0 $ が成り立つ。ここで $ c = m_{g(0)}(\Gamma) > 0 $ であり、$ \Gamma $ は $ \alpha $ に写像する自由ホモトピー類である。
• $ (M^n, g(t)) $ の直径は、$ L_\alpha(g(t)) $ の下界のおかげで、時間に依存せずに一様に下から有界である。
• $ S^1 \times S^{n-1} $ 上のリッチフローの最終時刻極限フローが $ \mathbb{R} \times S^{n-1} $ に標準的ソリトン計量を持つことは不可能であり、ハミルトンの予想が解決される。
• 自由ホモトピー類内でのループごとの漸近的最小長を測る量 $ m_{g(t)}(\Gamma) $ は、リッチフローの下で非減少である。
• de Rham類 $ \Phi $ の閉1形式の点ごとのノルムの下界として定義されるコホモロジー的ノルム $ N_{g(t)}(\Phi) $ は、リッチフローの下で非増加である。
• ホモロジーによる証明は幾何的洞察を明らかにし、他の幾何的フローまたは位相的不変量への一般化の可能性を示唆する。