[논문 리뷰] Small Dehn surgery and SU(2)

John A. Baldwin, Zhenkun Li외 2명|arXiv (Cornell University)|2021. 10. 06.

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

한 줄 요약

이 논문은 3-구간에서 비자명한 끈에 대해 3-구간이 비가역적 SU(2) 표현을 가짐을 증명하며, Kronheimer와 Mrowka의 추측을 확인한다. 인stanton Floer homology, Smith의 정리에 의한 종수 2 표면의 미분형사에 대한 심플렉틱 Floer homology, 그리고 최근의 등급 Euler 특성치 결과를 사용하여, 이러한 구간들이 SU(2)-아벨리안이 아니라는 것을 보이며, [3,5) 내에서 무한한 기울기로 확장된다.

ABSTRACT

We prove that the fundamental group of 3-surgery on a nontrivial knot in the 3-sphere always admits an irreducible SU(2)-representation. This answers a question of Kronheimer and Mrowka dating from their work on the Property P conjecture. An important ingredient in our proof is a relationship between instanton Floer homology and the symplectic Floer homology of genus-2 surface diffeomorphisms, due to Ivan Smith. We use similar arguments at the end to extend our main result to infinitely many surgery slopes in the interval [3,5).

연구 동기 및 목표

• S³ 내 비자명한 끈에 대한 3-구간의 SU(2)-표현에 관한 Kronheimer와 Mrowka의 추측을 해결하기 위해.
• 이전에 알려진 범위 [0,2]와 r=4를 초월하여 Dehn 구간의 비-SU(2)-아벨리안 성질을 확장하기 위해.
• 모든 비자명한 끈에 대해 3-구간이 SU(2)-아벨리안이 아니라는 것을 보이며, 이는 비가역적 SU(2) 표현의 존재를 암시한다.
• 고급 Floer homology 기법을 사용하여 [3,5) 내에서 무한한 구간 기울기로 결과를 일반화하기 위해.
• 종수 2의 인stanton L-space 끈을 특성화하고, 일부 렌즈 공간의 분지 이중 덮개가 Seifert fibered가 아니라는 것을 증명하기 위해.

제안 방법

• Smith의 정리에 따라 인stanton Floer homology와 종수 2 표면의 미분형사에 대한 심플렉틱 Floer 코homology 사이의 관계를 적용한다.
• 프레임된 인stanton homology $I^{ \text{\#}}(S^3_0(K), \mu)$를 사용하여, 분할의 모노드로미가 고정점이 없는 페시오-아노소프임을 유도한다.
• Baldwin–Hu–Sivek의 이중 주기적 끈에 대한 결과를 활용하여, 끈 $K$가 주기 수가 5인 축을 가진 이중 주기적 끈이며 몫이 끈이 아님을 보인다.
• S^3_3(K)를 렌즈 공간 $L \cong L(3,2)$ 위의 원시 끈 $J$에 대한 분지 이중 덮개 $\Sigma(L,J)$로 표현한다.
• 모든 $SU(2)$-표현 중에서 $J$의 매리디언을 $i$로 보내는 표현들은 유한 순환 이미지를 가지며, 이러한 표현들이 $\mathit{KHI}(L,J)$의 비퇴화 생성자임을 증명한다.
• Li–Ye의 결과에 따라 인stanton과 끈 Floer homology의 등급 Euler 특성치가 같음을 이용하여 $\chi_{\mathrm{gr}}(\mathit{KHI}(L,J)) = t^{-1} + 1 + t^1$임을 유도하며, 이는 $J$가 유리 종수 0이며 외부가 피브리드임을 암시한다.

실험 결과

연구 질문

• RQ1 S³ 내 비자명한 끈에 대한 3-구간이 항상 SU(2)-아벨리안이 아니냐?
• RQ2 Dehn 구간의 비-SU(2)-아벨리안 성질이 $r \in [0,2]$와 $r=4$를 초월하여 $r=3$까지 확장될 수 있는가?
• RQ3 3에서 5 사이의 구간에서 무한한 기울기 $r$에 대해 비자명한 끈에 대한 $r$-구간이 항상 SU(2)-아벨리안이 아니냐?
• RQ4 인stanton과 끈 Floer homology의 등급 Euler 특성치는 끈 외부의 위상구조에 어떤 제약을 가하는가?
• RQ5 렌즈 공간 위의 원시 끈에 대한 분지 이중 덮개가 Seifert fibered가 되는 조건은 무엇인가?

주요 결과

• S³ 내 비자명한 끈에 대한 3-구간은 항상 SU(2)-아벨리안이 아니며, 따라서 기본군이 비가역적 SU(2)-표현을 가짐을 의미한다.
• 결과는 [3,5) 내에서 무한한 기울기로 확장되며, 특히 $p/q \in [3,4)$ 이면 $23p - 9 \leq 80q \leq 25p + 9$ 또는 $p/q \in [4,5)$일 경우에 해당한다.
• 렌즈 공간 $L(p,2q)$ 내 끈 $S(p,2q,10q)$의 종수는 $p/q \in [3,10/3)$ 이면 $g(S(p,2q,10q)) = |20q - 6p - 2|$이며, 다른 구간에서는 유사한 표현식을 가짐.
• 분지 이중 덮개 $\Sigma(L,S)$의 첫 번째 호모로지군의 순서는 $p/q \in [3,4)$ 이면 $p$, $p/q \in (4,6)$ 이면 $5p$이며, 후자의 경우 $|H_1| = 5p$이다.
• 만약 $g(S(p,2q,10q)) \leq (p+1)/4$ 이면, $J$는 $S$와 동치위상임을 의미하며, 이는 $\Sigma(L,J)$가 Seifert fibered임을 암시하지만, 이는 비-SU(2)-아벨리안 가정과 모순된다.
• 렌즈 공간 $L(p,2q)$ 내 끈 $J$의 아르바이저 다항식은 토러스 끈 $T_{5,d}$의 것과 같으며, $p/q \in [3,4)$ 이면 $|\Delta_J(-1)| = 1$, $p/q \in (4,6)$ 이면 $5$이다.