[논문 리뷰] Exotic smooth structures on $S^2 imes S^2$

Anar Akhmedov, B. Doug Park|arXiv (Cornell University)|2010. 05. 19.

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

한 줄 요약

이 논문은 4차원 다양체 $S^2 \times S^2$에 대해 무한히 많은 상호간에 미분동형이 아닌 기하학적 구조를 구성한다. 이는 고도 2의 곡면 위에 고도 2의 곡면 번들의 Luttinger 수술을 적용한 역공학적 접근 방식을 사용한다. 주요 결과는 $S^2 \times S^2$가 $\infty$-성질을 지닌다는 것이며, 이는 무한히 많은 서로 다른 기하학적 구조를 포함하며, 이들 사이를 식별하는 비자명한 Seiberg-Witten 불변량이 존재한다는 것을 의미한다. 이 기하학적 구조들은 심플렉틱이거나 비심플렉틱일 수 있으며, 모두 서로 미분동형이 아니다.

ABSTRACT

We construct an infinite family of mutually non-diffeomorphic irreducible smooth structures on the topological 4-manifold $S^2 imes S^2$.

연구 동기 및 목표

• 모든 $S^2 \times S^2$가 상호간에 미분동형이 아닌 무한히 많은 기하학적 구조를 가짐을 증명하는 것.
• $S^2 \times S^2$가 $\infty$-성질을 지닌다는 것을 확립하는 것. 즉, 무한히 많은 기약 비심플렉틱 기하학적 구조와 하나의 심플렉틱 기하학적 구조를 포함한다는 것.
• 이러한 이국적 기하학적 구조들이 비자명하고 서로 다른 Seiberg-Witten 불변량에 의해 식별됨을 보여주는 것.
• 이러한 이국적 $S^2 \times S^2$ 기하학적 구조들을 블로잉업하면, $m \geq 2$인 $\mathbb{CP}^2 \#\,m\overline{\mathbb{CP}}^2$에 대해 무한히 많은 상호간에 미분동형이 아닌 기하학적 구조를 얻을 수 있음을 보여주는 것.

제안 방법

• [8]의 '역공학적 기법'을 고도 2의 곡면 위에 고도 2의 곡면 번들에 적용하는 것.
• 오일러 특성수 4, $b_1 = 6$, $b_2 = 14$, $K^2 = 8$를 가지며, 일반 유형의 최소 곡면인 복소 곡면 $X = (\Sigma_2 \times \Sigma_3)/\mathbb{Z}/2$를 구성하는 것.
• X에 대해 여섯 번의 Luttinger 수술을 수행하여 매개변수 $n$으로 매개화된 4차원 다각형의 가중가능성 $M_n^1$을 생성하는 것.
• Seiberg-Witten 불변량을 사용하여 결과 기하학적 구조를 식별하며, $SW_{M_n^1}(\pm(2A+2B)) = n$임을 보이는 것.
• Taubes의 정리를 활용하여 중간 다각형 $Z$의 $|SW_Z(\pm c_1(Z))| = 1$임을 보이고, 이를 통해 $M_n^1$의 불변량을 계산하는 것.
• Freedman의 분류 정리를 적용하여 모든 $M_n^1$이 $S^2 \times S^2$와 호메오모르픽임을 결론내며, 이들의 서로 다른 Seiberg-Witten 불변량은 이들이 미분동형이 아니라는 것을 의미한다.

실험 결과

연구 질문

• RQ1 $S^2 \times S^2$는 상호간에 미분동형이 아닌 무한히 많은 기하학적 구조를 지닐 수 있는가?
• RQ2 $S^2 \times S^2$에 대해 무한히 많은 기약 비심플렉틱 기하학적 구조가 존재하는가? 이들 기하학적 구조들은 서로 다른 Seiberg-Witten 불변량을 가질 수 있는가?
• RQ3 Luttinger 수술에 의해 심플렉틱 코다이라 차원은 유지되는가? 그리고 이를 통해 기하학적 구조를 식별할 수 있는가?
• RQ4 이국적 기하학적 구조를 가진 $S^2 \times S^2$는 블로잉업을 통해 $\mathbb{CP}^2 \#\,m\overline{\mathbb{CP}}^2$에 대해 이국적 기하학적 구조를 생성할 수 있는가?
• RQ5 이국적 $S^2 \times S^2$ 기하학적 구조는 에인슈타인 메트릭이나 비특이 정규화 리치 흐름 해를 가질 수 없는 다각형을 유도하는가?

주요 결과

• 논문은 $S^2 \times S^2$에 대해 상호간에 미분동형이 아닌 무한한 가족의 기하학적 구조를 구성하며, 이는 $\infty$-성질을 지닌다는 것을 증명한다.
• $M_n^1$의 Seiberg-Witten 불변량은 $\pm(2A+2B)$에 대해서만 비자명하며, 그 값은 $n$이다. 이는 $n \neq m$일 때 $M_n^1$과 $M_m^1$이 서로 미분동형이 아니라는 것을 증명한다.
• $M_1^1$은 심플렉틱이며 코다이라 차원 2를 가지며, $n \geq 2$인 $M_n^1$은 비심플렉틱, 기약적이며 비자명한 Seiberg-Witten 불변량을 가진다.
• Freedman의 정리에 의해 모든 $M_n^1$은 $S^2 \times S^2$와 호메오모르픽이다. 이는 단순연결된 스팟 4차원 다각형이며, 교차 형식이 $H$이기 때문이다.
• $M_n^1$의 $m-1$개의 점을 블로잉업하면, 모든 $m \geq 2$에 대해 $\mathbb{CP}^2 \#\,m\overline{\mathbb{CP}}^2$에 대해 무한히 많은 상호간에 미분동형이 아닌 기하학적 구조를 얻을 수 있으며, 이는 $m=4$일 때도 성립한다.
• $m=4$일 경우, 결과로 얻어진 다각형 $Y_n$은 에인슈타인 메트릭을 가지지 않으며, 양의 얀베 인변수를 가지지 않으며, 어떤 초기 메트릭에도 비특이 정규화 리치 흐름 해를 가지지 않는다.