단일 궤도 범주에서의 일관성 증명

본 논문은 고차원 범주와 재작성 이론을 결합해 단일, 대칭 단일, 그리고 브레이드된 단일 범주의 코히런스(일관성) 문제를 새로운 관점에서 접근한다. 먼저 저자는 트랙 범주(track n‑category)라는 개념을 도입한다. 트랙 범주는 n‑셀까지 존재하고, 최상위 n‑셀이 모두 가역(invertible)인 특성을 갖는다. 이는 고차원 동형론에서 중요한 위상학적 개념인 asphericity(구면성)와 직접 연결된다. 다음으로 폴리그래프(polygraph)를 이용해 범주를 생성한다. 폴리그래프는 0‑셀부터 n‑셀까지 단계적으로 정의되는 셀 집합이며, 각 단계에서 자유 n‑범주를 만든 뒤, 다음 차원의 셀을 관계식으로 붙여 나간다. 저자는 3‑폴리그래프 As₃를 정의하고, 여기에는 하나의 0‑셀, 1‑셀, 2‑셀, 3‑셀이 포함된다. 이 폴리그래프가 생성하는 자유 트랙 3‑범주 As₃^⊤는 모든 3‑셀이 가역인 구조이다. 단일 범주의 연관성(isomorphism) 법칙 α에 대응하는 4‑셀 As₄를 추가함으로써 As₃를 확장한다. As₄는 연관성 사다리꼴(맥스웰 사다리꼴)이라고 불리는 4‑셀로, 두 다른 방법으로 연관성을 적용했을 때 같은 결과가 나온다는 동형을 명시한다. 저자는 As₃가 수렴(terminating)하고 결합(confluent)함을 보이며, 이는 모든 가능한 재작성 경로가 유일한 정규 형태로 수렴한다는 의미이다. 특히, As₃는 하나의 임계 분기(critical branching)를 갖는데, 이는 동일한 2‑셀에 두 번 연관성 3‑셀을 적용했을 때 발생한다. As₄가 이 임계 분기의 결합 다이어그램을 제공함으로써, As₄는 As₃^⊤의 동형 기저(homotopy basis)가 된다. 따라서 As₃^⊤는 aspherical하고, 모든 AsCat‑알제브라에서 다이어그램이 교환한다는 코히런스 정리를 재증명한다. 대칭 단일 범주의 경우, 저자는 3‑프로프 SymCat을 정의한다. 여기에는 연관성 셀 외에 대칭성 셀 σ와 그에 대응하는 4‑셀(대칭성의 이중성 및 교환 법칙)들이 포함된다. SymCat의 프레젠테이션은 두 단계로 구성된다. 첫 단계는 연관성에 대한 수렴·결합 프레젠테이션(As₃, As₄)과 동일하고, 두 번째 단계는 대칭성에 대한 추가 셀들을 포함한다. 저자는 티에츠(equivalence) 개념을 도입해, 대칭성 셀만을 제외한 나머지 셀들의 임계 분기 집합 π(Γ)와 추가된 4‑셀 집합 Σ₄가 티에츠 동등함을 증명한다. 이때, π(Γ)는 대칭성에 의존하지 않는 모든 임계 분기를 포함한다. 결과적으로 SymCat도 aspherical하고, 대칭 단일 범주의 코히런스 정리가 성립한다. 브레이드된 단일 범주의 경우, 상황이 더 복잡해진다. 브레이드된 구조는 대칭성의 역원이 존재하지 않으며, 대신 브레이드(교차) 연산이 존재한다. 저자는 3‑프로프 BrCat을 정의하고, 초기 알제브라 B를 구성한다. B는 각 3‑셀을 특정 브레이드에 대응시키는 함수이며, 이 브레이드가 두 변 사이의 동일성을 판단한다. 저자는 두 단계의 전략을 제시한다. 첫 번째 단계는 aspherical한 부분을 추출해 코히런스를 보존한다는 정리를 증명한다(정리 4.3.1). 두 번째 단계는 초기 알제브라 B를 이용해 모든 3‑셀의 동형을 브레이드 동등성으로 환원한다(정리 4.4.3). 따라서 “두 변이 같은 브레이드에 대응하면 다이어그램이 교환한다”는 기존 결과를 재구성한다. 전체적으로 논문은 다음과 같은 흐름을 따른다. 1) 고차원 트랙 범주와 asphericity 개념을 도입한다. 2) 폴리그래프를 이용해 대상 범주의 자유 트랙 범주를 만든다. 3) 수렴·결합적인 프레젠테이션을 구성하고, 임계 분기의 결합 다이어그램을 통해 동형 기저를 얻는다. 4) 동형 기저가 존재하면 해당 트랙 3‑프로프가 aspherical함을 보이고, 이는 해당 알제브라(범주)에서 모든 다이어그램이 교환한다는 코히런스와 동치이다. 이 방법론은 단일, 대칭 단일, 브레이드된 단일 범주 모두에 적용 가능하며, 기존의 복잡한 교환 법칙 검증을 임계 분기 검증이라는 계산 가능한 문제로 단순화한다.