[論文レビュー] A concordance invariant from the Floer homology of double branched covers

Ciprian Manolescu, Brendan Owens|arXiv (Cornell University)|Aug 2, 2005

Geometric and Algebraic Topology参考文献 21被引用数 8

ひとこと要約

本稿では、3次元球面 S³ 上の絡み目の二重被覆のヘーガードフローリングホモロジーから導かれる新しい同一性不変量 δ を導入する。オルツヴァース＝ツァボーの研究における補正項 d-不変量を用いて、δ が滑らかな同一性群から ℤ への全単射群準同型であることが示される。主な結果として、δ がすべての交代絡み目および9 crossing 以下のすべての絡み目で正規化されたシグニチャ σ′ に等しくなることが示され、他の不変量が失敗する場合でさえも、滑らかでない性質に対する非自明な障害を提供する。

ABSTRACT

Ozsvath and Szabo defined an analog of the Froyshov invariant in the form of a correction term for the grading in Heegaard Floer homology. Applying this to the double cover of the 3-sphere branched over a knot K, we obtain an invariant delta of knot concordance. We show that delta is determined by the signature for alternating knots and knots with up to nine crossings, and conjecture a similar relation for all H-thin knots. We also use delta to prove that for all knots K with tau(K)>0, the positive untwisted double of K is not smoothly slice.

研究の動機と目的

• 絡み目 K の S³ 上の二重被覆のヘーガードフローリングホモロジーから、補正項 d-不変量を用いて新しい同一性不変量 δ を定義すること。
• 特に交代絡み目および H-薄型絡み目に対して、δ と古典的不変量（シグニチャ σ′、τ、s′）との関係を調査すること。
• 他の不変量が失敗する場合、特にホワイトヘッド二重体の文脈において、δ が滑らかでない性質を検出できるかどうかを特定すること。
• δ が滑らかな同一性群 C から ℤ への全単射群準同型であることを確立し、そのトポロジカルに滑らかな同一性群の構造に与える影響を検討すること。
• Wh(K) に対して δ(Wh(K)) ≤ 0 が成り立ち、τ(K) > 0 のときには厳密な不等号が成り立つことを証明し、σ′ = τ = s′ = 0 であるが δ ≠ 0 となる例を示すことで、他の不変量が自明な場合でも δ が滑らかでない性質を検出できることを示すこと。

提案手法

• δ(K) = 2d(Σ(K), t₀) と定義する。ここで Σ(K) は S³ における絡み目 K の二重被覆であり、t₀ はスピン構造から誘導されるスピンᶜ 構造である。
• Ozsváth-Szabó の有理ホモロジー球面に関する研究から得られる d-不変量を、3次元多様体 Σ(K) に適用し、ホモロジー bordism における群準同型性を活用する。
• d-不変量がホモロジー コンパチブルに不変であり、δ が連結和に関して加法的であることを用いて、δ が同一性不変量であることを確立する。
• モンテスィノス絡み目およびトーラス絡み目の場合、その二重被覆をセイフェルファイブレーションとして用いて、δ をアルゴリズム的に計算する。
• Ozsváth と Szabó が [26] で提示した手法を用い、特に交代絡み目および特定のトーラス絡み目を含む特殊な形の H-薄型絡み目に対して δ を計算する。
• ねじれ係数付きヘーガードフローリングホモロジーにおける正確な三角形を用いてコバーディズム写像を解析し、グレーディングシフトを導出し、スケーリング多様体に対して d(K_{-1/2}) = 2h₀ の公式を得る。

実験結果

リサーチクエスチョン

• RQ1 不変量 δ(K) = 2d(Σ(K), t₀) は、すべての交代絡み目に対して正規化されたシグニチャ σ′(K) と一致するか？
• RQ2 δ(K) は、9 crossing 以下のすべての絡み目に対して σ′(K) に等しいか？
• RQ3 σ′、τ、s′ が自明な場合（例：特定のホワイトヘッド二重体）、δ は滑らかでない性質を検出できるか？
• RQ4 |δ| がスライスジャンルを界にするとは限らない場合でも、δ はスライス性に対する非自明な障害を提供するか？
• RQ5 アンツイストド・ホワイトヘッド二重体 Wh(K) の δ の値は何か？また、τ(K) とどのように関係するか？

主な発見

• すべての交代絡み目に対して δ(K) = σ′(K) が成り立つ。これは定理 1.2 で証明されている。
• 9 crossing 以下のすべての絡み目に対して δ(K) = σ′(K) が成り立つ。これは定理 1.3 で確立されている。
• ホワイトヘッド二重体 Wh(K) に対して、δ(Wh(K)) ≤ 0 が成り立ち、τ(K) > 0 のときには δ(Wh(K)) < 0 が成り立つ。これは定理 1.5 で示されている。
• 交代絡み目 K に対して、δ(Wh(K)) = -4 max{τ(K), 0} が成り立ち、ホワイトヘッド二重体における δ に対して明確な公式が得られる。
• σ′ = τ = s′ = 0 であるが δ ≠ 0 であるような絡み目が存在する。例えば、Wh(T(2,2m+1)) # (-Wh(T(2,2n+1)))（m ≠ n）は、他の不変量が自明な場合でも δ が滑らかでない性質を検出できることを示している。
• トポロジカルに滑らかな同一性群 𝒞_ts には ℤ ⊕ ℤ の和成分が存在する。これは、(τ, δ/4) が ℤ ⊕ ℤ への全単射準同型であることを示し、明示的な生成子として Wh(T(2,3)) と Wh(T(2,5)) を与える。