[논문 리뷰] The cosmetic crossing conjecture for split links

Joshua Wang|arXiv (Cornell University)|2020. 06. 01.

Geometric and Algebraic Topology참고 문헌 45인용 수 4

한 줄 요약

이 논문은 분리된 두 성분 링크에 대해 일반화된 미싱 크로싱 추측을 증명하며, 비자명한 벨트를 통해 분리된 두 성분 링크의 밴드 합성에 대해 전체 루프를 추가함으로써 무한히 많은 서로 다른 무방향 링크를 얻는다고 보여준다. 𝔽₂ 위의 커크호프 호모로지를 사용하여 저자들은 이러한 링크의 이중차수 호모로지 군이 모두 다름을 입증한다. 반면 헤가르드 및 인stanton 링크 플로어 호모로지 군은 루프를 추가함에 따라 변화하지 않으며, 이는 분리된 링크에 대한 추측의 예측을 확인한다.

ABSTRACT

Given a band sum of a split two-component link along a nontrivial band, we obtain a family of knots indexed by the integers by adding any number of full twists to the band. We show that the knots in this family have the same Heegaard knot Floer homology and the same instanton knot Floer homology. In contrast, a generalization of the cosmetic crossing conjecture predicts that the knots in this family are all distinct. We verify this prediction by showing that any two knots in this family have distinct Khovanov homology. Along the way, we prove that each of the three knot homologies detects the trivial band.

연구 동기 및 목표

• 분리된 두 성분 링크에 대해 일반화된 미싱 크로싱 추측을 검증하기 위해.
• 분리된 링크의 비자명한 벨트를 따라 밴드 합성을 하여 전체 루프를 추가하면 무한히 많은 서로 다른 무방향 링크가 생성됨을 보여주기 위해.
• 커크호프 호모로지가 벨트의 비자명성을 감지하고, 변형된 링크를 구별함을 입증하기 위해.
• 헤가르드 및 인스탄톤 링크 플로어 호모로지 군이 전체 루프에 대해 불변임을 확립하여, 커크호프 호모로지의 민감성과 대비시키기 위해.

제안 방법

• 분리된 두 성분 링크 L에서 비자명한 벨트에 n/2개의 반전을 추가하여 가족 {K_{b+n/2}}을 구성한다.
• 리본 콩코르던스와 평면 무비 프레젠테이션을 사용하여 K_{b+n/2}의 커크호프 호모로지를 연결합 K_{#}과 링크 L의 호모로지와 연결한다.
• 𝔽₂ 위의 커크호프 호모로지에서의 무방향 스케인 정확삼각형을 적용하여 루프를 추가할 때 호모로지의 행동을 분석한다.
• 함자성과 그레이딩 이동을 활용하여 커크호프 호모로지 군이 h^n q^{2n} H_b 만큼 이동함을 보여준다. 여기서 H_b는 영이 아닌 이중차수 벡터 공간이다.
• 𝔽₂ 위의 커큰호프 호모로지의 동형 유형이 무방향 링크 유형의 불변량임을 증명하여 링크의 구별이 가능함을 보여준다.
• Kh(K_b) ≅ Kh(K_#) ⊕ H_b (H_b ≠ 0) 및 H_{b+n/2} ≅ h^n q^{2n} H_b 를 사용하여 모든 n ∈ ℤ 에서의 구별성을 입증한다.

실험 결과

연구 질문

• RQ1 분리된 두 성분 링크에 비자명한 벨트에 전체 루프를 추가하여 얻는 모든 링크가 무방향 링크로서 서로 다름을 확인할 수 있는가?
• RQ2 커크호프 호모로지가 분리된 링크의 밴드 합성에서 벨트의 비자명성을 감지하는가?
• RQ3 왜 헤가르드 및 인스탄톤 링크 플로어 호모로지 군은 전체 루프에 대해 불변이지만, 커크호프 호모로지 군은 그렇지 않은가?
• RQ4 커크호프 호모로지를 사용하여 분리된 링크에 대한 일반화된 미싱 크로싱 추측을 검증할 수 있는가?
• RQ5 𝔽₂ 위의 커크호프 호모로지의 이중차수 구조가 변형된 가족의 모든 링크를 구별하는 데에 충분한가?

주요 결과

• 모든 n ∈ ℤ 에 대해 K_{b+n/2} 링크는 무방향 링크로서 서로 다름을 확인하여, 분리된 링크에 대한 일반화된 미싱 크로싱 추측을 확인한다.
• 𝔽₂ 위의 커크호프 호모로지에서는 벨트의 비자명성이 감지되며, H_b는 영이 아니고 유한 차원이다.
• 이중차수 벡터 공간 Kh(K_{b+n/2}) 는 Kh(K_#) ⊕ h^n q^{2n} H_b 와 동형이며, 이는 루프를 추가할 때 일관된 이동을 보임을 보여준다.
• 𝔽₂ 위의 Kh(K_{b+n/2}) 의 동형 유형은 각 n ∈ ℤ 에 대해 서로 다름을 보여주며, 이는 링크들이 동치가 아니라는 것을 증명한다.
• 헤가르드 및 인스탄톤 링크 플로어 호모로지 군은 전체 루프에 대해 변화하지 않으며, 이는 분리된 링크에서 벨트 루프에 대한 불변성을 나타낸다.
• 연결합 K_# 의 커크호프 호모로지는 Kh(K_#) 와 H_b 의 직합과 동형이며, H_b 는 루프 효과를 기록한다.