[논문 리뷰] Exotic Smooth Structures on Small 4-Manifolds with Odd Signatures

Anar Akhmedov, B. Doug Park|arXiv (Cornell University)|2007. 01. 29.

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

한 줄 요약

이 논문은 루팅거와 토러스 수술을 이용하여 기약적인 기하학적 성질을 가진 작은 4차원 다양체, 특히 ${\mathbb{CP}}^2\#m\overline{\mathbb{CP}}^2$ 및 $3{\mathbb{CP}}^2\#k\overline{\mathbb{CP}}^2$ ($m,k$에 특정 조건을 만족하는 경우)에 대해 특이한 미분 구조를 구축한다. 이는 기약적인 심플렉틱 4차원 다각형의 존재를 증명하고, 동치형태로 동치인 기약적이지만 비심플렉틱인 4차원 다각형의 무한한 가족이 존재함을 보이며, 4차원 다각형 지리도 평면상의 52개의 열린 문제를 메운다.

ABSTRACT

Let $M$ be $\CP#2\CPb$, $3\CP#4\CPb$ or $(2n-1)\CP#2n\CPb$ for any integer $n\geq 3$. We construct an irreducible symplectic 4-manifold homeomorphic to $M$ and also an infinite family of pairwise non-diffeomorphic irreducible non-symplectic 4-manifolds homeomorphic to $M$. We also construct such exotic smooth structures when $M$ is $\CP#4\CPb$ or $3\CP# k \CPb$ for $k=6,8,10$.

연구 동기 및 목표

• 기약적인 기하학적 성질을 가진 작은 4차원 다각형, 특히 $m{\mathbb{CP}}^2\#n\overline{\mathbb{CP}}^2$ ($m$가 홀수이고 $m < n \leq 5m+4$)와 동치인 다각형에 대해 특이한 미분 구조를 구축하는 것.
• 특정 $n$에 대해 $m=1,3$인 $m{\mathbb{CP}}^2\#n\overline{\mathbb{CP}}^2$에 대해 다각형의 다중 미분 구조 범위를 확장하는 것.
• 심플렉틱 및 비심플렉틱 영역에서 새로운 $(\chi_h, c_1^2)$ 좌표를 실현하여 4차원 다각형 지리도 문제의 열린 케이스를 해결하는 것.
• 기약적이지만 비심플렉틱인 4차원 다각형의 무한한 가족이 특정한 작은 4차원 다각형과 동치형태임을 보이며, 이는 상호로 미분형이 아닌다는 것을 증명하는 것.
• 주어진 심플렉틱 4차원 다각형의 기본군과 동일한 기본군을 가지는 심플렉틱 4차원 다각형을 구축하는 일반적인 방법을 수립하는 것. 이는 라그랑주 토러스 수술을 이용한다.

제안 방법

