[논문 리뷰] Obstructing Sliceness in a Family of Montesinos Knots

Luke M. Williams|ArXiv.org|2008. 09. 07.

Geometric and Algebraic Topology참고 문헌 7인용 수 5

한 줄 요약

이 논문은 게이지 이론 기법, 특히 음의 정의된 플러밍 4-다양체에 적용된 도널드슨의 대각화 정리에 기반하여, 다섯 개의 매개변수로 구성된 몬테시노스 링크 $M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q)$ 의 일부 성질을 만족하는 경우, 그 어떤 멤버도 매끄럽게 슬라이스가 되지 않음을 증명한다. 핵심 결과는 서명이 0이고 행렬식이 제곱수인 무한한 부분가닥을 구성한 것으로, 이는 여전히 슬라이스에서 차단됨을 보여주며, 이 클래스에서 슬라이스-리본 추측에 대한 강력한 반례를 제공한다.

ABSTRACT

Using Gauge theoretical techniques employed by Lisca for 2-bridge knots and by Greene-Jabuka for 3-stranded pretzel knots, we show that no member of the family of Montesinos knots M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q), with certain restrictions on m_i, n_i, and q, can be (smoothly) slice. Our techniques use Donaldson's diagonalization theorem and the fact that the 2-fold covers of Montisinos knots bound plumbing 4-manifolds, many of which are negative definite. Some of our examples include knots with signature 0 and square determinant.

연구 동기 및 목표

• 2-브릿지 링크에 대해 리스카가 사용한 게이지 이론적 접근을 더 넓은 범위의 몬테시노스 링크로 확장하기.
• 다섯 매개변수로 구성된 몬테시노스 링크 가닥의 일부 멤버가 매끄럽게 슬라이스가 되지 않는지 규명하기.
• 서명이 0이고 행렬식이 제곱수인 몬테시노스 링크의 무한한 부분가닥을 구성하여, 여전히 슬라이스에서 차단됨을 보여주기.
• 몬테시노스 링크의 맥락에서 슬라이스-리본 추측에 대한 근거를 제공하기.

제안 방법

• 만약 링크가 슬라이스였다면, 그에 대응하는 2-겹 분지 덮개를 유리수 동치 4-다양체와 접합하여 얻어진 닫힌 음의 정의된 4-다양체에 도널드슨의 대각화 정리를 적용하기.
• 몬테시노스 링크의 2-겹 분지 덮개가 연속 분수 타앵글의 구조를 활용하여 음의 정의된 플러밍 4-다양체를 경계로 한다는 사실을 이용하기.
• 링크 $M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q)$ 와 관련된 4-다양체의 명시적 플러밍 다이어그램을 구성하고, 그들의 교차 형식을 계산하기.
• 교차 형식이 표준 음의 정의된 형식 $-I$ 에 임베딩되지 않는다는 점을 슬라이스성의 장벽으로 사용하기.
• 서명과 행렬식을 계산하기 위해 고에리츠 행렬 방법을 사용하며, 특히 $m_1=2$, $m_2=3$, $n_2=1$, $q=-3$, 변수 $n_1$ 을 갖는 부분가닥에 대해 적용하기.
• 재귀 수열을 사용하여 $26n_1 + 51$ 이 어떤 $a \in \mathbb{N}$ 에 대해 완전한 제곱수가 되는 $n_1$ 이 무한히 많음을 보여주며, 이는 서명이 0이고 행렬식이 제곱수인 링크를 생성한다.

실험 결과

연구 질문

• RQ1 2-브릿지 링크와 3-끈 프리티젤 링크에 사용된 게이지 이론 기법을 더 넓은 범위의 몬테시노스 링크로 확장하여 슬라이스성을 차단할 수 있는가?
• RQ2 서명이 0이고 행렬식이 제곱수임에도 불구하고, $M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q)$ 의 일부 멤버가 매끄럽게 슬라이스가 되지 않는가?
• RQ3 고전적 장벽이 사라지는 상황에서도, 교차 형식이 $-I$ 에 임베딩되지 않는 장벽이 이 가닥에서 여전히 유지되는가?
• RQ4 서명이 0이고 행렬식이 제곱수인 무한한 부분가닥을 구성할 수 있는가? 이 가닥들은 여전히 비슬라이스인가?
• RQ5 이 가닥이 슬라이스-리본 추측의 반례를 제공하는가?

주요 결과

• 모든 $m_i,n_i,-q\in\mathbb{N}$ 를 만족하고, 유리수 항의 합에 대한 양성 조건을 만족하는 $M(0;[m_1+1,n_1+2],[m_2+1,n_2+2],q)$ 의 멤버는 매끄럽게 슬라이스가 되지 않는다.
• 이 가닥은 서명이 0이고 행렬식이 제곱수인 무한한 링크를 포함하며, 여전히 슬라이스에서 차단됨을 보여주며, 고전적 장벽이 부족함을 입증한다.
• 특히 $m_1=1$, $m_2=2$, $q=-3$, $n_1,n_2\geq1$ 이며 $n_1$ 이 짝수 또는 $n_2$ 가 홀수일 경우, 이 가닥은 무한히 많은 비슬라이스 링크를 포함한다.
• 링크 $M(0;[2,n_1+2],[3,3],-3)$ 의 고에리츠 행렬은 모든 $n_1 \geq 1$ 에 대해 행렬식이 $26n_1 + 51$ 이고 서명이 0이며, 이는 고전적 장벽이 사라짐을 확인한다.
• 어떤 $a \in \mathbb{N}$ 에 대해 $26n_1 + 51 = a^2$ 를 만족하는 무한한 부분가닥이 존재하며, 이러한 링크는 여전히 게이지 이론적 장벽으로 인해 매끄럽게 슬라이스가 되지 않는다.
• 8개의 구성 요소를 가진 플러밍의 경우, 교차 형식이 $-I$ 에 임베딩되지 않는다는 것을 모순에 의해 증명하여, 장벽이 유지됨을 확인한다.