[논문 리뷰] Mazur manifolds and corks with small shadow complexities

Hironobu Naoe|arXiv (Cornell University)|2015. 05. 04.

Geometric and Algebraic Topology참고 문헌 15인용 수 5

한 줄 요약

이 논문은 투라에프의 색채 이론과 수축 가능한 특수 다각형을 이용하여 그림자 복잡도가 1인 무한히 많은 마자르 4차원 다양체와 코어를 구성한다. 아바라노와 다른 한 꼭짓점 다각형, 그리고 번징의 집을 분석함으로써, 이러한 그림자로부터 유도된 특정 4차원 다각형이 마자르 유형이며 경계에 대한 호환 변환을 통해 비자명한 코어를 갖는다는 것을 증명한다. 이는 악불루크의 $W^/pm(l,k)$와 같은 기존의 예를 확장한다.

ABSTRACT

In this paper we find infinitely many Mazur type manifolds and corks with shadow complexity one among the 4-manifolds constructed from contractible special polyhedra having one true vertex by using the notion of Turaev's shadow. We also find such manifolds among 4-manifolds constructed from Bing's house. Our manifolds with shadow complexity one contain the Mazur manifolds $W^{\pm }(l,k)$ which were studied by Akbulut and Kirby.

연구 동기 및 목표

• 그림자 복잡도가 최소한인 4차원 다각형을 분류하고 구성하는 것. 특히 복잡도가 1인 경우에 집중한다.
• 수축 가능한 특수 다각형에서 유도된 4차원 다각형들 중에서 새로운 마자르 다각형과 코어의 예를 식별하는 것.
• 그림자 복잡도가 1인 코어를 포함한 기존의 이국적인 4차원 다각형의 구성 방법을 확장하는 것.
• 한 개 또는 두 개의 진짜 꼭짓점을 가진 다각형에서 투라에프의 재구성 방법을 체계적으로 적용하여 코어를 생성하는 방법을 제공하는 것.

제안 방법

• 한 개 또는 두 개의 진짜 꼭짓점과 부여된 글림을 가진 특수 다각형에서 4차원 다각형을 투라에프의 색채 이론을 이용해 재구성하는 것.
• 키르비 계산을 적용하여 그림자 다이어그램을 키르비 다이어그램으로 변환하고 핸들 분해를 분석하는 것.
• 경계 3차원 다각형의 캐슨 불변량을 계산하여 구성된 4차원 다각형의 위상적 유형을 구분하는 것.
• 에리아샤버그의 기준을 이용해 스타인 구조를 검증하여 비디피오모르픽 코어를 탐지하는 것.
• 4차원 다각형의 경계에 대한 호환 변환을 구성하고, 이것이 내부로 매끄럽게 연장되지 않는다는 것을 증명함으로써 코어 구조를 확인하는 것.
• 경계의 기울기 길이와 쌍곡 기하학적 구조를 분석하여 수축 가능성과 마자르 유형 성질을 확인하는 것.

실험 결과

연구 질문

• RQ1 한 꼭짓점 특수 다각형에서 유도된 4차원 다각형 중 마자르 유형인 것은 무엇인가?
• RQ2 수축 가능한 그림자에서 그림자 복잡도가 1인 코어를 체계적으로 구성할 수 있는가?
• RQ3 다각형 $A(m,n)$과 $\tilde{A}(m,n-1/2)$는 무한히 많은 위상적으로 다른 마자르 유형의 4차원 다각형을 유도하는가?
• RQ4 번징의 집을 사용하여 그림자 복잡도가 2인 새로운 코어와 마자르 다각형을 구성할 수 있는가?
• RQ5 그림자에서 유도된 4차원 다각형이 코어가 되기 위한 글림 조건은 무엇인가?

주요 결과

• 정수 $m,n$에 의해 매개화된 아바라노 $A$와 다른 한 꼭짓점 다각형 $\tilde{A}$에서 무한히 많은 마자르 유형의 4차원 다각형이 유도된다.
• $m \neq 0$ 이면 다각형 $A(m,n)$은 마자르 유형이며, $m = m'$ 이외에는 $A(m,n)$과 $A(m',n')$은 위상적으로 동일하지 않다.
• $m \neq 0$ 이면 다각형 $\tilde{A}(m,n-1/2)$는 마자르 유형이며, $m = m'$ 이외에는 $\tilde{A}(m,n-1/2)$와 $\tilde{A}(m',n'-1/2)$는 위상적으로 동일하지 않다.
• $m < 0$ 이면 쌍 $(\tilde{A}(m,-3/2), \tilde{f}_m)$은 코어를 이룬다. 여기서 $\tilde{f}_m$은 경계에 대한 호환 변환이며 내부로 매끄럽게 연장되지 않는다.
• $|m| \geq 3$ 이고 $|n| \geq 3$ 이면 번징의 집에서 유도된 4차원 다각형 $B(l,m,n)$은 마자르 유형이며, $m,n < 0$ 이면 $(B(0,m,n), f_{(m,n)})$은 코어를 이룬다.
• $B(0,-1,-1)$ 다각형은 $\overline{W}_1$과 디피오모르픽이며, 악불루크와 야수이의 연구에서 알려진 코어이다.