[論文レビュー] Immersed disks, slicing numbers and concordance unknotting numbers

Brendan Owens, Sašo Strle|arXiv (Cornell University)|Nov 26, 2013

Geometric and Algebraic Topology参考文献 24被引用数 12

ひとこと要約

本稿では、4次元ボール内の滑らかに埋め込まれたディスクに関連する3つのねじれ不変量—四次元交差数、スライシング数、濃縮不整合数—を導入し、計算する。ヘーガード・フローリングホモロジーおよび分岐二重被覆と補正項からの精密化された障害を用いて、10交差以下の素ねじれに対してこれらの不変量を特定し、トーラスねじれ間のゴルディアン距離に関する新たな境界を提供するとともに、ねじれ数1のねじれに対する強化された障害を提示する。

ABSTRACT

We study three knot invariants related to smoothly immersed disks in the four-ball. These are the four-ball crossing number, which is the minimal number of normal double points of such a disk bounded by a given knot; the slicing number, which is the minimal number of crossing changes to a slice knot; and the concordance unknotting number, which is the minimal unknotting number in a smooth concordance class. Using Heegaard Floer homology we obtain bounds that can be used to determine two of these invariants for all prime knots with crossing number ten or less, and to determine the concordance unknotting number for all but thirteen of these knots. As a further application we obtain some new bounds on Gordian distance between torus knots. We also give a strengthened version of Ozsvath and Szabo's obstruction to unknotting number one.

研究の動機と目的

• 10個以下の交差をもつすべての素ねじれについて、四次元交差数、スライシング数、および濃縮不整合数を計算すること。
• ヘーガード・フローリング補正項および分岐二重被覆を用いた新しい障害を考案し、これらの不変量を特定すること。
• バンド移動と交差変更解析を用いて、トーラスねじれ間のゴルディアン距離に関する境界を提供すること。
• 補正項マッチング条件を用いて、ねじれ数1のねじれに対する既存の障害を精緻化すること。
• モンテシノスのテクニックおよび手術理論を用いて、4次元ボール内の埋め込みディスクと濃縮不整合不変量、3次元多様体不変量を結びつけるフレームワークを確立すること。

提案手法

• モンテシノスのテクニックを用いて、ねじれの解除とスライシング操作を、ねじれの二重被覆における半整数手術に結びつける。
• 定理2.2を適用し、与えられた二重点数をもつねじれの分岐二重被覆によって境界づけられる、半整数手術交差形式をもつ正定値4次元多様体を構成する。
• オルツヴァース＝ツァボー補正項 $d(Y,\mathfrak{s})$ を用いて、指定された二重点の符号をもつ埋め込みディスクの存在に関する計算可能な障害を導出する。
• 「正の偶数部分群マッチング」という概念を導入し、与えられた数の二重点をもつディスクを境界としないねじれを検出する。
• レヴィン＝トリストラムのシグニチャーやノルティー不変量を用いて、2つのねじれ間の濃縮不整合において、各符号の最小二重点数を検出する。
• バンド移動と同相変形を用いてゴルディアン距離の上界を構築し、バンドのスライディングと単純化を通じて交差変更を追跡する。

実験結果

リサーチクエスチョン

• RQ1 10個以下の交差をもつすべての素ねじれについて、四次元交差数 $c^*(K)$ は何か？
• RQ2 10個以下の交差をもつすべての素ねじれについて、スライシング数 $u_s(K)$ は何か？
• RQ3 9個以下の交差をもつ素ねじれおよび大多数の10交差素ねじれについて、濃縮不整合数 $u_c(K)$ は何か？
• RQ4 補題2の補正項障害は、四次元交差数が1であるねじれを特定できるか？
• RQ5 バンド移動構成によって、1つのトーラスねじれを別のものに変形するために必要な最小の交差変更数は何か？

主な発見

• 著者らは、10個以下の交差をもつすべての素ねじれについて $c^*(K)$ および $u_s(K)$ を計算した。
• 9個以下の交差をもつすべての素ねじれおよび10交差素ねじれのうち13個を除くすべての素ねじれについて、濃縮不整合数 $u_c(K)$ が特定された。
• シグニチャーバリエーションが2で、確定値が15であるねじれに対して、補正項障害は、1つの正の二重点と1つの負の二重点をもつ埋め込みディスクの存在を除外する。
• バンドスライディング法により、トーラスねじれ $T_{2a+1,4a+6}$ と $T_{2a+3,4a+2}$ 間のゴルディアン距離に $4a+1$ の上界が得られ、これは2次関数的境界を上回る。
• 補題2の補正項障害は、従来の結果よりも強い条件を提供する。これは、正規化された $d$-不変量の部分群上での正の性質と偶数性を要請する。
• 本稿では、$K_1 = 9_{42}$ と $K_2 = 9_{44}$ 間の通常の埋め込み濃縮不整合において、各符号の二重点が少なくとも1つ必要であることを示し、2つの二重点をもつような濃縮不整合は補正項条件によって除外されることを示した。