[論文レビュー] Generic Regularity of Minimal Hypersurfaces in Dimension 8

Yangyang Li, Zhihan Wang|arXiv (Cornell University)|Dec 10, 2020

Geometric Analysis and Curvature Flows参考文献 43被引用数 4

ひとこと要約

本稿では、特異的容量と呼ばれる新しい幾何的不変量を導入し、グローバルな摂動論的議論を用いることで、8次元の閉リーマン多様体における滑らかな最小超曲面の一般的存在的を確立した。$C^k$-一般の計量（$k \geq 4$ または $k = \infty$）に対して、任意の8次元の閉多様体が閉埋め込みされた滑らかな最小超曲面を有することを証明し、コドメイン7の閾値を超える最小曲面理論における長年の未解決問題を解決した。

ABSTRACT

In this paper, we show that every $8$-dimensional closed Riemmanian manifold with $C^\infty$-generic metrics admits a smooth minimal hypersurface. This generalized previous results by N. Smale and Chodosh-Liokumovich-Spolaor. Different from their local perturbation techniques, our construction is based on a global perturbation argument in and a novel geometric invariant which counts singular points with suitable weights.

研究の動機と目的

• 8次元の閉リーマン多様体における滑らかな最小超曲面の一般的存在的という未解決問題を解消すること。
• 面積最小化コーンに依存する従来の局所的摂動技法の限界を乗り越え、安定的ではあるが面積最小でないコーンを持つ場合に失敗する問題を克服すること。
• 新しい幾何的不変量「特異的容量」を構成することで、計量の摂動における特異点の追跡と除去を可能にし、グローバルな正則性結果を確立すること。
• スメール（1993年）およびチョドーシュ＝リオクムビッチ＝スポラオル（2020年）の結果を、8次元におけるすべての$C^\infty$-一般計量に一般化すること。
• 非退化な滑らかな最小超曲面を有する計量の集合が、$H_7(M,\mathbb{Z}_2)$ が自明な8次元多様体上の$C^k$-リーマン計量空間において、開かつ稠密であることを証明すること。

提案手法

• 著者らは、最小超曲面の特異点に対して重み付き個数を割り当てる新しい幾何的不変量「特異的容量」（定義4.1）を導入した。
• 万（2020年）のグローバル摂動論的議論、特に補題2.24を応用し、特異点を除去しつつ最小曲面構造を保つような計量の変形を実行した。
• 証明では、対応する最小超曲面の特異的容量が各ステップで少なくとも1ずつ厳密に減少するような計量摂動の列$(g^{(j)})$を用いた。
• 構成法により、十分大きな$j$に対して、元の超曲面$\Sigma_l$の特異点近傍において、摂動された超曲面$\Sigma^{(j)}$が滑らかであることが保証された。これは安定性および$\mathscr{F}$におけるカットオフ関数の選択に依存する。
• 証明は、B. ワイツの構造定理に依拠し、非退化な滑らかな最小超曲面を有する計量の集合が開であることを保証した。
• 証明は背理法に基づく：近くに滑らかな最小超曲面が存在しない計量が存在すると仮定すると、特異的容量の無限降下が生じるが、これは特異的容量が0以上で下界を持つことから不可能である。

実験結果

リサーチクエスチョン

• RQ1 面積最小でない特異コーンを持つ場合でも、8次元多様体内の最小超曲面の特異点は、小さな計量摂動によって除去可能か？
• RQ2 局所的ではなく、グローバルなメカニズムによって、一般計量摂動下での最小超曲面の特異点を除去できるか？
• RQ3 ホモロジー類に依存せず、8次元の閉リーマン多様体において滑らかな最小超曲面の存在が一般に成立するか？
• RQ4 摂動下での特異点数を定量化・追跡できる新しい幾何的不変量を構成可能か？
• RQ5 8次元多様体上の$C^k$-一般計量のうち、滑らかな最小超曲面を有するものの集合は、開かつ稠密か？

主な発見

• $H_7(M,\mathbb{Z}_2) = 0$ である任意の8次元の閉リーマン多様体$M$に対して、$C^k$-一般計量（$k \geq 4$ または $k = \infty$）の集合は、閉埋め込みされた滑らかな最小超曲面を有する。
• 特異的容量$\mathbf{SCap}(\Sigma; M, g)$は、連続的な摂動において、少なくとも1ずつ厳密に減少し、滑らかな超曲面への有限回の降下を保証する。
• 元の最小超曲面が非面積最小の安定的コーンに起因する特異点を持つ場合でも、本構成は有効であり、従来の局所的解析の主要な限界を克服した。
• 非退化な滑らかな最小超曲面を有する計量の集合$\mathscr{R}$は、$M$上の$C^k$-リーマン計量空間において、開かつ稠密であることが証明され、一般的存在的が成立した。
• 本結果は、スメール（1993年）およびチョドーシュ＝リオクムビッチ＝スポラオル（2020年）の結果を、8次元におけるすべての$C^\infty$-一般計量に拡張した。
• 証明により、$\mathrm{int}(\mathscr{G}_F) \subset \overline{\mathscr{R}}$ が確立され、全一般計量空間における稠密性の議論が完成した。