[論文レビュー] Geometric and spectral estimates based on spectral Ricci curvature assumptions

Gilles Carron, Christian Rose|arXiv (Cornell University)|Aug 21, 2018

Geometric Analysis and Curvature Flows参考文献 17被引用数 2

ひとこと要約

本稿は、スペクトル的リッチ曲率に関する仮定の下で、閉リーマン多様体に対する幾何的およびスペクトル的推定を確立し、シュレーディンガー作用素の条件を介して一般化されたボンネット＝マイヤース定理を証明するとともに、リッチ曲率のKato型条件から等周不等式を導出する。主な貢献は、$\epsilon < 1/(n-2)$ に対して $\epsilon\Delta + \rho$ の正定値性という条件の下で、有限な基本群が得られることであり、これは、摂動に対して改善された安定性を示す古典的な曲率推定の拡張である。

ABSTRACT

We obtain a Bonnet-Myers theorem under a spectral condition: a closed Riemannian manifold $(M^n,g)$ for which the lowest eigenvalue of the Ricci tensor $ ho$ is such that the Schr\"odinger operator $(n-2)\Delta + ho$ is positive has finite fundamental group. As a continuation of our earlier results, we obtain isoperimetric inequalities from a Kato condition on the Ricci curvature. Furthermore, we obtain the Kato condition for the Ricci curvature under purely geometric assumptions.

研究の動機と目的

• 点での下界による下界よりも弱いスペクトル的リッチ曲率仮定の下でボンネット＝マイヤース定理を一般化すること。
• リッチ曲率の負部に関するKato型条件から等周不等式を導出すること。
• リッチ曲率のKato条件が、純粋な幾何的仮定から導かれる可能性を示すこと。
• 曲率の摂動に対する、多様体族に対する一様推定を確立すること。

提案手法

• Sobolev不等式を介して、シュレーディンガー作用素 $\epsilon\Delta + \rho - (n-1)k^2$ を用いて直径の上限を導出する。
• D. Bakry および M. Ledoux の結果を応用し、Sobolev不等式と直径推定の関係を確立する。
• 熱核推定およびダブリング性質を用いて、$\rho^-$ に関するKato型条件を導出する。
• 熱核上界および積分技法を用いて、Kato定数 $\kappa_{R^2}(\rho^-)$ を制御する。
• ホルダーの不等式を用いて、$\rho^-$ の $L^p$ ノルムとKato定数を関係付ける。
• Kato条件および [11] と [32] のスペクトル推定を組み合わせることで、等周不等式を確立する。

実験結果

リサーチクエスチョン

• RQ1 リッチ曲率が一様に下から有界でないが、シュレーディンガー作用素に関するスペクトル的条件を満たす多様体に対して、ボンネット＝マイヤース定理を拡張できるか？
• RQ2 $\epsilon\Delta + \rho$ の正定値性が基本群の有限性を示すために必要な $\epsilon$ の鋭い閾値は何か？
• RQ3 積分ピンチングではなく、$\rho^-$ に関するKato型条件から等周不等式を導出できるか？
• RQ4 どのような幾何的仮定の下で、$\rho^-$ のKato条件が導かれるか？
• RQ5 十分に小さい $\epsilon > 0$ に対して $\epsilon\Delta + \rho$ が正定値である場合、完備多様体が閉じていることを示せるか？

主な発見

• 任意の $\epsilon \in \left(0, \frac{1}{n-2}\right)$ に対して、$\epsilon\Delta + \rho$ のスペクトルの下端が正であれば、$M$ の基本群は有限である。
• $\epsilon\Delta + \rho - (n-1)k^2 \geq 0$ ならば、$C(n,\epsilon) \to 1$ が $\epsilon \to 0^+$ のとき成り立ち、$\text{diam}(M,g) \leq C(n,\epsilon)\frac{\pi}{k}$ が成り立つ。
• Kato定数 $\kappa_{R^2}(\rho^-)$ は $\lambda_n \sup_x \int_0^D r e^{-r^2/(7R^2)} \left( \int_{B(x,r)} \rho^- \right) dr$ で有界であり、これにより一様推定が得られる。
• $\sup_x \int_0^D r \left( \int_{B(x,r)} \rho^- \right) dr \leq \eta_n$ ならば、第一ベッチ数は $b_1(M) \leq n$ を満たす。
• $R = \theta(n,p) D / I(M,g)$ に対して、Kato条件 $\kappa_{R^2}(\rho^-) \leq \frac{1}{16n}$ が成り立ち、$\text{vol}(\Omega) \leq \frac{1}{2}\text{vol}(M)$ のとき、等周不等式 $1 \leq c_{1+\xi}^n D \text{vol}(M) I^n(M)$ が成立する。
• $\epsilon$ の閾値 $1/(n-2)$ が鋭いとはまだ分かっていないが、この結果は、点でのリッチ下界の代わりにスペクトル的条件が用いられる可能性を示唆している。