[論文レビュー] Existence of minimal surfaces of arbitrary large Morse index

Haozhao Li, Xin Zhou|arXiv (Cornell University)|Apr 4, 2015

Geometric Analysis and Curvature Flows参考文献 24被引用数 5

ひとこと要約

この論文は、一般の不規則な正のリッチ曲率を持つ閉じた3次元多様体において、任意に大きなモーレー指数をもつ埋め込み最小曲面が存在することを証明している。モーレー指数が有界な最小曲面の極限のラミネーション構造を分析し、曲率推定とジャコビ場の議論を用いることで、有限性定理を確立し、これがモーレー指数が無限大に発散することを示し、マラケスとネーヴェスの予想の主要予測を裏付けた。

ABSTRACT

We show that in a closed 3-manifold with a generic metric of positive Ricci curvature, there are minimal surfaces of arbitrary large Morse index, which partially confirms a conjecture by F. Marques and A. Neves. We prove this by analyzing the lamination structure of the limit of minimal surfaces with bounded Morse index.

研究の動機と目的

• 正のリッチ曲率を持つ3次元多様体における最小曲面のモーレー指数が有界か無限大かという未解決問題を解消すること。
• 一般に、最小超曲面のモーレー指数が線形に無限大に発散するというマラケスとネーヴェスの予想を確認すること。
• 不規則な計量と正のリッチ曲率をもつ状況下で、モーレー指数が有界な最小曲面の有限性を確立すること。
• Colding-Minicozziのラミネーション収束理論を、面積に有界性がないがモーレー指数に有界な最小曲面へと拡張すること。
• このような3次元多様体に安定な最小曲面が存在できないことを示すこと、これは有限指数の極限を除外するための鍵となる。

提案手法

• 一様に有界なモーレー指数をもつ最小曲面の列の極限を、ラミネーション収束の技法を用いて分析すること。
• Schoenの曲率推定を適用し、有限個の集中点を除いて局所的・滑らかに収束することを示すこと。
• 不規則かつ正のリッチ曲率条件の下で、極限ラミネーション上に正または反対称のジャコビ場を構成し、矛盾を導くこと。
• 対数的カットオフのテクニックを用いて、孤立した特異点を越えて安定性を拡張し、穴あき面上での安定性が全面上での安定性を意味することを証明すること。
• 共形同値性の議論を用いて、正のリッチ曲率を持つ3次元多様体内に完全な2面体最小曲面が安定でないことを示すこと。
• 極限ラミネーションが特定の収束重複度または葉の構造を持つと仮定することで、非自明なジャコビ場が生じ、不規則計量条件に反するという矛盾に帰着させること。

実験結果

リサーチクエスチョン

• RQ1 正のリッチ曲率を持つ3次元多様体における最小曲面のモーレー指数は有界か、無限大か？
• RQ2 一般の計量条件下で、任意に大きなモーレー指数をもつ最小曲面の存在を証明できるか？
• RQ3 有界モーレー指数をもつ最小曲面の有限性は、指数が無限大に発散することを示唆するか？
• RQ4 有界な genus をもつ場合に開発されたラミネーション収束技法を、面積に有界性がないがモーレー指数に有界な場合に適応できるか？
• RQ5 正のリッチ曲率と不規則計量をもつ3次元多様体に、安定な最小曲面が存在できるか？

主な発見

• 任意の閉じた3次元多様体において、不規則な正のリッチ曲率計量のもとで、任意に大きなモーレー指数をもつ埋め込み最小曲面が存在する。
• 同じ計量条件下で、任意の固定された N に対して、モーレー指数が N 以下の埋め込み最小曲面の集合は有限である。
• モーレー指数が有界な最小曲面は、局所的に滑らかにラミネーションに収束し、孤立した葉と有限個の特異点を持つ。
• 極限ラミネーションに無限大または複数点収束を持つ孤立した葉がある場合、正のジャコビ場を構成でき、正のリッチ曲率条件に反する。
• 重複度1の収束の場合、2重被覆上に反対称のジャコビ場を構成でき、それが極限曲面に非自明なジャコビ場を誘導し、不規則計量条件に反する。
• この結果により、このような多様体に安定な最小曲面が存在できないことが確認され、有限性定理における矛盾証明の根拠として不可欠である。