[論文レビュー] Heegaard splittings of sufficiently complicated 3-manifolds I: Stabilization

David Bachman|ArXiv.org|Mar 10, 2009

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

ひとこと要約

本稿は、同一の3次元多様体におけるヘーガード分割が同値に至るまでに複数回の安定化が必要となる明示的な族を構成し、安定化予想を反証する。『十分に複雑な』写像を用いて非圧縮可能表面に沿って多様体を貼り合わせることで、 genus $n$ の分割に対して、$n-2$、$n-4$、$rac{1}{2}n-3$ の安定化が必要となる高安定化距離を持つ分割を構成する。一般化ヘーガード分割とバリア表面理論を用いて、同値性の非成立を証明する。

ABSTRACT

We construct families of pairs of Heegaard splittings that must be stabilized several times to become equivalent. The first such pair differs only by their orientation. These are genus n splittings of a closed 3-manifold that must be stabilized at least n-2 times to become equivalent. The second is a pair of genus n splittings of a manifold with toroidal boundary that must be stabilized at least n-4 times to become equivalent. The last example is a pair of genus n splittings of a closed 3-manifold that must be stabilized at least ${1/2}n -3$ times to become equivalent, regardless of their orientations. All of these examples are splittings of manifolds that are obtained from simpler manifolds by gluing along incompressible surfaces via "sufficiently complicated" maps.

研究の動機と目的

• 任意の2つの3次元多様体のヘーガード分割が、高々1回の安定化で同値になると仮定する安定化予想を反証すること。
• 同じ genus $n$ の分割のペアが、1回をはるかに超える安定化を要する明示的な反例を構成すること。
• 『十分に複雑な』貼り合わせ写像を用いて単純な部品から構成される多様体において、安定化距離を制御・定量化できることを示すこと。
• 単純な部品のアマルガメーション分割から得られる分割であっても、安定化後も著しく非同値のままである可能性を示すこと。
• 非圧縮可能表面の存在と、貼り合わせ写像における高ヘンペル距離が、分割自体の内在的距離が低くても、高安定化距離を生じることを確立すること。

提案手法

• 非圧縮可能境界成分をもつ単純な3次元多様体を、『十分に複雑な』同相写像を用いて貼り合わせることで3次元多様体を構成し、バリア表面の性質を保証する。
• 一般化ヘーガード分割（GHS）およびGHSの系列（SOG）を用いて、分割の位相的構造を分析し、表面をまたがる向きの変化を追跡する。
• 定理7.1を適用し、特定の表面（例：genus $g$ の表面、トーラス）が $(3g+3)$-バリア表面となるように保証し、低 genus の非圧縮可能または臨界的表面が通過することを防ぐ。
• SOGにおけるバリア表面をまたがる向きの反転の概念を用い、共通安定化の最小 genus が増加するように強制する。
• 補題8.1および系5.8の genus 界を用いて、主要な表面で向きが逆である2つのGHSの共通安定化の最小 genus を計算する。
• 不等式 $\mathrm{genus}(\mathbf{H}) \geq \mathrm{genus}(\mathbf{K}) \geq \sum \mathrm{genus}(M_i) - \sum \mathrm{genus}(\text{貼り合わせ表面}) + 1$ を適用し、安定化距離の下界を導出する。

実験結果

リサーチクエスチョン

• RQ1 同じ genus のヘーガード分割のペアが、同値に至るまでに1回をはるかに超える安定化を要する可能性はあるか？
• RQ2 2つの genus $n$ の分割が同値に至るために必要な最小の安定化回数は何か？ そしてこの数は $n$ と共に増大しうるか？
• RQ3 多様体間の貼り合わせ写像の複雑さは、得られる分割の安定化距離にどのように影響するか？
• RQ4 非圧縮可能表面を介したアマルガメーションから得られる分割であっても、内在的距離が低くても高安定化距離を示し続けることができるか？
• RQ5 バリア表面は、SOGにおける低 genus の表面が安定化プロセスに干渉することをどれほど効果的に防げるか？

主な発見

• 任意の $n \geq 4$ に対して、その向きを反転させたものと同値に至るまでに少なくとも $n-2$ 回の安定化を要する閉じた3次元多様体が存在する。
• 任意の $n \geq 5$ に対して、トーラス境界をもつ3次元多様体が存在し、2つの genus $n$ の分割が同値に至るまでに少なくとも $n-4$ 回の安定化を要する。
• 任意の $n \geq 8$ に対して、閉じた3次元多様体が存在し、2つの genus $n$ の分割が同値に至るまでに少なくとも $\frac{1}{2}n - 3$ 回の安定化を要する（向きの有無にかかわらず）。
• このようなペアの共通安定化の最小 genus は、それぞれ $2g+2$、$3g+3$、$3g+3$ で下から抑えられる。ここで $g = n-3$ または $n/2 - 4$ である。
• 『十分に複雑な』貼り合わせ写像の使用により、特定の表面がバリア表面となることが保証され、低 genus の非圧縮可能または臨界的表面がSOGに出現することを防ぐ。
• genus 界は、SOGにおけるバリア表面をまたがる向きの反転に基づき導出され、これにより共通安定化の最小 genus が関係するバリア表面の genus に応じて増加するように強制される。