[논문 리뷰] Concordance invariants from the $E(-1)$ spectral sequence on Khovanov homology

William Ballinger|arXiv (Cornell University)|2020. 04. 22.

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

한 줄 요약

이 논문은 카호노프 호몰로지 위의 $ E(-1) $ 스펙트럴 시퀀스에서 유도된 새로운 일치 불변량 $ t(K) $ 를 구성한다. 이는 라스무센의 $ s $ 불변량과 유사하다. $ t(K) $ 가 비유 orientable 슬라이스 유전수를 bound하며, $ t(K) $ 를 정교화하는 더 강력한 불변량 $ T_n(K) $ 를 제공한다. 이는 토르스 히드로드롬과 슬라이스 유전수에 대한 기존 불변량 $ \upsilon(K) $ 와 비교해도 유사하거나 더 우수한 결과를 낳는다. 이 불변량은 카호노프 호몰로지의 $ d_{-1} $-perturbation 으로 유도된 필터링이 가해진 체인 복합체에서 정의되며, 비유 orientable 코버디즘과 $ \mathbb{Z}[x] $ 위의 모듈러 구조를 이용해 성질이 증명된다. 주요 결과는 $ |t(K) + e/2| \leq b_1(\Sigma) $ 를 만족하는 표면 $ \Sigma \subset D^4 $ 가 경계 $ K $ 를 가질 때 비유 orientable 네 차원 공유유전수에 대한 정확한 bound 이다.

ABSTRACT

We construct the concordance invariant coming from the $E(-1)$ spectral sequence on Khovanov homology in the same way Rasmussen's $s$ invariant comes from the Lee spectral sequence, and show that it gives a bound on the nonorientable slice genus.

연구 동기 및 목표

• 카호노프 호몰로지 위의 $ E(-1) $ 스펙트럴 시퀀스에서 라스무센의 $ s $ 불변량과 유사한 새로운 일치 불변량 $ t(K) $ 를 개발한다.
• $ t(K) $ 가 짝수 정수 값을 갖는 일치 호모모르피즘임을 증명하고, 비유 orientable 슬라이스 유전수를 bound 한다.
• 기초 체인 복합체 $ C(K) $ 에서의 $ \mathbb{Z}[x] $-모듈러 구조를 이용해 $ T_n(K) $ 를 정의하는 정교화된 불변량을 구성하며, 이는 일치 불변량이지만 호모모르피즘이 아니다.
• $ |t(K) + e/2| \leq b_1(\Sigma) $ 를 통해 $ t(K) $ 가 비유 orientable 네 차원 공유유전수에 대해 정확한 bound 를 제공함을 증명한다. 이때 $ \Sigma \subset D^4 $ 는 경계가 $ K $ 인 표면이다.
• $ \upsilon(K) $ 와 같은 기존 불변량과 비교하여, 교차하는 대칭 히드로드롬과 토르스 히드로드롬에서 일치하지만, 특정한 왜곡된 화이트헤드 더블에서 값이 다름을 보인다.

제안 방법

• 카호노프 미분에 $ d_{-1} $-연산자를 도입하여 필터링이 가해진 체인 복합체 $ \bar{C}(K) $ 를 정의하고, 총 호몰로지가 일차원이 되도록 유지한다.
• 총 호몰로지의 생성자의 필터링 등급을 이용해 $ t(K) $ 를 정의하며, 이는 리 스펙트럴 시퀀스에서 $ s(K) $ 가 어떻게 유도되는지와 유사하다.
• 비유 orientable 코버디즘에 의해 유도되는 $ \bar{C}(K) $ 상의 사상이 총 호몰로지에서 동형을 유도함으로써 유전수 bound 를 가능하게 한다.
• 기초 복합체 $ C(K) $ 에서의 $ \mathbb{Z}[x] $-모듈러 구조를 이용해, 호몰로지에서 $ (2x)^n $ 을 표현하는 원소들의 최대 필터링 등급으로 $ T_n(K) $ 를 정의한다.
• 비유 orientable 코버디즘 사상과 핀치 이동을 이용해 $ t(K) $ 에 대한 재귀적 bound 를 유도하며, 특히 토르스 히드로드롬 $ T_{p,q} $ 에 대해 정규화된 올림프 특성수의 변화를 활용한다.
• 완전한 휘감기 코버디즘을 이용해 $ t(K) $ 와 $ s(K) $ 를 연결하는 부등식을 도출하고, $ n \geq 6 $ 일 때 $ n $ 개의 일관된 방향의 루프에서의 완전한 휘감기는 호몰로지의 얇음 성질을 유지할 수 없음을 보인다.

