[論文レビュー] 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

ひとこと要約

この論文は、3次元多様体が3次元球面と微分同相でない閉じた向き付け可能3次元多様体で、強く非可縮なヘーガード分割を持つ場合、その分割が、インデックスが1以下の最小曲面に同相であるか、または垂直なハンドルを備えた非可縮最小曲面の安定的向き付け付き二重被覆に同相であると示すルビンスタインの予想を証明する。証明は、このような最小曲面を構成するための画期的な局所的ミニマックス理論を用い、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$.

研究の動機と目的

• 3次元多様体における強く非可縮なヘーガード分割が最小曲面として実現可能であるという、H. J. ルビンスタインによる長年の予想を解決すること。
• 特にミニマックス極限における収束性と成分の分解に関する問題を含み、ルビンスタインの元のスケッチにおけるミニマックス証明の穴を埋めること。
• ミニマックス曲面が複数の成分に分裂する問題を回避するために、事前に不適切なハンドルボディを除去することで、ミニマックス理論の局所的枠組みを確立すること。
• コア多様体で得られるミニマックス曲面が境界に含まれないことを証明し、トポロジー的制御を保証すること。
• 正スカラー曲率をもつ多様体、特に球面空間形式や連結和に対しても結果を拡張し、インデックス1の最小曲面の数の下界を導出すること。

提案手法

• ミニマックス極限における不適切な成分の原因となる可能性があるハンドルボディの最大の互いに素な集合を除去することで、$ N $ という「コア」多様体を定義する。
• Almgren-Pitts のミニマックス理論の局所的バージョンを $ N $ に適用し、ミニマックス曲面が $ \partial N $ に含まれないことを保証することで、自明または非連結な結果を防ぐ。
• ケトーバー、マルケス、ネーヴェスによるキャテンイド推定を用いて、ミニマックス構成における面積と genus を制御する。
• ヘーシュのテクニックと射影の議論を用い、$ M $ における最小曲面の面積を評価し、$ S^3 $ 上への上への.lift に対して $ \mathcal{H}^2(\tilde{S}) \leq 4\pi $ を示す。
• 埋め込まれた点における射影された最小曲面の「局所的分離性」（LS）を適用し、トポロジー的一致性を保証し、ミニマックス構成に反する二重被覆を回避する。
• 補題24を用いて、非バンプな計量に対しても、コアの上への上への埋め込みにおける最小球面を構成することで、内部の最小曲面への収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 3次元球面と微分同相でない閉じた3次元多様体における強く非可縮なヘーガード分割は、最小曲面またはハンドルを備えた二重被覆として実現可能か？
• RQ2 局所的にミニマックス理論を適用した場合、ミニマックス曲面が部分多様体の境界に含まれないか？
• RQ3 局所的ミニマックス構成は、ミニマックス極限におけるハンドルボディの境界から生じる不適切な成分を回避できるか？
• RQ4 正スカラー曲率をもつ3次元多様体における最小ヘーガード分割の最小面積は何か？
• RQ5 その素因数分解に基づいて、正スカラー曲率をもつ3次元多様体に存在するインデックス1の最小曲面の数は、最小でいくつあるか？

主な発見

• ルビンスタインの予想は完全に証明された：3次元球面と微分同相でない閉じた向き付け可能な3次元多様体における任意の強く非可縮なヘーガード分割は、インデックスが1以下の最小曲面に同相、または垂直なハンドルを備えた非可縮最小曲面の安定的向き付け付き二重被覆に同相である。
• $ \mathbb{R}P^3 $ においては、最小トーラスまたは安定的普遍被覆を持つ最小射影平面が存在し、両方とも関心の高い最小曲面である。
• 3次元球面空間形式で $ S^3 $ も $ \mathbb{R}P^3 $ とも微分同相でないものに対しては、任意の強く非可縮なヘーガード分割は最小曲面に同相である。
• スカラー曲率 $ R \geq 6 $ の場合、面積が $ 4\pi $ より小さい最小ヘーガード分割が存在し、そのような曲面はインデックス1である。
• 正スカラー曲率をもつ3次元多様体 $ \bar{M} $ において、素因数分解が $ a $ 個の $ \mathbb{R}P^3 $、$ b $ 個の非可縮曲面をもつ球面空間形式、$ c $ 個の非可縮曲面をもつ他の多様体、$ d $ 個の $ S^1 \times S^2 $ からなる場合、インデックス1の最小曲面の数は少なくとも $ a + 2b + 3c + 2d - 1 $ 個存在する。
• 局所的ミニマックス構成により、ミニマックス曲面がコアの境界に含まれないことが保証され、これはトポロジー的制御に不可欠であり、成分の分解を回避する。