[論文レビュー] Ozsvath-Szabo and Rasmussen invariants of doubled knots

Charles Livingston, Swatee Naik|May 17, 2005

Geometric and Algebraic Topology参考文献 1被引用数 6

ひとこと要約

本稿は、ねじれ付き二重結び目におけるOzsváth-SzabóおよびRasmussen不変量を研究し、正のねじれ付き二重結び目が不変量±1をとるならば、負のねじれ付き二重結び目は不変量0をとることを証明する。Thurston-Bennequin数を用いて不変量の振る舞いの上限を確立し、任意のジャンルの範囲内で与えられた不変量値を持つSeifert行列と整数を実現可能な結び目の実現定理を証明する。

ABSTRACT

Let νbe any integer-valued additive knot invariant that bounds the smooth 4-genus of a knot K, |ν(K)| <= g_4(K), and determines the 4-ball genus of positive torus knots, ν(T_{p,q}) = (p-1)(q-1)/2. Either of the knot concordance invariants of Ozsvath-Szabo or Rasmussen, suitably normalized, have these properties. Let D_{\pm}(K,t) denote the positive or negative t-twisted double of K. We prove that if ν(D_{+}(K,t)) = \pm 1, then ν(D_{-}(K,t)) = 0. It is also shown that ν(D_{+}(K,t))= 1 for all t <= TB(K) and ν(D_{+}(K, t)) = 0 for all t \ge -TB(-K), where TB(K) denotes the Thurston-Bennequin number. A realization result is also presented: for any 2g imes 2g Seifert matrix A and integer a, |a| <= g, there is a knot with Seifert form A and ν(K) = a.

研究の動機と目的

• ねじれ付き二重結び目における滑らかな結び目コンcordance不変量ν（特にOzsváth-Szabó τおよびRasmussen s）の振るまいを分析すること。
• 正のねじれ付き二重結び目と負のねじれ付き二重結び目の不変量の双対性を確立すること：ν(D₊(K,t)) = ±1 ならば ν(D₋(K,t)) = 0 である。
• t値の範囲を特定し、ν(D₊(K,t)) = 1 または 0 となる条件をThurston-Bennequin数 TB(K) に関連付けること。
• 任意の2g×2gのSeifert行列Aと整数a（|a| ≤ g）に対して、Seifert形式がAでν(K) = aであるような結び目が存在することを証明する実現結果を得ること。
• ねじれ付き二重結び目のνの漸近的振るまいを明確にし、風変わりな結び目（winding number zero）への結果の拡張を行うこと。

提案手法

• νを、|ν(K)| ≤ g₄(K) を満たし、正のトーラス結び目Tₚ,ₚ に対して ν(Tₚ,ₚ) = (p−1)(q−1)/2 を満たす整数値加法的結び目不変量として定義する。
• Thurston-Bennequin数 TB(K) を、特別な図形における最大巻き数から右カスプを引いた値として、組合せ的定義を用いる。
• バンド変形技術を用いて、1つのSeifert形式を持つSeifert面から別のものに変形し、νの変化を追跡する。
• Seifert形式がAと−Aである面の間で、一連のバンド変形を構成し、各ステップでνが正確に1ずつ変化することを示す。
• トーラス結び目および交代結び目のτおよびs不変量に関する既知の結果を活用し、ねじり操作における一般的振るまいを推論する。
• 同相変形およびクラップ移動を用いて、バンド置換中にSeifert形式を維持し、νの変化を制御する。

実験結果

リサーチクエスチョン

• RQ1 結び目Kのねじれ付き二重結び目D₊(K,t)とD₋(K,t)の不変量νの間にはどのような関係があるか？
• RQ2 t-twisted double構成における整数tの値がν(D₊(K,t))の値にどのように依存するか？
• RQ3 任意のSeifert行列Aと整数a（|a| ≤ g）が、ある結び目のSeifert形式およびν不変量として実現可能か？
• RQ4 tが増加する際のν(D₊(K,t))の漸近的振るまいは何か？また、TB(K)およびTB(−K)とどのように関係するか？
• RQ5 ねじれ付き二重結び目におけるτおよびs不変量の振るまいは、特に(2,n)-トーラス結び目においてどのように異なるか？

主な発見

• ν(D₊(K,t)) = ±1 ならば ν(D₋(K,t)) = 0 であることが示され、正のねじれ付き二重結び目と負のねじれ付き二重結び目の間で強い非対称性が確認された。
• すべてのt ≤ TB(K)に対して ν(D₊(K,t)) = 1 であり、すべてのt ≥ −TB(−K)に対して ν(D₊(K,t)) = 0 である。これは、不変量がt = TB(K)およびt = −TB(−K)で安定化することを示している。
• 右ねじりの三重結び目T₂,₃に対しては、TB(T₂,₃) = 1 および TB(−T₂,₃) = −6 であるため、ν(D₊(T₂,₃,t)) = 1（t ≤ 1）かつ ν(D₊(T₂,₃,t)) = 0（t ≥ 6）である。
• ν(D₊(K,t))が1から0に遷移するtの値tₖは、TB(K) ≤ tₖ < −TB(−K) を満たし、不変量の振るまいの鋭い範囲を提供する。
• 任意の2g×2gのSeifert行列Aと整数a（|a| ≤ g）に対して、Seifert形式がAでν(K) = aであるような結び目Kが存在する。これは完全な実現結果を示している。
• ねじれ付き二重結び目のνの漸近的振るまいは、有界なジャンルおよび交差変更におけるνの非増加性により安定化する。同様の振るまいは、winding number zeroのサテライト結び目へも拡張可能である。