가상 나토이드의 0 스무딩 불변량과 그 Vassiliev 차수

초록

본 논문에서는 가상 나토이드의 고전 교차점을 0‑스무딩으로 변형하여 얻는 불변량 𝔽를 정의하고, 𝔽가 차수 1의 Vassiliev 불변량임을 증명한다. 또한 𝔽가 Petit이 제시한 ‘글루잉’ 불변량보다 정보를 덜 담고 있음을, Turaev의 특이 기반 행렬을 확장한 방법으로 보인다.

상세 분석

이 연구는 가상 나토이드라는 비교적 새로운 대상에 Vassiliev 이론을 적용한 첫 시도 중 하나이다. 기존에 Henrich가 가상 매듭에 대해 제시한 0‑스무딩 불변량이 ‘글루잉’ 불변량보다 약함을 확인한 바와 같이, 저자들은 동일한 현상이 가상 나토이드에도 그대로 적용된다는 것을 보여준다. 𝔽는 각 고전 교차점에 대해 0‑스무딩(즉, 교차점을 평탄하게 제거하고 두 인접한 구간을 연결)한 뒤, 결과로 얻어지는 비지향 평면 가상 나토이드들의 자유 ℤ‑모듈 원소들의 합으로 정의된다. 이때 평면 가상 나토이드는 ‘플랫’ 형태이므로, 교차 정보가 사라진 상태에서도 위상적 구분이 가능하도록 하는 것이 핵심이다.

정리 3.1에서 𝔽가 가상 나토이드 불변량임을 증명하기 위해, 저자들은 일반화된 Reidemeister 이동(Ω₁, Ω₂, Ω₃ 및 가상 이동)과 0‑스무딩이 서로 교환 가능함을 상세히 검토한다. 정리 3.4에서는 𝔽가 차수 1 Vassiliev 불변량이라는 것을, 교차점 하나를 ‘특이점’으로 바꾸어 얻는 두 가상 나토이드 차이의 𝔽값이 영임을 보임으로써 입증한다. 이는 Vassiliev 차수 정의와 직접적으로 대응한다.

그 다음, 저자들은 Petit이 제시한 ‘글루잉’ 불변량 𝔾와 𝔽를 비교한다. 𝔾는 각 교차점을 두 개의 나노드로 연결한 뒤, 그 결과를 특이 기반 행렬(singular based matrix) 형태로 기록한다. Turaev의 특이 기반 행렬은 원래 가상 문자열의 특이점을 다루기 위해 고안된 도구인데, 여기서는 가상 나토이드에 맞게 확장되었다. 정리 4.2는 𝔽가 𝔾보다 정보를 덜 담고 있음을, 즉 𝔾가 𝔽를 완전하게 복원할 수 있음을 보인다. 이는 𝔾가 차수 1 Vassiliev 불변량의 ‘보편적(universal)’ 성질을 갖는 반면, 𝔽는 그 특수한 구현에 불과함을 의미한다.

기술적으로는, 𝔽가 평면 가상 나토이드들의 자유 ℤ‑모듈에 매핑되는 과정에서 ‘플랫’ 교차의 방향성을 무시함으로써 손실되는 정보가 명확히 드러난다. 반면, 𝔾는 특이 기반 행렬에 교차의 부호와 연결 정보를 모두 보존하므로, 동일한 평면 형태라도 서로 다른 원래 가상 나토이드를 구분할 수 있다.

이 논문의 의의는 두 가지이다. 첫째, Vassiliev 차수 1 불변량을 가상 나토이드에 성공적으로 적용함으로써, 기존 매듭 이론과 나토이드 이론 사이의 교량을 놓았다. 둘째, 불변량 간의 정보량 비교를 통해 ‘보편적’ 불변량이 실제 계산에 얼마나 복잡한지를 보여주며, 실용적인 계산 도구로서 𝔽와 𝔾의 역할을 명확히 구분한다. 향후 연구에서는 차수 2 이상의 Vassiliev 불변량을 가상 나토이드에 확장하거나, 𝔽와 𝔾를 결합한 새로운 혼합 불변량을 정의하는 방향이 기대된다.