[논문 리뷰] Nuclei and exotic 4-manifolds

Kouichi Yasui|arXiv (Cornell University)|2011. 11. 02.

Geometric and Algebraic Topology참고 문헌 26인용 수 10

한 줄 요약

이 논문은 4차원 다양체에서 Gompf 핵심의 일반화된 개념을 도입하여 경계를 가진 컴acts 4차원 다각체에 대해 무한히 많은 이국적 미분구조를 구성한다. 이는 상대적 성질 함수와 코르트 투두를 사용하며, 특히 스타인 실현 가능한 3차원 다각체를 포함한 광범위한 3차원 다각체 클래스가 무한히 많은 서로 미분구조가 다른 4차원 다각체를 경계로 가짐을 증명한다. 또한 홈오모르픽하지만 미분구조가 다른 스타인 및 비스타인 4차원 다각체를 모두 구성한다.

ABSTRACT

We introduce a new generalization of Gompf nuclei and give applications. We construct infinitely many exotic smooth structures for a large class of compact 4-manifolds with boundary, regarding topological invariants. We prove that a large class of closed 3-manifolds (including disjoint unions of Stein fillable 3-manifolds) bound compact connected oriented 4-manifolds which admit infinitely many smooth structures. To detect smooth structures, we introduce a relative genus function. As a side result, we show that log transform and knot surgery of 4-manifolds do not admit any Stein structure, under a mild condition. Applying these results together with corks, we construct arbitrary many compact Stein 4-manifolds and infinitely many non-Stein 4-manifolds which are all homeomorphic but mutually non-diffeomorphic.

연구 동기 및 목표

• 닫힌 4차원 다각체에서의 이국적 미분구조 이론을 경계를 가진 컴팩트 4차원 다각체로 확장하기.
• 비닫힌 경우에서의 미분구조를 탐지하는 데 효과적인 불변량의 부족을 해결하기.
• 크고 광범위한 3차원 다각체 클래스가 무한히 많은 서로 다른 미분구조를 가진 4차원 다각체를 경계로 가질 수 있는지 규명하기.
• 코르트 투두와 하드르블 기법을 사용하여 홈오모르픽하지만 서로 미분구조가 다른 스타인 및 비스타인 4차원 다각체를 구성하기.

제안 방법

• 코너스 이웃을 포함하는 새로운 Gompf 핵심의 일반화를 도입하여, 비닫힌 4차원 다각체에서 이국적 구조를 구성할 수 있도록 한다.
• 약간의 위상적 조건 하에서 로그 변환과 결합 수술 연산을 적용하여 새로운 미분구조를 생성한다.
• 상대적 성질 함수를 정의하여, 상대적 Seiberg-Witten 또는 Ozsváth-Szabó 불변량의 한계를 우회한다.
• 코르트 투두를 사용하여 동치이지만 서로 미분구조가 다른 4차원 다각체를 생성하며, 호몰로지와 교차형식과 같은 위상적 불변량을 유지한다.
• 레전드리안 하드르블 기법과 하드르블 이동을 활용하여 핵심 임bedding을 정규화하면서도 스타인 구조를 유지한다.
• 구성된 4차원 다각체를 비영인 Seiberg-Witten 불변량을 가진 닫힌 심플렉틱 4차원 다각체에 임베딩하고, 정리 1.1을 적용하여 이국적 미분구조를 탐지한다.

실험 결과

연구 질문

• RQ1 핵심과 함께 닫힌 4차원 다각체에 비영인 Seiberg-Witten 불변량을 가진 임베딩이 존재할 경우, 경계를 가진 컴팩트 4차원 다각체에 대해 무한히 많은 이국적 미분구조를 구성할 수 있는가?
• RQ2 모든 스타인 실현 가능한 3차원 다각체는 무한히 많은 서로 다른 미분구조를 가진 컴팩트 4차원 다각체를 경계로 가질 수 있는가?
• RQ3 주어진 기본군과 교차형식을 가진 스타인 및 비스타인 4차원 다각체를 모두 홈오모르픽하지만 상호로 미분구조가 다른 것으로 구성할 수 있는가?
• RQ4 로그 변환과 결합 수술이 어떤 조건에서 4차원 다각체에서 스타인 구조를 허용하지 않는가?
• RQ5 상대적 성질 함수는 경계를 가진 컴팩트 4차원 다각체 설정에서 미분구조를 효과적으로 탐지할 수 있는가?

주요 결과

• 모든 경계를 가진 컴팩트 4차원 다각체 중에서 핵심을 포함하고, $b_2^+ > 1$ 이며 비영인 Seiberg-Witten 불변량을 가진 닫힌 4차원 다각체에 임베딩 가능한 경우, 서로 홈오모르픽하지만 상호로 미분구조가 다른 무한히 많은 미분구조를 가진 4차원 다각체가 존재한다.
• 모든 스타인 실현 가능한 3차원 다각체(이들의 이산합을 포함)는 무한히 많은 서로 다른 미분구조를 가진 컴팩트 4차원 다각체를 경계로 가진다.
• 임의의 유한형성 군 $G$에 대해, 기본군이 $G$와 동형인 임의로 많은 컴팩트 스타인 4차원 다각체와 무한히 많은 비스타인 4차원 다각체가 존재하며, 이들은 모두 홈오모르픽하지만 서로 미분구조가 다르다.
• 임의의 정수 계수 대칭 이차형식 $Q$와 무일관성인 단위형 불변량 $R$에 대해, 단순연결된 컴팩트 스타인 4차원 다각체와 무한히 많은 비스타인 4차원 다각체가 존재하며, 이들의 교차형식은 $Q \oplus R$와 동형이다. 이들은 모두 홈오모르픽하지만 서로 미분구조가 다르다.
• 약간의 조건 하에서 로그 변환과 결합 수술은 어떤 스타인 구조도 허용하지 않으며, 이는 이러한 수술 이후 스타인 구조의 존재를 보여주는 비존재 결과를 제공한다.
• 상대적 성질 함수는 경계를 가진 컴팩트 4차원 다각체 설정에서 미분구조를 효과적으로 탐지하며, 이 경우 상대적 Seiberg-Witten 불변량의 타당한 대안을 제공한다.