[論文レビュー] The Topology of Open Manifolds with Nonnegative Ricci Curvature

Zhongmin Shen, Christina Sormani|ArXiv.org|Jun 30, 2006

Geometric Analysis and Curvature Flows参考文献 50被引用数 15

ひとこと要約

このサーベイ論文は、次元、体積成長、または直径成長の制約にのみ依存して得られた結果に焦点を当て、非負のリッチ曲率を持つ完全非コンパクトリーマン多様体の位相について包括的にレビューしている。チェーバー＝グロモルのスプリッティング定理、ミルナーの基本群の有限生成に関する予想、ループを無限大へとホモトープする定理といった既知の定理を統合するとともに、デイディック・ソリノイドの補集合上にリッチ ≥ 0 の計量が存在するか、および3次元多様体におけるリッチ ≥ 0 の位相といった未解決問題を強調している。

ABSTRACT

We survey all results concerning the topology of complete noncompact Riemannian manifolds with nonnegative Ricci curvature that have no additional conditions other than restrictions to the dimension, volume growth or diameter growth of the manifold. We will also present relevant examples and list open problems.

研究の動機と目的

• リッチ ≥ 0 を満たす完全非コンパクト多様体について、最小限の幾何的仮定のもとで既知のすべての位相的結果を体系的に要約すること。
• このような多様体について、codimension-oneホモロジー群 $ H_{n-1}(M,\mathbb{Z}) $ を分類し、$ H_{n-2}(M,\mathbb{Z}) $ を制約すること。
• ワーペッド積、シャ＝ヤン多様体、ペレルマンの構成ブロックといった重要な例を提示し、多様な位相的タイプの多様性を示すこと。
• 特にミルナーの予想の状態と、デイディック・ソリノイドの補集合上にリッチ ≥ 0 の計量が存在する可能性といった未解決問題を強調すること。
• 体積成長や「ループを無限大へ」の性質といった、このような多様体を特徴付ける定性的な性質を特定し、今後の研究を導くこと。

提案手法

• チェーバー＝グロモルのスプリッティング定理を用いて、直線を含む多様体が等長的に $ \mathbb{R} \times N^{n-1} $ に分解されることを示し、端の数を最大2つに制限すること。
• ビショップ＝グロモルの体積比較定理を適用して体積成長を分析し、曲率の上限と基本群の構造との関係を明らかにすること。
• 「ループを無限大へ」定理を用いて、リッチ ≥ 0 の多様体における任意のループが無限大へホモトープ可能であることを示し、基本群に位相的制約が生じることを示すこと。
• ワーペッド積構成 $ [0,\infty) \times_f S^1 $ を分析して、リッチ ≥ 0 を満たす例を生成し、ユークリッド空間や球面を含む。
• デイディック・ソリノイドの補集合を、ネストされたトーラスと無限大の巻き付きを用いて、基本群が2進有理数群に同型である例として考察し、ミルナーの予想に対する反例候補として位置づける。
• 調和写像技術とベクトルバンドル構成をレビューし、$ N^3 \times \mathbb{R}^k $ のような単連結でない多様体上にリッチ ≥ 0 の計量が存在するかを検討すること。

実験結果

リサーチクエスチョン

• RQ1 デイディック・ソリノイドの補集合は、$ \text{Ric} > 0 $ の計量をもたないにもかかわらず、$ \text{Ric} \geq 0 $ の完全計量をもつ可能性があるか？
• RQ2 ミルナーが予想したように、$ \text{Ric} \geq 0 $ を満たす3次元多様体の基本群は、常に有限生成であるか？
• RQ3 リッチ ≥ 0 を満たす多様体が非自明な基本群をもつことができる最小の体積成長または直径成長は何か？
• RQ4 ワーペッド・デイディック・ソリノイド $ N^3 \times \mathbb{R}^k $ に $ \text{Ric} \geq 0 $ の計量が存在するか？もしそうなら、ミルナーの予想にどのような含意があるか？
• RQ5 特に基本群が非自明なコンact多様体上のベクトルバンドルに、リッチ ≥ 0 の計量が存在するための位相的障害は何か？

主な発見

• チェーバー＝グロモルのスプリッティング定理により、リッチ ≥ 0 を満たす完全非コンパクト多様体が直線を含むならば、等長的に $ \mathbb{R} \times N^{n-1} $ に分解され、端の数が最大2つに制限される。
• $ \text{Ric} > 0 $ の場合、多様体は正確に1つの端しか持たない。なぜなら、このような多様体は直線を含めないからである。
• リッチ ≥ 0 の条件下で、codimension-oneホモロジー群 $ H_{n-1}(M,\mathbb{Z}) $ は $ \mathbb{Z} $ に同型であり、$ H_{n-2}(M,\mathbb{Z}) $ は torsion-free である。
• 「ループを無限大へ」定理は、リッチ ≥ 0 の多様体における任意のループが無限大へホモトープ可能であることを示し、多様体の体積成長が二次関数的である場合、基本群が有限生成であることを示唆する。
• 朱は、リッチ ≥ 0 かつ体積成長が正確に $ r^3 $ である3次元多様体は可縮であることを示したが、一般の場合については未解決のままである。
• デイディック・ソリノイドの補集合の基本群は加法群として2進有理数群に同型であり、すべての既知のこのような計量のための位相的制約を満たしているにもかかわらず、$ \text{Ric} \geq 0 $ の計量が存在するかは未解決の問題である。