[논문 리뷰] A plug with infinite order and some exotic 4-manifolds

Motoo Tange|arXiv (Cornell University)|2012. 01. 28.

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

한 줄 요약

이 논문은 4차원 위상수학에서 무한 차수의 플러그를 구성하여, 이러한 플러그를 따라 4-다양체를 트위스트하면 무한히 많은 서로 다른 미분구조가 생성됨을 보여준다. Fintushel-Stern의 끈 수술과 일반화된 코르트 트위스트를 사용하여, 최소 미분 심플렉틱 4-다양체를 포함한 이국적인 쌍을 제시함으로써, 무한 차수 플러그 작용을 통한 서로 미분동형이 아닌 구조의 무한 가닥이 존재함을 증명한다.

ABSTRACT

Every exotic pair in 4-dimension is obtained each other by twisting a {\it cork} or {\it plug} which are codimension 0 submanifolds embedded in the 4-manifolds. The twist was an involution on the boundary of the submanifold. We define cork (or plug) with order $p\in {\Bbb N}\cup \{\infty\}$ and show there exists a plug with infinite order. Furthermore we show twisting $(P,φ^2)$ gives to enlargements of $P$ compact exotic manifolds with boundary.

연구 동기 및 목표

• 무한 차수 개념을 포함하여 코르트와 플러그 이론을 4차원 위상수학에서 확장하는 것.
• 무한 차수를 가진 플러그가 존재하여 무한히 많은 서로 미분동형이 아닌 미분구조를 생성함을 보이는 것.
• 차수 2인 일반화된 코르트 트위스트가 동일한 호메오모르피즘 유형을 가진 최소, 심플렉틱, 이국적인 4-다양체를 생성할 수 있음을 보이는 것.
• 무한 차수 플러그 트위스트의 제곱이 무한 차수를 가진 비수축 가능한 코르트임을 증명하는 것.
• 위성 링크와 끈 수술을 이용한 명시적 구성으로 이국적인 쌍을 제공하고, Seiberg-Witten 불변량을 통해 서로 미분동형이 아님을 증명하는 것.

제안 방법

• 자기 자신에 대한 표준적 인벌루션 기반의 코르트 및 플러그 구성의 일반화로서, $ p \in \mathbb{N} \cup \{\infty\} $인 차수를 가진 플러그의 새로운 정의를 도입한다.
• 기하학적 수축이 없는 단순연결된 컴acts한 스타인 4-다양체 $ P $를 구성하며, $ b_2 = 2 $이며, 세 개의 사라지는 순환을 가진 타원형 분할에 포함되며, 그 중 두 개는 평행하다.
• 경계 $ \partial P $ 에서 무한 차수의 미분동형사상 $ \varphi $ 를 적용하여, 모든 $ n \in \mathbb{N} $ 에 대해 $ \varphi^n \neq \text{id} $ 임을 보이고, $ \varphi $ 가 $ P $ 의 자기위상동형사상으로 확장될 수 없음을 증명한다.
• 경계에서 $ \varphi $ 가 작용하는 $ [X - P] \cup_\varphi Y $ 와 같은 컷 앤 페스트 연산을 사용하여 플러그 트위스트를 정의하며, 여기서 $ Y $ 는 동일한 경계를 가진 다양체이다.
• Fintushel-Stern의 끈 수술을 적용하여 $ (P, \varphi^n) $ 이 $ X_{K^n} $ 으로 대응됨을 보이며, 여기서 $ K^n $ 은 끈의 연속된 변형을 통해 원래의 끈에서 유도된 $ n $-중 반복된 끈이다.
• Seiberg-Witten 불변량을 사용하여 미분구조를 구분한다: $ E(1)_{L_{2n}} $ 에서 불변량은 $ \Delta_{L_{2n}}(t_1,t_2) = \sum_{k=1}^{2n} (t_1 t_2)^{2k-2n-1} $ 이며, 이는 비자명한 기본 클래스를 감지하고 서로 미분동형이 아님을 의미한다.

실험 결과

연구 질문

• RQ1 무한 차수를 가진 플러그가 존재하여 4-다양체에서 무한히 많은 서로 다른 미분구조를 생성할 수 있는가?
• RQ2 무한 차수 플러그 트위스트의 제곱이 무한 차수를 가진 비수축 가능한 코르트를 생성할 수 있는가?
• RQ3 차수 2인 일반화된 코르트 트위스트가 원래 다양체와 동일한 호메오모르피즘 유형을 가진 최소, 심플렉틱, 이국적인 4-다양체를 생성할 수 있는가?
• RQ4 $ P $ 에 $ -1 $-프레임 2-핸들을 붙여 얻은 다양체 $ Y $ 와 그 일반화된 트위스트 $ Y_2 $ 는 서로 미분동형이 아닌가?
• RQ5 $ n \geq 1 $ 에 대해 가닥 $ \{Y_{2n}\} $ 과 $ \{Z_{2n}\} $ 이 상호로 서로 미분동형이 아닌가?

주요 결과

• 무한 차수를 가진 플러그 $ (P, \varphi) $ 가 존재하며, 여기서 $ P $ 는 단순연결된 컴acts한 스타인 4-다양체이며, $ b_2 = 2 $ 이며, 세 개의 사라지는 순환을 가진 타원형 분할에 포함되며, 그 중 두 개는 평행하다.
• 플러그 트위스트 $ (P, \varphi^n) $ 는 $ K^n $ 이 원래의 끈에서 $ n $-중 반복된 끈 변형을 통해 유도된 끈 수술 $ X_{K^n} $ 과 대응된다.
• $ (P, \varphi^2) $ 는 무한 차수를 가진 비수축 가능한 코르트이며, 일반화된 코르트 트위스트를 통한 이국적인 쌍의 구성에 기여한다.
• $ Y = \tilde{Y} \# \overline{\mathbb{C}P^2} $ 와 그 트위스트 $ Y_2 $ 는 호메오모르피즘은 같지만, 서로 미분동형이 아니며, $ Y_2 $ 는 최소이고 심플렉틱하다.
• $ E(1)_{L_{2n}} $ 의 Seiberg-Witten 불변량은 $ \Delta_{L_{2n}}(t_1,t_2) = \sum_{k=1}^{2n} (t_1 t_2)^{2k-2n-1} $ 이며, 이는 비자명한 기본 클래스를 감지하고 $ Y $ 와 $ Y_{2n} $ 간의 서로 다른 미분구조를 증명한다.
• 가닥 $ \{Y_{2n}\} $ 과 $ \{Z_{2n}\} $ 는 무한히 많은 상호 이국적인 다양체로 추측되나, $ n \geq 2 $ 에서의 상호 미분동형이 아닌 성질은 아직 증명되지 않았다.