[論文レビュー] New Heegaard Floer slice genus and clasp number bounds

András Juhász, Ian Zemke|arXiv (Cornell University)|Jul 14, 2020

Geometric and Algebraic Topology被引用数 3

ひとこと要約

本稿では、絡み目フローー・ホモロジーから導かれる新しい一致不変量 Yn(K) を導入し、4次元スライス genus およびクラフト数に対する従来の不変量よりも tightened された境界を与える。リンクコボルディズム写像とステアレット複体を用いて、Yn(K) ≥ Vn(K) を証明し、ω+(K) + ω+(−K) ≤ c4(K) を確立することで、特に T2,11#−T4,5 のような絡み目において、c4 が g4 よりも速く増加する場合に、より良い genus およびクラフト数の境界を得た。

ABSTRACT

We define several concordance invariants using knot Floer homology which give improvements over known slice genus and clasp number bounds from Heegaard Floer homology. We also prove that the involutive correction terms of Hendricks and Manolescu give both a slice genus and a clasp number bound.

研究の動機と目的

• 4次元スライス genus およびクラフト数に対する既存の境界を改善する、絡み目フロー・ホモロジーから導かれる新しい一致不変量を開発すること。
• c4(K) > 2g4(K) であるような絡み目が存在するか、またそのような例がヘーガード・フロー不変量によって検出可能かどうかという未解決問題に取り組むこと。
• 補正項および Vn 不変量の役割を一般化し、Yn および ω+(K) を導入することで、絡み目フロー複体内のより細かい構造を捉えること。
• クラフト数が連結和においてスライス genus よりも厳密に速く増加しうることを示し、長年の未解決問題に答えること。

提案手法

• ステアレット複体 Sn からのリンクコボルディズム写像およびフィルター付き鎖写像を用いて、Yn(K) ∈ ℕ の族を定義する。
• genus n の曲面が存在するならば、Sn から CFK⁻(K) への次数を保存する鎖写像が存在し、U の逆元を適用すると同型になることを証明する。
• ω+(K) = min{n ∈ ℕ : Yn(K) = 0} を導入し、これは g4(K) および c⁺₄(K) をともに上界として持ち、ω+(K) + ω+(−K) ≤ c4(K) を満たす。
• U V = 0 のバージョンの絡み目フロー・ホモロジーを用いて、ω(K) ∈ {τ(K), τ(K)+1} を定義し、ν(K) ≤ ω(K) ≤ g4(K) を満たすことを示す。
• ステアレット複体構造および CFK⁻(K) 内のバイグレーディング解析を用いて、境界を計算する。
• ν+(K)、ΥK(t)、および Levine–Tristram シグネチャの既知の関係を応用し、定理 1.4 におけるクラフト数の境界を導出する。

実験結果

リサーチクエスチョン

• RQ1 c4(K) > 2g4(K) であるような絡み目が存在するか？ もし存在するならば、ヘーガード・フロー不変量によってその例を検出可能か？
• RQ2 新しい不変量 Yn(K) は、Vn(K) や Levine–Tristram シグネチャよりも、スライス genus およびクラフト数の境界を厳密に改善するか？
• RQ3 c⁺₄(K) − g4(K) が任意に大きくできるか？ そして、そのことは新しい一致不変量によって検出可能か？
• RQ4 ω+(K) は ν+(K) + 1 を超えることは可能か？ そして、これは絡み目フロー複体の構造に何を示唆するか？
• RQ5 c⁺₄(K) > g4(K) を検出できる不変量は存在するか？ これにより、クラフト数が genus を超える可能性があるかどうかの問いに答えられるか？

主な発見

• 不変量 Yn(K) は Yn(K) ≥ Vn(K) を満たし、一部のケースではスライス genus の境界を厳密に改善する。例えば、J = T2,11#T4,7#−T5,6 の場合、Yn は g4 ≥ 6 を与えるが、Vn やシグネチャは g4 ≥ 5 にとどまる。
• K = T2,11#−T4,5 の絡み目に対して、不変量は c4(#nK) ≥ 2n および g4(#nK) = n を与え、limₙ→∞(c4(#nK) − g4(#nK)) = ∞ であることを示した。
• 不変量 ω+(K) は ω+(K) ≤ min{g4(K), c⁺₄(K)} および ω+(−K) ≤ c⁻₄(K) を満たすため、その和はクラフト数を上界として与える：ω+(K) + ω+(−K) ≤ c4(K)。
• T2,3#T4,7#−T5,6 の絡み目に対して、V0 = 2 かつ Y0 = 3 であり、Yn が Vn に対して genus の境界を改善していることを示している。
• Ozsváth–Stipsicz–Szabó の複体 C を用いた代数的例では、Yn は Y2 や Y4 を用いて g4 ≥ 5 を得るが、Vn は V0 や V2 を用いて g4 ≥ 3 のみをもたらす。
• J = T2,11#T4,7#−T5,6 に対して、(Y0, Y1, Y2, Y3, Y4, Y5, Y6) = (3, 2, 2, 1, 1, 1, 0) を計算し、g4 ≥ 6 であることを確認した。これは Vn やシグネチャ関数による境界より 1 大きい。