[論文レビュー] A topological splitting theorem for weighted Alexandrov spaces

Kazuhiro Kuwae, Takashi Shioya|arXiv (Cornell University)|Mar 30, 2009

Geometric Analysis and Curvature Flows参考文献 29被引用数 5

ひとこと要約

本稿は、無限小 Bishop-Gromov 体積比較条件 BG(κ,N) を満たす重み付きアレクサンドロフ空間に対して、トポロジカルな分割定理を確立する。直線が存在する場合、空間は $ M' \times \mathbb{R} $ に位相的に同相であることを示す。主な貢献は、測度論的リッチ曲率下界を用いて、特異空間へのチエーバー＝グロモル分割定理の拡張を達成したことである。リーマン多様体における非負のバクリ＝エメリー・リッチ曲率を持つ場合、追加の正則性条件下で等長分割が得られる。

ABSTRACT

Under an infinitesimal version of the Bishop-Gromov relative volume comparison condition for a measure on an Alexandrov space, we prove a topological splitting theorem of Cheeger-Gromoll type. As a corollary, we prove an isometric splitting theorem for Riemannian manifolds with singularities of nonnegative (Bakry-Emery) Ricci curvature.

研究の動機と目的

• 測度が無限小 Bishop-Gromov 体積比較条件を満たすアレクサンドロフ空間に対して、トポロジカルな分割定理を確立すること。
• リッチ曲率が古典的に定義されない特異空間に対し、チエーバー＝グロモル分割定理を一般化すること。
• 適切な測度条件の下で、非負のバクリ＝エメリー・リッチ曲率を持つリーマン多様体に対して等長分割を証明すること。
• 非滑らかメトリック測度空間における測度収縮性と幾何的剛性のギャップを埋めること。
• 既知のリッチ曲率下界に関する結果を、特異性を持つ重み付き空間に、弱い形のワイツェンボック公式を用いて拡張すること。

提案手法

• 特異空間における下界リッチ曲率の代わりに、無限小 Bishop-Gromov 条件 BG(κ,N) を導入する。
• 空間 $ M $ の部分集合 $ W_{p,t} \subset M $ 上で、径方向拡張写像 $ \Phi_{p,t} $ を定義し、測度論的体積成長の比較を可能にする。
• 相対的にコンパクトな部分集合上で BG(0,N) 条件を用いて、バウゼマン関数 $ b_\pm $ の下調和性を導出し、$ \mu $-調和性に至らしめる。
• バクリ＝エメリー・リッチ曲率 $ \operatorname{Ric}_{N,\mu} $ に対する一般化されたワイツェンボック公式を適用し、正則部分上での $ \operatorname{Hess}b_+ = 0 $ および $ \langle \nabla V, \nabla b_+ \rangle = 0 $ を得る。
• バウゼマン関数 $ b_+ $ の正則性と測地線に沿った線形性を活用し、測度付き Gromov-Hausdorff 収束における近似と安定性を用いて、トポロジカルな分割を結論づける。
• $ N = \infty $ の場合、ラプラシアン比較と $ \operatorname{Ric}_{\infty,\mu} \geq 0 $ 条件を用い、$ \operatorname{Hess}b_+ = 0 $ および $ \partial_t^2 V = 0 $ を証明し、$ V $ が直線に沿って定数であることを示す。

実験結果

リサーチクエスチョン

• RQ1 重み付きアレクサンドロフ空間において、測度論的条件下で直線の存在がトポロジカルな分割を引き起こすのはどのような条件か？
• RQ2 リッチ曲率が古典的に定義されない特異空間に対し、チエーバー＝グロモル分割定理を拡張することは可能か？
• RQ3 測度に BG(0,N) 条件が成り立つ場合、非負のバクリ＝エメリー・リッチ曲率を持つリーマン多様体に対して等長分割が成立するか？
• RQ4 一般化されたワイツェンボック公式 $ \operatorname{Ric}_{N,\mu} $ は、非滑らか設定における分割定理の証明をどのように支援するか？
• RQ5 無限次元の場合 $ N = \infty $ において、ポテンシャル関数 $ V $ は等長分割を保証するために果たす役割は何か？

主な発見

• 完備なアレクサンドロフ空間 $ M $ が、各相対的にコンパクトな部分集合 $ \Omega $ で BG(0,N_Ω) を満たす測度 $ \mu $ を持つ場合、直線が存在するならば $ M $ はあるメトリック空間 $ M' $ と $ \mathbb{R} $ の直積 $ M' \times \mathbb{R} $ に位相的に同相である。
• 次元 $ n $ のリーマン多様体で、$ \mu $ がリーマン体積測度であり、$ \operatorname{Ric}_{N,\mu} \geq 0 $ である場合、条件 $ \operatorname{Ric} \geq (N-1)\kappa $ の下で $ N < \infty $ のとき、空間は $ M' \times \mathbb{R} $ に等長に分割される。
• バウゼマン関数 $ b_+ $ および $ b_- $ は正則部分 $ M \setminus S_M $ 上で $ \mu $-調和であり、そのヘッセ形式が消えるため、測地線に沿って線形である。
• 等長分割において、各直線 $ \{x\} \times \mathbb{R} $ に沿ってポテンシャル関数 $ V $ は定数である。これは $ \partial_t^2 V = 0 $ および $ V $ の有界性から生じる。
• $ N = \infty $ の場合、$ \Omega \setminus (S_M \cup \text{Cut}_p \cup \{p\}) $ 上でラプラシアン比較 $ \Delta_\mu r_p \geq -\frac{N_\Omega - 1}{r_p} $ が BG(0,N_Ω) を導き、トポロジカルな分割を可能にする。
• 一般化されたワイツェンボック公式により、$ \operatorname{Ric}_{\infty,\mu} \geq 0 $ の下で $ \operatorname{Hess}b_+ = 0 $ および $ \operatorname{Ric}_{\infty,\mu}(\nabla b_+, \nabla b_+) = 0 $ が得られ、無限次元の場合の等長分割が確認される。