[논문 리뷰] Homotopy $4$-spheres associated to an infinite order loose cork

Selman Akbulut|arXiv (Cornell University)|2019. 01. 24.

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

한 줄 요약

이 논문은 무한차수의 루즈 코르크 $(W, f)$ 의 코르크 자기동형사상 $f^n$ 을 반복 적용하여 이중화한 호모토피 4차원 구면 $\Sigma_n$ 는 모두 표준 4차원 구면 $S^4$ 와 미분구조가 같음을 증명한다. 핸들바디 기법, 글루크 변형, 캡펠-셰이슨 문제에서 유래한 기교를 활용하여, 각 $\Sigma_n$ 이 $B^4$ 내의 리ibbon 보완체에 2-핸들을 붙여 얻어지며, 이로 인해 코르크 미분구조가 $S^3$ 상에서 항등사상과 호모토피적임을 이용해 표준적인 구조로 판명된다. 핵심 기여는 무한차수의 잠재적 이국적 4차원 구면의 무한한 가닥을 표준 $S^4$ 로 해결한 데 있다.

ABSTRACT

We show the homotopy spheres $Σ_{n} = -W\smile_{f^{n}}W$, formed by doubling the infinite order loose-cork $(W,f)$ by iterates of the cork diffeomorphism $f: \partial W o \partial W$ is $S^4$. To do this we first show that $Σ_{n} $ are obtained by Gluck twistings of $S^4$; then from this we show how to cancel $3$-handles of $Σ_{n}$ and identify it by $S^{4}$.

연구 동기 및 목표

• 무한차수의 루즈 코르크 $(W, f)$ 를 이중화하여 얻은 호모토피 4차원 구면 $\Sigma_n = -W \smile_{f^n} W$ 가 표준 4차원 구면 $S^4$ 와 미분구조가 같은가를 판단하는 것.
• 이러한 구성 방식이 이국적 4차원 구면을 만들어내는지 여부를 밝히는 것.
• $\Sigma_n$ 의 핸들바디 기술적 묘사를 확립하여 3-핸들 취소 및 $S^4$ 와의 식별이 가능하도록 하는 것.
• 코르크 자기동형사상 $f^n$ 이 $S^3$ 상에서 항등사상과 호모토피적인 미분구조를 유도함으로써, $\Sigma_n$ 이 $S^4$ 와 미분구조가 같다는 것을 보여주는 것.

제안 방법

• 이중화된 $f^n$ 을 반복 적용한 $\delta^n$-이동의 영향을 $-W$ 내의 쌍대 2-핸들에 분석하여 핸들바디 그림을 구성하고, 차선/해제 조작(점-영 교환)을 통해 곡선의 위치를 추적하는 방식.
• 첨부 곡선 $c$ 가 $\partial\Sigma_n$ 상에서 트ivial링된 고리임을 이용하여, $S^4$ 에 대해 글루크 변형을 수행함으로써 $\Sigma_n$ 이 얻어지며, 이는 2/3-핸들 쌍의 취소를 가능하게 한다.
• $\Sigma_n^o = \Sigma_n - B^4$ 는 리ibbon 보완체 $Q = B^4 - N(D)$ 에 2-핸들을 $\partial Q$ 상의 곡선 $\gamma_n \subset \partial Q$ 에 따라 붙여 얻어지며, $\gamma_n$ 은 $\delta$-이동 미분구조 $f$ 를 통해 $\gamma_{n-1}$ 의 $n$ 번째 반복이다.
• $\delta$-이동 미분구조 $f: \partial W \to \partial W$ 가 $S^3$ 상의 자기미분구조를 유도하며, 이는 항등사상과 호모토피적임을 이용하여 $\Sigma_n$ 이 $S^4$ 와 미분구조가 같다는 귀납적 증명이 가능하다.
• 캡펠-셰이슨 문제에서 유래한 3-핸들 취소 기교를 적용하여 $\Sigma_n$ 의 핸들분해에서 3-핸들을 제거함으로써 표준적인 $S^4$ 로 단순화한다.
• $\delta$-이동이 $\partial\Sigma_0$ 상의 곡선 $d$ 의 트ivial링된 고리 성질을 유지함을 확인하고, 2-핸들을 붙인 후에도 이 곡선이 여전히 트ivial링된 고리임을 보장함으로써 글루크 변형이 비자명하지 않음을 확인한다.

실험 결과

연구 질문

• RQ1 무한차수의 루즈 코르크 $(W, f)$ 를 이중화하여 얻은 호모토피 4차원 구면 $\Sigma_n = -W \smile_{f^n} W$ 는 표준 4차원 구면 $S^4$ 와 미분구조가 같은가?
• RQ2 $\partial W$ 상의 $\delta^n$-이동 미분구조를 활용하여, 3-핸들 취소가 가능한 $\Sigma_n$ 의 핸들바디 그림을 구성할 수 있는가?
• RQ3 Gluck 변형 기반의 $\Sigma_n$ 묘사에서 첨부 곡선이 트ivial링된 고리임을 고려할 때, 이는 $\Sigma_n$ 이 표준적임을 의미하는가?
• RQ4 $\partial W$ 에서의 미분구조 $f^n: \partial W \to \partial W$ 는 $S^3$ 상에서 항등사상과 호모토피적인가? 그리고 이 호모토피는 $\Sigma_n$ 이 표준적임을 의미하는가?
• RQ5 $\Sigma_n$ 이 $\Sigma_{n-1}$ 에 대해 경계에서의 $\delta$-이동을 통해 귀납적으로 구성될 수 있으며, 이러한 구조는 $\Sigma_n \cong S^4$ 를 의미하는가?

주요 결과

• 각 $\Sigma_n$ 은 표준 4차원 구면 $S^4$ 와 미분구조가 같으며, 이는 무한차수의 루즈 코르크에서 유도된 이중화된 호모토피 4차원 구면의 무한한 가닥이 이국적이지 않음을 해결한다.
• $\Sigma_n$ 은 $S^4$ 에 대해 뭉친 2-구면에 대해 글루크 변형을 통해 얻어지며, 첨부 곡선 $c$ 는 트ivial링된 고리이므로 글루크 변형은 비자명하지 않으며, 이로 인해 $\Sigma_n \cong S^4$ 라고 판명된다.
• $\Sigma_n^o = \Sigma_n - B^4$ 는 리ibbon 보완체 $Q = B^4 - N(D)$ 에 2-핸들을 곡선 $\gamma_n$ 에 따라 붙여 얻어지며, $\gamma_n = f^n(\gamma_0)$ 이고, 이러한 핸들바디 구조는 3-핸들 취소를 가능하게 한다.
• $\delta$-이동 미분구조 $f: \partial W \to \partial W$ 는 $S^3$ 상의 자기미분구조를 유도하며, 이는 항등사상과 호모토피적임을 이용하여 $\Sigma_n \cong S^4$ 라는 귀납적 증명이 가능하다.
• $\partial\Sigma_0$ 상의 곡선 $d \subset \partial\Sigma_0$ 는 트ivial링된 고리이며, $d$ 를 따라 $\delta$-이동을 수행함으로써 $\Sigma_n$ 의 핸들바디를 묘사할 수 있으며, 이는 구성이 표준적임을 확인한다.
• $\delta$-이동은 $S^3$ 내에 매장된 토러스를 따라 디한 트위스트에 해당하며, $S^3$ 상의 임의의 이러한 디한 트위스트는 항등사상과 호모토피적이므로, 미분구조 $f^n$ 은 항등사상과 호모토피적임을 의미하며, 이는 $\Sigma_n \cong S^4$ 를 유도한다.