[論文レビュー] Unknotting information from Heegaard Floer homology

Brendan Owens|ArXiv.org|Jun 23, 2005

Geometric and Algebraic Topology参考文献 10被引用数 5

ひとこと要約

本稿は、ヘーガード・フローアホモロジーを用いて、ねじれ数のトポロジカルな障害を導出し、オルツヴァースとツァボーのねじれ数1のための障害を、より高いねじれ数へと拡張する。また、分岐二重被覆とドーナツの手術の関係を、モンテシノスの定理の洗練版として再構築し、9交差以下の素ねじれ数が未決定であった7つのねじれ数を計算可能にし、それらのねじれ数の表を完成させる。

ABSTRACT

We use Heegaard Floer homology to obtain bounds on unknotting numbers. This is a generalisation of Ozsvath and Szabo's obstruction to unknotting number one. We determine the unknotting numbers of 9_10, 9_13, 9_35, 9_38, 10_53, 10_101 and 10_120; this completes the table of unknotting numbers for prime knots with crossing number nine or less. Our obstruction uses a refined version of Montesinos' theorem which gives a Dehn surgery description of the branched double cover of a knot.

研究の動機と目的

• ヘーガード・フローアホモロジーを用いて、オルツヴァースとツァボーのねじれ数1のための障害を、より高いねじれ数へと拡張すること。
• ねじれ数を求めるために必要な交差の変更の最小数を特定する計算手法を提供すること。
• 9交差以下のすべての素ねじれ数のねじれ数の分類を完成させること。
• フレーミングとリンク行列の制約を課したドーナツの手術記述を用いて、分岐二重被覆に関するモンテシノスの定理を洗練させること。

提案手法

• フレーミング行列が 1/2 Q であるような、整数行列 Q が恒等行列と2を法として合同で正定値であるとき、ねじれ数 K の分岐二重被覆 Σ(K) を、そのような行列 Q を用いたドーナツの手術として表現する、モンテシノスの定理の洗練版を適用する。
• ヘーガード・フローアホモロジーの補正項を用い、関数 m_Q(g) = min{(ξ^T Q^{-1}ξ - r)/4 | ξ ∈ Char(Q), [ξ] = g} により、ゴエリッツ行列 G と候補行列 Q の不変量を比較する。
• Q から、各成分を 2×2 ブロックに置き換えることで、2r×2r の行列 Q̃ を構成し、補正項の比較に必要な構造を保持する。
• 制約を課す：det Q̃ = det K、0 ≤ a < m₁ ≤ m₂、および {m₁, m₂} のうちちょうど n 個が偶数、ここで n = σ(K)/2。
• Γ_Q̃ から Γ_G への群同型写像 φ を用いて補正項を比較し、すべての g ∈ Γ_Q̃ に対して m_Q̃(g) ≥ m_G(g) かつ m_Q̃(g) ≡ m_G(g) mod 2 を満たす必要がある。
• 同型写像と合同条件の存在をチェックすることで、候補行列 Q を体系的に除外し、ねじれ数の候補として妥当なものを絞り込む。

実験結果

リサーチクエスチョン

• RQ1 ヘーガード・フローアホモロジーは、符号数や行列式よりも強い障害を提供できるか、すなわちねじれ数を特定するためのものか？
• RQ2 9交差以下の素ねじれ数のうち、ねじれ数が正確に3であるものはどれであり、その同定はホモロジー不変量を用いてどのように証明できるか？
• RQ3 ねじれ数 n のねじれ数の分岐二重被覆は、特定のフレーミングとリンク行列の制約を満たすリンク上のドーナツの手術として記述可能か？
• RQ4 ゴエリッツ行列と候補の手術行列の補正項を比較することで、m_Q(g) 関数を用いて、より低いねじれ数を除外できるか？
• RQ5 代数的位相論を用いて、与えられたねじれ数が指定された数より少ない交差の変更では解けないかどうかを体系的に特定する方法はあるか？

主な発見

• 9₁₀、9₁₃、9₃₅、9₃₈、10₅₃、10₁₀₁、10₁₂₀ のねじれ数はすべて正確に3であり、9交差以下の素ねじれ数のねじれ数表が完成した。
• 符号数が2である9₃₅については、定理1とトラチャックの結果を用いて、符号数がより高いねじれ数を強制しない場合でも、障害が非自明であることを示した。
• 10₁₄₅ の分岐二重被覆は、正定値4次元多様体を境界としないため、そのねじれ数は少なくとも4以上である。
• m_Q(g) の補正項比較と同型写像条件 φ: Γ_Q̃ → Γ_G を用いて、10₁₄₅ のすべての候補行列が、ねじれ数4以外では除外された。
• コロナリー2の7つのねじれ数すべてについて、g ≠ 0 のとき m_G(g) の最小値が、候補 Q に対して m_Q(g) の最小値よりも厳密に小さいことが確認され、障害が自明でないことが裏付けられた。
• 補正項と偶奇条件を満たす有効な行列 Q̃ が存在しないことを確認することで、ねじれ数2と3を体系的に区別できた。