[論文レビュー] A note on knots with H(2)-unknotting number one

Yuanyuan Bao|Osaka City University (Osaka City University)|Sep 17, 2010

Geometric and Algebraic Topology参考文献 9被引用数 3

ひとこと要約

本稿では、ヘーガード・フローリングホモロジーを用いて、ねじれ数が1のH(2)- unknotting数を持つかどうかを判定するための新しい障害を導入する。交わりが2つの交わりを持つ交わりが1つの交わりを持つ交わりの補修項とゴエリッツ行列を分析することで、補修項写像に関する合同式と不等式を含む必要条件を導出し、これはP(13,4,11)のねじれ数が2であることを明確に示しており、従来の手法を上回っている。

ABSTRACT

We give an obstruction to unknotting a knot by adding a twisted band, derived from Heegaard Floer homology.

研究の動機と目的

• ヘーガード・フローリングホモロジーを用いて、ねじれ数が1のH(2)-unknotting数を持つかどうかを判定するための新しい障害を開発すること。
• リンク形式に基づくリコリッシュの古典的障害を、補修項とゴエリッツ行列を用いたより強い不変量に拡張すること。
• H(2)-unknotting数が1のねじれ数を持つねじれ数とそれ以上の値を持つねじれ数を区別できる計算可能な基準を提供すること。
• 従来の手法が失敗するP(13,4,11)のねじれ数に対して、新しい障害の有効性を示すこと。

提案手法

• 本手法は、交わりが1つの交わりを持つ交わりの二重被覆Y=Σ(K)のオズヴァース・ツァボの補修項d(Y,s)を用いる。
• ヘーガード・フローリングホモロジーからの補修項不等式を適用し、交わりが1つの交わりを持つ交わりのゴエリッツ行列Qから導かれる2次形式と関連付ける。
• 補修項は、ゴエリッツ行列の特徴的ベクトルを介して定義される写像M_Q(α)と比較され、これは2を法とする有理数不変量を計算し、補修項を上界で制限する。
• u_2(K)=1であるための必要条件は、すべてのi∈ℤ/|p|ℤに対して、合同式I_{φ,ε}(i) ≡ 0 mod 2およびI_{φ,ε}(i) ≤ 0として定式化される。
• この条件には、群同型φ: ℤ/|p|ℤ → G（GはQによって提示される群）と符号ε ∈ {+1, -1}が含まれる。
• 本手法はP(13,4,11)のねじれ数に適用され、M_Qと補修項写像の明示的計算により、すべての可能なφとεに対して障害が破られることが示され、u_2(K)=1は除外される。

実験結果

リサーチクエスチョン

• RQ1 ヘーガード・フローリングホモロジーは、ねじれ数が1のH(2)-unknotting数を持つかどうかを判定するためのリンク形式よりも強い障害を提供できるか？
• RQ2 二重被覆Σ(K)の補修項d(Y,s)は、交わりが1つの交わりを持つ交わりのH(2)-unknotting数1を検出できる計算可能な不変量を提供するか？
• RQ3 P(13,4,11)のねじれ数に対して、従来の不変量が失敗する方法を用いて、そのH(2)-unknotting数が1より大きいことを証明できるか？
• RQ4 補修項とゴエリッツ行列から導かれる障害は、リンク形式の条件を満たす場合にu_2(K)=1を除外するために使用できるか？

主な発見

• P(13,4,11)のねじれ数はH(2)-unknotting数2である。これは、ヘーガード・フローリングホモロジーから導かれる障害により、u_2(K)=1である可能性が除外される。
• すべての可能な同型φ: ℤ/239ℤ → Gと符号ε ∈ {+1, -1}に対して障害が成立せず、I_{φ,ε}(1) = 4 > 0であるため、必要条件I_{φ,ε}(i) ≤ 0が破られる。
• P(13,4,11)のゴエリッツ行列Qは[[17, -4], [-4, 15]]であり、行列式は239であり、Gはℤ/239ℤに同型である。
• 補修項d(Σ(K), s)はM_Q(α)によって上界で制限され、d(Σ(K), s) ≡ M_Q(α) mod 2という合同条件は障害において本質的である。
• この障害はリコリッシュのリンク形式基準よりも強い。P(13,4,11)ではリンク形式の条件を満たすが、それでもu_2(K) > 1である。
• 本手法により、γ*(K) ≤ u_2(K) ≤ γ(K)が示されるが、P(13,4,11)ではγ(K) = 2であり、γ*(K)は未知であるため、この不等式だけではu_2(K)を特定できない。これにより、新しい障害の必要性が強調される。