[論文レビュー] On uniqueness of tangent cones for Einstein manifolds

Tobias Colding, William P. Minicozzi|arXiv (Cornell University)|Jun 21, 2012

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

ひとこと要約

この論文は、ユークリッド的体積成長を示すリッチ平坦多様体に対して、その無限遠における接錐の一意性を、ある接錐の滑らかな断面を持つ場合に確立する。$(\log r)^{-\beta}$ 階の有効な減衰推定を用いて、漸近的構造の剛性を示し、相対的接錐の一意性に関する長年の予想を、断面の滑らかさの仮定のもとで解決する。

ABSTRACT

We show that for any Ricci-flat manifold with Euclidean volume growth the tangent cone at infinity is unique if one tangent cone has a smooth cross-section. Similarly, for any noncollapsing limit of Einstein manifolds with uniformly bounded Einstein constants, we show that local tangent cones are unique if one tangent cone has a smooth cross-section.

研究の動機と目的

• ユークリッド的体積成長を示すリッチ平坦多様体に対する無限遠における接錐の一意性に関する長年の予想を解決すること。
• スケール不変距離関数の有効な減衰推定を確立し、接錐への収束速度を定量的に評価すること。
• 一様に有界なアインシュタイン定数をもつアインシュタイン多様体の非崩壊極限における局所的接錐に対しても、一意性結果を拡張すること。
• 断面の滑らかさが、アインシュタイン多様体の漸近的幾何における剛性をもたらすことを示すこと。
• 幾何的偏微分方程式およびアインシュタイン計量における特異点の正則性と構造を理解する強力な解析的枠組みを提供すること。

提案手法

• スケール不変距離関数を用いて、多様体が無限遠における接錐に漸近的に収束する様子を測定する。
• ブロー・ダウン解析とグロモフ＝ハウスドルフ収束を用いて、ユークリッド的体積成長を示すリッチ平坦多様体の極限幾何を研究する。
• 重み付き楕円型偏微分方程式の枠組みを適用し、第二基本形式および距離関数のトレースレスヘッセ行列を制御する。
• 距離関数の等高面に対する曲率推定を導出し、リッチ曲率がトレースレスヘッセ行列およびその微分によって制御されることを示す。
• ガウスの法式および曲率分解を用いて、周囲のリッチ平坦条件と等高面の内面的幾何を関連付ける。
• 接錐への距離に対して、$(\log r)^{-\beta}$ の形の有効な減衰推定を確立し、断面の滑らかさの下で一意性が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 ユークリッド的体積成長を示すリッチ平坦多様体の無限遠における接錐は、スケーリングの列に依存するのか、それとも一意的なのか？
• RQ2 ある接錐が滑らかな断面を持つ場合、ユークリッド的体積成長を示すアインシュタイン多様体の漸近的構造は一意に定まるか？
• RQ3 滑らかさの仮定のもとで、多様体がその接錐に収束する速度は何か？
• RQ4 一様に有界なアインシュタイン定数をもつアインシュタイン多様体の非崩壊極限において、局所的接錐の一意性は保たれるか？
• RQ5 どのような条件下で、異なるブロー・ダウン列において接錐の断面が一意的となるか？

主な発見

• ある接錐が滑らかな断面を持つ場合、ユークリッド的体積成長を示す任意のリッチ平坦多様体に対して、無限遠における接錐は一意的である。
• 接錐へのスケール不変距離は、ある $\beta > 0$ に対して $O((\log r)^{-\beta})$ の速度で減衰する。これは有効な定量的推定を提供する。
• 同じ滑らかさの仮定のもとで、一様に有界なアインシュタイン定数をもつアインシュタイン多様体の非崩壊極限における局所的接錐に対しても、結果は拡張可能である。
• 証明は、トレースレスヘッセ行列およびその微分による等高面のリッチ曲率の制御に依存し、リッチ平坦条件を活用する。
• 等高面に対する曲率推定を確立し、リッチ曲率がヘッセ行列およびその勾配を含む項によって有界であることを示し、誤差項は $|B_b| + b|\nabla B_b|$ で制御される。
• 本論文は、[CN1] の予想1.12の強い形を確認し、幾何解析における特異点の正則性理論における主要な未解決問題を解決する。