[論文レビュー] Stable weighted minimal surfaces in manifolds with nonnegative Bakry-Emery Ricci tensor

Gang Liu|arXiv (Cornell University)|Nov 15, 2012

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

ひとこと要約

本稿は、非負の Bakry-Emery リッチ曲率をもつリーマン多様体における安定な重み付き最小超曲面を調査し、幾何学的・位相的剛性結果を確立する。非負の Bakry-Emery リッチ曲率と有界なポテンシャル関数 $f$ をもつ完備な 3 次元多様体は、ある体積成長条件と曲率条件の下で、$Σ \times \mathbb{R}$ に局所等長的であることが示される。ここで $Σ$ は $Χ$ または $Σ^2$ に共形的である。

ABSTRACT

In this paper, we study stable weighted minimal hypersurfaces in manifolds with nonnegative Bakry-Emery Ricci curvature. We will give some geometric and topological applications. In particular, we give some partial classification of complete 3-manifolds with nonnegative Bakry-Emery Ricci curvature assuming that $f$ is bounded.

研究の動機と目的

• 非負の Bakry-Emery リッチ曲率をもつ完備多様体の幾何学および位相を、安定な重み付き最小超曲面を用いて分析すること。
• リーマン幾何学における最小超曲面理論の古典的結果を、滑らかな測度付き空間の重み付き設定に拡張すること。
• 重み関数 $f$ が有界であると仮定したもとで、非負の Bakry-Emery リッチ曲率をもつ完備な 3 次元多様体を分類すること。
• Bakry-Emery リッチ曲率の文脈において、既知の安定性および分割定理の妥当性を検討すること。

提案手法

• 滑らかな測度付き空間における $f$-最小超曲面における重み付き面積汎関数の第二変分公式を導出する。
• コンパクトな $f$-最小超曲面に安定性不等式を適用し、Heintze と Karcher の結果を一般化する。
• 全測地的超曲面上で $\Delta_f \lambda = 0$ を満たす関数を分析するために、重み付きラプラシアン $\Delta_f = \Delta - \langle \nabla f, \nabla \cdot \rangle$ を用いる。
• 超曲面 $\Sigma$ 上での計量の共形変換 $\tilde{g} = e^{-f}g$ を用い、$\mathrm{Ric}_f|_\Sigma \geq 0$ を新しい計量の非負リッチ曲率に関連付ける。
• 体積成長推定と Liouville 型定理を適用し、$\lambda$（法線測地線に 沿う指数写像のヤコビアン）が定数でなければならないことを示す。
• 非負の Bakry-Emery リッチ曲率と有界な $f$ をもつ多様体の分割定理を、共形幾何学と組み合わせて用い、$\Sigma$ の位相を分類する。

実験結果

リサーチクエスチョン

• RQ1 $f$ が有界であるとき、非負リッチ曲率に対する古典的分割定理は Bakry-Emery の設定に拡張可能か？
• RQ2 非負の Bakry-Emery リッチ曲率が、完備な 3 次元多様体に課す位相的制限は何か？
• RQ3 非負の Bakry-Emery リッチ曲率のもとで、重み付き最小超曲面の安定性は積構造を意味するか？
• RQ4 $Σ$ 上に非自明な有界調和関数が存在すると、与えられた曲率および有界性仮定のもとで矛盾が生じるか？
• RQ5 リーマン幾何学における最小超曲面理論の結果は、滑らかな測度付き空間における重み付き最小超曲面へどの程度一般化可能か？

主な発見

• $M$ が非負の Bakry-Emery リッチ曲率をもち、$f$ が有界である完備な 3 次元多様体であれば、$M$ は $Σ \times \mathbb{R}$ に局所等長的であり、ここで $Σ$ は完全な曲面である。
• 共形変換による計量変更と新しい計量の非負リッチ曲率を用いて、曲面 $Σ$ が $Χ$ または $Σ^2$ に共形的であることが示される。
• $Σ$ の重み付き体積成長は高々二次的であり、非自明な有界調和関数が存在しないことから、$Σ$ が Poincaré 円板に共形的であることは不可能である。
• 重み付き体積成長が二次的であり、かつ $\Delta_f \lambda = 0$ であれば、$λ$（法線指数写像のヤコビアン）は定数である。
• $f$ の有界性がなければ、結果は成り立たない。$f(t) = t^2$, $g(t) = e^t$ であるワーパード積の反例により、$\mathrm{Ric}_f > 0$ ではあるが、$M$ は積でも可縮でもないことが示される。
• 与えられた曲率および有界性条件のもとで、$M$ の普遍被覆は、コンパクトであれば $\mathbb{S}^3$ であり、非コンパクトであれば $\Sigma \times \mathbb{R}$ に分割する。