[논문 리뷰] On tunnel number one knots that are not (1,n)

Jesse Johnson, Abigail Thompson|ArXiv.org|2006. 06. 09.

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

한 줄 요약

이 논문은 임의의 자연수 $ n $에 대해 $ S^3 $ 내에 존재하는 터널 수가 1인 케이크가 $(1,n)$이 아니라는 것을 증명함으로써, $ t $-터널 분해에 의해 유도된 헤가르드 분할의 거리에 대한 하한을 구함으로써 이를 입증한다. 핵심 결과는 만약 케이크가 $(t,n)$이면, 유도된 헤가르드 분할의 거리는 $ 2n + 2t $ 이하임을 보여주며, 터널 수가 1인 케이크는 임의로 큰 거리의 분할을 가질 수 있으므로, 어떤 고정된 $ n $에 대해서도 $(1,n)$일 수 없다.

ABSTRACT

We show that the bridge number of a $t$ bridge knot in $S^3$ with respect to an unknotted genus $t$ surface is bounded below by a function of the distance of the Heegaard splitting induced by the $t$ bridges. It follows that for any natural number $n$, there is a tunnel number one knot in $S^3$ that is not $(1,n)$.

연구 동기 및 목표

• 모든 터널 수가 1인 케이크가 어떤 $ n $에 대해 $(1,n)$으로 분류될 수 있는지 여부를 해결하는 것.
• $(1,n)$ 분류가 모든 터널 수가 1인 케이크를 포괄하지 못함을 보여주는 것.
• 브릿지 수, 헤가르드 거리, 그리고 케이크의 $(t,n)$-분류 사이의 정량적 관계를 설정하는 것.
• 헤가르드 거리에 기반하여, 어떤 $ n $에 대해서도 $(1,n)$이 아닌 터널 수가 1인 케이크의 존재를 비구성적 방법으로 증명하는 것.

제안 방법

• $ t $-터널 분해에 의해 유도된 헤가르드 분할 $ \Sigma $의 거리 $ d(\bar{\Sigma}) $를 곡선 복합체를 사용하여 정의한다.
• 존슨과 톰슨(2006)의 결과를 적용하여, 유도된 헤가르드 분할의 거리에 따라, 고도 $ t $ 표면에 대한 케이크의 브릿지 수를 bound하는 것.
• 케이크 보완체 내에 닫힌, 고도 $ t+k $인 표면 $ S $를 구성하기 위해, $ 2k $개의 구멍이 난 고도 $ t $ 표면 $ T $와 $ k $개의 트리플 케이크 보완체 내의 표면 $ T' $를 붙이는 것.
• $ T $와 $ T' $의 비압축성 또는 약한 비압축성을 이용하여, 결과 표면 $ S $가 약한 비압축성 또는 비압축임을 보이는 것.
• 이전 연구에서의 정리 8을 적용하여 헤가르드 표면 $ \Sigma $와 $ S $ 사이의 관계를 분석하고, 이들이 평행하거나 잘 분리되어 있거나, $ d(\Sigma) \leq 2n + 2t $임을 보이는 것.
• 이전 연구에서 터널 수가 1인 케이크의 $ d(\Sigma) $가 임의로 크게 만들 수 있음을 이용하여, $ K $는 어떤 $ n $에 대해서도 $(1,n)$일 수 없음을 결론짓는다.

실험 결과

연구 질문

• RQ1 모든 터널 수가 1인 케이크가 어떤 $ n $에 대해 $(1,n)$으로 표현될 수 있는가?
• RQ2 고도 $ t $ 표면에 대한 케이크의 브릿지 수와 유도된 헤가르드 분할의 거리 사이의 관계는 무엇인가?
• RQ3 헤가르드 분할의 거리에 상한이 존재할 경우, 그로 인해 케이크가 $(1,n)$이 될 수 없게 되는가?
• RQ4 $(1,n)$-분류가 높은 헤가르드 거리로 인해 터널 수가 1인 케이크에서 실패할 수 있는가?
• RQ5 어떤 유한한 $ n $에 대해서도 $(1,n)$이 아닌 터널 수가 1인 케이크가 존재하는가?

주요 결과

• 모든 $ n \in \mathbb{N} $에 대해, $ S^3 $ 내에 존재하는 터널 수가 1인 케이크 중 $(1,n)$이 아닌 것이 존재하며, 이는 오랫동안 남아있던 질문을 해결한다.
• $ t $-터널 분해에 의해 유도된 헤가르드 분할의 거리 $ d(\Sigma) $는 케이크가 $(t,n)$이면 $ d(\Sigma) \leq 2n + 2t $를 만족한다.
• 터널 수가 1인 케이크는 이전 연구에서 보여졌듯이 임의로 큰 헤가르드 거리를 가질 수 있으므로, 어떤 고정된 $ n $에 대해서도 $ d(\Sigma) \leq 2n + 2 $를 만족할 수 없으며, 따라서 $(1,n)$일 수 없다.
• 이 증명은 유도된 표면 $ \Sigma $와 $ S $가 평행하거나 잘 분리되어 있지 않음을 보여주는, 특정 비압축 표면의 부재에 의존한다.
• 이론은 $ \Sigma $와 $ S $가 평행하거나 잘 분리되어 있지 않음을 보여주며, 따라서 거리 bound $ d(\Sigma) \leq 2n + 2t $가 성립해야 한다.
• 결과는 비구성적이지만, 헤가르드 거리와 표면의 비압축성과 같은 위상적 불변량을 통해 이러한 케이크의 존재를 입증한다.