[論文レビュー] Manifolds with Pointwise Ricci Pinched Curvature

Hui-Ling Gu|ArXiv.org|Jun 30, 2007

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

ひとこと要約

本稿では、次元 $ n \geq 3 $ の完備で局所的に共形平坦なリーマン多様体が、非負の断面曲率、正で有界なスカラー曲率、およびスカラー曲率の正の倍数以下の点ごとのリッチ曲率ピンチングを満たす場合、その多様体はコンパクトであることを確立している。証明はヤマベフローを用いて長時間の漸近的挙動を分析し、このような非コンパクト多様体の存在が、極限ソリトン解析とスケーリング下での曲率保存性により矛盾に導くことを示している。

ABSTRACT

In this paper, we proved a compactness result about Riemannian manifolds with an arbitrary pointwisely pinched Ricci curvature tensor.

研究の動機と目的

• 点ごとのリッチピンチングを満たす完備なリーマン多様体がコンパクトであるという予想を解明し、3次元の場合や曲率作用素のピンチングに関する既知の結果を拡張すること。
• 従来の結果よりも弱い曲率仮定の下でコンパクト性を確立すること、特にリッチピンチングを満たす局所的に共形平坦な多様体に対して行うこと。
• 幾何的フロー技法、特にヤマベフローの適用範囲を、リーマン幾何学における曲率ピンチング問題へ拡張すること。
• リッチピンチング下でのヤマベフロー解の漸近的挙動を分類し、非コンパクトなタイプIIまたはタイプIIIの極限ソリトンが存在しないことを示すこと。

提案手法

• 初期計量を、正で有界なスカラー曲率とリッチピンチングを満たす完備で局所的に共形平坦な多様体上でヤマベフローで発展させる。
• 非負のリッチ曲率を満たす局所的に共形平坦な多様体上でヤマベフローにおけるスカラー曲率に対するリィ・ヨウ・ハミルトンの不等式を適用する。
• コンパクト多様体へのリィ・ヨウ・ハミルトン不等式の適用を、完備多様体へ拡張するための摂動論法を用いる。
• 時間微分、勾配、リッチテンソル、スカラー曲率を含むハーナック量 $ Z $ を用いて、曲率の下界の正と伝播を分析する。
• 最大値原理を適用し、$ Z > 0 $ が一点で成り立つならば、その後のすべての時刻で全域的に正であることを示す。
• 背理法によりヤマベフロー解の長時間存在を分析する：特異点が発生するならば、極限ソリトンが出現するが、これはリッチピンチング条件またはボンネット＝マイヤーズの定理に反する。

実験結果

リサーチクエスチョン

• RQ1 点ごとのリッチピンチングを満たす完備なリーマン多様体のコンパクト性は、3次元の場合を越えて確立可能か？
• RQ2 ヤマベフローは長時間にわたりリッチピンチング条件を保存するか？
• RQ3 リッチピンチング下でのヤマベフローから生じる極限解（タイプIIまたはタイプIII）の種類は何か？それらは排除可能か？
• RQ4 局所的に共形平坦な多様体上でのヤマベフローの漸近的挙動を分類し、グローバルな幾何的制約を導くことは可能か？
• RQ5 ヤマベフロー下でリッチピンチング条件を満たす非コンパクト多様体の存在を仮定すると、矛盾が生じるか？

主な発見

• 任意の完備で局所的に共形平坦な $ n $ 次元多様体（$ n \geq 3 $）で、非負の断面曲率、正で有界なスカラー曲率、およびある $ \varepsilon > 0 $ に対して $ R_{ij} \geq \varepsilon \cdot \text{scal} \cdot g_{ij} $ を満たすリッチ曲率をもつものは、コンパクトである。
• ヤマベフローはリッチピンチング条件を保存し、与えられた曲率仮定のもとで解の長時間存在を保証する。
• ヤマベフローの漸近的極限はタイプIIまたはタイプIIIのソリトンであるが、両方とも排除される：タイプIIIソリトンは定理2.5および命題2.6により排除され、タイプIIソリトンは曲率の爆発と分割定理により矛盾を引き起こす。
• スケーリング下での極限多様体は、非負の断面曲率と無限大へのスカラー曲率の成長から直線を含むが、これはリッチピンチング条件に反する。
• 点列 $ r_k^2 R(x_k) \to \infty $ および $ d(p,x_k)/r_k \to \infty $ を満たす点列が存在するならば、非負の断面曲率をもちながらもリッチピンチング条件を満たす極限多様体が得られ、これは矛盾を引き起こす。
• この矛盾により、このような非コンパクト多様体が存在しえないことが確認され、主定理が証明される。