[論文レビュー] Smooth metric measure spaces with non-negative curvature

Ovidiu Munteanu, Jiaping Wang|arXiv (Cornell University)|Mar 3, 2011

Geometric Analysis and Curvature Flows参考文献 13被引用数 19

ひとこと要約

本稿では、非負の Bakry-Émery リッチ曲率をもつ滑らかな計量測度空間上で、正の f-調和関数に対する鋭い勾配推定とスペクトル評価を確立する。ポテンシャル関数 f に対して最良の部分線形成長が成り立つとき、強い Liouville 性質を証明し、f-ラプラシアンの下部スペクトルに対する鋭い上界を導出し、等号が成り立つと、非連結である場合を除き多様体が円筒に等長であることを示す。これにより、定常リッチソリトンは無限遠で連結でなければならないか、またはリッチ平坦な円筒に等長であることが示される。

ABSTRACT

We study both function theoretic and spectral properties on complete noncompact smooth metric measure space $(M,g,e^{-f}dv)$ with nonnegative Bakry-Émery Ricci curvature. Among other things, we derive a gradient estimate for positive $f$-harmonic functions and obtain as a consequence the strong Liouville property under the optimal sublinear growth assumption on $f.$ We also establish a sharp upper bound of the bottom spectrum of the $f$-Laplacian in terms of the linear growth rate of $f.$ Moreover, we show that if equality holds and $M$ is not connected at infinity, then $M$ must be a cylinder. As an application, we conclude steady Ricci solitons must be connected at infinity.

研究の動機と目的

• 非負の Bakry-Émery リッチ曲率をもつ完備非コンパクトな滑らかな計量測度空間の関数論的およびスペクトル的性質を調査すること。
• f の最良の部分線形成長のもとで、正の f-調和関数に対する勾配推定を確立すること。
• f の線形成長率を用いて、f-ラプラシアンの下部スペクトルに対する鋭い上界を導出すること。
• スペクトル評価における等号が成り立つ場合の剛性を、特に無限遠における幾何構造と関連づけて特徴づけること。
• 得られた結果を応用して、定常勾配リッチソリトンを分類し、それが無限遠で連結でなければならないか、またはリッチ平坦な円筒に等長であることを証明すること。

提案手法

• f-ラプラシアンのボッハーナーの公式を用い、f-調和関数の解析において、曲率、ヘッセ形式、ラプラシアンの項を関連付ける。
• テスト関数として Busemann 関数 β 及びその指数関数的変換 e^{aβ/2} を用い、下部スペクトルの推定を行う。
• B_p(2R) に台を持つ切り上げ関数 φ を用い、|∇φ| ≤ C/R を満たすことで、下部スペクトルの変分的特徴づけにおける誤差項を制御する。
• Busemann 関数の部分集合における積分とストークスの定理を用い、f における線形成長仮定のもとで体積成長の推定を導出する。
• 下部スペクトル λ₁(M) の変分的特徴づけを適用し、スペクトル評価における等号がヘッセ形式 ∇²β の消滅を意味することを示す。
• Busemann 関数におけるボッハーナーの公式を用い、β_ij = 0 を得ることにより、多様体 M が M = ℝ × N の計量的積構造をもつことを導く。

実験結果

リサーチクエスチョン

• RQ1 リッチ曲率 f が非負で、f が線形成長を示す滑らかな計量測度空間上における正の f-調和関数の鋭い勾配推定は何か？
• RQ2 f の線形成長率 a を用いて、f-ラプラシアンの下部スペクトルに対する鋭い上界は何か？
• RQ3 スペクトル評価における等号が、多様体が円筒に分解することを意味する幾何的条件は何か？
• RQ4 スペクトル評価における等号の剛性結果を、定常勾配リッチソリトンの分類に応用できるか？
• RQ5 定常勾配リッチソリトンは、無限遠で連結でなければならないか、それとも必然的に円筒に等長であるか？

主な発見

• 鋭い勾配推定が確立された：任意の正の f-調和関数 u に対して |∇log u| ≤ C(n)a が成り立ち、C(n) は次元 n のみに依存する。
• f が部分線形成長を示すならば、任意の正の f-調和関数は定数でなければならない。これは最良の成長条件のもとでの強い Liouville 性質の証明である。
• f-ラプラシアンの下部スペクトル λ₁(M) は λ₁(M) ≤ (1/4)a² を満たし、等号が成り立つのは M がコンパクト多様体 N に対して ℝ × N に等長である場合に限る。
• スペクトル評価における等号が成り立ち、M が無限遠で連結でない場合、M はコンパクト多様体 N に対して ℝ × N に等長でなければならない。
• 定常リッチソリトンにおいて、M が1つより多くの端を持つならば、M はコンパクトなリッチ平坦多様体 N に対して ℝ × N に等長でなければならない。
• ゆえに、定常リッチソリトンは無限遠で連結でなければならないか、またはリッチ平坦な円筒に等長である。これはリッチソリトン幾何における剛性問題を解決する。