[논문 리뷰] Knotted contractible 4-manifolds in the 4-sphere

W. B. R. Lickorish|ArXiv.org|2001. 07. 31.

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

한 줄 요약

이 논문은 4차원 구면 $S^4$에 매bed된 컴act하고 수축 가능한 4차원 다면체를 구성하며, 그 보완의 기본군이 자명하지 않은 경우를 보여주어 이러한 다면체가 끈적일 수 있음을 입증한다. 커비 계산법과 앤드류스-커티스 이동을 사용하여, 균형 잡힌 표현을 가진 유한 생성 완전군이 $S^4$에 매bed된 수축 가능한 4차원 다면체의 보완의 기본군으로 나타날 수 있음을 증명하며, 그 다면체와 구간의 곱이 5차원 볼임을 보인다.

ABSTRACT

Examples are given to show that some compact contractible 4-manifolds can be knotted in the 4-sphere. It is then proved that any finitely presented perfect group with a balanced presentation is a knot group for an embedding of some contractible 4-manifold in the 4-sphere.

연구 동기 및 목표

• 컴act 수축 가능한 4차원 다면체가 단순 연결이고 점으로의 호모토피 동치임에도 불구하고 $S^4$에 끈적일 수 있음을 보여주는 것.
• 수축 가능한 4차원 다면체의 보완의 기본군이 자명하지 않을 수 있음을 보여주어 전통적인 끈그 이론의 직관에 도전하는 것.
• 유한 생성 완전군 중 균형 잡힌 표현을 가진 군들과 $S^4$에 매bed된 수축 가능한 4차원 다면체의 보완의 기본군 사이의 대응관계를 설정하는 것.
• 이 매장이 환경적으로 동치가 아니지만 다면체가 수축 가능할 수 있음을 보여주기 위해 보완의 기본군을 불변량으로 사용하는 것.

제안 방법

• 주어진 군 표현의 관계자들을 나타내는 $S^3$ 상의 곡선을 사용하여, 4차원 볼에 $n$개의 1-손잡이와 $n$개의 2-손잡이를 붙여 4차원 다면체 $X$를 구성한다.
• 커비 계산법을 사용하여 2-손잡이의 붙임 곡선을 $S^3$ 상의 링크로 표현하고, 프레임을 0으로 설정하여 $X \subset S^4$로 정의한다.
• 보완 $M = \overline{S^4 \setminus X}$를 정의하며, 이는 컴act하고 수축 가능한 4차원 다면체이며, 보완의 기본군 표현을 통해 그 기본군을 분석한다.
• 메리디언 디스크의 순서를 조정함으로써 앤드류스-커티스 이동을 적용하여 $\pi_1(M)$의 표현을 재구성하고, 결과적으로 표현이 자명해지도록 보장한다.
• 기본군의 아벨화에 대해 단위 행렬식을 가진 표현 행렬이 존재하면, 앤드류스-커티스 이동을 통해 자명한 군 표현이 존재함을 이용한다.
• 만약 $\pi_1(M)$가 자명하고 $M \times I$가 5차원 볼이라면, $M$의 $S^4$에 대한 매장이 표준 매장과 다를 수 있음을 보여주며, 이는 환경적 동치가 아님을 입증한다.

실험 결과

연구 질문

• RQ1 컴act 수축 가능한 4차원 다면체가 $S^4$에 매bed되어 보완의 기본군이 자명하지 않을 수 있는가?
• RQ2 모든 유한 생성 완전군 중 균형 잡힌 표현을 가진 군에 대해, 그 보완의 기본군이 해당 군이 되는 수축 가능한 4차원 다면체의 매장이 존재하는가?
• RQ3 동일한 컴act 수축 가능한 4차원 다면체가 $S^4$에 두 개의 매장이 존재할 수 있으며, 이 매장들이 호모토피적으론 동치이지만 환경적으로 동치가 아니며, 이는 끈적성을 보여주는가?
• RQ4 커비 계산법과 핸들바디 구성법을 통해, 임의의 완전하고 균형 잡힌 군을 $S^4$에 매bed된 수축 가능한 4차원 다면체의 끈그룹으로 실현할 수 있는가?
• RQ5 2-손잡이의 붙임 곡선에 어떤 조건을 부여하면, $S^4$ 내의 4차원 다면체의 보완의 기본군을 자명하지 않게 만들 수 있겠지만 수축 가능성을 유지할 수 있는가?

주요 결과

• 컴act 수축 가능한 4차원 다면체 $M$에 대해, $S^4$에 매bed된 두 개의 조각적 선형 매장 $e_0$와 $e_1$이 존재하여 $\pi_1(S^4 \setminus e_0(M))$는 자명하고 $\pi_1(S^4 \setminus e_1(M))$는 자명하지 않음을 보여주며, 이는 $M$이 $S^4$에 끈적일 수 있음을 증명한다.
• 모든 유한 생성 완전군 $G$ 중 균형 잡힌 표현을 가진 군에 대해, $S^4$에 매bed된 컴act 수축 가능한 4차원 다면체 $M$이 존재하여 $\pi_1(S^4 \setminus M) \cong G$임을 보여주며, 이는 완전한 실현 결과를 확립한다.
• 보완 $X$의 클로처로 구성된 다면체 $M$은 $M \times I \cong B^5$를 만족하며, 이는 보완의 기본군이 자명하지 않더라도 수축 가능한 4차원 다면체가 5차원 볼의 슬라이스임을 의미한다.
• 결과적으로, 주어진 군의 표현에서 관계자의 단어 구조를 사용하여 2-손잡이의 붙임 곡선을 선택함으로써, 보완의 기본군이 주어진 군과 동형이 되도록 구성한다.
• 쌍 $a_i a_i^{-1}$를 삽입하고 메리디언 디스크의 순서를 재정렬함으로써, 앤드류스-커티스 이동을 통해 $M$의 기본군을 자명하게 만들 수 있으며, 이는 $M \times I$가 5차원 볼이 됨을 보장한다.
• 핵심 통찰은 $M$의 기본군의 아벨화가 자명하다는 점(즉, 단위 행렬식 표현 행렬)이며, 이는 레이마 2를 사용하여 앤드류스-커티스 이동을 통해 표현을 자명한 군으로 변환할 수 있음을 의미한다.