[논문 리뷰] Stein 4-manifolds and corks

Selman Akbulut, Kouichi Yasui|arXiv (Cornell University)|2010. 10. 20.

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

한 줄 요약

이 논문은 비타수 4-다양체에 대한 코르크를 구성하는 새로운 방법을 제시한다. 이 방법은 컴act 스타인 4-다양체가 $b_2^+$가 1보다 큰 단순연결, 최소, 닫힌 심플렉틱 4-다양체에 임베딩될 수 있음을 활용한다. 키트 수술과 유리 블로우다운 기법을 적용하여, 어떤 마조르 타입의 코르크도 고정된 단순연결 4-다양체 위에서 무한히 많은 이국적 미분구조를 유도할 수 있음을 보이며, 서로 겹치지 않는 다수의 코르크를 임베딩하여 유한히 많은 서로 다른 이국적 구조를 생성할 수 있음을 보여준다.

ABSTRACT

It is known that every compact Stein 4-manifolds can be embedded into a simply connected, minimal, closed, symplectic 4-manifold. By using this property, we discuss a new method of constructing corks. This method generates a large class of new corks including all the previously known ones. We prove that every one of these corks can knot infinitely many different ways in a closed smooth manifold, by showing that cork twisting along them gives different exotic smooth structures. We also give an example of infinitely many disjoint embeddings of a fixed cork into a non-compact 4-manifold which produce infinitely many exotic smooth structures. Furthermore, we construct arbitrary many simply connected compact codimension zero submanifolds of S^4 which are mutually homeomorphic but not diffeomorphic.

연구 동기 및 목표

• 컴act 스타인 4-다양체의 임베딩 성질을 활용하여 4-다양체에서 코르크를 체계적으로 구성하는 방법을 개발한다.
• 모든 마조르 타입의 코르크가 고정된 닫힌 4-다양체 위에서 무한히 많은 상호적으로 미분동형이 아닌 이국적 미분구조를 생성할 수 있음을 보여준다.
• 동일한 4-다양체에 서로 겹치지 않는 코르크를 포함시켜, 서로 다른 코르크 토르션이 상호로 미분동형이 아닌 이국적 구조를 생성함을 보여준다.
• 고정된 컴act 수축 가능한 스타인 4-다양체가 닫힌 4-다양체에 무한히 많은 서로 이sovolumetric이 아닌 방식으로 임베딩될 수 있으며, 각각 다른 미분구조를 생성함을 보여준다.
• 비콤팩트 4-다양체로의 확장을 통해, 서로 겹치지 않는 코르크 임베딩을 통해 무한히 많은 이국적 미분구조를 생성함을 보여준다.

제안 방법

• 모든 컴act 스타인 4-다양체가 단순연결, 최소, 닫힌, 심플렉틱 4-다양체에 임베딩될 수 있다는 정리(임베딩 정리)를 사용한다. 이 다양체는 $b_2^+ > 1$를 만족한다.
• 경계가 있는 컴act 스타인 4-다양체 내부에 후보 코르크를 구성하며, 필요에 따라 블로우업을 수행한다.
• 핀투시엘-스턴의 키트 수술과 유리 블로우다운 기법을 적용하여, 환경이 되는 심플렉틱 4-다양체를 수정하고, 시브르그-와이트먼 불변량의 변화를 감지한다.
• 시브르그-와이트먼 불변량의 변화를 코르크 토션과 연관지어, 동일한 코르크 위에서 다른 치환에 의해 서로 다른 미분구조가 유도됨을 증명한다.
• 호모로지 클래스에 대응하는 임베딩된 표면의 종수를 이용하여, 다양한 4-다양체 가닥 간의 미분구조를 구분한다.
• 경계 합과 코르크 토션을 통해 4-다양체의 가닥 $X_n$을 구성하며, 표면이 대응하는 표면의 종수 제약 조건이 그들의 미분형을 구분함을 보장한다.

실험 결과

연구 질문

• RQ1 모든 컴act 스타인 4-다양체는 $b_2^+ > 1$를 만족하는 닫힌, 단순연결, 최소 심플렉틱 4-다양체에 임베딩될 수 있는가?
• RQ2 고정된 마조르 타입의 코르크가 고정된 닫힌 4-다양체 위에서 무한히 많은 상호적으로 미분동형이 아닌 이국적 미분구조를 생성할 수 있는가?
• RQ3 서로 겹치지 않는 방식으로 다수의 코르크를 동일한 4-다양체에 임베딩할 수 있으며, 서로 다른 코르크 토션에 의해 상호로 미분동형이 아닌 이국적 구조가 생성되는가?
• RQ4 고정된 컴act 수축 가능한 스타인 4-다양체 $C$가 닫힌 4-다양체에 무한히 많은 서로 이sovolumetric이 아닌 방식으로 임베딩될 수 있으며, 각각 다른 미분구조를 생성하는가?
• RQ5 고정된 코르크가 비콤팩트 4-다양체에 무한히 많은 서로 이sovolumetric이 아닌 방식으로 임베딩될 수 있으며, 각각 다른 이국적 미분구조를 생성하는가?

주요 결과

• 경계가 있는 모든 컴act 스타인 4-다양체는 단순연결, 최소, 닫힌, 심플렉틱 4-다양체에 임베딩되며, 이는 $b_2^+ > 1$를 만족한다. 이는 새로운 구성 프레임워크를 가능하게 한다.
• 모든 마조르 타입의 코르크 $(C, au)$에 대해, 서로 홈오모르픽이지만 미분동형이 아닌 무한히 많은 단순연결 닫힌 4-다양체 $X_n$이 존재하며, $X_n$은 $X_0$에서 $(C, au)$에 따른 코르크 토션을 통해 유도된다.
• 고정된 코르크가 비콤팩트 4-다양체에 무한히 많은 서로 겹치지 않는 방식으로 임베딩될 수 있으며, 이에 대응하는 코르크 토션은 무한히 많은 이국적 미분구조를 생성한다.
• 각 $n \geq 1$에 대해, $n+1$개의 서로 홈오모르픽이지만 미분동형이 아닌 단순연결 닫힌 4-다양체 $X_i$가 존재하며, 이들은 $X_0$에 서로 겹치지 않는 코르크 $(C_i, au_i)$에 대해 서로 다른 코르크 토션을 통해 유도된다.
• 고정된 컴act 수축 가능한 스타인 4-다양체 $C$는 닫힌 4-다양체에 무한히 많은 서로 이sovolumetric이 아닌 방식으로 임베딩될 수 있으며, 각각의 경우 코르크 토션을 통해 다른 미분구조가 생성된다.
• 호모로지 클래스 $H_2(X_n; \mathbb{Z})$를 대표하는 표면의 종수는 미분구조의 불변량이다: 만약 $n$과 $m$에서 $H_2(N_{n+1}; \mathbb{Z})$의 생성자를 대표하는 표면의 최소 종수가 다르다면, $X_n$은 $X_m$과 미분동형이 될 수 없다.