[論文レビュー] ON THE HEEGAARD FLOER HOMOLOGY OF S 3 p/q (K)

As N ́ Andr ́|arXiv (Cornell University)|Oct 27, 2004

Geometric and Algebraic Topology参考文献 11被引用数 4

ひとこと要約

本稿は、K が代数的絡み目であり、p/q < 0 であるとき、有理ホモロジー球体 M = S³₋ₚ/₉(K) に対して Heegaard Floer homology HF⁺(−M) を計算する。K のアレクサンダー多項式とスケーリング係数を用いて、すべてのスピン⁰構造 σₐ に対して HF⁺(−M, σₐ) の明示的で素朴な公式を提供する。プルーニンググラフから得られる階数付きルートを活用することで、幾何的に直感的で最適な計算が可能となる。

ABSTRACT

Assume that the oriented 3-manifold M = S 3 p/q(K) is obtained by a rational surgery (with coefficient p/q < 0) along an algebraic knot KS 3 . We compute the Heegaard Floer homology of M in terms of p/q and the Alexander polynomial of K. In this article we compute the Heegaard Floer homology HF + (−M) (introduced by Ozsvath and Szabo (13)) for the oriented 3-manifold M = S 3 −p/q (K) obtained by a negative rational surgery (with coefficient−p/q) along an algebraic knot K ⊂ S 3 . In this case, since H1(M, Z) = Zp, the spin c -structures {σa}a of M can be parametrized by integers a = 0,1, . . . p − 1. The main result of the article establishes HF + (−M, σa) in terms of the integers p, q, a, and the Alexander polynomial � of K ⊂ S 3 . Notice that the Alexander polynomial of an algebraic (any) knot is well-understood, it can be easily computed from most of the other invariants of the knot (e.g., in the present algebraic case, from Puiseux or Newton pairs, or from the semigroup associated with the corresponding local analytic germ). In particular, the input of the theorem is the simplest what one can hope. Since (in some sense) all the coefficients ofare effectively involved i n the description of the Heegaard Floer homology, in fact, the result is optimal. In the very recent manuscript (16), Ozsvath and Szabo computed HF + (S 3(K)) - for any knot K and any integer surgery coefficientp - in terms of the filtered chain homotopy type of the Heegaard Floer complex associated with the pair (S 3 , K). Compared with this, our starting data, and also the description of HF + (−M), are simpler, and totally elementary; as a price for this we have to impose the 'negativity restrictions' for the surgery coefficient and for K. The proof (and the structure of the article) is based on the results and constructions of (10) valid for plumbed 3-manifolds associated with some negative definite plumbing graphs - in fact, this also explains the source of our restrictions. Although (10) presents a precise algorithm how one should compute HF + , its implementations in different situations sometimes is not straightforward. In the present case too, the proof and additional constructions run over many sections. In fact, with the present article, we also wish to advertise the efficiency, novelty and the power of (10). This method, in fact, determines the 'graded roots' (some graded trees) associated with the plumbing graph of M, from which one can read easily the Heegaard Floer homology. The advantage of these graded roots is that (in all the cases known by the author) their structure reflects perfectly the corresponding geometrical construction which provides M. In particular, in many cases, from the topology of M one can identify the roots rather conceptually. Section 2 recalls the classical invariants of algebraic knots and connects them with the plumbing of M. The next section recalls the definition and first properties of graded roots - necessary to formulate the main theorem, which appears in section 4. Section 5 presents two relevant results of (10), as general principles to compute HF + . (In fact, section 5 can serve as a general recipe for the 1991 Mathematics Subject Classification. Primary. 57M27, 57R57, 58Kxx, 32Sxx; Secondary. 14E15, 14Bxx.

研究の動機と目的

• 代数的絡み目 K ⊂ S³ に対する負の有理スケーリングで得られる 3 次元多様体 M = S³₋ₚ/₉(K) に対して、Heegaard Floer homology HF⁺(−M) を計算すること。
• HF⁺(−M, σₐ) を整数 p, q, a および絡み目 K のアレクサンダー多項式 Δ_K(t) の観点から明示的に表現すること。
• この計算に必要な入力データ（p/q と Δ_K(t)）が最小かつ最適であることを示すこと。
• プルーニングされた 3 次元多様体における HF⁺ の計算において、階数付きルート法の効率性と幾何的直感性を示すこと。
• 負のスケーリングと代数的絡み目の制限のもとで、幾何的に自然な条件下において、HF⁺ の計算を明確かつアクセス可能なアルゴリズムとして提供すること。

提案手法

• 3 次元多様体の負定値プルーニンググラフに関連する階数付きルートの理論（参考文献 (10) で開発）を用いる。
• 代数的絡み目が明確に理解できるアレクサンダー多項式をもたらすことに依存する。これはプワイエックスまたはノードンの対から計算可能である。
• H₁(M, ℤ) ≅ ℤₚ であるため、M のスピン⁰構造 σₐ を整数 a = 0, 1, ..., p−1 でパrametrizeする。
• 参考文献 (10) の一般枠組みを適用し、M のプルーニンググラフから導かれる階数付きルート構造を用いて、HF⁺(−M, σₐ) を計算する。
• アレクサンダー多項式を通じて、プルーニンググラフの位相と knot の代数的不変量との直接的な関係を確立する。
• 階数付きルートを計算ツールとして用い、Heegaard Floer 複体のフィルター付きチェーンホモトピー型を抽出する。

実験結果

リサーチクエスチョン

• RQ1 負の有理スケーリングにおける代数的絡み目の Heegaard Floer homology HF⁺(−M) をどのように明示的に計算できるか。
• RQ2 代数的絡み目のアレクサンダー多項式が、得られる 3 次元多様体の HF⁺ homology をどの程度完全に決定できるか。
• RQ3 階数付きルート構成は、プルーニングされた 3 次元多様体における HF⁺ 計算のための幾何的に直感的で計算的に効率的な方法を提供できるか。
• RQ4 HF⁺(−M, σₐ) を再構成するために必要な最小の不変量の集合は何か。
• RQ5 負のスケーリング係数と代数的絡み目の制限は、一般の絡み目や整数スケーリングと比較して、HF⁺ 計算をどの程度簡略化するか。

主な発見

• Heegaard Floer homology HF⁺(−M, σₐ) は、整数 p, q, a および代数的絡み目 K のアレクサンダー多項式 Δ_K(t) によって完全に決定される。
• すべてのアレクサンダー多項式の係数が HF⁺(−M, σₐ) の記述に効果的に使用されているという点で、計算が最適である。
• M のプルーニンググラフに関連する階数付きルートは、HF⁺ 全体の構造を符号化しており、ホモロジー群の幾何的かつ概念的な同定を可能にする。
• 負の有理スケーリングと代数的絡み目の制約のもとで、HF⁺(−M) の明確で素朴かつアルゴリズム的な記述が可能である。
• 結果として、参考文献 (10) の階数付きルート法が、広範なプルーニングされた 3 次元多様体の HF⁺ 計算において強力で効率的であることが示された。
• 階数付きルートの構造は、M の背後にある幾何的構成を反映しており、位相と代数的不変量との強い関係を確立する。