• 수술은 4차원 다각형 $\Sigma_2 \times \Sigma_n$에 대해 총 $2n+4$번의 수술을 적용한다: $2n+3$번의 루팅거 수술과 1번의 토러스 수술을 수행하여, $(2n-3)(S^2 \times S^2)$와 동일한 코homology 링을 가지는 4차원 다각형의 가족을 생성한다.
• 결과로 얻어진 4차원 다각형의 기본군은 바르카펜의 정리에 따라, 수술 곡선과 그들의 교차관계에서 유도된 관계를 이용하여 계산된다.
• 특이한 미분 구조는 빌딩 블록들의 심플렉틱 정규 연결 합에 루팅거 수술과 토러스 수술을 적용하여 얻으며, 이는 동치형태는 유지하지만 미분 구조는 변경한다.
• 특정 라그랑주 토러스가 심플렉틱 4차원 다각형에서 수술을 수행할 수 있으며, 이는 심플렉틱 또는 비심플렉틱 구조를 유지하면서도 미분형을 변경할 수 있다는 사실을 활용한다.
• 정리 2에서는 심플렉틱 정규 연결 합에서 단일 루팅거 수술을 생략하여, 기본군이 자명한 라그랑주 토러스 $T'$를 가진 비단순 연결 심플렉틱 4차원 다각형 $N$을 생성한다. 이때 $T'$의 면적은 $\pi_1(N \setminus \nu T')$ 내에서 자명하다.
• 결과로 얻어진 4차원 다각형 $Y$는 $N$에서 $T'$에 대해 수술을 수행하여 구성되며, 그 기본군은 $\pi_1(X)$와 동형임을 보이며, $\chi_h(Y) = \chi_h(X) + \chi$ 및 $c_1^2(Y) = c_1^2(X) + c$를 만족한다. 여기서 $\chi, c$는 주어진 값이다.

실험 결과

연구 질문

• RQ1 기약적인 기하학적 성질을 가진 작은 4차원 다각형, 예를 들어 ${\mathbb{CP}}^2\#2\overline{\mathbb{CP}}^2$와 $3{\mathbb{CP}}^2\#4\overline{\mathbb{CP}}^2$에 대해 특이한 미분 구조를 구축할 수 있는가?
• RQ2 기약적인 심플렉틱 4차원 다각형이 $m{\mathbb{CP}}^2\#n\overline{\mathbb{CP}}^2$와 동치형태로 존재하는가? ($m$이 홀수이고 $m < n \leq 5m+4$)
• RQ3 이러한 다각형에 대해 상호로 미분형이 아닌 기약적이지만 비심플렉틱인 4차원 다각형의 무한한 가족을 구성할 수 있는가?
• RQ4 이러한 특이 구조를 통해 4차원 다각형 지리도 평면상의 새로운 점들을 실현할 수 있는가?
• RQ5 심플렉틱 4차원 다각형의 기본군을 수술 중에 유지하면서 $\chi_h$와 $c_1^2$를 주어진 값만큼 증가시킬 수 있는가?

주요 결과

• 기본군이 자명한 ${\mathbb{CP}}^2\#2\overline{\mathbb{CP}}^2$와 동치형태인 기약적인 심플렉틱 4차원 다각형을 구축하였으며, 이는 다중 미분 구조를 가진 단순 연결 4차원 다각형 중에서 알려진 바 중에서 최소한의 오일러 지표를 가진다.
• 기본군이 자명한 ${\mathbb{CP}}^2\#2\overline{\mathbb{CP}}^2$와 동치형태인 상호로 미분형이 아닌 기약적이지만 비심플렉틱인 4차원 다각형의 무한한 가족을 구성하였다.
• $3{\mathbb{CP}}^2\#k\overline{\mathbb{CP}}^2$ ($k=4,6,8,10$)에 대해, 동치형태인 기약적인 심플렉틱 4차원 다각형과 상호로 미분형이 아닌 기약적이지만 비심플렉틱인 4차원 다각형의 무한한 가족을 모두 구성하였다.
• $(2n-1){\mathbb{CP}}^2\#2n\overline{\mathbb{CP}}^2$ ($n \geq 3$)에 대해, 동치형태인 기약적인 심플렉틱 4차원 다각형과 상호로 미분형이 아닌 기약적이지만 비심플렉틱인 4차원 다각형의 무한한 가족을 구성하였다.
• 결과로 52개의 새로운 점이 4차원 다각형 지리도 평면에 메워졌으며, 이는 $2e + 3\sigma \geq 0$, $e + \sigma \equiv 0 \pmod{4}$, $\sigma \leq -1$인 영역 또는 $(\chi_h, c_1^2)$ 좌표에서 $0 \leq c_1^2 \leq 8\chi_h - 1$인 영역에 해당한다.
• 정리 2는 임의의 닫힌 심플렉틱 4차원 다각형 $X$가 자명한 기본군 이미지를 가지며, 자기 교차수가 0인 심플렉틱 토러스를 포함할 때, 임의의 $(\chi, c)$에 대해 $0 \leq c \leq 8\chi - 1$이면, $\pi_1(Y) \cong \pi_1(X)$, $\chi_h(Y) = \chi_h(X) + \chi$, $c_1^2(Y) = c_1^2(X) + c$를 만족하는 심플렉틱 4차원 다각형 $Y$가 존재함을 보여준다. 이때 $Y$는 기약적인 부정부정형 교차형을 가진다.