[論文レビュー] Four-ball genus bounds and a refinement of the Ozsvath-Szabo tau-invariant

Jennifer Hom, Zhongtao Wu|arXiv (Cornell University)|Jan 8, 2014

Geometric and Algebraic Topology参考文献 15被引用数 36

ひとこと要約

本稿では、ねじれフローエルホモロジーのフルバイグレードフィルトレーション構造から導かれる新しい同一性不変量 ν⁺ を導入し、古典的な Ozsváth-Szabó の τ 不変量よりも厳密に良い 4-ボール位数の下界を与える。著者らは、ν⁺(K) − τ(K) が任意に大きくなるような具体的なねじれの族を構成し、ν⁺ が τ やねじれ符号数よりも 4-ボール位数をより正確に特定できることを示している。

ABSTRACT

Based on work of Rasmussen, we construct a concordance invariant associated to the knot Floer complex, and exhibit examples in which this invariant gives arbitrarily better bounds on the 4-ball genus than the Ozsvath-Szabo tau invariant.

研究の動機と目的

• ねじれフローエル複体のフルバイグレードフィルトレーション構造を組み込むことで、Ozsváth-Szabó の τ 不変量を改良すること。
• 4-ボール位数の下界を τ よりも鋭く与える新しい同一性不変量 ν⁺ を構成すること。
• ν⁺ と τ の差が任意に大きくできることが示され、ν⁺ が τ よりも厳密に強いことが証明されること。
• 符号数が失敗する状況でも、ν⁺ が 4-ボール位数を正確に特定できることを示すこと。
• 準代数的ねじれに対して ν⁺ が符号数によって完全に決定されることを確立すること。

提案手法

• 大スケールの手術公式を用いて、Knot Floer homology の大規模な手術公式を用い、v⁺_k: A⁺_k → B⁺ がホモロジー上で非自明な写像を誘導するような最小の整数 k を ν⁺(K) として定義する。
• A⁺_k と B⁺ は、CFK^∞(K) の商複体であり、フィルトレーション情報を抽出するために用いられる。
• K の手術におけるヘーガード・フローエルホモロジーと関連付けるために、大 N 手術公式を適用し、v⁺_k と h⁺_k の写像を関連付ける。
• 種ねじれ K に対して ν⁺(K) = g₄(K) = n を満たすものから、無限個のキャブラ K_{p,q} = K_{p,(2n−1)p−1} を構成する。
• ケーブルにおける V_i と H_i 不変量の振る舞いを用いて、すべての i ≤ pq/2 に対して V_i(K_{p,q}) > 0 であることを示し、ν⁺(K_{p,q}) ≥ pq/2 + 1 を得る。
• p 個の K のスライス表面と (p−1)q 個のバンドを用いた表面構成により、g₄(K_{p,q}) ≤ pg₄(K) + (p−1)(q−1)/2 を得る。

実験結果

リサーチクエスチョン

• RQ1 ねじれフローエルホモロジーのフルバイグレードフィルトレーション構造から、4-ボール位数の下界を τ 不変量よりも厳密に改善する同一性不変量を得られるか？
• RQ2 ν⁺(K) − τ(K) が任意に大きくできるようなねじれの族が存在するか？
• RQ3 符号数が失敗する状況でも、ν⁺ が 4-ボール位数を正確に特定できるか？
• RQ4 準代数的ねじれに対して ν⁺ はどのように振る舞い、符号数によって完全に決定されるか？
• RQ5 ケーブル操作の文脈において、ν⁺ と古典的不変量 τ および σ の関係は何か？

主な発見

• 不変量 ν⁺ は τ(K) ≤ ν⁺(K) ≤ g₄(K) を満たし、ν⁺(K) − τ(K) の差は任意に大きくできる。
• ねじれ K = T_{2,5}#2T_{2,3}#−T_{2,3;2,5} に対して、ν⁺(K_{p,3p−1}) − τ(K_{p,3p−1}) = p + 1 であり、p が増加するにつれて無限に大きくなる。
• ケーブルねじれ K_{p,3p−1} の 4-ボール位数は正確に ν⁺(K_{p,3p−1}) = (p(3p−1))/2 + 1 に等しく、ν⁺ が鋭い下界を与えることを示している。
• 準代数的ねじれに対しては、σ(K) ≥ 0 ならば ν⁺(K) = 0、σ(K) < 0 ならば ν⁺(K) = −σ(K)/2 であるため、ν⁺ は符号数によって完全に決定される。
• 符号数による下界 (1/2|σ(K)|) と 4-ボール位数の差は、ν⁺(K_{p,3p−1}) − (1/2|σ(K_{p,3p−1})|) ≥ 2p − 2 により任意に大きくできる。
• 強いクェイズポジティブねじれに対しては ν⁺(K) = τ(K) = g₄(K) = g(K) であるため、ν⁺ はこのクラスにおいて正確に genus を回復する。