[论文解读] Min-max minimal hypersurface in $(M^{n+1}, g)$ with $Ric_{g}>0$ and $2\leq n\leq 6$

Xin Zhou|arXiv (Cornell University)|Oct 7, 2012

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

一句话总结

该论文研究了在具有正 Ricci 曲率且 $2 \leq n \leq 6$ 的闭合可定向黎曼流形 $(M^{n+1}, g)$ 中，通过 Almgren-Pitts 最小最大理论构造的最小化超曲面的 Morse 指标、面积和重数。利用一种新颖的扫掠构造，论文证明该超曲面要么是面积最小的、具有指标一且重数为一的可定向最小曲面，要么是面积最小的非可定向最小超曲面的二重覆盖。

ABSTRACT

In this paper, we study the shape of the min-max minimal hypersurface produced by Almgren-Pitts in \cite{A2}\cite{P} corresponding to the fundamental class of a Riemannian manifold $(M^{n+1}, g)$ of positive Ricci curvature with $2\leq n\leq 6$. We characterize the Morse index, area and multiplicity of this min-max hypersurface. In particular, we show that the min-max hypersurface is either orientable and of index one, or is a double cover of a non-orientable minimal hypersurface with least area among all closed embedded minimal hypersurfaces.

研究动机与目标

• 该论文旨在确定通过 Almgren-Pitts 理论在正 Ricci 曲率流形中构造的最小化超曲面的几何与拓扑性质。
• 旨在解决长期存在的猜想：此类最小最大超曲面的 Morse 指标至多为一。
• 研究重点在于刻画对应于基本类的最小最大超曲面的 Morse 指标、体积（面积）和重数。
• 探讨在此设定下可定向与非可定向最小超曲面之间的二分性。
• 目标还包括证明面积最小的最小超曲面存在，并可通过最小最大构造实现，即使在缺乏先验 Morse 指标界的情况下。

提出的方法

• 作者将任意闭合嵌入的最小超曲面嵌入到一个‘良好’的扫掠中，即连续的一族超曲面，能够捕捉流形的拓扑性质。
• 他们将这些扫掠离散化，以适配 Almgren-Pitts 最小最大理论的离散设定。
• 关键技巧在于在流形上构造一个 Morse 函数，使其在超曲面附近与水平集叶状结构一致，从而确保扫掠位于同一同伦类中。
• 该构造依赖于对距离函数进行扰动以生成 Morse 函数，从而通过水平集定义扫掠。
• 该方法在处理基本类和积分电流空间中的同伦类时，区分了可定向与非可定向情形。
• 证明利用了在满足 $\mathrm{Ric}_g > 0$ 的流形中不存在稳定最小超曲面的事实，这迫使最小最大超曲面为不稳定，因此其 Morse 指标至少为一。

实验结果

研究问题

• RQ1 在具有正 Ricci 曲率且 $2 \leq n \leq 6$ 的流形中，对应于基本类的最小最大最小超曲面的 Morse 指标是什么？
• RQ2 最小最大超曲面是否在所有闭合嵌入的最小超曲面中实现了最小面积？
• RQ3 在何种条件下，最小最大超曲面是可定向的，而非可定向的？
• RQ4 最小最大超曲面的重数能否根据周围流形的拓扑性质来刻画？
• RQ5 在这些流形中，面积最小的最小超曲面的存在性是否为最小最大理论的结果，而非稳定序列的紧致性？

主要发现

• 最小最大超曲面要么是可定向的，具有 Morse 指标一且重数为一，要么是非可定向的，重数为二。
• 在可定向情况下，超曲面的面积等于 $W_M$，即所有最小超曲面体积的下确界。
• 在非可定向情况下，超曲面的面积满足 $2V(\Sigma) = W_M$，意味着它在所有闭合嵌入的最小超曲面中实现了最小面积。
• 即使在所有最小超曲面类缺乏先验 Morse 指标界的情况下，面积最小的最小超曲面依然存在，并可通过最小最大构造实现。
• 结果证实，在 $\mathrm{Ric}_g > 0$ 流形中，最小最大超曲面要么是指标一的（可定向），要么是面积最小的非可定向最小超曲面的二重覆盖。
• 该构造表明，所有来自最小超曲面的扫掠在 $\pi_1(\mathrm{Z}_n(M), \{0\})$ 中位于同一同伦类，从而使得 Almgren-Pitts 理论得以应用。