[論文レビュー] Weighted Poincaré inequality and rigidity of complete manifolds

Peter Li, Jiaping Wang|ArXiv.org|Jan 24, 2007

Geometric Analysis and Curvature Flows参考文献 18被引用数 7

ひとこと要約

本稿は、非負の重み関数 $\rho$ を用いた重み付き Poincaré 不等式を満たす完備 Riemann 多様体について、リッチ曲率が $\rho$ に比例する下界を持つ場合の剛性定理を確立する。$\rho$ に関する成長条件が $\rho$-距離に関して満たされるとき、このような多様体はワーペッド積または特定の幾何的構造に微分同相である必要があることが示され、$\rho \to 0$ が無限遠で成り立つ場合、$\rho$ が定数でなく、計量が双曲的類似でない限り、ワーペッド積構造を有することはできないことが示される。

ABSTRACT

We prove structure theorems for complete manifolds satisfying both the Ricci curvature lower bound and the weighted Poincaré inequality. In the process, a sharp decay estimate for the minimal positive Green's function is obtained. This estimate only depends on the weight function of the Poincaré inequality, and yields a criterion of parabolicity of connected components at infinity in terms of the weight function.

研究の動機と目的

• 変数重み $\rho(x)$ を用いた重み付き Poincaré 不等式によるスペクトルギャップ条件 $\lambda_1(M) > 0$ の一般化。
• 重み付き Poincaré 不等式から導かれる崩壊推定を用いて、非抛物的および抛物的端を特徴づける。
• $\rho(x)$ に比例するリッチ曲率の下界の下で、特に次元 $n \geq 4$ の場合の計量的剛性を確立する。
• 与えられた曲率および重み条件の下で、ワーペッド積構造が存在できるか否かを特定する。
• $\rho(x) \to 0$ が無限遠で成り立つ場合、曲率および可積分性制約の下で、ワーペッド積計量が存在しないことを証明する。

提案手法

• $\rho$-距離 $ds^2_\rho = \rho \, ds^2_M$ を用いて $M$ の幾何的およびスペクトル的性質を分析する。
• 重み付き Poincaré 不等式と一般化された Bochner 公式を用いて、調和関数の崩壊推定を導出する。
• $\rho^{-1/4}$ の成長を制御し、放射上での $\rho$ の下界を導出するために最大原理を適用する。
• 調和関数 $f$ に対して $g = |\nabla f|^{1/2}$ のラプラシアンを計算し、リッチ曲率と $\rho$ を含む下界を導出する。
• ワーペッド積計量 $ds^2_M = dt^2 + \eta^2(t)\,ds^2_N$ を用いて、積型幾何における曲率および $\rho$-挙動を分析する。
• ワーペッド積設定におけるリッチ曲率成分を比較し、$\eta(t)$ および $\rho$ に関する制約を導出し、剛性結論に至る。

実験結果

リサーチクエスチョン

• RQ1 重み付き Poincaré 不等式 $\int_M \rho \phi^2 \, dV \leq \int_M |\nabla \phi|^2 \, dV$ を満たす完備多様体がワーペッド積構造をもつための $\rho$ に関する条件は何か？
• RQ2 $\rho(x) \to 0$ が $x \to \infty$ のとき成り立ち、リッチ曲率の下界が $\rho$ に比例する場合、どのような幾何的制約が生じるか？
• RQ3 $\rho$-距離は、完備多様体の端の抛物的または非抛物的性質にどのように影響するか？
• RQ4 一般化された Bochner 公式の等号成立時は、$\rho$ が定数で $\eta(t)$ が指数関数的であることを示唆する条件は何か？
• RQ5 $\text{Ric}_M \geq -\frac{n-1}{n-2}\rho$ を満たす多様体がワーペッド積に微分同相であるための $\rho$ の成長条件は何か？

主な発見

• もし $\liminf_{R \to \infty} S(R) \exp\left(-\frac{n-3}{n-2} R\right) = 0$ であるなら、ここで $S(R)$ は半径 $R$ の $\rho$-球上で $\sqrt{\rho}$ の上限を表すものとするが、その場合多様体はワーペッド積に微分同相であるか、非抛物的端を持つ必要がある。
• $n \geq 4$ の場合、もし $\rho(x) \to 0$ が無限遠で成り立ち、$\text{Ric}_M \geq -\frac{4}{n-1}\rho$ ならば、$\rho$ が定数でない限り、多様体はワーペッド積構造を有することはできない。
• $\rho$ が定数であり、$\text{Ric}_M \geq -\frac{4}{n-1}\rho$ ならば、$\eta(t)$ は指数関数的でなければならない：$\eta(t) = \exp(\pm at + t_0)$。
• $n=3$ の場合、条件 $\liminf_{R \to \infty} S(R) R^{-1} = 0$ は同様の剛性を示す：非抛物的端が存在するか、$\rho$ が定数で $\eta(t)$ が指数関数的である。
• 証明は、$\rho^{-1/4}(r)$ が $r_i \to \infty$ となる列において正の定数で下から有界であることを示しており、$\rho$ が定数でなければ、$\rho$ が速く減衰することはできないことを示している。
• 一般化された Bochner 公式の等号成立時は、$\eta(t)$ が $\log \eta$ に関して線形でなければならないため、$\eta(t)$ は指数関数的であり、$\rho$ は定数でなければならない。