[논문 리뷰] On infinite order corks

Selman Akbulut|arXiv (Cornell University)|2016. 05. 30.

Geometric and Algebraic Topology참고 문헌 12인용 수 12

한 줄 요약

이 논문은 2/3-핸들 쌍 상쇄와 글루크-트위스트 유사 작동을 포함하는 새로운 $δ$-이동 기법을 사용하여, 반복적인 코르트 트위스팅을 통해 서로 다른 미분 구조를 유도하는 무한 차수의 느슨한 코르트—즉, 무한 차수의 경계 미분형이 존재하는 4차원 다양체—를 구성한다. 주요 결과는 특정한 4차원 다양체 $W$에 대해 반복적인 $δ$-이동을 적용하면 무한히 많은 상호로 미분형이 아닌 이국적 복소 구조를 생성한다는 것이다. 이는 $W$가 무한 차수의 느슨한 코르트임을 증명하며, 이는 스타인 다양체일 필요는 없지만, 진정으로 무한 차수의 코르트가 존재하는지 여부는 여전히 열려 있다.

ABSTRACT

We construct an infinite order loose cork.

연구 동기 및 목표

• 4차원 위상수학에서 무한 차수의 코르트가 존재하는지 여부에 대한 열린 문제를 다루기 위해.
• 2/3-핸들 쌍 상쇄를 이용해 3차원 다양체 경계에서 무한 차수의 미분형을 생성하는 새로운 기법—$δ$-이동을 개발하기 위해.
• 특정 4차원 다양체 $W$에 대해 반복적인 $δ$-이동을 적용하면 닫힌 4차원 다양체 $M$에서 무한히 많은 서로 다른 이국적 미분 구조가 유도됨을 보여주기 위해.
• 결과로 얻어진 코르트가 '느슨한'—즉, 반드시 스타인일 필요는 없음—것을 보여주어 진정으로 무한 차수의 코르트가 존재하는지 여부를 여전히 열어두기 위해.

제안 방법

• δ-이동 도입: $\partial X$에 있는 뭉친 원 $δ$를 따라 0-프레임 2-핸들을 부착하고, 이를 3-핸들과 상쇄시킨 후, 프레임이 주어진 원 $C_+$와 $C_-$를 따라 블로우업 및 블로우다운을 수행하여 $\partial X$의 자기 미분형을 생성한다.
• 4차원 다양체 $W$에 $n$번의 $δ$-이동을 적용하여, 더 큰 다양체 $S$에 포함된 $S_n = W \cup_{f_\delta^n} H$를 구성함으로써 코르트 트위스팅을 수행한다.
• 핸들 슬라이드와 상쇄 기법(참고 문헌 [A4], 그림 1.17 참조)을 사용하여 $n$번의 $δ$-이동 이후 $S_n$의 핸들바디 기술을 단순화한다.
• $S_n$이 $n$-트위스트 뭉치 $K_n$을 사용한 Fintushel-Stern 뭉치 수술을 통해 얻어지며, 이는 경계 구조를 유지하지만 미분 유형을 변화시킴을 보여준다.
• $K_n$의 아르고르 다항식이 다르므로, $M_n$의 Seiberg-Witten 불변량이 다르게 되어 $S_n$이 상호로 미분형이 아님을 증명한다.
• 모든 $S_n$과 $S_m$($n \neq m$) 사이의 미분형이 존재한다면, 이는 경계로 연장되고 모노드로미와 가환성을 유지해야 하므로, $n=m$이 아닐 경우 모순이 발생함을 보여준다.

실험 결과

연구 질문

• RQ1 반복적인 코르트 트위스팅을 통해 무한히 많은 서로 다른 미분 구조를 생성할 수 있는 4차원 다양체에서 경계 미분형이 무한 차수인 경우를 구성할 수 있는가?
• RQ2 $δ$-이동 기법이 스타인 다양체가 아니어도 무한 차수의 미분형을 생성할 수 있는가?
• RQ3 $W$에 대해 $n$중 $δ$-이동을 적용하여 생성된 이국적 미분 구조들이 상호로 미분형이 아닐까?
• RQ4 결과로 얻어진 코르트가 스타인이 아니라는 사실이 진정으로 무한 차수의 코르트가 존재하지 않는다는 것을 의미하는가?
• RQ5 $δ$-이동 구성법이 Gompf의 이전에 발표한 무한 차수의 느슨한 코르트 예시와 조화를 이룰 수 있는가 또는 이를 설명할 수 있는가?

주요 결과

• 그림 1에 나타난 다양체 $W$는 반복적인 $δ$-이동을 통해 경계에서 무한히 많은 서로 다른 미분 구조를 생성하므로, 무한 차수의 느슨한 코르트이다.
• $W$에 대해 $n$중 $δ$-이동을 적용하면, $S_n$은 $n$-트위스트 뭉치 $K_n$을 사용한 Fintushel-Stern 뭉치 수술에 의해 미분형이 된다.
• 닫힌 다양체 $M_n$(단위화된 $S_n$에서 유도됨)의 Seiberg-Witten 불변량은 $n$에 따라 다르며, 이는 $S_n$이 상호로 미분형이 아님을 증명한다.
• 경계 미분형 $f_\delta^n$은 $n=m$이 아닐 경우 $S_n$의 미분형으로 연장될 수 없으며, 이는 $S_n$과 $S_m$이 $n \neq m$일 때 서로 미분형이 아님을 의미한다.
• $δ$-이동 구성법은 Gompf의 발표한 예시와 동치이며, 핸들바디 기법을 통해 그의 증명을 위상수학적으로 설명할 수 있다.
• 결과로 얻어진 코르트는 '느슨한'—즉, 스타인으로 알려져 있지 않다—것이므로, 진정으로 무한 차수의 코르트가 존재하는지 여부는 여전히 열려 있다.