[论文解读] Min-max hypersurface in manifold of positive Ricci curvature

Xin Zhou|arXiv (Cornell University)|Apr 4, 2015

Geometric Analysis and Curvature Flows被引用 5

一句话总结

本文對正 Ricci 曲率閉合黎曼流形中的 min-max 最小超曲面進行了完整特徵化，證明其要麼是 Morse 指數為一的可定向超曲面，要麼是某個非可定向穩定最小超曲面的二重覆蓋。關鍵貢獻在於提出了一個強化版的離散化定理，消除了先前所需的『無質量集中』條件，從而證實了 Marques 和 Neves 的一個猜想，並使所有維度（包括具有 codimension-7 奇點的奇點 min-max 超曲面）的分析成為可能。

ABSTRACT

In this paper, we study the shape of the min-max minimal hypersurface produced by Almgren-Pitts-Schoen-Simon \cite{AF62, AF65, P81, SS81} in a Riemannian manifold $(M^{n+1}, g)$ of positive Ricci curvature for all dimensions. The min-max hypersurface has a singular set of Hausdorff codimension $7$. We characterize the Morse index, area and multiplicity of this singular min-max hypersurface. In particular, we show that the min-max hypersurface is either orientable and has Morse index one, or is a double cover of a non-orientable stable minimal hypersurface. As an essential technical tool, we prove a stronger version of the discretization theorem. The discretization theorem, first developed by Marques-Neves in their proof of the Willmore conjecture \cite{MN12}, is a bridge to connect sweepouts appearing naturally in geometry to sweepouts used in the min-max theory. Our result removes a critical assumption of \cite{MN12}, called the no mass concentration condition, and hence confirms a conjecture by Marques-Neves in \cite{MN12}.

研究动机与目标

• 特徵化閉合黎曼流形中正 Ricci 曲率的 min-max 最小超曲面的 Morse 指數、面積與重數。
• 解決 Almgren 所提出的、並由 Marques 和 Neves 強調的開問題：以參數數量來有界 min-max 超曲面的 Morse 指數。
• 將先前僅適用於維度 ≤6 且光滑超曲面的結果推廣至所有維度，包含具有 Hausdorff codimension 7 奇點的情形。
• 證明 Marques 和 Neves 離散化定理的更強形式，消除『無質量集中』條件，從而證實 min-max 理論中的一個關鍵猜想。
• 提供 min-max 超曲面的一般特徵化：即使在存在奇點的情況下，其結構要麼是 Morse 指數為一的可定向超曲面，要麼是某個非可定向穩定最小超曲面的二重覆蓋。

提出的方法

• 發展了一個新的、更強的 min-max 理論中的離散化定理，消除了先前因『無質量集中』條件而對應用造成的限制。
• 在整值(currents)空間 $\mathcal{Z}_n(M)$ 上使用平坦拓撲來定義 sweepouts，並定義 min-max 值 $\mathbf{L}([\Phi])$ 為所有同倫族中最大面積的下確界。
• 應用 Almgren-Pitts min-max 理論，構造一個作為 varifold 极限的奇點最小超曲面，其奇點集的 Hausdorff codimension 至少為 7。
• 在平坦範數中使用等周選擇來控制質量集中，確保在擾動下穩定，並利用常數定理來識別正確的 current 表示。
• 在 $\mathbb{R}^{n+1}$ 上構造一個收縮映射 $h(r)$，以控制質量與支撐，確保 $\mathbf{M}(h(r)_{\#}V) \leq \mathbf{M}(V)$，並在原點附近保持正則部分不變。
• 利用 min-max 值的同倫不變性與 current 空間的結構，證明 min-max 超曲面必須要麼是 Morse 指數為一的可定向超曲面，要麼是某個非可定向穩定超曲面的二重覆蓋。

实验结果

研究问题

• RQ1 在正 Ricci 曲率流形中，min-max 最小超曲面的 Morse 指數為何？能否以 sweepout 中的參數數量來有界？
• RQ2 min-max 超曲面的重數與可定向性如何依賴於周圍流形的拓撲與幾何性質？
• RQ3 min-max 理論中的離散化定理能否被強化以消除『無質量集中』假設，特別是在具有奇點的高維情形？
• RQ4 當 min-max 超曲面具有奇點時，其精確結構為何？這對其 Morse 指數與面積有何影響？
• RQ5 min-max 超曲面是否總是可定向且 Morse 指數為一，或為某個非可定向穩定最小超曲面的二重覆蓋？

主要发现

• 在閉合黎曼流形中，若其 Ricci 曲率為正，則 min-max 超曲面要麼是可定向且 Morse 指數恰好為一，要麼是某個非可定向穩定最小超曲面的二重覆蓋。
• 本文證實了 Marques 和 Neves 的猜想：離散化定理在無需『無質量集中』條件下依然成立，從而將其適用範圍擴展至所有維度與奇點情形。
• min-max 超曲面的奇點集具有至少 7 的 Hausdorff codimension，與 Almgren-Pitts 及 Schoen-Simon 對 $n \geq 7$ 的正則性理論一致。
• min-max 超曲面的面積嚴格大於零，且達到 min-max 值 $\mathbf{L}([\Phi])$，此值為所有同倫 sweepouts 中最大面積的最小可能值。
• 若 min-max 超曲面為可定向且指數為一，則其重數為一；否則重數為二，對應該非可定向情形下的二重覆蓋結構。
• 在小平坦範數距離下，兩個 current 差的等周選擇被證明為 $[[\Omega_2 - \Omega_1]]$，確保了在 min-max 構造中質量的控制與穩定性。