[论文解读] Local min-max surfaces and strongly irreducible minimal Heegaard splittings

Antoine Song|arXiv (Cornell University)|Jun 4, 2017

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

一句话总结

本文證明了Rubinstein提出的猜想：在一個不微分同胚於3-球面的閉合、定向3-流形中，若其具有強不可約的Heegaard分裂，則該分裂或同痕於一個指數至多為一的極小曲面，或同痕於一個帶有垂直把手的非定向極小曲面的穩定定向雙重覆蓋。證明使用了一種新穎的局部極小-極大理論來構造此類極小曲面，從而解決了3-流形拓撲學與極小曲面理論中長期存在的開問題。

ABSTRACT

Let $(M,g)$ be a closed oriented Riemannian $3$-manifold and suppose that there is a strongly irreducible Heegaard splitting $H$. We prove that $H$ is either isotopic to a minimal surface of index at most one or isotopic to the stable oriented double cover of a non-orientable minimal surface with a vertical handle attached. In particular, this proves a result conjectured by Rubinstein. Some consequences include the existence in any $\mathbb{R}P^3$ of either a minimal torus or a minimal projective plane with stable universal cover. In the case of positive scalar curvature, it is shown for spherical space forms not diffeomorphic to $S^3$ or $\mathbb{R}P^3$ that any strongly irreducible Heegaard splitting admits a minimal representative in its isotopy class, and that there is a minimal Heegaard splitting of area less than $4π$ if $R\geq 6$.

研究动机与目标

• 解決H. J. Rubinstein關於強不可約Heegaard分裂在3-流形中實現為極小曲面的長期猜想。
• 彌補Rubinstein原始草圖中關於極小-極大極限收斂性與組分分解的漏洞。
• 建立一種局部極小-極大理論，透過事先移除不需要的套管體來避免極小-極大極限中出現虛假組分。
• 證明在核心流形中獲得的極小-極大曲面不包含於邊界，從而確保拓撲控制。
• 將結果推廣至正標量曲率的流形，包括球面空間形式與連通和，並推導出指數一極小曲面數量的下界。

提出的方法

• 透過移除可能導致極小-極大極限中出現虛假組分的套管體的最大不相交並集，引入一個「核心」流形 $ N $。
• 將Almgren-Pitts極小-極大理論的局部版本應用於 $ N $，確保極小-極大曲面不包含於 $ \partial N $，從而避免平凡或不連通的結果。
• 利用Ketover、Marques與Neves的雙曲面估計來控制極小-極大構造中的面積與虧格。
• 運用Hersch技巧與投影論證來界定 $ M $ 中極小曲面的面積，證明其在 $ S^3 $ 上的提升滿足 $ \mathcal{H}^2(\tilde{S}) \leq 4\pi $。
• 應用嵌入點的局部分離性質（LS）於投影極小曲面的點，以確保拓撲一致性，並避免違反極小-極大構造的雙重覆蓋。
• 使用引理24處理非bumpy度量的情形，透過在核心的提升中構造極小球面，確保收斂至內部極小曲面。

实验结果

研究问题

• RQ1 在一個不微分同胚於 $ S^3 $ 的閉合3-流形中，其強不可約Heegaard分裂是否可實現為極小曲面或帶把手的雙重覆蓋？
• RQ2 當局部應用極小-極大理論時，是否會產生不包含於子域邊界的極小曲面？
• RQ3 局部極小-極大構造能否避免因套管體邊界在極小-極大極限中產生的虛假組分？
• RQ4 在正標量曲率的3-流形中，極小Heegaard分裂的最小面積是多少？
• RQ5 基於其素分解，正標量曲率3-流形中必須存在多少個指數一極小曲面？

主要发现

• Rubinstein的猜想已完全證明：在一個不微分同胚於 $ S^3 $ 的閉合、定向3-流形中，任何強不可約Heegaard分裂皆同痕於指數至多為一的極小曲面，或同痕於帶有垂直把手的非定向極小曲面的穩定定向雙重覆蓋。
• 在 $ \mathbb{R}P^3 $ 中，存在一個極小環面或一個具有穩定通用覆蓋的極小射影平面，兩者皆為感興趣的極小曲面。
• 對於不微分同胚於 $ S^3 $ 或 $ \mathbb{R}P^3 $ 的球面空間形式，任何強不可約Heegaard分裂皆同痕於一個極小曲面。
• 若標量曲率 $ R \geq 6 $，則存在一個面積小於 $ 4\pi $ 的極小Heegaard分裂，且此曲面為指數一。
• 對於一個正標量曲率的3-流形 $ \bar{M} $，其素分解包含 $ a $ 個 $ \mathbb{R}P^3 $、$ b $ 個具有非定向曲面的球面空間形式、$ c $ 個其他具有非定向曲面的流形，以及 $ d $ 個 $ S^1 \times S^2 $ 的副本，則指數一極小曲面的數量至少為 $ a + 2b + 3c + 2d - 1 $。
• 局部極小-極大構造確保極小-極大曲面不包含於核心邊界，此點對拓撲控制至關重要，並可避免組分崩潰。