[论文解读] Density of minimal hypersurfaces for generic metrics

Kei Irie, Fernando C. Marques+1 more|arXiv (Cornell University)|Oct 30, 2017

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

一句话总结

该论文证明了在闭合 $(n+1)$-流形上，对于任意 $C^\infty$ 光滑的黎曼度量（其中 $3 \leq n+1 \leq 7$），所有闭合、光滑、嵌入的极小超曲面的并集在流形中是稠密的。通过利用体积谱的 Weyl 法则、Morse 指标估计以及 White 的光滑度量定理，作者证明了这些超曲面必须与每个开集相交，从而确认了 Yau 关于通用度量下存在无穷多个极小超曲面的猜想。

ABSTRACT

For almost all Riemannian metrics (in the $C^\infty$ Baire sense) on a closed manifold $M^{n+1}$, $3\leq (n+1)\leq 7$, we prove that the union of all closed, smooth, embedded minimal hypersurfaces is dense. This implies there are infinitely many minimal hypersurfaces thus proving a conjecture of Yau (1982) for generic metrics.

研究动机与目标

• 为解决 Yau 于 1982 年提出的猜想（即每个闭合三维流形都包含无穷多个光滑、闭合、浸入的极小曲面），证明该猜想在通用度量下成立。
• 建立对于闭合 $(n+1)$-流形上 $C^\infty$ 通用度量（其中 $3 \leq n+1 \leq 7$），所有闭合、光滑、嵌入的极小超曲面的并集在流形中稠密。
• 展示体积谱的 Weyl 法则与扰动技术可生成新的极小超曲面，从而克服重数与退化性障碍。
• 利用光滑度量的性质（非退化的极小超曲面）确保极小化构造中的横截性，避免退化。
• 通过体积谱渐近性与共形扰动，将 Irie 的测地线稠密性方法推广至高余维的极小超曲面。

提出的方法

• 利用 Liokumovich、Marques 与 Neves 证明的体积谱 Weyl 法则，其表述为 $\lim_{k\to\infty} \omega_k(M,g)k^{-1/(n+1)} = a(n)\,{\rm vol}(M,g)^{n/(n+1)}$。
• 应用 Almgren-Pitts 的极小极大理论，通过 $\mathbb{RP}^\infty$-扫掠在 $\mathcal{Z}_n(M;\mathbb{Z}_2)$ 中构造极小超曲面，作为面积泛函在 $\mathbb{RP}^\infty$ 上的临界点。
• 使用共形形变 $g(t) = (1 + th)g$，其中 $h$ 为紧支集的非负函数，以增加体积并促使 $\omega_k(M,g(t))$ 增长。
• 应用 White 的光滑度量定理，确保所有极小超曲面均为非退化，从而可对度量扰动使用反函数定理。
• 结合 $t \mapsto \omega_k(M,g(t))$ 的连续性与在光滑度量下极小超曲面的可数性，若某个开集不与任何超曲面相交，则导出矛盾。
• 利用 Marques 与 Neves 的精确指标估计，控制极小极大极小超曲面的 Morse 指标，确保在扰动下保持非退化。

实验结果

研究问题

• RQ1 在闭合流形 $M^{n+1}$（其中 $3 \leq n+1 \leq 7$）上，对于 $C^\infty$ 通用黎曼度量，所有闭合、光滑、嵌入的极小超曲面的并集是否在流形中稠密？
• RQ2 体积谱的 Weyl 法则是否可用于通过度量扰动构造新的极小超曲面？
• RQ3 能否利用谱理论与极小极大技术证明在通用度量下存在无穷多个极小超曲面？
• RQ4 极小超曲面的非退化性（即光滑度量）与共形形变下的体积谱之间有何相互作用？
• RQ5 是否可以在不假设正 Ricci 曲率或其他曲率条件的情况下，建立极小超曲面的稠密性？

主要发现

• 对于任意闭合流形 $M^{n+1}$（其中 $3 \leq n+1 \leq 7$），在 $C^\infty$ 通用黎曼度量下，所有闭合、光滑、嵌入的极小超曲面的并集在 $M$ 中是稠密的。
• 对于每个 $k$，体积谱 $\omega_k(M,g)$ 均可实现为某个光滑、嵌入、闭合的极小超曲面的面积（可能具有整数重数）。
• Weyl 法则确保在共形扰动 $g(t) = (1 + th)g$ 下，若 $h > 0$ 在某个非空开集上，则当 $t > 0$ 足够小时，第 $k$ 个体积谱 $\omega_k(M,g(t))$ 严格递增。
• 在 $C^\infty$ 拓扑下，所有使得某个非退化极小超曲面与给定开集 $U \subset M$ 相交的度量集合，既是开集也是稠密集。
• 对流形的可数基中所有此类开稠密集的交集，得到一个 $C^\infty$ 的 Baire 通用度量集合，使得极小超曲面的并集在该集合中稠密。
• 该结果在通用情形下确认了 Yau 的猜想（1982 年）：在 $M^{n+1}$（其中 $3 \leq n+1 \leq 7$）上，对于通用度量，存在无穷多个闭合、光滑、嵌入的极小超曲面。