[論文レビュー] Complete gradient shrinking Ricci solitons have finite topological type

Fuquan Fang, Jian-wen Man+1 more|ArXiv.org|Dec 31, 2007

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

ひとこと要約

この論文は、曲率が弱い条件下で完全な勾配収縮リッチソリトンが有限な位相型をもつことを証明している—つまり、境界をもつコンパact多様体の内部に位相的に同値である—。バクリー＝エメリーのリッチテンソルが正の定数以上に下から有界であり、かつリッチ曲率が上に有界であるか、または注ぎ込み半径が0から離れているならば、その多様体は有限な位相型をもつ。収縮リッチソリトンの場合は、有界なスカラー曲率が十分である。

ABSTRACT

We show that a complete Riemannian manifold has finite topological type (i.e., homeomorphic to the interior of a compact manifold with boundary), provided its Bakry-Émery Ricci tensor has a positive lower bound, and either of the following conditions: (i) the Ricci curvature is bounded from above; (ii) the Ricci curvature is bounded from below and injectivity radius is bounded away from zero. Moreover, a complete shrinking Ricci soliton has finite topological type if its scalar curvature is bounded.

研究の動機と目的

• 正のバクリー＝エメリーのリッチ曲率をもつ完全なリーマン多様体が有限な位相型をもつ条件を確立すること。
• 正のリッチ曲率をもつコンパクト多様体を一般化する収縮リッチソリトンが、有限な位相型をもつかどうかを調査すること。
• ソリトンの場合に、リッチ曲率の有界性をスカラー曲率の有界性に置き換えることで、先行研究の曲率仮定を弱める。
• すべての収縮リッチソリトンが有限な位相型をもつという予想に対する部分的解決を提供すること。

提案手法

• 変形補題を用いたモース理論を適用し、ポテンシャル関数 f がコンパクト集合の外で臨界点を持たず、正則であることを示す。
• 測地線の変種と弧長の第二変分を用いて、最小測地線に沿ったリッチ曲率の積分を評価する。
• 導関数の L² 範囲が制御された切り上げ関数 φ を構成し、∫ Ric(γ̇,γ̇) dt を (n−1)∫ |φ̇|² dt と比較して推定する。
• 収縮リッチソリトンでは R + |∇f|² = f という恒等式が成り立つことを利用して、スカラー曲率で f と ∇f を制御する。
• |∇f| ≤ √(f + C) という有界性を用いて勾配推定値を導出し、測地線に沿って積分することで半径 1 の球上で f を制御する。
• 曲率の有界性と勾配推定値を組み合わせ、f の任意の臨界点までの距離に一様な上界を得る。

実験結果

リサーチクエスチョン

• RQ1 バクリー＝エメリーのリッチ曲率が正の定数以上に下から有界である完全なリーマン多様体が、有限な位相型をもつのはどのような条件下か？
• RQ2 収縮リッチソリトンにおいて、以前の有限性定理で用いられたリッチ曲率の有界性仮定を緩和できるか？
• RQ3 有界なスカラー曲率は、収縮リッチソリトンが有限な位相型をもつことを示唆するか？
• RQ4 すべての収縮リッチソリトンが有限な位相型をもつという予想は正しいか？

主な発見

• バクリー＝エメリーのリッチテンソルが Ric + Hess(f) ≥ λg (λ > 0) を満たし、リッチ曲率が上に有界ならば、多様体は有限な位相型をもつ。
• Ric ≥ −δ⁻¹g かつ inj(M,g) ≥ δ > 0 ならば、同じバクリー＝エメリーの条件のもとで、多様体は有限な位相型をもつ。
• 収縮リッチソリトンで Ric + Hess(f) = g/2 を満たす場合、スカラー曲率 R が有界ならば、有限な位相型をもつ。
• ポテンシャル関数 f は正則であり、コンパクト集合の外で臨界点を持たず、モース理論により有限な位相型を示す。
• 固定された基点から f の任意の臨界点までの距離は、|∇f|(p)、B(p,1) 上での sup|Ric|、およびスカラー曲率の有界性 C に依存する一様な上界で与えられる。
• 証明により、臨界点までの距離に一様な上界が得られる：ρ ≤ 4n + 8C + 4 + 2|∇f|(p) + 2sup_{B(p,1)}|Ric|。