[논문 리뷰] Left-orderable fundamental group and Dehn surgery on the knot $5_2$

Ryoto Hakamata, Masakazu Teragaito|arXiv (Cornell University)|2012. 08. 10.

Geometric and Algebraic Topology참고 문헌 11인용 수 7

한 줄 요약

이 논문은 $5_2$ 코일에 대해 기울기 $r$가 $[0, 4]$ 범위에 있을 때 디한 수술이 왼쪽 순서 가능 fundamental group를 가진 3차원 다중체를 얻는다는 것을 증명한다. 코일 군에 대한 $SL_2(\mathbb{R})$-표현의 한 가중치 가중치를 만들고, 이들을 보편 커버인 $\widetilde{SL_2(\mathbb{R})}$로 올리면서, 결과로 얻어진 다중체의 fundamental group이 비아벨 표현을 갖는 왼쪽 순서 가능 군으로 들어가므로, 비기약성 조건 하에 왼쪽 순서 가능성의 성립을 보여준다. 핵심 결과는 이 코일에 대해 넓은 범위의 기울기에 대해 추측을 확인한다.

ABSTRACT

We show that the resulting manifold by $r$-surgery on the knot $5_2$, which is the two-bridge knot corresponding to the rational number 3/7, has left-orderable fundamental group if the slope $r$ satisfies $0\le r\le 4$.

연구 동기 및 목표

• 디한 수술을 통해 얻어진 $5_2$ 코일의 3차원 다중체의 fundamental group의 왼쪽 순서 가능성 조사
• 보이어-고든-왓슨 추측의 테스트: 비기본적인 유리수 호모로지 구가 $L$-공간이 되는 것과 그 fundamental group이 왼쪽 순서 가능하지 않은 것의 이항 조건
• 특히 도형 8자 코일 이후의 왼쪽 순서 가능성 결과를 확장
• $r$-수술이 $5_2$ 코일에서 왼쪽 순서 가능 fundamental group을 유도하는 기울기의 완전한 범위 확립
• $SL_2(\mathbb{R})$-표현과 $\widetilde{SL_2(\mathbb{R})}$로의 올림을 사용한 왼쪽 순서 가능성 검증을 위한 구조적 방법 제공

제안 방법

• 기울기 $s>0$ 와 특정 다항식 방정식 $\phi=0$ 를 만족하는 유도 변수 $t$ 를 사용하여 $5_2$ 코일 군에 대한 비아벨 $SL_2(\mathbb{R})$-표현 $\rho_s$ 의 일차 파라미터 가중치 가중치를 구성한다.
• 각 $\rho_s$ 를 보편 커버인 $\widetilde{SL_2(\mathbb{R})}$ 로 올리는 표현 $\tilde{\rho}_s$ 를 수행한다. 이는 왼쪽 순서 가능하다고 알려져 있다.
• 경계 부분군 $\pi_1(\partial M)$ 가 $\widetilde{SL_2(\mathbb{R})}$ 내의 부분군 $(-1,1) \times \{0\}$ 에 사상되도록, 군 $G$ 에서 $\ker \Phi \cong \mathbb{Z}$ 로 가는 준동형사상 $h$ 를 이용해 올림을 조정한다.
• 각 기울기 $r = p/q \in (0,4)$ 에 대해, $g(s) = r$ 가 성립하도록 $s$ 를 선택함으로써, $\rho_s$ 에서의 수술 관계 $x^p \lambda^q = 1$ 가 성립하도록 보장한다. 이는 올림이 수술 곡선을 $\widetilde{SL_2(\mathbb{R})}$ 내의 항등원으로 보낸다.
• $\widetilde{SL_2(\mathbb{R})}$ 가 왼쪽 순서 가능하고, 결과로 얻어진 다중체가 비기본적이라는 사실을 이용하여, 수술 다중체의 fundamental group이 왼쪽 순서 가능하다는 결론을 이끌어낸다.
• [4, 정리 1.1] 의 결과를 적용하여, 비아벨 표현이 $\widetilde{SL_2(\mathbb{R})}$ 로 들어가는 비기본적인 3차원 다중체의 fundamental group은 왼쪽 순서 가능하다.

실험 결과

연구 질문

• RQ1 $5_2$ 코일에 대해 기울기 $[0, 4]$ 범위 내에서 $r$-수술이 왼쪽 순서 가능 fundamental group을 가진 3차원 다중체를 유도하는가?
• RQ2 도형 8자 코일에 사용된 방법이 비피버링된 $5_2$ 코일에 대해 왼쪽 순서 가능성 증명에 적응 가능한가?
• RQ3 $5_2$ 코일 군에 대한 연속적인 $SL_2(\mathbb{R})$-표현 가중치 가중치가 보편 커버 $\widetilde{SL_2(\mathbb{R})}$ 로 올려지며, 경계 부분군의 이미지가 제어 가능한가?
• RQ4 $5_2$ 코일이 범위 $0 \leq r \leq 4$ 에서 보이어-고든-왓슨 추측을 만족하는가?
• RQ5 기울기 $s$ 는 보편 커버를 통한 왼쪽 순서 가능성 탐지에 있어 표현을 구성하는 데 어떤 역할을 하는가?

주요 결과

• 모든 기울기 $r$ 에 대해 $0 \leq r \leq 4$ 이면, $r$-수술이 $5_2$ 코일에서 왼쪽 순서 가능 fundamental group을 가진 3차원 다중체를 유도한다.
• $0$-수술과 $4$-수술의 경우 일반 결과로 다루어진다: $0$-수술은 첫 번째 베티 수가 1인 소수 다중체를 유도하고, 휘감김 코일에 대해 $4$-수술은 왼쪽 순서 가능 군을 유도한다는 것이 알려져 있다.
• $0 < r < 4$ 에 대해, $s>0$ 를 파라미터로 하는 비아벨 $SL_2(\mathbb{R})$-표현 $\rho_s$ 의 연속적인 가중치 가중치를 구성하며, $t$ 는 $\phi=0$ 을 만족한다. 또한 각 $r \in (0,4)$ 에 대해 $g(s) = r$ 가 해를 갖는다.
• $\rho_s$ 의 올림 $\tilde{\rho}$ 는 경계 부분군이 $(-1,1) \times \{0\}$ 에 사상되도록 조정될 수 있으며, 이는 수술 관계가 커버에서 성립함을 보장한다.
• 수술 다중체의 fundamental group의 이미지는 비아벨이며, $\widetilde{SL_2(\mathbb{R})}$ 에 사상되며, 이는 왼쪽 순서 가능하다.
• 결과로 얻어진 다중체가 비기본적이라는 점을 고려하면, [4, 정리 1.1] 의 결과에 의해 fundamental group은 왼쪽 순서 가능하다. 이는 모든 $r \in [0,4]$ 에 대해 증명을 완료한다.