[논문 리뷰] Akbulut's corks and h-cobordisms of smooth simply connected 4-manifolds

Rob Kirby|ArXiv.org|1997. 12. 04.

Geometric and Algebraic Topology참고 문헌 8인용 수 18

한 줄 요약

이 논문은 4-다양체 사이의 부드럽고 단순연결된 5차원 h-코보르디즘은 약한 5-다양체인 '악불루트의 코어'(Akbulut's cork)로 불리는 부분 h-코보르디즘을 포함하며, 이는 보완부가 곱의 형태임을 규명한다. 핵심 결과는 비자명한 h-코보르디즘이 경계에서의 대칭변환을 통해 약한 4-다양체를 뒤집음으로써 유도되며, 이러한 구조는 특히 호모토피 4-구의 형태를 띠는 이국적인 부드러운 구조를 설명한다.

ABSTRACT

This is primarily an exposition, combining work of several authors (Curtis, Hsiang, Freedman, Stong, Matveyev, and Bizaca), of the proof that a smooth 5-dimensional h-cobordism between simply connected 4-manifolds is a product off of a contractible piece which itself is diffeomorphic to the 5-ball.

연구 동기 및 목표

• 4-다양체 사이의 부드럽고 단순연결된 5차원 h-코보르디즘의 구조를 이해하기 위해.
• 전체 h-코보르디즘의 비자명성을 캡처하는 표준적인 부분 h-코보르디즘(악불루트의 코어)을 식별하기 위해.
• 이국적인 부드러운 구조, 특히 호모토피 4-구와 같은 4-다양체가 경계에서의 대칭변환을 통해 약한 4-다양체를 뒤집음으로써 유도됨을 보여주기 위해.
• 핸들바디 기법과 모어스 이론을 사용하여 이전의 이러한 코어의 존재를 증명한 바를 통합하고 명확화하기 위해.
• 약한 4-다양체 내에서 정규 번들로가 없는 2-구들의 집합을 사용하여 고차수의 예제로 악불루트의 코어를 일반화하기 위해.

제안 방법

• 5차원 h-코보르디즘에 모어스 함수를 적용하여 0-, 1-, 2-, 3-, 4-, 5-핸들을 포함하는 핸들바디 구조로 분해한다.
• 다양체의 연결성을 이용해 0-와 5-핸들을 상쇄시켜 1-, 2-, 3-, 4-핸들만을 포함하는 핸들 구조로 축소한다.
• 1-와 2-핸들과 그 안정화를 포함하는 약한 5-다양체 $ A $를 고립함으로써 부분 h-코보르디즘 $ A^5 $를 구성한다.
• 핸들 이동과 핸들 상쇄를 적용하여 $ A $의 경계가 단순연결임과 동시에 $ M^5 $에서 $ A^5 $의 보완부가 $ (M_0 - \text{int}A_0) \times [0,1] $와 미분동형임을 보장한다.
• A 내부의 2-핸들이 중간 수준의 기본군을 제거하며, 상쇄되는 1-2 쌍을 통해 기본군 관계를 제어한다.
• 약한 4-다양체 $ B_{1/2} $ 내에 $ 2n $개의 적절히 삽입된 2-구를 포함시키고, 그 경계에 0-프레임 2-핸들을 추가하며, 이를 통해 얻어진 2-구에 3-핸들을 부착함으로써 h-코보르디즘을 구성함으로써 구조를 일반화한다.

실험 결과

연구 질문

• RQ1 모든 부드럽고 단순연결된 5차원 h-코보르디즘은 곱의 형태 h-코보르디즘과 약한 부분 h-코보르디즘(코어)으로 분해될 수 있는가?
• RQ2 h-코보르디즘의 비자명성은 보완부가 곱인 약한 5-다양체인 부분복합체에 고립될 수 있는가?
• RQ3 모든 호모토피 4-구는 $ S^4 $에서 약한 4-다양체를 제거하고 그 경계에서의 대칭변환을 통해 재접합함으로써 얻을 수 있는가?
• RQ4 정규 번들이 없는 다수의 2-구를 사용하여 악불루트의 코어를 고차수의 예제로 일반화할 수 있는가?
• RQ5 코어의 경계에서의 곱의 구조가 코어 자체로 확장되는 조건은 무엇인가?

주요 결과

• 모든 부드럽고 단순연결된 5차원 h-코보르디즘 $ M^5 $는 $ M_0 $와 $ M_1 $ 사이에 존재하며, $ A_0 $, $ A $, $ A_1 $가 컴acts한 약한 4- 및 5-다양체인 부분 h-코보르디즘 $ A^5 $를 포함한다.
• 보완부 $ M^5 - \text{int}(A^5) $는 $ (M_0 - \text{int}(A_0)) \times [0,1] $와 미분동형이며, 따라서 곱의 형태 h-코보르디즘임을 의미한다.
• 보완부 $ M^5 - A^5 $가 단순연결임을 확보할 수 있도록 코어 $ A^5 $를 선택할 수 있으며, 이는 코어가 기본군 문제를 유도하지 않음을 보장한다.
• $ A^5 $는 $ B^5 $와 미분동형이지만, h-코보르디즘 구조를 유지하지는 않으며, $ A_0 \times I $, $ A_1 \times I $ 역시 $ B^5 $와 미분동형이다.
• 경계 미분동형사상 $ \tau: \bar{A}_0 \to \bar{A}_1 $는 $ A $로 확장되는 대칭변환이며, $ A_0 $와 $ A_1 $는 경계에서 $ \tau $로 제한되는 사상에 의해 서로 미분동형이다.
• 약한 4-다양체 $ A_0 $를 $ S^4 $에서 제거하고 $ \bar{A}_0 $에서의 대칭변환을 통해 재접합함으로써 호모토피 4-구 $ \rho^4 $를 구성할 수 있으며, 이는 악불루트의 원래 구성의 일반화이다.