[論文レビュー] One-sided and two-sided Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|Dec 2, 2011

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

ひとこと要約

本稿では、3次元多様体における片側ヘガード分解に対してヘンペル距離の概念を導入し、高い距離が代替的表面の存在を制限することを確立している—それらは元の分解の安定化であるか、有界な genus を持つ。非ハケン3次元多様体において、幾何的に圧縮可能な片側ヘガード表面は安定化されていることが証明され、また、高い距離をもつ片側分解から誘導される二面的分解の写像類群は、片側表面の基本群と同型であることが示されている。

ABSTRACT

We define a notion of Hempel distance for one-sided Heegaard splittings and show that the existence of alternate surfaces restricts distance for one-sided splittings in a manner similar to Hartshorn's and Scharlemann-Tomova's results for two-sided splittings. We also show that every geometrically compressible one-sided Heegaard surface in a non-Haken 3-manifold is stabilized, and show that the mapping class group of the two-sided Heegaard splitting induced by a high distance one-sided splitting is isomorphic to the fundamental group of the one-sided surface.

研究の動機と目的

• 3次元多様体における片側ヘガード分解に対して、ヘンペル距離に類似した意味のある距離の概念を定義すること。
• ハーツホーンおよびシャーレマン＝トムォーヴァの結果（genus の上限）を、片側設定に拡張すること。
• 非ハケン3次元多様体における幾何的に圧縮可能な片側ヘガード表面がすべて安定化されることを証明すること。
• 高い距離の条件下で、片側分解から誘導される二面的分解の写像類群と片側表面の基本群との間の正確な同型を確立すること。

提案手法

• 片側ヘガード表面の距離を、その補空間内のディスクを境界とする曲線と、正則近傍内における本質的円柱またはモビウスバンドの境界曲線との間の、曲線複体における距離として定義する。
• 標準的な二面的構成法を模倣することで、任意に高い距離を持つ片側分解を構成する。
• スイープアウトとバンド移動を用いて、片側分解を圧縮して得られる表面の位相を分析し、繰り返し圧縮が安定化に至ることを証明する。
• 区間バンドル U 内に垂直なチューブを付加することで、片側表面 O から二面的ヘガード表面 Σ′ を構成する。
• Σ′ の同相型を追跡する際、チューブの基点が O 内でどのように動くかを追跡し、そのような同相型が π₁(O) 内のループに対応することを示す。
• d(O) > 2g のとき、スイープアウト列にインデックス2の臨界点が存在しないことを利用して、Σ′ の同相型部分群が π₁(O) と同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 二面的分解におけるヘンペル距離に類似した、片側ヘガード分解に対して意味のある距離の概念を定義できるか？
• RQ2 片側分解における高い距離が、二面的分解における genus の上限定理と同様に、非圧縮可能または代替的片側表面の存在を制限するのか？
• RQ3 非ハケン3次元多様体におけるすべての幾何的に圧縮可能な片側ヘガード表面は安定化されているか？
• RQ4 高い距離を持つ片側分解から誘導される二面的分解の写像類群は、片側表面の基本群と同型であるか？

主な発見

• 片側ヘガード表面 O の距離は、任意の代替的表面 T の genus を制限する：d(O) ≤ χ(T) または T は O の安定化である。
• 非ハケン3次元多様体におけるすべての幾何的に圧縮可能な片側ヘガード表面は安定化されており、バルトリンリとルビンスタインの予想を裏付けた。
• d(O) > 2g のとき、誘導された二面的分解 Σ′ の写像類群 Mod(M, Σ′) は π₁(O) と同型である。
• Σ′ の同相型部分群は π₁(O) と同型であり、この同型は Σ′ を構成する際に用いられたチューブの基点の追跡によって実現される。
• O から Σ′ を構成する過程では、O の位相的複雑さが保存され、高い距離により、O 内のループによって誘導される以外の非自明な同相型は存在しない。
• 片側表面 O を繰り返し圧縮すると、O が得られる表面 O′ が得られ、O は O′ の安定化であることが示され、圧縮列に関する予想を裏付けた。