연장된 서명과 링크 협동성: 다변량 호소와 새로운 불변량

초록

본 논문은 다변량 레빈‑트리스트람 서명을 전체 토러스 (T^{\mu}) 위로 확장한 ‘연장 서명’을 정의하고, 그 값이 호소다항식의 영점 보완 집합의 연결 성분에서 일정함을 보인다. 또한, 특정 조밀한 부분집합에서 연장 서명이 색칠된 링크의 위상학적 협동 불변량임을 증명하고, 이를 이용해 3‑성분 링크의 무한 가족이 거울 이미지와 협동하지 않음을 전통적 불변량(비연장 서명, 다변량 알렉산더 다항식, Milnor 삼중 연결수 등)으로는 구별할 수 없지만 연장 서명으로는 구별됨을 보여준다.

상세 분석

논문은 먼저 기존의 레빈‑트리스트람 서명 (\sigma_{L} : (S^{1}\setminus{1})^{\mu}\to\mathbb Z) 를 다변량 색칠된 링크에 대해 정의하고, 이를 토러스 전체 (T^{\mu}= (S^{1})^{\mu}) 로 연장하는 기술적 어려움을 짚는다. 기존 정의는 (\omega_{i}=1) 일 때 행렬이 퇴화해 서명이 0, 영점이 정의되지 않는 문제가 있었으나, Cimasoni‑Ferretti‑Popova(2023)는 외부 3‑다양체 (X_{L}=S^{3}\setminus\nu(L)) 를 적절한 플럼드 3‑다양체 (P_{L}) 와 붙여 폐쇄 3‑다양체 (M_{L}=X_{L}\cup_{\partial}(-P_{L})) 를 만든 뒤, 그 위에 (\mathbb Z^{\mu})‑머리디안 동형사상을 연장한 (\Phi:H_{1}(M_{L})\to\mathbb Z^{\mu}) 를 이용해 4‑다양체 (W_{F}) (경계가 (M_{L}) 인) 를 구성한다. 그 후 (\omega\in T^{\mu}) 로 정의되는 복소수 계수 체 (\mathbb C_{\omega}) 로 뒤틀어진 2‑동형성 형태 (Q_{\omega}^{W_{F}}) 의 서명과 영차원을 각각 (\sigma_{L}(\omega)), (\eta_{L}(\omega)) 로 정의한다. 이 과정은 (\omega) 가 1에 가까워질 때도 연속적으로 정의될 수 있음을 보인다.

다음 단계에서는 (H_{1}(M_{L};\Lambda)) (여기서 (\Lambda=\mathbb Z