[論文レビュー] Laplacian comparison for Alexandrov spaces

Kazuhiro Kuwae, Takashi Shioya|ArXiv.org|Sep 6, 2007

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

ひとこと要約

本稿は、特異空間におけるリッチ曲率の下界を一般化するため、無限小 Bishop-Gromov体積比較条件 (BG(κ)) のもとで、アレクサンドロフ空間に対するラプラシアン比較定理を確立する。距離関数の分布的ラプラシアンが、モデル空間の曲率の正接関数を含む比較不等式を満たすことが示され、BG(0) を満たす空間に対して位相的スプリッティング定理が得られる。

ABSTRACT

We consider an infinitesimal version of the Bishop-Gromov relative volume comparison condition as generalized notion of Ricci curvature bounded below for Alexandrov spaces. We prove a Laplacian comparison theorem for Alexandrov spaces under the condition. As an application we prove a topological splitting theorem.

研究の動機と目的

• リーマン多様体からアレクサンドロフ空間へのラプラシアン比較定理の一般化。
• 無限小 Bishop-Gromov体積比較条件 (BG(κ)) を用いた、一般化されたリッチ曲率下界の定義。
• BG(κ) を満たすアレクサンドロフ空間に対して、チーリング＝グロモル型の位相的スプリッティング定理の確立。
• リーマン計量が局所的に BV である特異空間における分布的ラプラシアンを扱うための枠組みの構築。
• BG(0) のもとで、バウゼマン関数が下調和であることを示し、特異設定でも最大原理の利用を可能にする。

提案手法

• 特異空間におけるリッチ曲率の下界の代わりに、無限小体積比較条件として BG(κ) 条件を導入する。
• 計量が局所的に BV である正則部 $M^*$ 上で、距離関数の分布的ラプラシアン $\bar{\Delta} r_p$ を定義する。
• 写像 $\Phi_{p,t}$ による Hausdorff 測度のプッシュフォワードを用いて体積歪みを分析し、ラプラシアン比較を得る。
• BV 理論と分布的微積分を用いて、計量の滑らかでない性質およびカットリッジの滑らかでない性質に対処する。
• 近似として距離関数を用い、ドミネートド・コネルギー定理を適用することで、BG(0) のもとでバウゼマン関数 $b_\gamma$ が $\mathcal{E}$-下調和であることを証明する。
• 分布的下調和関数に対する最大原理を用いて、$b_+ + b_- \equiv 0$ を示し、双方向漸近線をもつ直線の存在と位相的スプリッティングを導く。

実験結果

リサーチクエスチョン

• RQ1 滑らかでないリーマン構造を持たないアレクサンドロフ空間において、ラプラシアン比較定理を確立できるか？
• RQ2 無限小 Bishop-Gromov 条件 BG(κ) が、距離関数の分布的ラプラシアンに対する比較不等式を導くか？
• RQ3 特異空間において、バウゼマン関数がいつ下調和関数となるか？
• RQ4 BG(0) を満たすアレクサンドロフ空間に対して、チーリング＝グロモル型のスプリッティング定理を証明できるか？
• RQ5 $\mathcal{E}$-下調和性条件が、特異幾何におけるバウゼマン関数の挙動を制御する役割を果たすか？

主な発見

• ラプラシアン比較定理が成立する：BG(κ) 条件のもとで、$M^* \setminus \{p\}$ 上で $d\bar{\Delta} r_p \geq -(n-1)\cot_\kappa \circ r_p \, d\mathcal{H}^n$ が成り立つ。
• 曲率 $\geq \kappa$ のアレクサンドロフ空間において、すべての $p \in M$ に対してラプラシアン比較不等式 (1.1) が成り立つ。
• BG(0) のもとで、バウゼマン関数 $b_\gamma$ は $\mathcal{E}$-下調和であり、特異設定でも最大原理の利用が可能になる。
• $b_+ + b_- \equiv 0$ ならば、$M$ は $b_+^{-1}(t) \times \mathbb{R}$ に位相的に同相であり、$M$ は与えられた直線 $\gamma$ に対して双方向漸近な直線の直積に分解可能である。
• バウゼマン関数 $b_+$ は $M \setminus S_M$ 上で $C^\infty$ かつ調和（$\Delta b_+ = 0$）であり、ヘッセ行列が消えるため、測地線に沿って線形である。
• 位相的スプリッティング定理（定理 1.3）は、$b_+ + b_-$ の消えおよび $\gamma_\pm$ に漸近する射線の一意性から導かれる。これにより、グローバルな積構造が得られる。