[논문 리뷰] A note on Jones polynomial and cosmetic surgery

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

Geometric and Algebraic Topology참고 문헌 16인용 수 4

한 줄 요약

이 논문은 3-구면에서의 뭉치에 대해 t=1에서의 존스 다항식의 두 번째 및 세 번째 도함수를 사용하여 순수한 미러링 데인 수술이 존재하지 않는 충분조건을 설정한다. 만약 $V_K''(1) \neq 0$ 또는 $V_K'''(1) \neq 0$이면, 두 개 이상의 서로 다른 데인 수술이 동일한 오리엔티어드 다중체를 유도하지 못한다는 것을 증명한다. 이 결과는 11개 이하의 교차를 가진 모든 뭉치에 대해 미러링 수술 추측을 검증하며, 8개의 특수 케이스를 제외한 나머지에 대해 적용되며, 두 브리지 뭉치와 화이트헤드 더블에 대해 순서 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개 이하의 교차를 가진 모든 소 뭉치에 대해, 소수의 예외 케이스를 제외하고는 미러링 수술 추측을 검증하는 것.
• 두 브리지 뭉치와 화이트헤드 더블에 대해 순서 3의 유형별 불변량에 대한 명시적 공식을 유도하는 것.
• 레스코프의 수술 공식에서 유도된 불변량 $w_3$이 존스 다항식의 세 번째 도함수 및 유형별 불변량과 어떻게 연결되는지 밝히는 것.

제안 방법

• 존스 다항식의 스케인 관계를 사용하여 $t=1$에서의 두 번째 및 세 번째 도함수에 대한 교차 변화 공식을 유도한다.
• $V_K''(1) = -3\Delta_K''(1)$를 증명하여 존스 다항식과 정규화된 알렉산더 다항식을 연결한다.
• 레스코프의 불변량 $w_3$이 $\frac{1}{72}V_K'''(1) + \frac{1}{24}V_K''(1)$와 같음을 증명하고, 이것이 순서 3의 유형별 불변량임을 규명한다.
• 레스코프의 수술 공식을 적용하여 $V_K''(1) \neq 0$ 또는 $V_K'''(1) \neq 0$이면 순수한 미러링 수술이 존재하지 않음을 보인다.
• 컨웨이 표기법에서 두 브리지 뭉치의 유형별 불변량 $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$과 도함수 조건을 적용하여 두 브리지 뭉치 및 양의 $n$- twisted 화이트헤드 더블의 가족에 대해 미러링 수술이 존재하지 않음을 증명한다.

실험 결과

연구 질문

• RQ1 3-구면의 뭇치가 순수한 미러링 데인 수술을 갖지 않기 위한 존스 다항식에 대한 조건은 무엇인가?
• RQ2 존스 다항식 도함수를 사용하여 11개 이하의 교차를 가진 모든 뭇치에 대해 미러링 수술 추측을 검증할 수 있는가?
• RQ3 컨웨이 표기법에서 두 브리지 뭇치의 순서 3의 유형별 불변량에 대한 명시적 공식은 무엇인가?
• RQ4 레스코프의 수술 공식에서 유도된 불변량 $w_3$은 존스 다항식의 도함수와 어떻게 관련되는가?
• RQ5 양의 $n$-twisted 화이트헤드 더블는 어떤 조건에서 순수한 미러링 수술을 갖는가?

주요 결과

• 11개 이하의 교차를 가진 모든 뭇치에 대해 미러링 수술 추측이 성립하며, 다음 8개의 뭇치를 제외한다: $10_{33}, 10_{118}, 10_{146}, 11a_{91}, 11a_{138}, 11a_{285}, 11n_{86}, 11n_{157}$.
• 성질이 2인 두 브리지 뭇치의 경우, 뭇치가 $K_{x,y,-x-y,x}$ 형태가 아닐 경우 순수한 미러링 수술이 존재하지 않는다.
• 두 브리지 뭇치의 가족 $K_{x,1,-x,x,1,-x}$는 순수한 미러링 수술을 갖지 않으며, $v_3(K_{x,1,-x,x,1,-x}) = -x \neq 0$이기 때문이다.
• 양의 $n$-twisted 화이트헤드 더블 $D_+(K,n)$의 경우, $n \neq 0$이면 순수한 미러링 수술이 존재하지 않으며, $n=0$일 때는 $a_2(K) \neq 0$이면 마찬가지로 존재하지 않는다.
• 컨웨이 표기법에서 두 브리지 뭇치의 순서 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의 유형별 불변량임을 입증하였다.