꼬인 매듭의 새로운 풀기법: 아크 이동과 영역 아크 이동

초록

본 논문은 꼬인 매듭(twisted knot)의 언노팅 연산으로서 아크 이동(arc shift)과 영역 아크 이동(region arc shift)을 정의하고, 각각의 최소 적용 횟수를 나타내는 불변량인 아크 이동 수와 영역 아크 이동 수를 연구한다. 모든 자연수 n에 대해 아크 이동 수가 n인 꼬인 매듭 군을 구성하고, 영역 아크 이동 수에 대한 상·하한을 제시하며, 금지 이동(forbidden move)과의 관계를 통해 새로운 불변량인 금지 수(forbidden number)를 도입한다. 또한, 다항식 불변량 Q(s,t)를 이용해 제시된 매듭 군이 서로 구별됨을 증명한다.

상세 분석

논문은 먼저 기존의 가상 매듭 이론에서 도입된 아크 이동을 꼬인 매듭으로 확장한다. 아크는 정확히 두 교차점(고전 또는 가상)을 포함하는 구간으로 정의되며, 바(bar)의 존재 여부에 따라 Type 1과 Type 2 두 종류의 이동이 존재한다. 아크 이동을 적용하면 해당 구간을 절단·재결합하면서 새로운 가상 교차점을 삽입하고, 교차점의 순서와 부호가 바뀐다. 저자는 이 연산이 모든 꼬인 매듭을 평범한 매듭(바가 없거나 하나만 있는 경우)으로 변환할 수 있음을 기존 정리(정리 2.4)와 함께 재확인한다.

핵심적인 불변량인 아크 이동 수 A(K)는 모든 다이어그램 D에 대해 최소 아크 이동 횟수를 취한 값이며, 이는 정리 2.5에 의해 매듭 동형사상에 대해 불변임을 보인다. 또한, 홀수 지수(odd writhe) J(K)가 A(K)의 하한이 된다는 보조정리(정리 2.7)를 이용해, 아크 이동 수를 직접 계산하기 어려운 경우에도 J(K)로부터 최소값을 추정한다.

다음으로 저자는 임의의 자연수 n에 대해 A(K)=n인 꼬인 매듭 군 {K₁,…,Kₙ}을 구체적인 블록 구조를 이용해 구성한다. 각 블록 B_i는 세 개의 고전 교차점(c_i, d_i, d’_i)과 바를 포함하며, 이를 순차적으로 연결함으로써 전체 매듭 K_n을 만든다. Gauss 다이어그램을 통해 각 교차점의 인덱스를 계산하고, 홀수 교차점의 총합이 2n임을 보인다. 따라서 J(K_n)=2n이며, Lemma 2.7에 의해 A(K_n)≥n이다. 동시에 각 블록에 대해 하나의 아크 이동을 적용하면 두 개의 평행 스트랜드로 변환되고, 전체 n개의 이동으로 K_n을 무바 매듭으로 만들 수 있음을 그림 13·14로 시각화한다. 이렇게 해서 A(K_n)=n임을 증명한다.

또한, 두 개의 서로 다른 언노팅 시퀀스를 제시한다. 하나는 바가 없는 최종 매듭을, 다른 하나는 바가 하나 남는 최종 매듭을 만든다. 두 시퀀스 모두 각 단계에서 동일한 아크 이동 수를 유지하며, Q(s,t) 다항식 불변량을 계산해 서로 구별됨을 확인한다. Q(s,t) 정의는 자기 교차점의 오버/언더 인덱스와 바의 개수에 기반하며, 정리 2.8에 의해 매듭 불변량이다. 이를 통해 K_n과 K’_n이 동일한 아크 이동 수를 갖지만 다항식 값이 달라 서로 다른 매듭임을 보인다.

그 후, 영역 아크 이동(R.A.S.)을 정의한다. 영역은 4-정점 그래프 D_G의 연결 성분이며, 해당 영역의 경계에 있는 모든 아크에 대해 아크 이동을 동시에 수행한다. Proposition 4.1에 의해 동일 영역에 두 번 적용하면 원래 다이어그램으로 복귀한다. 중요한 점은 금지 이동 F₁, F₃, T₄ 등을 하나의 영역 아크 이동으로 구현할 수 있다는 것이다. 각각의 금지 이동에 대해 해당 영역을 선택하고, Type 1·2 아크 이동을 적절히 조합하면 원래의 금지 이동과 동등한 변환을 얻는다(그림 21·22·23). 따라서 영역 아크 이동은 모든 금지 이동을 포함하는 완전한 언노팅 연산이 된다.

마지막으로 저자는 새로운 불변량인 금지 수(F(K))와 영역 아크 이동 수(R(K))를 도입한다. 금지 수는 매듭을 평범한 매듭으로 만들기 위해 필요한 최소 금지 이동 횟수이며, 영역 아크 이동 수는 최소 영역 아크 이동 횟수이다. Q(s,t) 다항식의 변화를 분석해 금지 수에 대한 하한을 제시하고, 기존 불변량인 J(K)와 A(K)와의 관계를 이용해 R(K)의 상한을 구한다. 이러한 결과는 기존의 언노팅 연산(예: 교차점 교환, 가상 교차점 삽입)보다 더 강력한 도구를 제공한다는 점에서 의미가 크다.

전체적으로 논문은 꼬인 매듭 이론에 새로운 언노팅 연산과 관련 불변량을 체계적으로 도입하고, 구체적인 매듭 군을 통해 이론의 풍부함을 입증한다. 특히, 영역 아크 이동을 통해 금지 이동을 모두 재현함으로써, 기존에 별도로 다루어졌던 금지 이동들을 하나의 통합된 연산 체계 안에 포함시킨 점이 혁신적이다.