[논문 리뷰] The Ozsv{á}th-Szab{ó} and Rasmussen concordance invariants are not equal

Matthew Hedden, Philip Ording|ArXiv.org|2005. 12. 15.

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

한 줄 요약

이 논문은 Rasmussen의 추측, 즉 모든 링크에 대해 $s(K)$가 오즈바스-샤바의 링크 플로어 호모로지 불변량 $2\tau(K)$와 같다는 것을 반증한다. (2,2n+1) 토르스 토퍼스의 트위스티드 화이트헤드 더블을 사용하여, 스케인 정확시퀀스와 링크 플로어 호모로지 기법을 통해 $\tau$와 $s$를 계산함으로써, $\tau(D_+(T_{2,3},2))=0$ 이지만 $s(D_+(T_{2,3},2))=2$ 임을 보여주며, 이는 추측에 대한 첫 번째 반례를 제공한다.

ABSTRACT

In this paper we present several counterexamples to Rasmussen's conjecture that the concordance invariant coming from Khovanov homology is equal to twice the invariant coming from Ozsv{á}th-Szab{ó} Floer homology. The counterexamples are twisted Whitehead doubles of the (2,2n+1) torus knots.

연구 동기 및 목표

• 모든 링크에 대해 $s(K) = 2\tau(K)$ 라는 Rasmussen의 추측을 반증하기 위해.
• $(2,2n+1)$ 토르스 토퍼스의 트위스티드 화이트헤드 더블를 사용하여 명시적인 반례를 구성하기 위해.
• 플로어 호모로지와 스케인 정확시퀀스를 이용하여 이러한 링크의 오즈바스-샤바 불변량 $\tau$와 라스무센 불변량 $s$를 계산하기 위해.
• $\tau$와 $s$가 항상 일치하지는 않음을 보여주기 위해, 비록 많은 형식적 성질을 공유하고 큰 링크의 가닥에서 일치하지만.
• 필터링 분석과 스케인 관계를 통해 트위스티드 화이트헤드 더블의 $\tau$와 $s$를 체계적으로 계산하는 방법을 제공하기 위해.

제안 방법

• 저자들은 링크 플로어 호모로지의 스케인 정확시퀀스를 사용하여 화이트헤드 더블의 호모로지 군을 트리플렛과 끈끈한 링크의 것과 연결한다.
• Goda, Morifuji, 및 Matsuda의 기법을 적용하여, 특히 트위스티드 화이트헤드 더블에 대해 $(1,1)$ 링크의 링크 플로어 호모로지를 계산한다.
• 계산은 스케인 시퀀스의 미분에서 필터링을 유지하는 부분, 특히 맵 $f_2$ 분석에 의존한다.
• $\tau$의 값은 필터링 수준 1에 비자명한 사이클이 존재하는지에 의해 결정되며, $\tau$는 비자명한 호모로지가 존재하는 최소 필터링 수준으로 정의된다.
• 저자들은 Eftekhary의 $0$-트위스티드 화이트헤드 더블에 대한 결과를 활용하여 특정 필터링 수준에서 $\widehat{HFK}$를 계산한다.
• 교환에 따른 부등식 $\tau(K_+) - 1 \leq \tau(K_-) \leq \tau(K_+)$ 를 적용하여, $\tau$가 다양한 트위스트에서 어떻게 행동하는지 제약을 둔다.

실험 결과

연구 질문

• RQ1 모든 링크에 대해 라스무센 불변량 $s(K)$는 항상 오즈바스-샤바 불변량 $2\tau(K)$와 같을까?
• RQ2 $(2,2n+1)$ 토르스 토퍼스의 트위스티드 화이트헤드 더블가 $s(K) = 2\tau(K)$의 등식에 대한 반례가 될 수 있는가?
• RQ3 특히 $t > 2n-1$ 일 때, 화이트헤드 더블에서 트위스팅에 따른 $\tau$와 $s$의 행동은 어떠한가?
• RQ4 스케인 정확시퀀스와 링크 플로어 호모로지의 필터링 구조는 $\tau$와 $s$의 값을 어떻게 제어하는가?
• RQ5 호모로지 대수학과 필터링 분석을 사용하여 트위스티드 화이트헤드 더블의 $\tau$와 $s$를 체계적으로 계산할 수 있는 방법이 있는가?

주요 결과

• 오른손 토르스 토르스의 $2$-트위스티드 양성 화이트헤드 더블에 대해 $\tau(D_+(T_{2,3},2)) = 0$ 이지만 $s(D_+(T_{2,3},2)) = 2$ 이며, 이는 $s = 2\tau$로 예상된 등식을 직접적으로 반박한다.
• 저자들은 $t \leq 2n-1$ 일 때 $\tau(D_+(T_{2,2n+1},t)) = 1$ 이고 $t > 2n-1$ 일 때 $\tau(D_+(T_{2,2n+1},t)) = 0$ 임을 증명하며, 이는 $t_\tau(T_{2,2n+1}) = 2n-1$ 라는 것을 보여준다.
• 특히 $(2,5)$의 경우 $t = 5,4$ 와 $(2,7)$의 경우 $t = 8,7,6$ 에서 $s(D_+(T_{2,2n+1},t)) = 2$ 이지만 $\tau = 0$ 이며, 이는 다수의 반례를 확인한다.
• 스케인 시퀀스의 맵 $f_2$ 는 테스트된 값들 중 $t = 2,1$ 에서만 비자명하며, 이는 $\tau$의 값에 영향을 미친다.
• 결과는 $t_s(T_{2,2n+1}) = 3n-1$ 이 타당한 추측임을 시사하며, 이는 무한한 반례의 가닥을 암시한다.
• 이 연구는 $\tau$와 $s$가 항상 일치하지는 않음을 확인하며, 비록 많은 형식적 성질을 공유하고 큰 링크의 가닥에서 일치하지만.