[論文レビュー] An extension of Perelman's soul theorem for singular spaces

Jianguo Cao, Bo Dai+1 more|arXiv (Cornell University)|Jun 5, 2007

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

ひとこと要約

この論文は、非負曲率をもつ特異的で非コンパクトかつ有限次元のアレクサンドロフ空間に対して、ペレルマンのソール定理を拡張する。角の超過関数を導入して、超曲面の凸性と外在的曲率を測定する。新しい台形比較定理およびバセマン関数とペレルマン＝シャラフティディノフの再帰的写像の解析を用いて、ある開集合上で正曲率をとるような空間が収縮可能であることを証明する。これは、滑らかな多様体を超えて特異的で非負曲率をもつ距離空間へのソール定理の一般化である。

ABSTRACT

In this paper, we study open complete metric spaces with non-negative curvature. Among other things, we establish an extension of Perelman's soul theorem for possibly singular spaces: "Let X be a complete, non-compact, finite dimensional Alexandrov space with non-negative curvature. Suppose that X has no boundary and has positive curvature on a non-empty open subset. Then X must be a contractible space". The proof of this result uses the detailed analysis of concavity of distance functions and Busemann functions on singular spaces with non-negative curvature. We will introduce a family of angular excess functions to measure convexity and extrinsic curvature of convex hypersurfaces in singular spaces. We also derive a new comparison for trapezoids in non-negatively curved spaces, which led to desired convexity estimates for the proof of our new soul theorem.

研究の動機と目的

• 非負曲率をもつ特異的で非コンパクトかつ有限次元のアレクサンドロフ空間へのペレルマンのソール定理の拡張。
• ソールが必ずしも部分多様体でないような特異的空間における一般化されたソール理論の確立。
• 非空の開部分集合で正曲率をとる、完全で非コンパクトかつ有限次元のアレクサンドロフ空間（非負曲率）が収縮可能であることを証明。
• 特異的で非負曲率をもつ空間における凸性と曲率を分析するための道具（特に角の超過関数と新しい台形比較定理）の開発。
• 接錐が必ずしもユークリッド空間に等長でないような特異的空間へのバセマン関数およびペレルマン＝シャラフティディノフ再帰的写像の技法の一般化。

提案手法

• 特異的アレクサンドロフ空間における凸超曲面の凸性と外在的曲率を定量化するため、角の超過関数を導入する。
• 非負曲率空間における台形のための新しい比較定理を確立し、バセマン関数の凸性推定を得る。
• 特異的空間におけるバセマン関数に対して、ペレルマンのλ-凹性（バリア的意味での）を適用し、その幾何的挙動を解析する。
• ペレルマン＝シャラフティディノフの半フローを用いて、距離を非増加にする性質を活かして、空間からソールに類似する部分集合への再帰的写像を構成する。
• 準測地線に 沿った角の超過の進化を解析し、バセマン関数の等高線境界が一般化された意味で厳密に凸であることを示す。
• 再帰的写像プロセスを繰り返し適用し、ソールに類似する集合の次元を段階的に低下させ、最大nステップで点に収縮させることで、収縮性を証明する。

実験結果

リサーチクエスチョン

• RQ1 ペレルマンのソール定理は、滑らかな多様体でない特異的アレクサンドロフ空間へ拡張可能か？
• RQ2 完全で非コンパクトなアレクサンドロフ空間が非負曲率をもち、どのような条件下で収縮可能になるか？
• RQ3 接錐がR^nに等長でない特異的空間において、凸性と曲率はどのように測定可能か？
• RQ4 バセマン関数は、特異的で非負曲率をもつ空間の位相的性質を特徴づける上で果たす役割は何か？
• RQ5 再帰的写像と角の超過関数を用いて、特異的空間における一般化されたソール理論を構築可能か？

主な発見

• 非空の開部分集合で正曲率をとる完全で非コンパクトかつ有限次元のアレクサンドロフ空間（非負曲率）は収縮可能である。
• バセマン関数 $ h(x) = \lim_{t \to \infty} [d(x, \partial B_t(x_0)) - t] $ は、$ 1 - e^{-h} $ が一意の最大値をもつ厳密に凹関数を生成し、点への再帰的写像を可能にする。
• 角の超過関数 $ \theta_{p,\vec{u}}^\Omega(r) $ は、特異的空間における超曲面の凸性と外在的曲率を測る指標であり、$ \theta_{\hat{x},\vec{u}}^\Omega(r) \geq ar > 0 $ （$ r $ が小さいとき、ある $ a > 0 $ に対して）が成り立つ。
• 非負曲率空間における新しい台形比較定理は、空間の収縮性を証明するために不可欠な凸性推定をもたらす。
• ペレルマン＝シャラフティディノフ再帰的写像プロセスは、繰り返し適用可能であり、最大 $ n $ ステップでソールに類似する集合の次元を点にまで低下させ、収縮を示す。
• この結果は、チェーバー＝グロモフのソール予想を特異的空間へ一般化し、空間が滑らかな多様体でなくても、ある開集合で正曲率をとるならば収縮可能であることを示している。