[论文解读] Singular behavior and generic regularity of min-max minimal hypersurfaces

Otis Chodosh, Yevgeny Liokumovich+1 more|arXiv (Cornell University)|Jul 22, 2020

Geometric Analysis and Curvature Flows参考文献 33被引用 7

一句话总结

该论文通过证明一个精确的指标与奇异点集边界，建立了8维黎曼流形中极小超曲面的通用正则性：在一维参数极小极大构造中，非面积极小化奇异点的0维Hausdorff测度之和与Morse指标至多为1。这表明在通用度量下——尤其是正 Ricci 曲率情形下——存在光滑极小超曲面，或至多一个孤立奇异点，将此前仅限于面积极小化超曲面的结果推广至更高余维数的极小极大设定。

ABSTRACT

We show that for a generic $8$-dimensional Riemannian manifold with positive Ricci curvature, there exists a smooth minimal hypersurface. Without the curvature condition, we show that for a dense set of 8-dimensional Riemannian metrics there exists a minimal hypersurface with at most one singular point. This extends previous work on generic regularity that only dealt with area-minimizing hypersurfaces. These results are a consequence of a more general estimate for a one-parameter min-max minimal hypersurface $Σ\subset (M,g)$ (valid in any dimension): $$\mathcal H^{0} (\mathcal{S}_{nm}(Σ)) +{ m Index}(Σ) \leq 1$$ where $\mathcal{S}_{nm}(Σ)$ denotes the set of singular points of $Σ$ with a unique tangent cone non-area minimizing on either side.

研究动机与目标

• 解决在奇异维度之外，非面积极小化、高余维数极小超曲面缺乏通用正则性结果的问题。
• 将此前关于面积极小化超曲面的研究扩展至更广泛的极小极大设定，特别是在奇异点预期存在的维度中。
• 证明对于通用8维黎曼度量，即使在 H⁷(M;Z) = 0 的情况下，也存在光滑嵌入的极小超曲面。
• 在无曲率假设下，证明对于一个稠密的度量集合，存在至多一个奇异点的极小超曲面。
• 建立适用于所有维度 n ≥ 7 的通用指标-奇异点集边界，从而控制极小极大极小超曲面的结构。

提出的方法

• 引入集合 $ hnm(V) $，其包含所有在任意小球内，变集在任一侧均非单侧同伦面积极小化的奇异点。
• 为在 $ (n+1) $-流形中通过一维参数极小极大构造产生的平稳整值变集 $ V $（$ n \geq 7 $）建立关键估计 $ H^0(hnm(V)) + \text{Index}(V) \leq 1 $。
• 利用 Almgren–Pitts 极小极大理论，保证存在一个平稳变集 $ V $ 实现宽度 $ W(M) $，且满足 $ |V|(M) = W(M) $。
• 在奇异点处（其正则切锥非任一侧面积极小化）应用手术过程，对度量和超曲面进行局部扰动。
• 通过单侧面积极小化与竞争者比较的论证，证明此类奇异点可通过小的 $ C^{2,\alpha} $ 度量扰动被移除。
• 结合指标界、bumpy度量的稠密性以及稳定极小锥体（如 Simons 锥）的结构，得出通用正则性结论。

实验结果

研究问题

• RQ1 当Morse指标较小时，极小极大极小超曲面中奇异点数目的最优界是什么？
• RQ2 即使超曲面非面积极小化，是否可通过度量扰动在通用意义下移除极小极大极小超曲面的孤立奇异点？
• RQ3 若奇异点两侧的非面积极小化切锥均存在，是否必然导致极小极大设定下的正Morse指标？
• RQ4 能否在不依赖 Smale 结果中 $ H^7(M;\mathbb{Z}) \neq 0 $ 的前提下，建立8-流形中光滑极小超曲面的通用存在性？
• RQ5 在更高维度中，边界 $ H^0(hnm(V)) + \text{Index}(V) \leq 1 $ 是否是精确的？其对稳定极小锥体结构有何含义？

主要发现

• 对于具有正 Ricci 曲率的通用8维黎曼度量，存在光滑嵌入的极小超曲面。
• 在无曲率假设下，对于8维度量的一个稠密集，存在至多一个奇异点的极小超曲面。
• 主要技术结果为：在维度 $ n+1 \geq 8 $ 的任意一维参数极小极大极小超曲面中，非面积极小化奇异点的0维Hausdorff测度之和与Morse指标至多为1。
• 若Morse指标为1，则 $ hnm(V) = \emptyset $，意味着所有奇异点至少在一侧具有面积极小化切锥。
• 该结果表明，$ \mathbb{R}^8 $ 中的 Simons 锥（稳定但两侧均非极小化）不能是Morse指标 ≤ 1 的极小极大超曲面在奇异点处的切锥。
• 通过在 $ hnm(V) $ 中奇异点附近扰动度量，可构造出新度量与新极小超曲面，使其不包含此类奇异点，从而证明通用正则性。