[논문 리뷰] Monopoles and lens space surgeries

P. B. Kronheimer, Tomasz Mrowka외 2명|ArXiv.org|2003. 10. 13.

Geometric and Algebraic Topology참고 문헌 29인용 수 20

한 줄 요약

이 논문은 단일 풀러 호몰로지와 수술 장점 수열을 사용하여, 3차원 실사영공간(RP³)이 3-구면에서 비자명한 끈에 대한 딜리 수술로 얻어질 수 없다는 것을 증명한다. 핵심 결과는 오직 뭉치기만한 끈이 렌즈 공간 수술(예: RP³은 L(2,1)로 포함됨)을 제공한다는 것으로, 고든의 추측을 모든 유리 기울기에 대해 해결하며, 타우트 폴리에이션과 성질이 2 이상인 끈에 대한 렌즈 공간 수술에 응용된다.

ABSTRACT

Monopole Floer homology is used to prove that real projective three-space cannot be obtained from Dehn surgery on a non-trivial knot in the three-sphere. To obtain this result, we use a surgery long exact sequence for monopole Floer homology, together with a non-vanishing theorem, which shows that monopole Floer homology detects the unknot. In addition, we apply these techniques to give information about knots which admit lens space surgeries, and to exhibit families of three-manifolds which do not admit taut foliations.

연구 동기 및 목표

• S³에서 렌즈 공간 수술을 유도하는 유일한 끈은 뭉치기이며, 이는 RP³이 L(2,1)로 포함됨을 포함하여 고든의 추측을 해결하는 것.
• 비자명한 끈에 대한 딜리 수술이 RP³이나 p > 2인 렌즈 공간을 생성할 수 없다는 것을 입증하는 것.
• 타우트 폴리에이션을 막는 데 단일 풀러 호몰로지 기법을 적용하여 초구형 끈과 링크에 대한 수술에 적용하는 것.
• 성질이 2 이상인 끈에 대한 렌즈 공간 수술을 분류하여, 오직 특정 토러스 끈(예: (2,5))만이 그러한 수술을 유도한다는 것을 보여주는 것.
• 세이페르 피어링 수술에 대한 새로운 차단 조건을 제공하고, 타우트 폴리에이션을 갖지 않는 초구형 3-다양체의 무한한 가족을 구성하는 것.

제안 방법

• 타우트 폴리에이션을 갖는 다양체에 대해 단일 풀러 호몰로지의 비영성 성질을 사용하는 것.
• 끈에 대한 수술의 단일 풀러 호몰로지 군에 대한 수술 장점 수열(정확 삼각형)을 적용하는 것.
• 귀납적 추론을 사용: 만약 끈 K가 p-표준적(즉, S³_p(K)가 뭉치기와 동일한 풀러 호몰로지를 가짐)이라면, 그것은 (p−1)-표준적임을 보이는 것.
• 비영성 정리를 사용하여 0-표준적 끈는 반드시 뭉치기여야 하므로 기저 사례를 확립하는 것.
• 비정수 유리 기울기로 결과를 확장하기 위해, S³_r(K) ≅ S³_r(U)이면 K는 p = ⌈r⌉에 대해 p-표준적임을 보이는 것.
• 정확 삼각형을 사용하여 교차하는 이중 덮개와 교차하는 링크, 프레텔 및 보로메언 링크에 대한 수술을 통해 타우트 폴리에이션을 막는 것.

실험 결과

연구 질문

• RQ1 RP³은 S³의 비자명한 끈에 대한 딜리 수술로 얻어질 수 있는가?
• RQ2 S³의 어떤 끈가 렌즈 공간 수술을 허용하며, 주어진 성질에 대해 가능한 결과 렌즈 공간은 무엇인가?
• RQ3 특히 초구형인 끈에 대한 어떤 수술이 타우트 폴리에이션을 갖지 않는가?
• RQ4 단일 풀러 호몰로지가 비자명한 끈의 수술과 뭉치기의 수술을 구별할 수 있는가?
• RQ5 성질과 애너드어 다항식 차수의 관점에서, 끈이 세이페르 피어링 수술을 갖는 데 있어 어떤 제약 조건이 존재하는가?

주요 결과

• RP³은 S³의 어떤 비자명한 끈에 대한 딜리 수술로도 얻어질 수 없으며, 고든의 추측을 해결한다.
• 렌즈 공간 수술을 유도하는 데 오직 뭉치기만이 가능하며, p = 2일 때(즉, RP³)에만 해당하며, 비자명한 끈는 S³_r(K) ≅ L(2,q)를 만족시키지 못한다(홀수 q에 대해).
• 성질이 2인 끈의 경우, 오직 (2,5) 토러스 끈에서 렌즈 공간 수술이 발생하며, 결과적으로 L(9,7)과 L(11,4)를 유도한다.
• n ≥ 3에 대해 (-2,3,2n+1) 프레텔 끈은 모든 r ≥ 2n+4에 대해 타우트 폴리에이션을 갖지 않는 초구형 수술을 유도한다.
• 임의의 비분리된 교차하는 링크에 대해 S³의 교차 이중 덮개는 타우트 폴리에이션을 갖지 않는다.
• Borromean 링크에 대해 a,b,c ≥ 1인 유리수 기울기로 수술을 가하면 타우트 폴리에이션을 갖지 않는 3-다양체가 되며, 이는 Weeks 다양체 M(1,5/2,5)를 포함한다.