[論文レビュー] A closed orientable 3-manifold with distinct distance three genus two Heegaard splittings

John Berge|ArXiv.org|Dec 7, 2009

Geometric and Algebraic Topology参考文献 7被引用数 3

ひとこと要約

本稿は、距離3の種数2のヘーガード分解を2つもつ閉じた向きつけ可能な3次元多様体の、これまでに知られていた唯一の例を提示している。これは、ルビンシュタインとシャーマンが1998年に提唱した方法による同種の分類が不完全であることを示している。構成はR-R図と群の表示を用い、同相でない2つの分解を実現し、最小交差数が異なることを示し、[RS]に含まれる構成法の外に、すべての種数2の分解を分類するための追加的手法が必要であることを証明している。

ABSTRACT

We describe an example of a closed orientable 3-manifold with distinct distance three genus two Heegaard splittings. This demonstrates that the constructions of alternate genus two Heegaard splittings of closed orientable 3-manifolds described by Rubinstein and Scharlemann in their 1998 paper Genus Two Heegaard Splittings of Orientable 3-Manifolds, does not yield all alternate genus two splittings and must be augmented.

研究の動機と目的

• 距離3の種数2ヘーガード分解を2つもつ閉じた向きつけ可能な3次元多様体を構成すること。
• ルビンシュタインとシャーマンが1998年に提唱した種数2の分解の分類法が不完全であることを示すこと。
• すべての可能な代替的種数2ヘーガード分解を捉えるために、[BS]の構成法が必要であることを示すこと。
• 2つの分解の最小交差数を比較することにより、それらが同相でないことを証明すること。
• 分解のハンドル体構造において、厳密な普遍最小化集合（SUMS）の存在を確立すること。

提案手法

• 特定の関係式をもつ2生成、2関係の群表示を用いて、種数2のヘーガード分解を構成すること。
• R-R図を用いてヘーガード分解を表現し、カットディスクの交差パターンを追跡すること。
• 関係式における語の長さ（語部）の数を数えることで、R-R図におけるA-およびB-六角形間の接続数を計算すること。
• ホワイトヘッド自己同型を適用して、群表示における最小性の確認と可約性の検出をすること。
• ヘーガード図のグラフ構造を分析して、最小ディスク集合の一意性を決定すること。
• 2つの分解におけるカットディスクの境界曲線間の交差総数を比較し、それらを位相的に区別すること。

実験結果

リサーチクエスチョン

• RQ1 閉じた向きつけ可能な3次元多様体が、距離3の種数2ヘーガード分解を2つもつことは可能か？
• RQ2 ルビンシュタインとシャーマン（1998年）の構成法は、すべての可能な種数2ヘーガード分解を分類するために十分か？
• RQ3 同じ3次元多様体の2つの種数2ヘーガード分解が、両方とも距離3であるが、同相でないことはあり得るか？
• RQ4 厳密な普遍最小化集合（SUMS）の存在が、最小ヘーガード図の一意性を一意に決定するか？
• RQ5 2つの分解におけるディスク系間の最小交差数を用いて、同相でない分解を区別できるか？

主な発見

• 本稿は、距離3の種数2ヘーガード分解を2つもつ閉じた向きつけ可能な3次元多様体を構成した。
• 2つの分解は、最小交差数がそれぞれ121および149と異なっていることから、同相でないことが示された。
• カットディスクの集合 {DA, DB} は、両分解において厳密な普遍最小化集合（SUMS）を形成しており、最小交差パターンの一意性が保証された。
• 図5のR-R図は、交差数149を達成する関係式を実現している。
• 図4のR-R図は、121本の交差をもつ別の構成を実現しており、異なる分解型が確認された。
• この結果は、[RS]の1998年の分類法に、[BS]の構成法を追加しなければ、すべての代替的種数2ヘーガード分解を捉えることができないことを示唆している。