[論文レビュー] Eigenvalue estimate and compactness for closed $f$-minimal surfaces

Xu Cheng, Tito Mejia+1 more|arXiv (Cornell University)|Oct 31, 2012

Geometric Analysis and Curvature Flows参考文献 12被引用数 10

ひとこと要約

本稿では、有界な境界を持つ完備な3次元多様体において、正の定数で下から有界なBakry-Émeryリッチ曲率をもつ閉埋め込み $f$-最小超曲面における重み付きラプラシアンの第一固有値の下界を確立する。この固有値推定を用いて、 genus と直径の均一な有界性のもとで、このような超曲面の空間に対するコンパクトネス定理を示し、従来の結果をコンパクトでない環境多様体にまで拡張する。

ABSTRACT

Let $Ω$ be a bounded domain with convex boundary in a complete noncompact Riemannian manifold with Bakry-Émery Ricci curvature bounded below by a positive constant. We prove a lower bound of the first eigenvalue of the weighted Laplacian for closed embedded $f$-minimal hypersurfaces contained in $Ω$. Using this estimate, we prove a compactness theorem for the space of closed embedded $f$-minimal surfaces with the uniform upper bounds of genus and diameter in a complete $3$-manifold with Bakry-Émery Ricci curvature bounded below by a positive constant and admitting an exhaustion by bounded domains with convex boundary.

研究の動機と目的

• 完備なリーマン多様体において、凸境界をもつ閉 $f$-最小超曲面における重み付きラプラシアンの第一固有値の下界を確立すること。
• 環境多様体がコンパクトでない場合でも、周囲の単連結性やコンパクト性の仮定を不要にすることで、$f$-最小超曲面のコンパクトネス理論を拡張すること。
• 従来の最小超曲面に対する固有値推定を、非コンパクト多様体における $f$-最小超曲面の重み付き設定に一般化すること。
• 有界な genus と直径をもつ閉埋め込み $f$-最小超曲面の空間が、曲率および幾何的制約のもとで $C^m$位相において precompact であることを証明すること。

提案手法

• 重み付き設定におけるボヘナー公式を用いて、閉 $f$-最小超曲面における重み付きラプラシアン $\Delta_f = \Delta - \langle \nabla f, \nabla \cdot \rangle$ の下位固有値推定を導出する。
• 測度 $e^{-f}d\mu$ を用いたボヘナー公式を、境界が凸である有界領域 $\Omega$ 上で積分し、曲率、第二基本形式、固有値の有界性を関連付ける。
• 境界 $\partial\Omega$ の凸性と $f$-最小性条件 $H = \langle \overline{\nabla}f, \nu \rangle$ を用いて、積分恒等式における境界項を制御する。
• 環境領域の外在的直径との比較を用いて、$f$-最小超曲面の列に対する一様な直径有界性を確立する。
• 被覆議論と $C^m$ 収束理論を適用し、収束する部分列を抽出し、$f$-最小超曲面の空間における precompactness を証明する。
• ${\overline{\textrm{Ric}}}_f \geq k > 0$ であると、環境多様体が非コンパクトである（例えばガウスソリトン）ことを示唆するため、非コンパクトな設定への拡張が可能である。

実験結果

リサーチクエスチョン

• RQ1 非コンパクト多様体において $\overline{\textrm{Ric}}_f \geq k > 0$ を満たす閉 $f$-最小超曲面に対して、重み付きラプラシアンの第一固有値の下界を確立できるか？
• RQ2 有界な genus と直径をもつ閉埋め込み $f$-最小超曲面の空間は、$\overline{\textrm{Ric}}_f \geq k > 0$ のもとで $C^m$ 位相において precompact に保たれるか？
• RQ3 従来の研究で用いられた仮定を除去することで、単連結でないか非コンパクトな環境多様体に対しても、コンパクトネス結果を拡張できるか？
• RQ4 有界領域の境界の凸性が、$f$-最小超曲面の幾何を制御するために果たす役割は何か？
• RQ5 環境多様体が非コンパクトであるが正のBakry-Émeryリッチ曲率をもつとき、重み付きラプラシアン $\Delta_f$ は $f$-最小超曲面上でどのように振る舞うか？

主な発見

• 閉 $f$-最小超曲面における重み付きラプラシアンの第一固有値 $\lambda_1(\Delta_f)$ の下界が確立され、Bakry-Émeryリッチ曲率の下限に依存する。
• 有界領域 $\Omega$ において境界が凸である完備多様体で $\overline{\textrm{Ric}}_f \geq k > 0$ を満たす場合、すべての閉埋め込み $f$-最小超曲面に対して、第一固有値推定が一様に成り立つ。
• 有界な genus と直径をもつ閉埋め込み $f$-最小超曲面の空間は、$\overline{\textrm{Ric}}_f \geq k > 0$ で、境界が凸である領域によるエクhaustion をもつ完備な3次元多様体において、$C^m$ 位相（$m \geq 2$）で precompact である。
• コンパクトネス結果は、環境多様体が単連結であるかコンパクトである必要がなく、Choi-Wang, Choi-Schoen, Du-Ma, および Li-Wei らの先行結果を一般化する。
• 証明は、固有値推定と、環境空間の幾何と $f$-最小性条件から導かれる一様な直径有界性に依存する。
• ボヘナー公式における境界項は、$\partial\Omega$ の凸性と $f$-最小性条件によって制御され、これが主要な積分恒等式の導出を可能にする。