[論文レビュー] A note on Jones polynomial and cosmetic surgery

Kazuhiro Ichihara, Zhongtao Wu|arXiv (Cornell University)|Jun 10, 2016

Geometric and Algebraic Topology参考文献 16被引用数 4

ひとこと要約

この論文は、3次元球面内の絡み目の純粋なコスメティックドゥーン手術が存在しない十分条件を、ジョーンズ多項式の t=1 における2階および3階微分を用いて確立する。$V_K''(1) \neq 0$ または $V_K'''(1) \neq 0$ であれば、2つの異なるドゥーン手術が同相な向き付き多様体を生成することはない。この結果により、11交差以下のすべての絡み目に対して、8つの特定の例外を除きコスメティック手術予想が検証され、2-ブリッジ絡み目およびホワイトヘッド二重の3次型不変量の明示的公式が得られる。

ABSTRACT

We show that two Dehn surgeries on a knot $K$ never yield manifolds that are homeomorphic as oriented manifolds if $V_K''(1) eq 0$ or $V_K'''(1) eq 0$. As an application, we verify the cosmetic surgery conjecture for all knots with no more than $11$ crossings except for three $10$-crossing knots and five $11$-crossing knots. We also compute the finite type invariant of order $3$ for two-bridge knots and Whitehead doubles, from which we prove several nonexistence results of purely cosmetic surgery.

研究の動機と目的

• 3次元球面上の絡み目に対して、ジョーンズ多項式に基づく十分条件を確立し、純粋なコスメティックドゥーン手術を除外する。
• 11交差以下のすべての素絡み目に対して、小さな例外を除きコスメティック手術予想を検証する。
• 2-ブリッジ絡み目およびホワイトヘッド二重の3次型不変量の明示的公式を導出する。
• レスコップの手術公式における不変量 $w_3$ をジョーンズ多項式の3階微分および3次型不変量と関連付ける。

提案手法

• ジョーンズ多項式のスキーン関係を用いて、$t=1$ における2階および3階微分の交差変化公式を導出する。
• $V_K''(1) = -3\Delta_K''(1)$ を証明し、ジョーンズ多項式と正規化されたアレクサンダー多項式を結びつける。
• レスコップの不変量 $w_3$ が $\frac{1}{72}V_K'''(1) + \frac{1}{24}V_K''(1)$ に等しいことを確立し、これが3次型不変量の3次に相当することを特定する。
• レスコップの手術公式を適用し、$V_K''(1) \neq 0$ または $V_K'''(1) \neq 0$ であれば、純粋なコスメティック手術が存在しないことを示す。
• 2-ブリッジ絡み目（コンウェイ表記）の3次型不変量 $v_3$ の閉形式表現を導出する：$v_3(K_{b_1,c_1,\dots,b_m,c_m}) = \frac{1}{2}\left(\sum_{k=1}^m c_k(\sum_{i=1}^k b_i)^2 - \sum_{i=1}^m b_i(\sum_{k=i}^m c_k)^2\right)$。
• 不変量 $v_3$ と微分条件を適用し、2-ブリッジ絡み目および正の $n$-ねじれホワイトヘッド二重の家族に対して、コスメティック手術の非存在を証明する。

実験結果

リサーチクエスチョン

• RQ1 3次元球面上の絡み目において、ジョーンズ多項式がどのような条件下で純粋なコスメティックドゥーン手術を許さないか。
• RQ2 ジョーンズ多項式の微分を用いて、11交差以下のすべての絡み目に対してコスメティック手術予想を検証できるか。
• RQ3 コンウェイ表記における2-ブリッジ絡み目の3次型不変量の明示的公式は何か。
• RQ4 レスコップの手術公式における不変量 $w_3$ はジョーンズ多項式の微分とどのように関係するか。
• RQ5 正の $n$-ねじれホワイトヘッド二重 $D_+(K,n)$ は、どのような条件下で純粋なコスメティック手術を許すか。

主な発見

• 11交差以下のすべての絡み目に対して、コスメティック手術予想は、$10_{33}, 10_{118}, 10_{146}, 11a_{91}, 11a_{138}, 11a_{285}, 11n_{86}, 11n_{157}$ の8つの絡み目を除き成立する。
• genus 2 の2-ブリッジ絡み目では、$K_{x,y,-x-y,x}$ の形をとる場合を除き、純粋なコスメティック手術は存在しない。
• 2-ブリッジ絡み目 $K_{x,1,-x,x,1,-x}$ の家族は、$v_3(K_{x,1,-x,x,1,-x}) = -x \neq 0$ であるため、純粋なコスメティック手術を許さない。
• 正の $n$-ねじれホワイトヘッド二重 $D_+(K,n)$ に対しては、$n \neq 0$ のとき、および $n=0$ で $a_2(K) \neq 0$ のとき、純粋なコスメティック手術は存在しない。
• コンウェイ表記における2-ブリッジ絡み目の3次型不変量は、$v_3(K) = \frac{1}{2}\left(\sum_{k=1}^m c_k(\sum_{i=1}^k b_i)^2 - \sum_{i=1}^m b_i(\sum_{k=i}^m c_k)^2\right)$ で与えられる。
• 不変量 $w_3$ は $\frac{1}{72}V_K'''(1) + \frac{1}{24}V_K''(1)$ に等しく、これが3次型不変量の3次に相当することが示された。