강하게 가역적인 L‑스페이스 매듭의 새로운 반례

초록

저자들은 두 개의 강하게 가역적인 L‑스페이스 매듭 K₁, K₂를 제시한다. 이 매듭들의 κ‑불변량은 단일 대각선에 얽히지 않아 Watson의 강가역 L‑스페이스 매듭 특성화 추측을 반박한다. 또한 모든 유리 수소술 r에 대해 K₁, K₂의 수술 결과는 얇은 Khovanov 동형을 갖는 3‑구의 이중분기 피복이 될 수 없으며, 두 매듭은 형식 반군이 실제 반군인 드문 사례이기도 하다.

상세 분석

이 논문은 Watson(2017)이 제시한 “강하게 가역적인 L‑스페이스 매듭은 κ‑불변량이 단일 δ‑대각선에만 지지한다”는 추측을 직접적인 반례를 통해 부정한다. 저자들은 먼저 강가역(strong inversion) Φ가 존재하는 매듭 K에 대해 Khovanov 동형학적 정보를 이용해 정의되는 2‑차원 벡터 공간 κ(K, Φ)를 소개한다. κ는 tangle 외부 T의 정수 매듭 채우기 T(n)들의 Khovanov 호몰로지를 역극한으로 구성하고, 특정 정수 N을 기준으로 fₙ(=Khovanov 사상)의 이미지와 커널을 분석함으로써 구체적인 차원을 계산한다.

두 매듭 K₁, K₂는 각각 17개의 교차를 가진 비교대(alternating)하지 않은 초초월적(hyperbolic) 매듭이며, SnapPy와 KnotTheory, KnotJob 등 다양한 컴퓨터 프로그램을 이용해 강가역이 유일함을 확인하였다. tangle 외부 T₁, T₂를 그림 3에 제시하고, 각각의 정수 채우기 T₁(n), T₂(n) 에 대해 Khovanov 호몰로지를 직접 계산한 결과, N=20(K₁)과 N=16(K₂)에서 fₙ이 전사/주입 전환을 보이며, 최종적으로 κ(K₁)와 κ(K₂)의 비제로 차원이 두 개의 서로 다른 δ‑값(δ=17, 15)에서 나타난다. 이는 κ가 “두 개의 대각선에 걸쳐 있다”는 의미이며, 따라서 Watson의 ‘if’ 방향을 위배한다.

또한 저자들은 모든 유리 수술 r에 대해 K(r) = double‑branched‑cover(T(r))임을 이용해, T(r)의 Khovanov 폭이 항상 2임을 보인다(즉, 얇지 않다). 이를 통해 K₁, K₂는 어떠한 수술에서도 얇은 Khovanov 동형을 갖는 링크의 이중분기 피복이 될 수 없음을 증명한다. 이와 더불어 K₁, K₂는 형식 반군(formal semigroup)이 실제 반군(semi‑group)인 드문 사례이며, 현재 알려진 초초월적 L‑스페이스 매듭 중 유일하게 양쪽 성질을 동시에 만족한다.

논문은 추가적인 질문도 제시한다. 예를 들어, 강가역 초초월적 매듭의 형식 반군이 실제 반군이 아닐 때 모든 충분히 큰 수술이 얇은가? 혹은 κ의 폭이 임의의 n≥3까지 커질 수 있는 강가역 L‑스페이스 매듭이 존재하는가 등이다. 이러한 질문은 향후 연구의 방향을 제시하며, 현재의 반례가 이 분야에서 얼마나 중요한 위치에 있는지를 강조한다.