[論文レビュー] On the Multiplicity One Conjecture in Min-max theory

Xin Zhou|arXiv (Cornell University)|Jan 4, 2019

Geometric Analysis and Curvature Flows参考文献 39被引用数 9

ひとこと要約

本稿は、次元3〜7の閉リーマン多様体で、不恰好な計量をもつ場合に、最小・最大理論における多重性1予想を証明する。体積スペクトルに関連する最小・最大最小超曲面が両面的であり、重複度1であることを示す。証明は、所定の平均曲率最小・最大理論からの$χ^h$-汎関数による面積汎関数の近似を用い、コンパクト性および正則性結果を活用して、すべての成分が滑らかで埋め込まれており、重複度1で数え上げられることを確立する。

ABSTRACT

We prove that in a closed manifold of dimension between 3 and 7 with a bumpy metric, the min-max minimal hypersurfaces associated with the volume spectrum introduced by Gromov, Guth, Marques-Neves, are two-sided and have multiplicity one. This confirms a conjecture by Marques-Neves. We prove that in a bumpy metric each volume spectrum is realized by the min-max value of certain relative homotopy class of sweepouts of boundaries of Caccioppoli sets. The main result follows by approximating such min-max value using the min-max theory for hypersurfaces with prescribed mean curvature established by the author with Zhu.

研究の動機と目的

• 最小・最大理論における体積スペクトルに関して、Marques-Nevesの多重性1予想を解決すること。
• 不恰好な計量のもとで、すべての最小・最大最小超曲面が両面的であり、重複度1であることを確立すること。
• 各体積スペクトル値が、Caccioppoli集合の境界のスイープアウトの相対ホモトピー類から生じることを示すこと。
• 所定の平均曲率最小・最大理論を拡張し、面積汎関数を近似し、正則性および重複度に関する結果を導出すること。

提案手法

• 所定の平均曲率（PMC）最小・最大理論からの$χ^h$-汎関数を用いて、面積汎関数を近似すること。
• Caccioppoli集合の境界のスイープアウトから最小・最大列を構成し、最小超曲面への収束を保証すること。
• 不恰好な計量条件を用いて、すべての最小超曲面の非退化性を保証し、正則性理論の適用を可能にすること。
• Allard正則性定理を適用して、バリアントの弱極限が$C^{1,\alpha}$であり、したがって楕円的正則性により滑らかであることを示すこと。
• PMC最小・最大フレームワークからのコンパクト性および収束結果を活用して、一次変分および密度の挙動を制御すること。
• Ø-位相におけるコンパクト化を用いて、関数値収束に有限次元の微分積分学の補題を適用すること。

実験結果

リサーチクエスチョン

• RQ1 不恰好な計量下で、すべての体積スペクトル値が重複度1の最小・最大構成から生じるか？
• RQ2 面積汎関数は$χ^h$-汎関数によって効果的に近似可能であり、最小・最大最小超曲面を回復できるか？
• RQ3 不恰好な計量下で、すべての最小・最大最小超曲面が両面的であり、埋め込まれており、重複度がないか？
• RQ4 所定の平均曲率最小・最大理論は、重複度1を証明するのに十分な正則性および制御を提供するか？
• RQ5 最小超曲面のインデックスと最小・最大レベル$k$との関係は何か？

主な発見

• 次元$3 \leq n+1 \leq 7$の閉多様体上で不恰好な計量をもつ場合、体積スペクトルに関連するすべての最小・最大最小超曲面は両面的であり、重複度1である。
• 体積スペクトル値$\omega_k(M,g)$は、Caccioppoli集合の境界の相対ホモトピー類のスイープアウトの最小・最大値として実現される。
• 最小超曲面の総インデックスは$\sum_{i=1}^{l_k} \text{index}(\Sigma^k_i) \leq k$を満たし、次元3では追加の仮定のもとで等号が成り立つ。
• 重複度1の結果は、Marques-Nevesの重み付きモース指数境界予想がすべての計量について成立することを示唆する。
• 証明により、最小バリアントの各成分が、すべての点で密度1をとることを確認し、埋め込み性および滑らかさが裏付けられる。
• $\mathcal{A}^{\epsilon_k h}$-汎関数による面積汎関数の近似（$\epsilon_k \to 0$）により、重複度のない最小超曲面への収束が得られる。