[논문 리뷰] Left-orderable fundamental group and Dehn surgery on twist knots

Ryoto Hakamata, Masakazu Teragaito|arXiv (Cornell University)|2012. 12. 27.

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

한 줄 요약

이 논문은 3차원 구에서 임의의 쌍곡선형 루프 뭉치에 대해 0 ≤ r ≤ 4를 만족하는 기울기 r에 대한 r-수술이 왼쪽 순서 가능 fundamental group을 갖는 3차원 다양체를 만든다는 것을 증명한다. 증명은 뭉치 군에 대한 SL(2,R)-표류의 일족을 사용하며, 이를 보편 커버 ŜL(2,R)로 올리고, 적절한 기울기에서 이 표류가 비아벨 호모모르피즘으로 내림내림됨을 보여, 이는 알려진 바로 ŜL(2,R)가 왼쪽 순서 가능하므로 결과로 얻어진 fundamental group의 왼쪽 순서 가능성을 암시한다.

ABSTRACT

For any hyperbolic twist knot in the 3-sphere, we show that the resulting manifold by $r$-surgery on the knot has left-orderable fundamental group if the slope $r$ satisfies the inequality $0\le r \le 4$.

연구 동기 및 목표

• Dehn 수술 이후 fundamental group의 왼쪽 순서 가능성에 관한 이전 결과를 모든 쌍곡선형 루프 뭇치로 확장하기.
• 이전의 특성 다항식 기반 접근법에 비해 더 통일적이고 단순화된 증명 기법을 제공하기.
• Boyer-Gordon-Watson 추측( L-공간과 비아벨 왼쪽 순서 가능 fundamental group 간의 관련성)에 대한 추가적 증거를 확인하기.
• 이전에 5₂ 뭇치와 도넛 모양 뭇치에 대해 얻은 결과를 모든 쌍곡선형 루프 뭇치로 일반화하기.

제안 방법

• n-루프 뭇치 Kn의 뭇치 군에 대한 일차 매개변수 가중치를 가진 SL(2,R)-표류 ρₛ를 구성한다.
• H²(Mₙ;Z)의 영성으로 인해 이러한 올림이 존재함을 보장함으로써, 이 표류를 보편 커버 ŜL(2,R)로 올린다.
• 표류 ρₛ와 그 ŜL(2,R)로의 올림에서 고리와 루프의 상을 명시적으로 계산하여, 이들이 ŜL(2,R)의 부분군 (−1,1)×{0}에 속해 있음을 보인다.
• ŜL(2,R)가 왼쪽 순서 가능하고, 그의 임의의 비아벨 부분군도 왼쪽 순서 가능하다는 사실을 이용한다.
• 유리수 기울기 r = p/q ∈ (0,4)에 대해, g(s) = r가 되도록 s를 선택함으로써, 원소 xᵖℒᑫ가 SL(2,R)에서 항등원으로 간주되며, 그 올림은 ŜL(2,R)에서 (0,0)으로 간다.
• 결론적으로, 수술된 다양체의 fundamental group π₁(Mₙ(r))가 ŜL(2,R)로의 비아벨 호모모르피즘을 갖는다고 할 수 있으므로, 이는 왼쪽 순서 가능함을 뜻한다.

실험 결과

연구 질문

• RQ1 모든 쌍곡선형 루프 뭇치에 대해 기울기 [0,4] 범위 내에서 r-수술이 왼쪽 순서 가능 fundamental group을 갖는 3차원 다양체를 만드는가?
• RQ2 도넛 모양 뭇치와 5₂ 뭇치에 대해 얻은 왼쪽 순서 가능성 결과를 통일된 방법으로 모든 쌍곡선형 루프 뭇치로 일반화할 수 있는가?
• RQ3 이전의 특성 다항식 기반 접근법에 비해 증명 기법을 단순화할 수 있는가?
• RQ4 보편 커버 ŜL(2,R)는 Dehn 수술 이후 fundamental group의 왼쪽 순서 가능성 확립에 어떤 역할을 하는가?

주요 결과

• S³ 내의 임의의 쌍곡선형 루프 뭇치 Kn에 대해, 0 ≤ r ≤ 4인 r-수술은 왼쪽 순서 가능 fundamental group을 갖는 3차원 다양체를 생성한다.
• 이 증명은 도넛 모양 뭇치와 5₂ 뭇치를 포함한 모든 쌍곡선형 루프 뭇치에 대해 통일적으로 적용되며, 이전 결과를 일반화한다.
• 이 방법은 일차 매개변수 가중치를 가진 SL(2,R)-표류를 구성하고, 이를 ŜL(2,R)로 올리는 데 의존하며, 여기서 왼쪽 순서 가능성은 그대로 이어진다.
• 핵심 기술적 단계는 주변 홀로노미(고리와 루프)가 ŜL(2,R)의 부분군 (−1,1)×{0}에 맵핑됨을 보장하는 것으로, 이는 수술 후 일관된 내림내림을 가능하게 한다.
• 이 결과는 Boyer-Gordon-Watson 추측에 대한 강력한 증거를 제공한다. 쌍곡선형 루프 뭇치는 비자명한 Dehn 수술에서 L-공간을 생성하지 않지만, [0,4] 범위의 기울기에서는 그 fundamental group이 여전히 왼쪽 순서 가능하다.
• 이 증명은 이전의 접근법보다 훨씬 단순하며, 특히 도넛 모양 뭇치의 경우 특성 다항식을 사용하지 않아도 된다.