[論文レビュー] An algorithm for computing some Heegaard Floer homologies

Sucharit Sarkar, Jiajun Wang|ArXiv.org|Jul 31, 2006

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

ひとこと要約

本稿では、閉じた向き付け可能な3次元多様体および零ホモロジーラスな紐結び目に対して、ホロモーフィックなディスクの数え上げが組み合わせ的数え上げに簡略化される「きれいな」ヘーガード図を用いて、ヘーガード・フラワー homology（$\widehat{HF}$）および紐結び目フラワー homology（$\widehat{HFK}$）を計算する組み合わせ的アルゴリズムを提示する。主な貢献は、任意の3次元多様体と紐結び目ペアが「きれいな」ヘーガード図を有することを証明し、$\mathbb{F}_2$ 上での完全なアルゴリズム的計算を可能にしたことである。

ABSTRACT

In this paper, we give an algorithm to compute the hat version of the Heegaard Floer homology of a closed oriented three-manifold. This method also allows us to compute the filtrations coming from a null-homologous link in a three-manifold.

研究の動機と目的

• 任意の3次元多様体および紐結び目に対してヘーガード・フラワー homology 不変量を計算するという長年の未解決問題に取り組む。
• 任意のポイント付きヘーガード図を、ホロモーフィックなディスクの数え上げが組み合わせ的になる「きれいな」図に変換するための構成的手段を提供する。
• すべての閉じた向き付け可能な3次元多様体および零ホモロジーラスな紐結び目に、このようなきれいな図が存在することを確立し、アルゴリズム的計算を可能にする。
• 紐結び目に関連するフィルトレーションおよびホモロジー群を、組み合わせ的手段によって計算するための枠組みを提供する。
• 他のバージョンのヘーガード・フラワー homology、たとえば $HF^{-}$ や $HF^{+}$ への一般化の可能性を示唆する基盤を提供する。

提案手法

• 『きれいな』ヘーガード図の概念を導入する。これは、アルファおよびベータ曲線の補集合の各成分が、ベースポイントを含む1つの領域を除きすべてがドメインである図である。
• きれいなヘーガード図では、インデックス1のホロモーフィックなディスクが、空の三角形またはビゴンに正確に対応することを示し、解析的モジュライ空間の計算の代わりに組み合わせ的数え上げが可能になる。
• 任意の適切なポイント付きヘーガード図を、元の3次元多様体または紐結び目の構造を保存するように、ホロモーフィックな変形とハンドルスライドを用いたアルゴリズムを開発する。
• 得られたきれいな図が弱く適切であることを証明し、ホモロジー計算が図の選択に依存せず、well-defined であることを保証する。
• きれいな図の組み合わせ的構造を用いて、生成子と微分を明示的に定義し、$\widehat{HF}(Y)$ および $\widehat{HFK}(Y,K)$ を $\mathbb{F}_2$ 上で直接計算可能にする。
• 複数のベースポイントとリンク用の整合性のある図を扱うようにアルゴリズムを拡張し、組み合わせ的計算可能性を維持する。

実験結果

リサーチクエスチョン

• RQ1 任意の3次元多様体に対してヘーガード・フラワー homology の計算をアルゴリズム的かつ組み合わせ的に行うことは可能か？
• RQ2 すべての閉じた向き付け可能な3次元多様体は、ホロモーフィックなディスクの数え上げが組み合わせ的数え上げに簡略化されるヘーガード図を有するか？
• RQ3 零ホモロジーラスな紐結び目が3次元多様体に誘導するフィルトレーションは、適切な図の変換により組み合わせ的に計算可能か？
• RQ4 任意のポイント付きヘーガード図を、ホロモーフィックな変形とハンドルスライドを用いて「きれいな」図に変換する体系的な方法は存在するか？
• RQ5 得られた組み合わせ的枠組みは、$HF^{-}$ や $HF^{+}$ のようなヘーガード・フラワー homology の他のバージョンの計算へ拡張可能か？

主な発見

• 本稿では、すべての閉じた向き付け可能な3次元多様体がきれいなヘーガード図を有することを証明し、$\widehat{HF}$ のアルゴリズム的計算への重要な一歩を達成した。
• 3次元多様体内のすべての零ホモロジーラスな紐結び目は、整合性のあるきれいなヘーガード図を有し、$\widehat{HFK}$ のアルゴリズム的計算を可能にする。
• 三葉結び目に対して、9つの生成子を持つきれいな図が得られ、組み合わせ的境界写像を用いて明示的な紐結び目フラワー homology の計算が可能になった。
• ポアンカレのホモロジー球体 $\Sigma(2,3,5)$ は、335の生成子と505の微分を有するきれいなヘーガード図に変換され、非自明な例においてもこの手法の実行可能性が示された。
• きれいなヘーガード図が弱く適切であることが示され、得られるホモロジー群が図の選択に依存せず、well-defined であることが保証された。
• アルゴリズムは構成的である：任意の適切なポイント付きヘーガード図から出発し、ホロモーフィックな変形とハンドルスライドを用いてきれいな図に変換可能であり、位相的不変量が保存される。