[論文レビュー] Min-max hypersurface in manifold of positive Ricci curvature

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

Geometric Analysis and Curvature Flows被引用数 5

ひとこと要約

本稿は、正のリッチ曲率をもつ閉リーマン多様体におけるミニマックス最小超曲面の完全な特徴付けを確立し、それが非可縮的でモーツィー指数1の可縮的超曲面、または非可縮的で安定な最小超曲面の2重被覆であることを証明している。主な貢献は、質量集中がないという条件を除去した強化された離散化定理の確立であり、これはマルケスとネーヴェの予想を裏付け、次元が任意の次元であっても特異点を含むミニマックス超曲面の解析を可能にする。

ABSTRACT

In this paper, we study the shape of the min-max minimal hypersurface produced by Almgren-Pitts-Schoen-Simon \cite{AF62, AF65, P81, SS81} in a Riemannian manifold $(M^{n+1}, g)$ of positive Ricci curvature for all dimensions. The min-max hypersurface has a singular set of Hausdorff codimension $7$. We characterize the Morse index, area and multiplicity of this singular min-max hypersurface. In particular, we show that the min-max hypersurface is either orientable and has Morse index one, or is a double cover of a non-orientable stable minimal hypersurface. As an essential technical tool, we prove a stronger version of the discretization theorem. The discretization theorem, first developed by Marques-Neves in their proof of the Willmore conjecture \cite{MN12}, is a bridge to connect sweepouts appearing naturally in geometry to sweepouts used in the min-max theory. Our result removes a critical assumption of \cite{MN12}, called the no mass concentration condition, and hence confirms a conjecture by Marques-Neves in \cite{MN12}.

研究の動機と目的

• 閉リーマン多様体における正のリッチ曲率をもつ多様体内でのミニマックス最小超曲面のモーツィー指数、面積、重複度を特徴付けること。
• アルムグレントとマルケス・ネーヴェが提起した予想に従い、ミニマックス超曲面のモーツィー指数がパrameter数によって上界で抑えられることを解明すること。
• 従来の結果が次元≤6および滑らかな超曲面に限られていたのを、特異点を含む任意の次元にまで拡張すること。特に、ハウスドルフ余次元7の特異点集合を有する場合も含む。
• マルケスとネーヴェの離散化定理のより強い形を証明し、質量集中がないという条件を除去することで、ミニマックス理論における重要な予想を確認すること。
• 特異点が存在しても、ミニマックス超曲面が可縮的でモーツィー指数1であるか、非可縮的で安定な最小超曲面の2重被覆であるという一般化された特徴付けを提供すること。

提案手法

• 質量集中がないという条件を必要としない、ミニマックス理論における離散化定理の新たな強化版を構築し、従来の制限を排除する。
• 整数的カレント空間 $\mathcal{Z}_n(M)$ 上のフラット位相を用いてスイープアウトとミニマックス値 $\mathbf{L}([\Phi])$ を定義し、ホモトープな族における最大面積の下界として定義する。
• アルムグレント＝ピットスのミニマックス理論を適用し、特異点集合がハウスドルフ余次元7以上であるバリフの極限として特異な最小超曲面を構成する。
• フラットノルムにおける等周的選択を用いて質量集中を制御し、摂動に対して安定性を保証し、定数定理を用いて正しいカレント代表元を同定する。
• 質量と台を制御するため、$\mathbb{R}^{n+1}$ 上に写像 $h(r)$ を構成し、$\mathbf{M}(h(r)_{\#}V) \leq \mathbf{M}(V)$ を満たし、原点付近の正則部分を保存する。
• ミニマックス値のホモトピー不変性とカレント空間の構造を用いて、ミニマックス超曲面がモーツィー指数1の可縮的であるか、非可縮的で安定な超曲面の2重被覆であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 正のリッチ曲率をもつ多様体内でのミニマックス最小超曲面のモーツィー指数は何か？ また、スイープアウトのパrameter数によって上界で抑えられるか？
• RQ2 ミニマックス超曲面の重複度と可縮性は、周囲多様体の位相的・幾何学的性質にどのように依存するか？
• RQ3 ミニマックス理論における離散化定理は、特に特異点を含む高次元において、質量集中がないという仮定を除去できるように強化できるか？
• RQ4 特異点を有する場合、ミニマックス超曲面の正確な構造は何か？ これによりモーツィー指数と面積にどのような影響があるか？
• RQ5 ミニマックス超曲面は常に、可縮的でモーツィー指数1であるか、非可縮的で安定な最小超曲面の2重被覆であるか？

主な発見

• 閉リーマン多様体における正のリッチ曲率をもつ多様体内でのミニマックス超曲面は、可縮的でモーツィー指数がちょうど1であるか、非可縮的で安定な最小超曲面の2重被覆である。
• 本稿は、マルケスとネーヴェの予想を確認し、質量集中がないという条件を除去した離散化定理が成立することを証明し、すべての次元および特異点を含む設定への適用可能性を拡張した。
• ミニマックス超曲面の特異点集合はハウスドルフ余次元7以上をもち、$n \geq 7$ の場合のアーリング＝ピットスおよびシューエン＝シモンの正則性理論と整合的である。
• ミニマックス超曲面の面積は正であり、$\mathbf{L}([\Phi])$ に達し、これはすべてのホモトープなスイープアウトにおいて最大面積の最小値に一致する。
• ミニマックス超曲面が可縮的でモーツィー指数1である場合、重複度は1である。そうでない場合、重複度は2であり、非可縮的で安定な超曲面の2重被覆構造に対応する。
• 2つのカレントの差に対する等周的選択が、小さなフラットノルム距離において $[[\Omega_2 - \Omega_1]]$ に一致することが示され、ミニマックス構成における質量制御と安定性を保証した。