[논문 리뷰] Gordian distance and Vassiliev invariants

Sebastian Baader|ArXiv.org|2007. 03. 27.

Geometric and Algebraic Topology참고 문헌 6인용 수 3

한 줄 요약

이 논문은 골디언 거리가 2인 임의의 두 뭉치 사이에, 어떤 유한한 차수의 바실리에프 불변량을 임의로 부여받은 무수히 많은 뭉치가 존재함을 증명한다. 특수한 $C_n$-이동과 하비로의 $C_n$-이동 이론을 활용하여, 뭉치 다이어그램에서 줄무늬 순서와 연결수를 조작함으로써 이러한 뭉치를 구성하며, 오하마의 나이즈 수 1 뭇치에 대한 결과를 일반화한다.

ABSTRACT

The Gordian distance between two knots measures how many crossing changes are needed to transform one knot into the other. It is known that there are always infinitely many non-equivalent knots `between' a pair of knots of Gordian distance two. In this paper we prove an extreme generalisation of this fact: there are knots with arbitrarily prescribed Vassiliev invariants between every pair of knots of Gordian distance two.

연구 동기 및 목표

• 오하마의 결과를 일반화하여, 모든 유한한 바실리에프 불변량 집합이 나이즈 수 1 뭇치로 실현될 수 있음을 보이는 것.
• 골디언 거리가 2인 두 뭇치 사이에, 어떤 유한한 차수까지의 임의로 부여된 바실리에프 불변량을 갖는 무수히 많은 중간 뭇치가 존재함을 보이는 것.
• 특수한 $C_n$-이동과 줄무늬 순서 조작 기법을 사용하여 이러한 중간 뭇치를 구성하는 구축 가능한 방법을 확립하는 것.
• 바실리에프 불변량의 차수 ≤ m에 대해 유지하면서, 제어 가능한 위상 이동을 통해 고차수 불변량을 변경할 수 있음을 보여주는 것.

제안 방법

• 골디언 거리가 2인 두 뭇치 $K_0$와 $K_1$ 사이에 뭇치 $K'$를 구성하기 위해, 음성 교차점 $C$ 주위에 제어된 수의 반회전을 도입함으로써 두 성분 링크 $L$의 연결수를 변경한다.
• 카슨 불변량($a_2$)의 스케인 관계를 사용하여 $a_2(K') = a_2(K_0) - lk(L)$임을 보이고, $lk(L)$를 조절함으로써 카슨 불변량을 임의로 조정할 수 있음을 보인다.
• 고차수 불변량의 경우, 교차점 섹션에서 줄무늬 순서를 변경하는 특수한 $C_{m+1}$-이동을 적용하여, 차수 $m+1$의 바실리에프 불변량을 제어할 수 있다.
• 하비로의 정리에 따라, 두 뭇치가 차수 $n$까지의 바실리에프 불변량을 동일하게 갖는 것은 유한한 수의 $C_{n+1}$-이동으로 연결되어 있음을 의미한다.
• 오하마와 츠쿠카모토의 결과를 활용하여, $C_n$-이동에 의한 바실리에프 불변량의 변화는 줄무늬 순서와 교차점 부호의 곱에만 의존함을 보인다.
• 일반적인 위상 동치를 통해 $\sigma \in S_{m+1}$의 임의의 순열을 실현하기 위해 줄무늬 순서를 수정함으로써, $C_{m+1}$-이동이 차수 $m+1$의 불변량에 미치는 영향을 제어할 수 있다.

실험 결과

연구 질문

• RQ1 골디언 거리가 2인 두 뭇치 사이에 존재하는 뭇치에 대해, 임의의 유한한 차수의 바실리에프 불변량을 부여할 수 있는가?
• RQ2 두 끝점으로부터 골디언 거리가 1인 중간 뭇치를 구성할 수 있으며, 그 뭇치의 차수 ≤ m 불변량이 동일하게 유지되는가?
• RQ3 $C_n$-이동이 바실리에프 불변량의 값을 어떻게 영향을 주며, 이를 체계적으로 불변량을 제어하는 데 사용할 수 있는가?
• RQ4 뭉치 다이어그램에서 줄무늬 순서 조작과 연결수 조절을 얼마나 활용하여 특정 불변량을 갖는 뭇치를 생성할 수 있는가?
• RQ5 골디언 거리가 2인 두 뭇치 사이에 존재하는 무수히 많은 중간 뭇치의 존재가 모든 유한차수 바실리에프 불변량에 대한 제어로까지 확장되는가?

주요 결과

• 임의의 뭇치 $K$와 자연수 $m$에 대해, $d_G(K', K_0) = d_G(K', K_1) = 1$이고, $K'$의 차수 ≤ $m$인 모든 바실리에프 불변량이 $K$의 것과 일치하는 뭇치 $K'$가 존재한다.
• 음성 교차점에서의 교차점 변경으로 유도된 두 성분 링크의 연결수 $lk(L)$를 조절함으로써, $K'$의 카슨 불변량($a_2$)을 임의의 정수에 매우 가까이 만들 수 있다.
• 특수한 $C_{m+1}$-이동을 적용함으로써, $K''$는 $K$와 동일한 차수까지의 바실리에프 불변량을 갖는 뭇치로 구성될 수 있으며, $K_0$와 $K_1$로부터 거리 1을 유지한다.
• $C_n$-이동이 차수 $n$의 바실리에프 불변량에 미치는 영향은 줄무늬 순서의 순열과 교차점 부호의 곱에만 의존하므로, 불변량 값에 정밀한 제어가 가능하다.
• 구축 과정은 반복적이다: 제어된 $a_2$를 갖는 뭇치에서 시작하여, $C_n$-이동과 줄무늬 재정렬을 통해 고차수 불변량을 단계적으로 제어한다.
• 오하마의 정리의 일반화로서, 유한한 불변량 집합이 나이즈 수 1 뭇치로 실현될 수 있음은 물론, 골디언 거리가 2인 두 뭇치 사이에서 제어 가능한 방식으로 실현될 수 있음을 보여준다.