[論文レビュー] Min-max theory for constant mean curvature hypersurfaces

Xin Zhou, Jonathan J. Zhu|arXiv (Cornell University)|Jul 25, 2017

Geometric Analysis and Curvature Flows参考文献 52被引用数 16

ひとこと要約

この論文は、次元が7以下の閉リーマン多様体において、任意の所定の平均曲率 $c$ を持つ定常平均曲率（CMC）超曲面を構成するためのミニマックス理論を確立する。変分的アプローチに基づき、$\mathcal{A}^c$-汎関数を用いて、任意の $c \in \mathbb{R}$ に対して、非自明で滑らかで閉じており、ほぼ埋め込まれた CMC 超曲面が存在することを証明する。$c \neq 0$ のときには重複度が1であることが保証され、アーノルド＝ノヴィコフ予想の高次元版が解決される。

ABSTRACT

In this paper, we develop a min-max theory for the construction of constant mean curvature (CMC) hypersurfaces of prescribed mean curvature in an arbitrary closed manifold. As a corollary, we prove the existence of a nontrivial, smooth, closed, almost embedded, CMC hypersurface of any given mean curvature $c$. Moreover, if $c$ is nonzero then our min-max solution always has multiplicity one.

研究の動機と目的

• 閉リーマン多様体において、所定の平均曲率を持つ定常平均曲率（CMC）超曲面を構成するミニマックス理論を開発すること。
• これまでの広範な先行研究にもかかわらず未解決であった、任意の平均曲率 $c$ を持つ閉じた CMC 超曲面の存在問題を解決すること。
• $c \neq 0$ のとき、ミニマックス構成によって得られる解が重複度1であることを確立すること。これは、$c=0$ の最小超曲面の場合とは対照的であり、その場合重複度1はまだ予想にとどまっている。
• $\mathcal{A}^c$-汎関数を変分汎関数として用いることで、最小超曲面の枠組みを CMC の設定へと拡張すること。

提案手法

• 著者たちは、CMC 超曲面のためのラグランジュ乗数汎関数として、$\mathcal{A}^c$-汎関数（定義：$\operatorname{Area} - c \operatorname{Vol}$）を用いる。
• 初期スイープアウトの連続的変形をベクトル場を用いて行い、その後、整数的カレントの空間における連続的族を生成するための補間を行うことで、$\mathcal{A}^c$-汎関数に対するミニマックス手続きを適用する。
• 最小化の失敗（全多様体が最小化者となる）を避けるために、連続的カレントの族を用いる。
• 鍵となる技術的ステップとして、[60, 定理5.1] の補間結果を用い、質量とフラットノルムが制御された新しいカレント族を構成し、臨界点への収束を保証する。
• 静止バーリフォールドの良好な置き換え性質に依存し、局所的な置き換え議論により正則性を制御する。
• ミニマックス値のホモトピー不変性を確立し、連続性議論を用いて、極限のバーリフォールドが $\mathcal{A}^c$-汎関数の静止整数バーリフォールドであることを示す。

実験結果

リサーチクエスチョン

• RQ1 与えられた閉リーマン多様体において、どの平均曲率 $c$ の値に対して、閉じて滑らかでほぼ埋め込まれた CMC 超曲面が存在するか。
• RQ2 最小化が失敗するにもかかわらず、$\mathcal{A}^c$-汎関数に対するミニマックス法が非自明な CMC 超曲面を効果的に構成できるか。
• RQ3 $c \neq 0$ のとき、ミニマックス構成によって得られる解が重複度1であるか。これは最小の場合（$c=0$）とはどのように異なるか。
• RQ4 次元7までに、最小超曲面の正則性理論と一致する変分的アプローチによって CMC 超曲面の存在を確立できるか。
• RQ5 このミニマックス枠組みによって、$S^2$ 上の所定の測地的曲率を持つ閉曲線に関するアーノルド＝ノヴィコフ予想が高次元にまで解決されるか。

主な発見

• 次元が7以下の閉リーマン多様体 $M^{n+1}$ に対して、任意の $c \in \mathbb{R}$ に対して、非自明で滑らかで閉じており、ほぼ埋め込まれた超曲面 $\Sigma^n$ が定常平均曲率 $c$ を持つものが存在する。
• $c \neq 0$ のとき、ミニマックス解は重複度1であることが保証され、これは最小の場合（$c=0$）とは対照的であり、その場合重複度1はまだ未解決の予想のままである。
• $\mathcal{A}^c$-汎関数を用いたミニマックス構成は、非自明な臨界点を効果的に検出でき、常に全多様体 $M$ を最小化者とする直接的最小化の失敗を克服する。
• この方法により、正則性（滑らかさ）が保証される静止整数バーリフォールドが得られ、特異点集合は余次元7以上である。これは最小超曲面の正則性理論と整合的である。
• 連続的変形および補間に対して頑健であるため、連続的カレント族が存在し、その極限が所望の CMC 超曲面を導く。
• この結果により、測地的曲率が所定の閉曲線に関するアーノルド＝ノヴィコフ予想の高次元版が完全に解決される。