[論文レビュー] On the existence of unstable minimal Heegaard surfaces

Daniel Ketover, Yevgeny Liokumovich|arXiv (Cornell University)|Sep 27, 2017

Geometric and Algebraic Topology参考文献 18被引用数 6

ひとこと要約

本稿では、3次元球面における一般の計量に対して、Simon-Smithのmin-max手続きによって得られる最小曲面のモース指数が1であることを確立する。Pitts-Rubinsteinの予想を裏付けるものであり、双曲的3次元多様体において、任意の強く非可縮的ハエガード分割は、首を締める操作（neck-pinch）を経て、1次指数の最小曲面に同相的か、あるいは1次指数の最小曲面に同相的になるかのいずれかであることを示す。新しい補間技法を用いて、安定な最小曲面への収束を除外する。

ABSTRACT

We prove that for generic metrics on a 3-sphere, the minimal surface obtained from the min-max procedure of Simon-Smith has index 1. We prove an analogous result for minimal surfaces arising from strongly irreducible Heegaard sweepouts in 3-manifolds. We also confirm a conjecture of Pitts-Rubinstein that a strongly irreducible Heegaard splitting in a hyperbolic three-manifold can either be isotoped to a minimal surface of index at most 1 or else after a neck-pinch is isotopic to a one-sided minimal Heegaard surface.

研究の動機と目的

• 一般計量を備えた3次元球面における、Simon-Smithのmin-max手続きによって得られる最小曲面のモース指数を特定すること。
• 双曲的3次元多様体における、強いては非可縮的ハエガード分割が、1次指数の最小曲面または1方向最小ハエガード曲面に同相的であるというPitts-Rubinsteinの予想を確認すること。
• 強いては非可縮的ハエガードスイープアウトにおけるmin-max列が安定な最小曲面に収束しないことを、新しい補間結果を用いて確立すること。
• 1パラメータのスイープアウトから得られるMarques-Nevesの1次指数結果を、トポロジーを制御可能なSimon-Smithの設定へと拡張すること。

提案手法

• 埋め込まれた2次元球面による3次元球面のスイープアウトに、Simon-Smithのmin-max手続きを適用し、 genus を制御可能な最小曲面を生成すること。
• 強いては非可縮的設定において、min-max列が安定な最小曲面に収束しないことを除外する、新しい補間結果を導入すること。
• bumpy metric 条件を適用して、最小曲面の安定性が良好に保たれ、退化を避けるようにすること。
• 非可定向最小曲面を可定向化するために二重被覆を用い、既知の指数境界および面積推定に応用可能にする。
• カテノイド推定および面積比較論法を用いて、特定の状況では非可定向曲面による幅の実現が不可能であることを除外すること。
• 滑らかな収束および固有値の連続性を用いて、bumpyでない計量下でも、近似により極限曲面の指数が1または0であることを導出すること。

実験結果

リサーチクエスチョン

• RQ1 一般計量におけるS³上でのSimon-Smith min-max手続きによって得られる最小曲面のモース指数は1か？
• RQ2 双曲的3次元多様体における任意の強いては非可縮的ハエガード分割は、指数が1以下である最小曲面にホモトープにできるか？
• RQ3 強いては非可縮的ハエガードスイープアウトにおけるmin-max列が、安定な最小曲面に収束することは可能か？
• RQ4 bumpy計量のもとで、非可定向最小曲面が幅の最小化子である3次元多様体の幅が、矛盾を引き起こすか？
• RQ5 1方向ハエガード曲面を二重被覆に引き上げ、面積と指数を解析することで、Pitts-Rubinsteinの予想を確認できるか？

主な発見

• S³に一般（bumpy）計量が与えられたとき、Simon-Smithのmin-max手続きによって得られる最小曲面のモース指数は、正確に1である。
• 双曲的3次元多様体において、任意の強いては非可縮的ハエガード分割は、1次指数の最小曲面に同相的であるか、または首を締める操作を経て1方向最小ハエガード曲面に変化する。
• 著者らは、強いては非可縮的設定において、min-max列が安定な最小曲面に収束しないことを除外する新しい補間結果を確立した。
• bumpy計量を備えたRP³に微分同相な3次元多様体の幅は、最小2次元球面または1次指数の最小トーラスによって実現される。
• 幅が非可定向曲面によって実現される場合、二重被覆の議論により、不安定な2次元球面が存在しない限り矛盾が生じる。これにより、元の多様体に1次指数の2次元球面が存在することが証明される。
• 証明は、双曲的3次元多様体における強いては非可縮的ハエガード分割へと一般化され、1次指数かつ genus が g 以下の可定向最小曲面が存在することが示された。