[論文レビュー] Stability and compactness for complete $f$-minimal surfaces

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

Geometric Analysis and Curvature Flows参考文献 6被引用数 8

ひとこと要約

本稿は、正の Bakry-Émery リッチ曲率をもつ完備な計量測度空間において、有限な重み付き体積をもつ $L_f$-安定な $f$-最小超曲面が存在しないことを確立する。さらに、 genus と重み付き面積に一様な有界性がある場合に、3次元多様体内の完全埋め込み $f$-最小曲面に対して滑らかなコンパクトネス定理を証明し、$\mathbb{R}^3$ 内の自己収縮子に関する Colding-Minicozzi のコンパクトネス結果を一般化する。これらの結果は、$L_f$-作用素のスペクトル解析と、重み付き最小曲面の設定への共形変換に依存している。

ABSTRACT

Let $(M,\bar{g}, e^{-f}dμ)$ be a complete metric measure space with Bakry-Émery Ricci curvature bounded below by a positive constant. We prove that, in $M$, there is no complete two-sided $L_f$-stable immersed $f$-minimal hypersurface with finite weighted volume. Further, if $M$ is a 3-manifold, we prove a smooth compactness theorem for the space of complete embedded $f$-minimal surfaces in $M$ with the uniform upper bounds of genus and weighted volume, which generalizes the compactness theorem for complete self-shrinkers in $\mathbb{R}^3$ by Colding-Minicozzi.

研究の動機と目的

• 正の Bakry-Émery リッチ曲率をもつ完備な計量測度空間において、有限な重み付き体積をもつ完全な二面的 $L_f$-安定な $f$-最小超曲面が存在しないことを確立すること。
• Colding-Minicozzi の自己収縮子に関する $\mathbb{R}^3$ 内のコンパクトネス定理を、3次元多様体内の $f$-最小曲面の設定に一般化すること。
• $L_f$-作用素の固有値の数（$L_f$-指数）が、計量 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ における共形変換後の曲面の指数と等しいことを証明し、$L_f$-安定性とその共形変換における安定性を結びつけること。
• $L_f$-安定性が Bakry-Émery リッチ曲率を通じて、周囲空間の幾何学的性質と関連づけられることを明らかにし、$f$-最小超曲面の安定性の理解を拡張すること。

提案手法

• 重み付き体積関数 $V_f(\Sigma) = \int_\Sigma e^{-f} d\sigma$ の第二変分を解析し、$L_f$-安定性作用素 $L_f = \Delta_f + |A|^2 + \overline{\textrm{Ric}}_f(\nu,\nu)$ を定義する。
• 共形変換 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ を用いて、$f$-最小超曲面を新しい計量 $\tilde{g}$ における最小曲面に関連づけ、安定性の性質を移す。
• $\varSigma$ の $L_f$-指数が、計量 $\tilde{g}$ における $\varSigma$ の指数と等しいことを証明し、$L_f$-安定性が $\tilde{g}$ における安定性と同値であることを示す。
• 正の $\overline{\textrm{Ric}}_f$ の下で、有限な重み付き体積の $L_f$-安定な $f$-最小超曲面が存在すると仮定し、$L_f$-作用素に対するスペクトル理論と Lichnerowicz 型推定を用いて矛盾を導く。
• genus と重み付き面積に一様な有界性を用いて曲率とトポロジーを制御し、Arzelà-Ascoli 型の議論を $C^m$ 収束に適用することでコンパクトネスを実現する。
• 重み付き体積の制御によりスケール不変な面積の有界性を確立し、Colding-Minicozzi の自己収縮子に関する研究と同様のコンパクトネス技法の適用を可能にする。

実験結果

リサーチクエスチョン

• RQ1 正の Bakry-Émery リッチ曲率 $\overline{\textrm{Ric}}_f \geq k > 0$ をもつ完備な計量測度空間において、有限な重み付き体積をもつ完全な二面的 $L_f$-安定な $f$-最小超曲面が存在するか？
• RQ2 Colding-Minicozzi の自己収縮子に関する $\mathbb{R}^3$ 内のコンパクトネス定理は、正の Bakry-Émery リッチ曲率をもつ3次元多様体内の $f$-最小曲面に一般化可能か？
• RQ3 $L_f$-安定性と計量 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ における共形変換後の曲面の安定性との関係は何か？
• RQ4 genus と重み付き面積に一様な有界性が、3次元多様体内の $f$-最小曲面の幾何学とトポロジーをどのように制御するか？
• RQ5 $L_f$-指数は、計量の共形変換 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ に対して不変か？

主な発見

• 任意の次元において、正の Bakry-Émery リッチ曲率 $\overline{\textrm{Ric}}_f \geq k > 0$ をもつ完備な計量測度空間において、有限な重み付き体積をもつ完全な二面的 $L_f$-安定な $f$-最小超曲面は存在しない。
• $f$-最小超曲面 $\varSigma$ の $L_f$-指数は、計量 $\tilde{g} = e^{-\frac{2f}{n}}\overline{g}$ における $\varSigma$ の最小曲面としての指数と等しく、したがって $L_f$-安定性は $\tilde{g}$ における安定性と同値である。
• 正の Bakry-Émery リッチ曲率 $\overline{\textrm{Ric}}_f \geq k > 0$ をもつ3次元多様体内において、genus $g$ と重み付き面積 $V$ が有界な完全埋め込み $f$-最小曲面の空間は、任意の $m \geq 2$ に対して $C^m$ 位相においてコンパクトである。
• このような曲面の任意の列は、コンパクト集合上で $C^m$ 収束する、同じクラスに属する極限曲面に部分列として収束する。
• このコンパクトネス結果は、Colding-Minicozzi の $\mathbb{R}^3$ 内の自己収縮子に関する定理を一般化する。自己収縮子はガウス収縮ソリトン内の $f$-最小曲面であるため。
• 自己収縮子の場合に両者の有界性が同値であることが示されたように、一様なスケール不変面積有界性（自己収縮子では重み付き面積有界性と同値）が、コンパクトネスを保証するのに十分である。