색칠수의 범주화와 텐글 표현

본 논문은 색칠수라는 고전적인 결절·링크 불변량을 범주론적 관점에서 재해석하고, 이를 텐글이라는 자유 끝점을 가진 일반화된 결절 구조에 적용하는 일련의 과정을 제시한다. 1. **색칠수와 쿼들** 색칠수는 무향 결절 혹은 링크의 다이어그램에 색을 할당하는 방식으로 정의된다. 색은 불변 쿼들(involutory quandle)의 원소이며, 교차점에서의 색 변환 규칙은 쿼들의 연산 · 와 / 에 의해 결정된다. 저자는 색칠이 실제로는 쿼들 간의 동형사상 hom_Quan(Q(K), X) 에 해당함을 강조하고, 레이디스테이너 이동에 대해 색칠 수 자체는 불변이지만 색칠 집합은 동형이지만 동일하지 않다는 점을 ‘코베리언트’라는 개념으로 포장한다. 2. **코베리언트의 범주화** 다이어그램을 객체, 레이디스테이너 이동을 사상으로 하는 그룹오이드 KDiag 을 정의하고, 색칠 집합을 Set‑값 함자 Col_X 으로 승격한다. 이 함자는 각 다이어그램에 색칠 집합을 할당하고, 레이디스테이너 이동에 대해 동형을 사상으로 대응시킨다. 여기서 ‘링크 불변량’은 모든 사상이 항등 사상으로 보내지는 경우이며, 일반 코베리언트는 사상이 비항등 동형을 보낼 수도 있다. 3. **텐글과 2‑카테고리** 텐글은 위·아래에 자유 끝점이 있는 결절이며, 자연수 n 을 객체, m→n 을 m 개의 하단 끝점과 n 개의 상단 끝점을 가진 텐글로 보는 모노이달 2‑카테고리 Tang 을 도입한다. 텐글은 네 개의 기본 생성자 X⁺, X⁻, ∪, ∩ 과 다섯 개의 관계 T₀, T₀₀, T₁, T₂, T₃ 으로 완전하게 기술된다. 이 프레젠테이션은 기존의 리히터 이동과 텐글 특유의 ‘위·아래’ 이동을 모두 포괄한다. 4. **스팬을 통한 색칠의 합성** 텐글에 색칠을 적용하려면 단순히 색칠 집합을 취하는 것만으로는 합성이 불가능하다. 저자는 스팬 2‑카테고리 Span(Set) 을 이용해 색칠 집합을 ‘스팬’ 형태 X^m←Col_X(T)→X^n 으로 승격한다. 여기서 왼쪽 함수는 텐글 하단 끝점에 유도되는 색을, 오른쪽 함수는 상단 끝점에 유도되는 색을 반환한다. 두 텐글을 수직으로 결합하면 스팬의 중앙 객체를 풀백으로 잡아 새로운 스팬을 얻으며, 이는 정확히 텐글 합성에 대응한다. 5. **디카테고리화와 행렬 표현** 스팬을 디카테고리화하면 각 스팬을 행렬로 변환할 수 있다. 구체적으로, X 의 원소 개수를 |X| 라 하면, 스팬 X^m←Col_X(T)→X^n 은 |X|^m × |X|^n 크기의 행렬 M_T 으로 표현된다. 텐글의 수평·수직 합성은 행렬 곱과 텐서곱으로 구현되며, 따라서 Col_X: Tang→Span(Set) 은 Rep_X: Tang→Mat 이라는 선형 표현으로 ‘디카테고리화’된다. 특수히 n=0 또는 n=1 인 경우, 행렬은 1×1 형태가 되며 그 원소는 기존 색칠수와 일치한다. 6. **양자 컴퓨팅과의 연관성** 논문 서두에서 언급한 ‘위상 양자 컴퓨팅’은 연산을 시간에 따라 나누어 생각할 때, 중간 단계가 완전한 매듭이 아니라 자유 끝점을 가진 텐글이 된다. 따라서 텐글에 대한 선형 표현은 양자 회로의 부분 연산을 행렬로 기술하는 자연스러운 방법을 제공한다. 색칠수의 범주화는 이러한 텐글 기반 모델에 풍부한 대수적 구조를 부여하고, 기존의 정수 불변량을 선형대수적 도구와 연결한다는 점에서 의미가 크다. 7. **결론 및 전망** 저자는 색칠수를 단순 정수값에서 스팬을 통한 2‑카테고리 객체, 다시 행렬로 변환하는 일련의 ‘범주화 → 디카테고리화’ 과정을 제시함으로써, 색칠수의 적용 범위를 링크에서 텐글로 확장하고, 이를 양자 컴퓨팅 등 실용적 분야에 적용할 수 있는 기반을 마련한다. 앞으로는 다른 종류의 쿼들(예: 비불변 쿼들)이나 색칠 코호몰로지를 이용해 더 풍부한 텐글 불변량을 구축하고, 그에 대응하는 고차원 선형 표현을 연구하는 방향이 제시된다.