[논문 리뷰] Twisting 4-manifolds along RP^2

Selman Akbulut|arXiv (Cornell University)|2009. 12. 23.

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

한 줄 요약

이 논문은 에кс제이브한 복소구면 $E(1) = \mathbb{CP}^2 \#\, 9\overline{\mathbb{CP}^2}$의 복소구면인 Dolgachev 표면 $E(1)_{2,3}$가 $\mathbb{RP}^2$-twisting을 통해 $W_{1,2}$-플러그를 이용한 플러그 트위스팅으로 구성될 수 있음을 보여준다. 이 플러그는 위상적으로 $\mathbb{RP}^2$에 대한 트위스팅과 동치이며, $\mathbb{RP}^2$의 튜브근처의 경계에서 유도된 반사에 의한 변환에 의해 유도되는 이중구조를 가지며, 이는 에크제이브한 미분구조를 생성한다. 핵심 결과는 이 작용이 $\mathbb{RP}^2$-twisting을 통한 Dolgachev 표면의 새로운 기하적 실현을 제공한다는 것이다.

ABSTRACT

We prove that the Dolgachev surface E(1)_{2,3} (which is an exotic copy of the elliptic surface E(1)=CP^2 # 9(-CP^2)) can be obtained from E(1) by twisting along a simple "plug", in particular it can be obtained from E(1) by twisting along an RP^2.

연구 동기 및 목표

• 4차원 다양체에서 $\mathbb{RP}^2$에 의한 트위스팅이 에크제이브한 미분구조를 생성할 수 있는지 여부를 규명하는 것.
• 특히 Dolgachev 표면 $E(1)_{2,3}$를 포함한 $E(1)$의 에크제이브 복제본을 구성하는 데 $W_{1,2}$ 플러그가 수행하는 역할을 조사하는 것.
• 플러그 트위스팅, $\mathbb{RP}^2$-트위스팅, 그리고 그로 인한 미분구조의 변화 간의 관계를 명확히 하는 것.
• $E(1)$에서 단일 플러그 트위스트 작용을 통해 Dolgachev 표면을 기하학적으로 실현하는 것. 이는 기존의 코르트 트위스팅 구성법을 보완하는 것이다.

제안 방법

• $W_{1,2}$ 플러그는 $S^4$ 안에서 $\mathbb{RP}^2$의 튜브근처로 구성되며, 특정한 핸들바디 구조를 가진 $\mathbb{RP}^2$ 위의 디스크 번들의 형태로 표현된다.
• $\partial W_{1,2}$에서 정의된 반사 $f$는 빨간색과 파란색 루프 $\alpha$와 $\beta$를 교환하는 $180^\circ$ 회전에 의해 유도되며, 이는 경계에서 비자명한 미분구조를 유도한다.
• 핸들바디 계산을 사용하여, 1-와 2-핸들을 상쇄시킴으로써 $W_{1,2}$ 플러그를 다른 핸들 다이어그램(그림 3)으로 재표현한다. 이는 트위스트의 명시적 계산을 가능하게 한다.
• 플러그 트위스트 작용이 $E(1)$에 적용되며, 이는 $\alpha$ 위의 $+1$-프레임 2-핸들을 $\beta$ 위의 $0$-프레임 2-핸들로 대체함으로써 미분구조를 변화시킨다.
• 트위스트 이후의 결과 다양체는 $S^2 \times S^2 \#\, 8\overline{\mathbb{CP}^2}$와 미분형태가 같으며, 이는 $E(1)$임을 확인한다. 이는 작용이 잘 정의되어 있음을 뜻한다.
• 이 방법은 링크 수술으로 확장 가능하다. $E(1)$의 쐐기 부분이 링크-수술된 형태 $Q_K$로 대체될 경우, 동일한 플러그 트위스트는 $Q_K \#\, 8\overline{\mathbb{CP}^2}$를 유도하며, 이는 토르피드 링크에 대해 $E(1)_K$와 같다.

실험 결과

연구 질문

• RQ1 4차원 다양체에서 $\mathbb{RP}^2$에 의한 트위스팅이 에크제이브한 미분구조를 생성할 수 있는가?
• RQ2 $\mathbb{RP}^2$와 관련된 $W_{1,2}$ 플러그가 $E(1)$에서 단일 플러그 트위스트를 통해 Dolgachev 표면 $E(1)_{2,3}$를 생성하는 데에 충분한가?
• RQ3 $W_{1,2}$에 의한 플러그 트위스트가 이전의 구성들과 마찬가지로 플로어 호모로지의 순열과 독립적인 미분구조의 변화를 유도하는가?
• RQ4 동일한 플러그 트위스트 작용이 서로 다른 링크에 대응하는 무한히 많은 서로 다른 에크제이브 복제본 $E(1)$를 생성할 수 있는가?
• RQ5 $\partial W_{1,2}$ 경계, 즉 히사티온 3-다양체가 미분구조를 구별하는 데 어떤 역할을 하는가?

주요 결과

• $E(1)_{2,3}$는 $\partial W_{1,2}$에서 유도된 반사 $f$에 의한 $W_{1,2}$ 플러그 트위스트를 거친 $E(1)$와 미분형태가 같으며, 이는 $E(1)_{2,3}$가 $\mathbb{RP}^2$에 의한 트위스팅을 통해 $E(1)$에서 유도됨을 증명한다.
• 플러그 트위스트 작용은 $\alpha$ 위의 $+1$-프레임 2-핸들을 $\beta$ 위의 $0$-프레임 2-핸들로 대체하며, 결과 다양체는 $S^2 \times S^2 \#\, 8\overline{\mathbb{CP}^2}$와 미분형태가 같으며, 이는 $E(1)$임을 확인한다. 이는 구성이 타당함을 뜻한다.
• 토르피드 링크 $K$에 대해, 링크-수술된 형태 $Q_K$는 $S^2 \times S^2$와 미분형태가 같으며, 플러그 트위스트는 $E(1)_K = E(1)_{2,3}$를 유도한다. 이는 기존의 결과와 일치한다.
• 미분구조의 변화는 플로어 호모로지의 순열이 아닌 $\mathrm{Spin}^c$ 구조의 변화에 기인하며, 이는 이 구성법이 이전의 것들과 구별됨을 나타낸다.
• $\partial W_{1,2}$는 히사티온 3-다양체이며, 양의 곡률을 가지며 플로어 호모로지가 0인 공간형태이다. 이는 에크제이브성의 근본 원인이 플로어 이론적 불변량을 초월한 위상적 불변량임을 시사한다.
• 이 구성은 $Q_K \not\cong S^2 \times S^2$인 서로 다른 링크 $K$에 대해, $W_{1,2}$가 $E(1)$의 무한히 많은 에크제이브 복제본 $E(1)_K$에 대한 플러그임을 의미한다. 다만 이 식별은 모든 $K$에 대해 알려져 있지 않다.