[논문 리뷰] Dehn surgery, the fundamental group and SU(2)

P. B. Kronheimer, Tomasz Mrowka|ArXiv.org|2003. 12. 17.

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

한 줄 요약

이 논문은 3-구면체 내의 비자명한 끈에 대해 |r| ≤ 2 인 디한 봉제는 기본군이 SU(2)로의 비순환 호모모르피즘을 가질 수 있는 3-다양체를 만든다는 것을 증명한다. 증명은 인stanton 플로어 homology를 피하기 위해 호로노미 편향과 게이지 이론 기법을 사용하며, 이러한 다양체가 순환 기본군을 가질 수 없음을 보여, |r| ≤ 2 인 봉제에 대해 성질 P를 독립적으로 확인한다.

ABSTRACT

Let K be a non-trivial knot in the 3-sphere and let Y(r) be the 3-manifold obtained by surgery on K with surgery-coefficient a rational number r. We show that there is a homomorphism from the fundamental group of Y(r) to SU(2) with non-cyclic image if r is less than or equal to 2.

연구 동기 및 목표

• 비자명한 끈에 대해 |r| ≤ 2 인 디한 봉제가 비순환 기본군을 가진 3-다양체를 만든다는 것을 입증하는 것.
• 이러한 봉제에 대해 π₁(Y_r)에서 SU(2)로의 비순환 호모모르피즘의 존재를 증명하여 순환 봉제 정리에 의존하지 않는 것.
• |r| ≤ 2 인 봉제에 대해 인stanton 플로어 호모로지에 의존하지 않는 게이지 이론적 증명을 통해 성질 P를 제시하는 것.
• 디한 봉제에서 순환 기본군과 비아벨 SU(2) 표현의 부재 사이의 차이를 명확히 하는 것.

제안 방법

• 3-다양체 위의 SU(2) 접속에 대해 카이르-시몬스 함수에 대한 호로노미 편향을 적용하며, 끈의 원형 이웃을 사용해 편향 함수를 정의한다.
• 클래스 함수 φ와 적분이 1인 2-형식 μ를 사용하여, Φ(A) = ∫_D φ(Hol_γ_z(A)) μ(z) 형태의 편향된 카이르-시몬스 함수를 구성한다.
• 편향된 함수 CS + Φ의 임계점을 분석하며, 비순환 단일화를 가진 평탄한 접속이 비자명한 SU(2) 표현과 대응됨을 보인다.
• 유헬란벡 컴팩턴스와 편향 이론을 사용하여, 봉제 다양체를 두 배로 만든 4-다양체 위에 도널드슨 불변량을 정의한다.
• 문헌 [13]의 결과를 적용하여, 만약 표현 다양체 R^w_ι,φ(Y₀)가 공집합이라면 도널드슨 불변량이 0이 된다는 것을 보인다.
• 이를 심플렉틱 4-다양체 구성법 [17]과 윌리엄의 추측과 결합하여, 기본군이 순환일 경우 모순이 발생함을 도출한다.

실험 결과

연구 질문

• RQ1 비자명한 끈에 대해 |r| ≤ 2 인 디한 봉제가 순환 기본군을 가진 3-다양체를 만드는가?
• RQ2 이러한 봉제 다양체의 기본군이 SU(2)로의 비순환 호모모르피즘을 가질 수 있는가?
• RQ3 |r| ≤ 2 인 봉제에 대해 인stanton 플로어 호모로지에 의존하지 않는 게이지 이론적 증명을 통해 성질 P를 증명할 수 있는가?
• RQ4 기본군이 순환일 때와 디한 봉제에서 비아벨 SU(2) 표현의 부재 사이의 관계는 무엇인가?

주요 결과

• 모든 비자명한 끈 K ⊂ S³ 에 대해, |r| ≤ 2 인 디한 봉제는 기본군 π₁(Y_r)가 SU(2)로의 비순환 호모모르피즘을 가질 수 있는 3-다양체 Y_r를 만든다.
• 0-봉제 Y₀ 에 대해 표현 다양체 R^w_ι,φ(Y₀)가 공집합이 되는 것과 도널드슨 불변량이 0이 되는 것은 동치이다.
• 증명은 |r| ≤ 2 인 경우 π₁(Y_r)가 순환일 경우 도널드슨 불변량이 0이 되며, 이는 심플렉틱 4-다양체에서 세이버그-와이튼 불변량이 비자명하므로 모순이 된다는 것을 보여, 이는 기본군이 순환일 수 없음을 의미한다.
• 이 결과는 쿨러, 고든, 루크, 샤렌의 순환 봉제 정리에 의존하지 않고 |r| ≤ 2 인 봉제에 대해 성질 P를 독립적으로 확인한다.
• (−2,3,7) 프리텔 노트의 예시는 |r| > 2 인 봉제가 비순환 기본군을 가질 수 있지만 비아벨 SU(2) 표현이 없을 수 있음을 보여준다.
• 논문은 비아벨 SU(2) 표현의 부재가 디한 봉제에서 순환 기본군보다 더 강력한 조건임을 입증한다.