[論文レビュー] Non-uniqueness of high distance Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|Aug 21, 2013

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

ひとこと要約

本稿は、高距離ヘガード分割を持つ3次元多様体を構成し、その中に正確に d/2 の genus を持つ圧縮不能な曲面と、d/2 + g - 1 の genus を持つ非安定化ヘガード分割を同時に持つことを示した。これにより、ハーツホーンの圧縮不能曲面の genus に対する下界が鋭く、シャーレマン＝トムォーヴァの安定化に関する境界がほとんど最適であるが、必ずしもタイトではないことが示された。構成は曲面複体内の制御された測地線とハンドル体集合への射影に依存する。

ABSTRACT

Kevin Hartshorn showed that if a three-dimensional manifold $M$ admits a Heegaard surface $Σ$ with Hempel distance $d$ then every incompressible surface in $M$ has genus at least $\frac{d}{2}$. Scharlemann-Tomova generalized this, proving that in such a manifold, every other Heegaard surface for $M$ of genus $g' < \frac{d}{2}$ is a stabilization of $Σ$. In the present paper, we show that Hartshorn's bound is sharp and Scharlemann-Tomova's bound is very close to sharp. In particular, for every pair of integers $g \geq 2, d \geq 2$, we construct a three-manifold $M$ with a genus $g$, distance $d$ Heegaard splitting and an incompressible surface of genus $\frac{d}{2}$. We also construct, for every $d \geq 4$, a three-manifold with a genus $g$, distance $d$ Heegaard surface $Σ$ and a second Heegaard surface with genus $g' = \frac{1}{2} d + g - 1$ that is not a stabilization of $Σ$.

研究の動機と目的

• 高距離ヘガード分割を持つ3次元多様体において、ハーツホーンの圧縮不能曲面の genus に対する下界（d/2）が鋭いかどうかを特定すること。
• シャーレマン＝トムォーヴァの安定化定理（任意の低 genus ヘガード曲面は安定化であると述べる）が、一意性を示すように強化可能かどうかを調査すること。
• 高距離ヘガード分割と、複数の非安定化かつ同相でないヘガード曲面を持つ明示的な3次元多様体を構成すること。
• 高距離設定における圧縮不能曲面と代替ヘガード分割との関係を調査すること。

提案手法

• 曲面複体内に、長さ d のほぼ厳密なフレキパスを形成する曲線の経路を構成し、部分多様体への射影を制御する。
• 曲面複体の経路を用いて境界成分に沿って貼り合わせることで経路多様体 M' を定義し、それを埋めることで高距離ヘガード分割を持つ閉じた3次元多様体 M を得る。
• 経路からインデックス1のフラット曲面 S を定義し、ハンドル体を S で囲む成分に分解することで M のヘガード分割を誘導する。
• 境界曲線の交差パターンを解析し、曲面複体の δ-双曲性を用いて曲面 S が強く非可縮であることを証明する。
• 接合された成分の genus 加法性を用いて、代替ヘガード曲面の genus を計算し、d/2 + g - 1 の genus を得る。
• genus と非可縮性を比較することで、代替曲面 S が元の分割の安定化でないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 高さ g、距離 d のヘガード分割を持つ3次元多様体において、圧縮不能曲面の genus に対するハーツホーンの下界 d/2 は鋭いか？
• RQ2 シャーレマン＝トムォーヴァの結果は、高距離ヘガード分割が多様体の唯一の非可縮ヘガード分割であると強化可能か？
• RQ3 高距離ヘガード分割を持つ3次元多様体は、d/2 よりも大きい genus を持つ非安定化かつ同相でないヘガード分割を必ず持つか？
• RQ4 低 genus の圧縮不能曲面を含む多様体と、低 genus の代替ヘガード分割を含む多様体との間に構造的差異はあるか？
• RQ5 曲面複体におけるハンドル体集合間の複数の測地線が、同相でない代替ヘガード分割をもたらすか？

主な発見

• 任意の偶数 d ≥ 2 および g ≥ 2 に対して、閉じて向き付け可能な3次元多様体 M が存在し、genus g、距離 d のヘガード分割と、正確に d/2 の genus を持つ圧縮不能曲面を持つ。これにより、ハーツホーンの境界が鋭であることが証明された。
• 任意の偶数 d ≥ 4 および g ≥ 2 に対して、genus g、距離 d のヘガード分割を持つ3次元多様体 M が存在し、最初の分割の安定化でない、genus d/2 + g - 1 の第二のヘガード曲面を持つ。これにより、シャーレマン＝トムォーヴァの境界が非常に鋭いことが示されたが、必ずしもタイトではない。
• 構成された代替ヘガード曲面は強く非可縮であり、従って安定化ではない。その genus はシャーレマン＝トムォーヴァの境界をわずかに上回る。
• 構成は、長さ d のほぼ厳密なフレキパスに依存しており、これにより部分多様体への射影が制御され、正確な genus 計算が可能になる。
• 代替ヘガード曲面の genus は、曲面が誘導するハンドル体分解の成分の genus を加算することで、d/2 + g - 1 として計算された。
• 結果から、低 genus の圧縮不能曲面の存在と、非安定化代替ヘガード分割の存在が、異なるクラスの多様体に現れる可能性があることが示唆され、両方を同時に持つ多様体が存在するかは未解決のまま残っている。