실험 결과

연구 질문

• RQ1 카호노프 호몰로지 위의 $ E(-1) $ 스펙트럴 시퀀스의 구조는 무엇이며, 이는 어떻게 일치 불변량 $ t(K) $ 를 유도하는가?
• RQ2 $ t(K) $ 는 비유 orientable 슬라이스 유전수를 어떻게 bound 하는가? 이는 루프 기호 $ \sigma(K) $ 와 불변량 $ \upsilon(K) $ 와 어떻게 비교되는가?
• RQ3 정교화된 불변량 $ T_n(K) $ 의 성질은 무엇이며, $ t(K) $ 와 네 차원 공유유전수와의 관계는 어떠한가?
• RQ4 카호노프 호몰로지 위의 $ E(-1) $ 스펙트럴 시퀀스를 이용해 토르스 히드로드롬에 대해 비유 orientable 네 차원 공유유전수에 대한 정확한 bound 를 도출할 수 있는가? 이는 기존 결과와 어떻게 비교되는가?
• RQ5 특정 히드로드롬에서 $ t(K) \neq \upsilon(K) $ 인 경우가 존재하는가? 이는 $ t(K) $ 가 유전수 bound 로서의 강도에 대해 어떤 의미를 갖는가?

주요 결과

• $ t(K) $ 는 짝수 정수 값을 갖는 일치 호모모르피즘으로, $ d_{-1} $-perturbed 복합체 $ \bar{C}(K) $ 의 총 호몰로지에서 생성자의 최고 필터링 등급으로 정의된다.
• 비유 orientable 슬라이스 유전수에 대한 명시적 bound 는 $ |t(K) + e/2| \leq b_1(\Sigma) $ 로 주어지며, 이때 $ e $ 는 경계가 $ K $ 인 표면 $ \Sigma \subset D^4 $ 의 정규 올림프 특성수이다.
• 토르스 히드로드롬 $ T_{p,q} $ 에 대해, $ t(T_{p,q}) $ 는 핀치 이동 하에 $ t(T_{p,q}) = t(T_{r,s}) - e/2 - 1 + \lfloor p^2/2 \rfloor $ 를 만족하며, 이는 기존의 유전수 bound 와 일치하는 재귀적 공식을 이끈다.
• $ t(K) $ 는 대칭 히드로드롬과 토르스 히드로드롬에서 $ \upsilon(K) $ 와 일치하지만, $ T_{2,3} $ 의 $ 2 $-twisted positive Whitehead double 에서는 $ t(K) = 2 $ 이고 $ \upsilon(K) = 0 $ 이므로 값이 다름을 보인다.
• 더 강력한 불변량 $ T_n(K) $ 는 호몰로지에서 $ (2x)^n $ 을 표현하는 원소들의 최대 필터링 등급으로 정의되며, $ T_{n+1}(K) \geq T_n(K) $ 를 만족하고, $ n \geq g_4(K) $ 일 때 $ T_n(K) = 0 $ 이다.
• 완전한 휘감기 코버디즘을 이용해, $ K $ 와 $ K' $ 가 $ n \geq 6 $ 개의 일관된 방향의 루프에서 완전한 휘감기로 다를 경우, $ K $ 와 $ K' $ 는 둘 다 호몰로지의 얇음 성질을 유지할 수 없음을 보였다. 이는 $ s(K') > t(K') $ 를 의미한다.