[논문 리뷰] Corks with large shadow-complexity and exotic 4-manifolds

Hironobu Naoe|arXiv (Cornell University)|2017. 11. 14.

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

한 줄 요약

이 논문은 특수 影-복잡도가 $2n$ 과 $O(n^{3/2})$ 사이로 유계된 무한한 수의 마자르 유형 코르크 $C_{n,k}$ 를 구성하며, 이는 경계를 가진 이국적인 4차원 다양체가 임의로 큰 影-복잡도를 가질 수 있음을 보여준다. 이러한 코르크를 이용하여, 동일한 복잡도 유계를 가진 이국적인 쌍 $(W_{n,k}, W'_{n,k})$ 를 구성함으로써, 경계를 가진 이국적인 4차원 다각형의 최소 복잡도에 관한 질문을 해결한다.

ABSTRACT

We construct an infinite family $\{ C_{n,k}\}_{k=1}^{\infty}$ of corks of Mazur type satisfying $2n\leq \mathrm{sc}^{\mathrm{sp}}(C_{n,k})\leq O(n^{3/2})$ for any positive integer $n$. Furthermore, using these corks, we construct an infinite family $\{(W_{n,k},W'_{n,k})\}_{k=1}^{\infty}$ of exotic pairs of $4$-manifolds with boundary whose special shadow-complexities satisfy the above inequalities. We also discuss exotic pairs with small shadow-complexity.

연구 동기 및 목표

• 통제된, 큰 특수 影-복잡도를 가진 마자르 유형 코르크의 무한한 가족을 구성하는 것.
• 경계를 가진 이국적인 4차원 다각형이 임의로 높은 影-복잡도를 가질 수 있음을 보여주는 것.
• 경계를 가진 이국적인 4차원 다각형 쌍의 최소 특수 影-복잡도를 해결하는 것.
• 코르크와 이국적인 쌍에 대한 특수 影-복잡도에 대한 명시적 상한과 하한을 제공하는 것.

제안 방법

• 코르크 $C_{n,k}$ 는 $n+1$ 개의 1-손잡이와 $n+2$ 개의 2-손잡이를 가진다. 이는 커비 계산법과 핸들바디 분해를 통해 정의된다.
• 커비 다이어그램에서 유도된 특수 影-다각형의 진짜 정점 수를 분석함으로써, 影-복잡도의 유계를 도출한다.
• 상한 $D(n)$ 은 $n$ 과 $\pi^2$ 와 관련된 루트의 올림 함수를 포함하는 공식을 통해 계산된다.
• 하한 $2n$ 은 특수 정점 조건과 정리 2.8 을 이용하여 경계 3-다양체의 影-복잡도를 분석함으로써 확립된다.
• 코르크 $C_{n,k}$ 에 2-손잡이를 -1 또는 0 프레임으로 부착함으로써 이국적인 쌍 $(W_{n,k}, W'_{n,k})$ 가 형성되며, 이는 서로 다른 미세구조를 가진다.
• 이국적인 쌍의 특수 影-복잡도는 각각의 복잡도의 최댓값으로 유도되며, $W_{n,k}$ 와 $W'_{n,k}$ 의 影-구성에서 유래된다.

실험 결과

연구 질문

• RQ1 경계를 가진 이국적인 4차원 다각형 쌍의 최소 특수 影-복잡도는 무엇인가?
• RQ2 무한히 큰 影-복잡도를 가진 코르크 또는 이국적인 4차원 다각형이 존재할 수 있는가?
• RQ3 코르크의 影-복잡도와 그것이 생성하는 이국적인 4차원 다각형의 복잡도 사이의 관계는 무엇인가?
• RQ4 경계 3-다양체의 복잡도는 4차원 다각형의 특수 影-복잡도와 어떻게 관련이 있는가?
• RQ5 이국적인 쌍의 특수 影-복잡도는 $n$ 의 함수로 아래에서 유계가 될 수 있는가?

주요 결과

• 특수 影-복잡도가 $2n \leq \mathrm{sc}^{\mathrm{sp}}(C_{n,k}) \leq D(n)$ 인 마자르 유형 코르크 $\{C_{n,k}\}_{k=1}^\infty$ 의 무한한 가족이 구성되었으며, 여기서 $D(n)$ 은 올림 함수를 포함하는 조각적 공식으로 명시적으로 주어진다.
• 상한 $D(n)$ 은 渐近적으로 $O(n^{3/2})$ 이며, 이는 $n$ 에 대해 복잡도가 제곱보다 느리게 증가함을 보여준다.
• 이국적인 쌍 $(W_{n,k}, W'_{n,k})$ 는 특수 影-복잡도가 $2n \leq \mathrm{sc}^{\mathrm{sp}}(W_{n,k}, W'_{n,k}) \leq D(n)$ 을 만족하며, 이는 이국적 구조에서 큰 복잡도를 확인한다.
• 경계를 가진 이국적인 4차원 다각형 쌍의 최소 특수 影-복잡도가 1 또는 2임을 증명하여, 코스타디노의 질문을 해결한다.
• 이국적인 쌍 $W'_{n,k}$ 의 경계 3-다양체는 특수 影-복잡도 $2n$ 을 가지며, 이는 4차원 다각형의 복잡도에 대한 하한을 직접 기여한다.
• 구성은 경계를 가진 이국적인 4차원 다각형이 $n$ 을 증가시킴으로써 특수 影-복잡도를 임의로 크게 만들 수 있음을 확인한다.