[論文レビュー] Knot Floer homology of (1,1)-knots

Hiroshi Goda, Hiroshi Matsuda+1 more|ArXiv.org|Nov 6, 2003

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

ひとこと要約

本稿では、S³ 内の (1,1)-紐結び目に対して、 genus 2 ヒーガード分割と明示的な境界作用素の計算を用いて、ℤ係数の紐結びフローリングホモロジーを計算する組み合わせ的アルゴリズムを提示する。この手法により、10交差の非交番 (1,1)-紐結び目および P(−2,m,n) 型のペトリュの紐結び目に対するホモロジーが計算可能となり、それらの unknotting 数と 4- genus が正確に特定される。τ(P(−2,m,n)) = −g が成り立つ、ここで g = (m+n)/2 である。

ABSTRACT

We present a combinatorial method for a calculation of knot Floer homology with Z-coefficient of (1,1)-knots, and then demonstrate it for non-alternating (1,1)-knots with ten crossings and the pretzel knots of type (-2,m,n). Our calculations determine the unknotting numbers and 4-genera of the pretzel knots of this type.

研究の動機と目的

• ℤ係数の (1,1)-紐結び目に対する、系統的な組み合わせ的アルゴリズムを用いた紐結びフローリングホモロジーの計算手法の開発。
• 既存のフローリングホモロジー計算を交番紐結び目や低交差数の紐結び目にとどまらず、非交番 (1,1)-紐結び目へと拡張すること。
• P(−2,m,n) 型のペトリュの紐結び目に対する紐結びフローリングホモロジーを計算し、4-genus や unknotting 数などの位相的不変量を導出すること。
• genus 2 ヒーガード分割を用いて、(1,1)-紐結び目の CFK^∞ 複体における境界作用素の明示的公式を提供すること。

提案手法

• S³ 内の (1,1)-紐結び目 K の補集合に対して、K が W_β に含まれる genus 2 ヒーガード分割 W_α ∪ W_β を構成する。
• W_α に対して、ミッドラインディスク D_α^1, D_α^2 を定義し、W_β に対して D_β^1, D_β^2 を定義する。D_β^1 は K と横断的に1回交わる。
• 整数のグレーディングと位相的データによって添字付けられた、装飾付き点 y₁, y₂, y₃, y₄ および x_{p,q} を用いて、CFK^∞ 複体の生成子をラベルづける。
• 補題を用いて、各生成子タイプにおける微分 ∂ の符号と構造を明示的に計算する。
• 得られた複体を用いて、紐結びフローリングホモロジー ĤFK(S³, K, i) を計算し、τ や 4-genus などの不変量を抽出する。
• ĤF(S³) ≅ ℤ の類が [ỹ₄; 0, −g] によって表されることを検証し、τ(P(−2,m,n)) = −g を確認する。

実験結果

リサーチクエスチョン

• RQ1 すべての (1,1)-紐結び目に対して、ℤ係数の紐結びフローリングホモロジーを計算する組み合わせ的手法を開発可能か？
• RQ2 10交差の非交番 (1,1)-紐結び目の CFK^∞ 複体の構造はどのようになるか？
• RQ3 本手法を用いて、P(−2,m,n) 型のペトリュの紐結び目の紐結びフローリングホモロジーをどのように明示的に計算できるか？
• RQ4 P(−2,m,n) 型のペトリュの紐結び目の 4-genus と unknotting 数は、その紐結びフローリングホモロジーからどのように特定されるか？
• RQ5 τ(P(−2,m,n)) は g = (m+n)/2 に対して −g に等しいか？

主な発見

• 10交差の非交番 (1,1)-紐結び目（例 4.4 では同一ホモロジーを持つ2例を含む）に対して、ĤFK(S³, K, i) が明示的に計算された。
• ペトリュの紐結び目 P(−2,m,n) に対して、CFK^∞ 複体は i ∈ ℤ および位相的パラメータ m, n によって添字付けられた特定の生成子によって生成され、Lemmas 5.6–5.10 によって明示的な境界作用素が定義される。
• CFK^∞ 複体上の微分 ∂ は符号付き関係式によって完全に決定され、ホモロジー群の正確な計算が可能となる。
• τ(P(−2,m,n)) は −g として計算され、この族に対する予想された値が確認された。
• P(−2,m,n) の 4-genus と unknotting 数は、ともに g として、紐結びフローリングホモロジーの構造に基づいて特定された。
• ĤF(S³) ≅ ℤ の類が生成子 [ỹ₄; 0, −g] によって表されることを確認し、絶対グレーディングおよび τ の値が正当化された。