[論文レビュー] Computations of the Ozsvath-Szabo knot concordance invariant

Charles Livingston|Nov 4, 2003

Geometric and Algebraic Topology参考文献 9被引用数 29

ひとこと要約

この論文は、τの加法性や4次元ボールジャンルに関する境界といった、τの基本的性質に依拠して、Ozsváth–Szabóのねじれ関手不変量τの効率的な計算手法を提供する。非負のThurston–Bennequin数をもつねじれのない正の反復倍加法の繰り返し（例えば、三葉結び目など）に対してτ = 1であることを証明し、10交差のいくつかの結び目、特に10₁₃₉、–10₁₅₂、–10₁₆₁、および10₁₄₅についてτを計算し、これらのケースでτが4次元ボールジャンルに等しいことを示した。この手法により、スライス・ベンヌイン不等式の新たな証明が得られた。

ABSTRACT

Ozsvath and Szabo have defined a knot concordance invariant tau that bounds the 4-ball genus of a knot. Here we discuss shortcuts to its computation. We include examples of Alexander polynomial one knots for which the invariant is nontrivial, including all iterated untwisted positive doubles of knots with nonnegative Thurston-Bennequin number, such as the trefoil, and explicit computations for several 10 crossing knots. We also note that a new proof of the Slice-Bennequin Inequality quickly follows from these techniques.

研究の動機と目的

• 深いFloerホモロジーの道具に依存せずに、Ozsváth–Szabóのねじれ関手不変量τの実用的な計算の簡略化を図ること。
• 反復倍加法やアレクサンダー多項式が1である10交差結び目のような特定の結び目の族についてτを計算すること。
• トーラス結び目のファイバーにおける幾何的埋め込みを用いて、いくつかの10交差結び目についてτが4次元ボールジャンルに等しいことを確立すること。
• τの基本的性質を用いて、スライス・ベンヌイン不等式の新たな初等的証明を提供すること。

提案手法

• τの3つの基本的性質に依拠：接続和における加法性、τ(K) ≤ g₄(K)、およびトーラス結び目Tₚ,ₚについてτ(Tₚ,ₚ) = (p−1)(q−1)/2。
• 定理4の適用：結び目Kがトーラス結び目のファイバー表面Fに含まれ、F内の部分表面Gを境界として持つならば、τ(K) = g(G)が成り立つ。
• 準正の表面の概念を用い、Kがトーラス結び目のファイバーに自明なホモロジー類をもって埋め込まれることを示す。
• 交差変更不等式の適用：K₊とK₋が正から負への交差変更で異なる場合、0 ≤ τ(K₊) − τ(K₋) ≤ 1が成り立つ。
• 系7の適用：n本の紐を持つブレード閉包について、k₊本の正の交差とk₋本の負の交差を持つとき、τ ≥ (k₊ − k₋ − n + 1)/2が成り立つ。
• Thurston–Bennequin数TB(K) ≥ 0を用いて、反復倍加法Whₙ(K)についてτ(Whₙ(K)) = 1であることを示す。

実験結果

リサーチクエスチョン

• RQ1 深いつながりのないFloerホモロジーの道具に依存せず、Ozsváth–Szabóの不変量τを基本的性質のみで効率的に計算できるか？
• RQ2 非負のThurston–Bennequin数をもつ結び目の反復倍加法について、τの値は何か？
• RQ3 トーラス結び目のファイバーにおける幾何的埋め込みを用いて、特定の10交差結び目のτを計算できるか？
• RQ4 この手法により、スライス・ベンヌイン不等式の新たな証明が得られるか？
• RQ5 正のブレードの閉包について、τと4次元ボールジャンルの関係は何か？

主な発見

• TB(K) ≥ 0をみたすすべての結び目Kの反復倍加法Whₙ(K)についてτ(Whₙ(K)) = 1であり、これはg₄(Whₙ(K)) = 1を意味する。
• τ(10₁₃₉) = τ(–10₁₅₂) = 4であり、両結び目は正のブレード構造により4次元ボールジャンルを実現する。
• τ(–10₁₆₁) = 3であり、g₃(–10₁₆₁) = 3であることから、g₄(10₁₄₅) = 3であることが導かれる。
• τ(10₁₄₅) = 2であり、交差変更の境界とブレード語の解析の両方で確認され、g₄(10₁₄₅) = 2である。
• ブレード閉包について不等式τ ≥ (k₊ − k₋ − n + 1)/2が成り立つことから、スライス・ベンヌイン不等式の新たな証明が得られた。
• プレティzel結び目P(3,−5,−7)はτ = 1であり、濃縮群における無限巡回部分群を生成するため、𝒞において可除ではない。