[論文レビュー] Calculating isotopy classes of Heegaard splittings

Jesse Johnson|arXiv (Cornell University)|Apr 26, 2010

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

ひとこと要約

本稿では、3次元多様体 $M$ に境界がある場合に、部分的に平坦な角度付き理想三角形分割を用いて、すべてのホモトピー類のヘーガード分割を計算するアルゴリズムを提示する。2次元複体 $\mathcal{D}^2(M,\mathcal{T}^1)$ を構築することで、有界な genus を持つ曲面を符号化し、2つのほとんど正規曲面が同一ホモトピー類のヘーガード分割を表す条件を特定するとともに、任意の2つのこのような分割の最小 genus 共通安定化を計算する。

ABSTRACT

We show that given a partially flat angled ideal triangulation for a 3-manifold $M$ with boundary (as defined by Lackenby), there is an algorithm to produce a list of Heegaard splittings for $M$ such that below a given genus $g$, each isotopy class appears exactly once. In particular, this algorithm determines precisely when two almost normal surfaces represent Heegaard splittings that are isotopic in the ambient 3-manifold. A closely related algorithm determines the smallest genus common stabilization of any two Heegaard splittings on the list. The methods, in fact, characterize isotopies between Heegaard surfaces in any triangulation, but the existence of infinitely many normal surfaces of the same genus prevents this characterization from being algorithmic in general.

研究の動機と目的

• 境界付き3次元多様体 $M$ における、与えられた genus $g$ 以下のすべてのヘーガード分割のホモトピー類を列挙するアルゴリズムの開発。
• アービトラリーな正規曲面が、埋め込まれた3次元多様体内での同一ホモトピー類のヘーガード分割を表すかどうかをアルゴリズム的に特定すること。
• 列挙された任意の2つのヘーガード分割の最小 genus 共通安定化を計算すること。
• 三角形分割された3次元多様体におけるヘーガード曲面間のホモトピーを、アルゴリズム的に特徴付けること。
• 1スケルトンに直交する曲面の胞体複体構造を用いて、ホモトピー類の有限でアルゴリズム的な特徴付けを提供すること。

提案手法

• 部分的に平坦な角度付き理想三角形分割の1スケルトン $\mathcal{T}^1$ から、2次元複体 $\mathcal{D}^2(M,\mathcal{T}^1)$ を構築する。
• $\mathcal{D}^2$ の頂点を、$\mathcal{T}^1$ に関して index 0, 1, 2 の正規およびほとんど正規曲面とし、各頂点に genus を割り当てる。
• 辺を頂点間の圧縮体として定義し、面を複体内のパス間の面スライドの系列として定義する。
• 線形計画法を用いて、genus $\leq g$ のすべての index 0, -1, -2 の正規およびほとんど正規曲面を計算する。
• 各エッジ重みベクトルに対して湾曲表面のグラフを構築し、index -1 および index -2 の頂点以下のすべての圧縮パスを列挙する。
• 異なる index を持つエッジのループに三角形を付加して、$\mathcal{D}^2(M,\mathcal{T}^1)$ のすべての面を構成し、すべてのホモトピー情報を保持する。

実験結果

リサーチクエスチョン

• RQ1 境界付き3次元多様体 $M$ が部分的に平坦な角度付き理想三角形分割を持つとき、与えられた genus $g$ 以下のすべてのヘーガード分割のホモトピー類をアルゴリズム的に列挙できるか。
• RQ2 2つのほとんど正規曲面が、$M$ 内で同一ホモトピー類のヘーガード分割を表すかどうかを、アルゴリズム的に特定する方法は何か。
• RQ3 $M$ 内の任意の2つのヘーガード分割の最小 genus 共通安定化は何か。
• RQ4 有限な複体としての曲面の構造を用いて、ヘーガード分割のホモトピー類を制御可能な複雑さで特徴付けられるか。
• RQ5 $\mathcal{D}(M,\mathcal{T}^1)$ 内のパスが、非可約なヘーガード分割を表す条件は何か。

主な発見

• 部分的に平坦な角度付き理想三角形分割が与えられたとき、$\mathcal{D}^2(M,\mathcal{T}^1)$ のすべての頂点（genus が $g$ 以下のもの）を有限のアルゴリズムで計算可能である。
• $\mathcal{D}^1(M,\mathcal{T}^1)$ 内の $v_-$ から $v_+$ への2つのパスが、同一ホモトピー類のヘーガード分割を表すための必要十分条件は、それらの間で定数 genus を保つ面スライドの系列が存在することである。
• パスが非可約なヘーガード分割を表すための必要十分条件は、そのパスから出発する面スライドの系列によって、非増加の genus を持つより低い genus のパスが得られないことである。
• $\mathcal{D}^2(M,\mathcal{T}^1)$ は、$M$ 内のヘーガード分割のホモトピー類を完全に符号化しており、ホモトピーは定数 genus の面スライド系列によって検出可能である。
• アルゴリズムは、genus $\leq g$ の頂点を含む $\mathcal{D}^2(M,\mathcal{T}^1)$ の部分複体を、湾曲表面グラフの有限計算により、すべての辺と面を含めて構築する。
• 部分的に平坦な角度付き三角形分割において、有界な genus を持つ正規およびほとんど正規曲面が有限個であることから、アルゴリズムの停止性と有効性が保証される。