[論文レビュー] A linear bound on the genera of Heegaard splittings with distances greater than two

Tsuyoshi Kobayashi, Yo’av Rieck|arXiv (Cornell University)|Mar 19, 2008

Geometric and Algebraic Topology参考文献 9被引用数 2

ひとこと要約

本稿は、一般化三角形分割を伴う t 個の単体を含む閉じた向きつけ可能な 3 次元多様体におけるヘーガード分割の genus に対して線形な上限を確立する。もしヘーガード表面 Σ の genus g(Σ) が g(Σ) ≥ 76t + 26 を満たすならば、そのヘンペル距離 d(Σ) は 2 以下である。証明は強いための非可縮性表面に対する彩色論を用いて、特定の位相的性質を有するパンツの構成を行う。これにより線形な genus の上限が得られ、スレイマーの以前の二次関数的上限よりも改善され、一般化三角形分割への応用が拡張される。

ABSTRACT

Let M be a closed, orientable 3-manifold that admits a triangulation with t tetrahedra. Let Σ be a Heegaard surface for M. S. Schleimer [19, Theorem 11.1] showed that if g(Σ) ≥ 2216t2, then the Hempel distance of Σ (denoted by d(Σ), see Definition 6) is at most two. In this paper we improve this result in two ways: first, we obtain a linear bound. Second, we allow M to be any 3-manifold that admits a generalized triangulation, that is, a decomposition into generalized tetrahedra: tetrahedra with some vertices removed or truncated. See Definitions 4. We note that if there exists a compact 3-manifold N so that M is obtained from N by removing a (possibly empty) closed subsurface of ∂N, then M admits a generalized triangulation, see Lemma 5. Our main result is: Theorem 1. Let M be an orientable 3-manifold that admits a generalized triangulation with t generalized tetrahedra. Let Σ be a Heegaard surface for M. If g(Σ) ≥ 76t + 26, then d(Σ) ≤ 2. Remarks. (1) Saul Schleimer remarks that in his dissertation he obtained a quadratic bound giving distance 3 and a linear bound giving distance 4. A corrected version of Schleimer’s dissertation is available at [18]. (2) In [19] Schleimer showed that [19, Theorem 11.1], together with the generalized Waldhausen Conjecture, imply that any 3-manifold admits only finitely many Heegaard splitting of distance 3 or more. Since the publication of [19], T. Li [11] proved the generalized Waldhausen Conjecture, establishing this fact. Outline. In Section 1 we explain our perspective of this work and list six open questions. In Section 2 we explain a few preliminaries. The work begins in Section 3, where we take a strongly irreducible Heegaard surface of genus at least 76t + 26, color it, and analyze the coloring; the climax of Section 3 is Proposition 14, where we prove existence of a pair of pants with certain useful properties. In Section 4 we prove Theorem 1.

研究の動機と目的

• 一般化三角形分割を伴う 3 次元多様体における距離が 2 以下のヘーガード分割の線形 genus の上限を確立すること。
• スレイマーの距離 ≤2 の場合における以前の二次関数的上限を、一般化された単体数に線形依存する形に改善すること。
• 境界成分から閉じた部分表面を除去して得られる多様体を含む、一般化三角形分割を許容する 3 次元多様体へ結果を拡張すること。
• 表面の彩色とパンツ分解を用いた位相的枠組みを提供し、高 genus のヘーガード表面を分析すること。
• 一般化ウォルダーセン予想に基づく、距離 ≥3 のヘーガード分割の有限性を支持すること。この予想はリによって証明済みである。

提案手法

• genus が 76t + 26 以上の強いための非可縮性ヘーガード表面に対して、一般化単体との交差を分析するための彩色論を適用する。
• 彩色を用いて、命題 14 で確立された特定の位相的・組合せ的性質を有するパンツを検出する。
• 単体の頂点が取り除かれたり切断されたりする可能性がある一般化三角形分割の枠組み内で作業し、より広範な適用可能性を確保する。
• 強いための非可縮性表面の構造を活用して、本質的表面や曲線の可能な配置を制約する。
• 位相的および組合せ的技法を統合し、ヘンペル距離が 2 以下になるように genus の線形上限を導出する。
• 距離が 2 より大きいと仮定した場合に、特別なパンツの存在が矛盾を引き起こすことを示し、これにより上限が証明される。

実験結果

リサーチクエスチョン

• RQ1 一般化三角形分割を伴う 3 次元多様体における距離が 2 以下のヘーガード分割に対して、線形な genus の上限を確立できるか？
• RQ2 多様体が一般化三角形分割を許容する場合、ヘーガード表面の genus はそのヘンペル距離にどのように制約されるか？
• RQ3 同じ距離条件のもとで、スレイマーの二次関数的上限を線形上限にまで改善できるか、その程度はどの程度か？
• RQ4 高 genus の強いための非可縮性表面に現れるような位相的構造（例えば、特別なパンツのペア）は、距離を制約するためにどのように利用できるか？
• RQ5 t 個の単体を含む一般化三角形分割が存在する場合、距離 ≤2 を強制する一様な線形 genus の上限が得られるか？

主な発見

• 本稿は線形 genus の上限を確立した：3 次元多様体 M に一般化三角形分割（t 個の単体）が存在する場合、ヘーガード表面 Σ に対して g(Σ) ≥ 76t + 26 ならば d(Σ) ≤ 2 である。
• この結果は、スレイマーの以前の二次関数的上限（g(Σ) ≥ 2216t²）を改善し、距離条件が同一の場合に genus の閾値を顕著に低減している。
• 本手法は、強いための非可縮性表面に彩色論を適用し、特定の交差性質を有するパンツの構成に至る。
• この上限は、境界成分から閉じた部分表面を除去して得られる多様体を含む、すべての向きつけ可能な 3 次元多様体に適用可能である。
• リによる一般化ウォルダーセン予想の証明に基づき、距離 ≥3 のヘーガード分割の有限性を支持する。
• 証明は、このような多様体における高 genus ヘーガード表面は、距離が低くなる必要があることを示しており、その位相的構造に制約を与える。