[論文レビュー] Stable minimal hypersurfaces in $\mathbf{R}^4$

Otis Chodosh, Chao Li|arXiv (Cornell University)|Aug 25, 2021

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

ひとこと要約

この論文は、$\mathbf{R}^4$ 内の任意の完全で、二面的かつ安定な最小超曲面は、平坦でなければならないことを証明しており、Schoenの長年の予想を解決する。証明は、曲率推定、安定性不等式、重み付き $L^2$-推定とSimonsの恒等式を用いた第二基本形式の精密な解析に依拠し、非平坦性が $L^3$-可積分性と減衰推定を通じて矛盾を引き起こすことを示す。

ABSTRACT

We prove that a complete, two-sided, stable minimal immersed hypersurface in $\mathbf{R}^{4}$ is flat.

研究の動機と目的

• 完全で、二面的かつ安定な最小超曲面 $M^3 \to \mathbf{R}^4$ が平坦であるというSchoenの予想を解決すること。
• 4次元ユークリッド空間における安定な最小超曲面の鋭い曲率推定を確立すること。
• 安定性および有限モーレ指数の仮定の下での既知の最小超曲面の結果を拡張すること。
• 非コンパクトで安定な最小超曲面に適用可能な、codimension 1 のBernstein型問題に対する新しい証明技法を提供すること。
• $\delta_s < \frac{1}{3}$ である $\delta_s$-安定な最小超曲面への曲率推定の一般化。

提案手法

• 最小超曲面 $M^3 \to \mathbf{R}^4$ 上の正のGreen関数 $u$ を用いて、減衰および曲率の挙動を分析すること。
• Laplacian $|A_M|^2$ と曲率項の関係を示すSimonsの恒等式 $|\nabla A_M|^2 = \frac{1}{2}\Delta|A_M|^2 + |A_M|^4$ を適用すること。
• 局所化された推定と0曲率近傍の特異性の制御のため、切断関数 $a_\delta = |A_M|^{-1} + \delta$ を導入すること。
• 部分積分とコーシー–シュワルツ不等式を用いて、$|A_M|^2 f^2$ および $|\nabla f|^2$ を含む項の重み付き $L^2$-推定を導出すること。
• 勾配項を曲率に依存する形に評価するための改善されたKatoの不等式 $\frac{1}{4}(1 + \frac{2}{n})|\nabla|A_M|^2| \leq |A_M|^2 |\nabla A_M|^2$ を用いること。
• 安定性不等式 $\int_M (1 - \delta_s)|A_M|^2 f^2 \leq \int_M |\nabla f|^2$ と曲率減衰推定を組み合わせ、$|A_M|$ の $L^3$-可積分性を導出すること。

実験結果

リサーチクエスチョン

• RQ1 完全で、二面的かつ安定な最小埋め込み $M^3 \to \mathbf{R}^4$ は、常に平坦であるか？
• RQ2 体積成長の上限を仮定せずに、$\mathbf{R}^4$ 内の安定な最小超曲面の曲率推定を確立できるか？
• RQ3 $\delta_s$-安定性の下で平坦性が保たれる鋭い閾値は何か？
• RQ4 有限モーレ指数は、$\mathbf{R}^4$ 内の最小超曲面について、有限の全曲率と正則な無限遠の端を持つか？
• RQ5 平坦性を保ちながら、安定性条件を $\delta_s < \frac{1}{3}$ である $\delta_s$-安定性に弱めることができるか？

主な発見

• 完全で、二面的かつ安定な最小埋め込み $M^3 \to \mathbf{R}^4$ は、必然的に平坦であり、すなわち $\mathbf{R}^3 \subset \mathbf{R}^4$ に等長同型である。これによりSchoenの予想が解決される。
• すべての $p \in M$ に対して $|A_M(p)| \cdot d_M(p, \partial M) \leq C$ を満たす絶対定数 $C < \infty$ が存在する。これは $\mathbf{R}^4$ 内での曲率推定を確立する。
• 閉じたリーマン多様体 $(N^4, g)$ に対して、$C = C(N, g)$ が存在し、任意の安定な最小埋め込み $M^3 \to N^4$ に対して $|A_M(p)| \cdot \min\{1, d_M(p, \partial M)\} \leq C$ が成り立つ。
• $M^3 \to \mathbf{R}^4$ における有限モーレ指数は、有限の全曲率 $\int_M |A_M|^3 < \infty$ と同値であり、無限遠で有限個の正則な端を持つことを示唆する。
• $\delta_s \in [0, \frac{1}{3}]$ における $\delta_s$-安定性条件下でも曲率推定が成り立ち、1つの端を持つ場合、証明は $\delta_s < \frac{1}{2}$ にまで拡張可能である。
• $L^3$-推定 $\int_M |A_M|^3 f^2 \leq C \int_M |A_M| |\nabla f|^2$ が導出され、これは $|A_M|$ が十分に速く減衰することを示唆し、平坦性を強制する。