[论文解读] 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

一句话总结

本文通过引入一种新颖的几何不变量——'奇异容量'（singular capacity），并采用全局扰动方法，首次证明了在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维紧致黎曼流形中光滑极小超曲面是否通用存在的开放性问题。
• 克服先前局部扰动技术的局限性，这些技术依赖于面积最小化锥面，而在稳定但非面积最小化的锥面情况下失效。
• 通过构造一种新的几何不变量——'奇异容量'，实现对度量扰动下奇异点的追踪与消除，从而建立全局正则性结果。
• 将Smale（1993）与Chodosh-Liokumovich-Spolaor（2020）的先前结果推广至8维中所有 $C^\infty$-通用度量的情形。
• 证明在满足 $H_7(M,\mathbb{Z}_2) = 0$ 的8维流形上，存在非退化光滑极小超曲面的度量集合，其在 $C^k$-黎曼度量空间中既开又稠密。

提出的方法

• 作者在定义4.1中引入一种新的几何不变量——'奇异容量'，用于对极小超曲面的奇异点赋予加权计数。
• 应用Wan（2020）提出的全局扰动方法，特别是引理2.24，以一种保持极小曲面结构的方式变形度量。
• 证明过程采用一系列度量扰动 $(g^{(j)})$，使得对应极小超曲面的奇异容量在每一步严格至少减少1。
• 构造保证：当 $j$ 足够大时，扰动后的超曲面 $\Sigma^{(j)}$ 在原始超曲面 $\Sigma_l$ 的奇异点邻域内为光滑，此结果源于稳定性以及 $\mathscr{F}$ 中截断函数的选择。
• 论证依赖于B. White的结构定理，以确保存在非退化光滑极小超曲面的度量集合是开集。
• 证明采用反证法：假设存在一个无附近光滑极小超曲面的度量，将导致奇异容量无限递减，但这是不可能的，因为奇异容量有下界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$-黎曼度量空间中既开又稠密，从而证明了通用存在性。
• 该结果将Smale（1993）与Chodosh-Liokumovich-Spolaor（2020）的结果推广至8维中所有 $C^\infty$-通用度量。
• 证明建立了 $\mathrm{int}(\mathscr{G}_F) \subset \overline{\mathscr{R}}$，从而完成了对完整通用度量空间的稠密性论证。