[論文レビュー] On a new definition of Ricci curvature on Alexandrov spaces

Hui-Chun Zhang, Xi-Ping Zhu|arXiv (Cornell University)|Jul 23, 2010

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

ひとこと要約

本稿では、特異空間へのリーマン幾何の結果を拡張するため、アレクサンドロフ空間におけるリッチ曲率下界の新しい定義を導入する。主な結果として、Bishop-Gromov体積比較の剛性定理と、この曲率条件の下での熱核のリーマン連続性を示す。これらの結果は、曲率が下から有界な測度付き距離空間におけるスペクトル理論および調和解析の手法を用いて得られる。

ABSTRACT

Recently, in [49], a new definition for lower Ricci curvature bounds on Alexandrov spaces was introduced by the authors. In this article, we extend our research to summarize the geometric and analytic results under this Ricci condition. In particular, two new results, the rigidity result of Bishop-Gromov volume comparison and Lipschitz continuity of heat kernel, are obtained.

研究の動機と目的

• 滑らかなリーマン多様体上で古典的定義に還元される、アレクサンドロフ空間における下からのリッチ曲率下界の概念を定義すること。
• この新しい曲率条件の下で、体積比較や熱核の正則性といった、基本的な幾何学的・解析的結果を拡張すること。
• リッチ曲率が下から有界なアレクサンドロフ空間におけるBishop-Gromov体積比較定理の剛性結果を確立すること。
• この新しいリッチ曲率条件の下で、コンパクト部分集合上でアレクサンドロフ空間の熱核のリーマン連続性を証明すること。

提案手法

• アレクサンドロフ空間における下からのリッチ曲率下界の新しい定義を提示する。これは曲率次元条件 $CD(n,k)$ および測度収縮性質 $MCP(n,k)$ と整合する。
• 幾何解析の基礎的道具として、ラプラシアン比較およびBishop-Gromov体積比較定理を用いる。
• アレクサンドロフ空間におけるラプラシアンのスペクトル理論を適用し、固有関数の勾配推定および固有関数の $L^∞$ 界を含む。
• 調和関数の推定およびペトルニンの勾配境界を用いて、固有関数の内部推定を導出する。
• 固有関数の勾配境界と、スペクトル分解による熱核表現を組み合わせ、熱核の $y$-勾配を制御する。
• 指数的減衰および多項式的減衰率を有する固有値の和の推定を用いて、熱核勾配の $L^\infty$ ノルムを制御する。

実験結果

リサーチクエスチョン

• RQ1 アレクサンドロフ空間における新しいリッチ曲率定義は、Bishop-Gromov体積比較定理の剛性版を示すか？
• RQ2 リッチ曲率が下から有界なアレクサンドロフ空間における熱核は、空間変数に関してリーマン連続か？
• RQ3 新しいリッチ曲率条件の下で、固有関数の鋭い勾配推定を導出できるか？
• RQ4 曲率が下から有界なアレクサンドロフ空間におけるラプラシアンのスペクトル的および幾何的性質は、どのように振る舞うか？
• RQ5 曲率および体積の制約の下で、コンパクト部分集合上で熱核のリーマン連続性を一様に確立できるか？

主な発見

• Bishop-Gromov体積比較の剛性結果が確立された：新しいリッチ曲率条件の下で、体積比較の等号成立は等長的スプリットを意味する。
• 次元 $n$ のアレクサンドロフ空間で曲率 $\geqslant \kappa$ を満たすコンパクト部分集合 $K \subset \Omega$ 上で、熱核 $p(t,x,y)$ の $y$-勾配の $L^\infty$ ノルムが $[\rho^2, \infty) \times K \times K$ 上で一様に有界であることが示された。
• 明示的な上界 $|\nabla_y p(t,x,y)|_{L^\infty} \leqslant c(n,\kappa,D,v,\rho)$ が得られ、これは次元、曲率下界、直径、体積、境界からの距離にのみ依存する。
• 固有関数の勾配推定が得られた：$|\nabla f|_{L^\infty(K)} \leqslant L \cdot \sqrt{\frac{2\lambda+1}{2\sqrt{\lambda}}} \cdot e^{\sqrt{\lambda} \cdot \rho}$ であり、$L$ は $n,\kappa,D,v,\rho$ に依存する。
• 固有関数の点ごとの界が得られた：コンパクト $K$ で $\text{vol}(K) \geqslant v$ を満たすとき、$|f(x)| \leqslant v^{-1/2} + DL \cdot \sqrt{\frac{2\lambda+1}{2\sqrt{\lambda}}} \cdot e^{\sqrt{\lambda} \cdot \rho}$ が成り立つ。
• 証明は、熱核のスペクトル分解および固有値の指数的減衰と多項式的減衰率を有するスペクトル尾の和の推定に依拠している。