[논문 리뷰] A concordance invariant from the Floer homology of double branched covers

Ciprian Manolescu, Brendan Owens|arXiv (Cornell University)|2005. 08. 02.

Geometric and Algebraic Topology참고 문헌 21인용 수 8

한 줄 요약

이 논문은 3차원 구면 위의 끈의 이중 분지 덮개의 히가드 플로어 homology 에서 유도된 새로운 일치 불변량 δ 를 소개한다. 옥스바스-수바의 작업에서 유래한 수정항 d-불변량을 사용하여, δ 가 매끄러운 일치 군에서 ℤ 로의 전사 군 준동형사상임을 보였다. 주요 결과는 모든 교차하는 꼬임이 없는 꼬임과 9개 이하의 교차를 가진 모든 꼬임에서 δ 가 정규화된 서명 σ′ 과 일치하며, 다른 불변량이 실패할 때조차도 비자명한 자를 끊는 장벽을 제공한다는 것이다.

ABSTRACT

Ozsvath and Szabo defined an analog of the Froyshov invariant in the form of a correction term for the grading in Heegaard Floer homology. Applying this to the double cover of the 3-sphere branched over a knot K, we obtain an invariant delta of knot concordance. We show that delta is determined by the signature for alternating knots and knots with up to nine crossings, and conjecture a similar relation for all H-thin knots. We also use delta to prove that for all knots K with tau(K)>0, the positive untwisted double of K is not smoothly slice.

연구 동기 및 목표

• 꼬리 K 의 S³ 에 대한 이중 분지 덮개의 히가드 플로어 호몰로지에서 옥스바스-수바의 작업에서 유래한 수정항 d-불변량을 사용하여 새로운 일치 불변량 δ 를 정의한다.
• 특히 교차하는 꼬임과 H-박자 꼬임에 대해, δ 와 전통적인 불변량인 서명 σ′, τ, s′ 의 관계를 조사한다.
• σ′, τ, s′ 가 모두 0 인 경우 다른 불변량이 실패할 수 있는 상황, 특히 위트헤드 이중 꼬임의 맥락에서 δ 가 비자명한 자를 끊는지 확인한다.
• δ 가 매끄러운 일치 군 C 에서 ℤ 로의 전사 군 준동형사상임을 확립하고, 이로 인해 위상적 자를 끊는 일치 군의 구조에 미치는 영향을 탐색한다.
• δ(Wh(K)) ≤ 0 이며, τ(K) > 0 이면 엄격한 부등호가 성립함을 증명하고, σ′ = τ = s′ = 0 이지만 δ ≠ 0 인 경우가 존재함을 보여, 다른 불변량이 자명한 경우에도 비자명한 자를 끊는 능력을 보여준다.

제안 방법

• δ(K) = 2d(Σ(K), t₀) 로 정의하며, 여기서 Σ(K) 는 S³ 에 대한 꼬리 K 의 이중 분지 덮개이고, t₀ 는 스피너 구조에서 유도된 스피너ᶜ 구조이다.
• Ozsváth-Szabó 의 유리수 호모로지 구면에 대한 d-불변량을 3차원 다각형 Σ(K) 에 적용하여, 호모로지 bordism 에서의 군 준동형사상 성질을 활용한다.
• d-불변량이 호모로지 코바르디즘에 대해 불변임을 이용하고, δ 가 연결 합에 대해 가역적임을 증명하여 δ 를 일치 불변량으로 확립한다.
• Montesinos 및 토르스 꼬임에 대해 알고리즘적으로 δ 를 계산하며, 이들의 이중 분지 덮개를 Seifert 피브레이션으로 사용한다.
• Ozsváth 와 Szabó 가 [26] 에서 제시한 방법을 사용하여, 교차하는 꼬임과 일부 토르스 꼬임을 포함한 특수한 형태의 H-박자 꼬임에 대해 δ 를 계산한다.
• 왜곡된 계수를 가진 히가드 플로어 호몰로지의 정확한 삼각형을 사용하여 코바르디즘 사상과 그 계수 이동을 분석하고, 수술 다각형에 대한 공식 d(K_{-1/2}) = 2h₀ 를 유도한다.

실험 결과

연구 질문

• RQ1 불변량 δ(K) = 2d(Σ(K), t₀) 가 모든 교차하는 꼬임에서 정규화된 서명 σ′(K) 와 일치하는가?
• RQ2 모든 9개 이하의 교차를 가진 꼬임에서 δ(K) 는 σ′(K) 와 같은가?
• RQ3 σ′, τ, s′ 가 모두 0 인 경우, 예를 들어 특정한 위트헤드 이중 꼬임에서 δ 가 비자명한 자를 끊는가?
• RQ4 |δ| 가 자의 차수를 제한하지 않더라도 δ 가 여전히 자를 끊는 데 비자명한 장벽을 제공하는가?
• RQ5 비틀림이 없는 위트헤드 이중 꼬임 Wh(K) 의 δ 값은 얼마이며, τ(K) 와 어떻게 관련되는가?

주요 결과

• 모든 교차하는 꼬임에 대해 δ(K) = σ′(K) 이며, 이는 정리 1.2 에서 증명되었다.
• 9개 이하의 교차를 가진 모든 꼬임에 대해 δ(K) = σ′(K) 이며, 이는 정리 1.3 에서 확립되었다.
• 위트헤드 이중 꼬임 Wh(K) 에 대해 δ(Wh(K)) ≤ 0 이며, τ(K) > 0 이면 δ(Wh(K)) < 0 이다. 이는 정리 1.5 에서 보였다.
• 교차하는 꼬임 K 에 대해 δ(Wh(K)) = -4 max{τ(K), 0} 이며, 이는 위트헤드 이중 꼬임에서 δ 의 정확한 공식을 제공한다.
• σ′ = τ = s′ = 0 이지만 δ ≠ 0 인 꼬임이 존재한다. 예를 들어 Wh(T(2,2m+1)) # (-Wh(T(2,2n+1))) (m ≠ n) 는 다른 불변량이 실패할 때 δ 가 비자명한 자를 끊는 능력을 보여준다.
• 위상적 일치 군 𝒞_ts 는 ℤ ⊕ ℤ 합성을 포함하며, 이는 (τ, δ/4) 가 ℤ ⊕ ℤ 로의 전사 군 준동형사상임을 통해 보여졌고, 명시적인 생성자는 Wh(T(2,3)) 와 Wh(T(2,5)) 이다.