고차원 재작성 체계의 관계 정체성 연구

초록

이 논문은 군의 프레젠테이션에서 사용되는 “관계 사이의 정체성”(identities among relations) 개념을 n‑카테고리의 프레젠테이션을 기술하는 폴리그래프(polygraph)로 일반화한다. 저자는 각 폴리그래프에 대해 교차 모듈(crossed module)을 고차원으로 확장한 트랙 n‑카테고리(track n‑category)를 구성하고, 이를 통해 자연 시스템(natural system) 형태의 정체성들을 정의한다. 또한 이 자연 시스템이 유한하게 생성되는 조건과 폴리그래프가 유한 파생형식(finite derivation type)을 갖는 조건이 서로 동등함을 증명한다.

상세 분석

논문은 먼저 기존 군 이론에서 “관계 사이의 정체성”이 어떻게 정의되고, 그것이 교차 모듈을 통해 자연스럽게 나타나는지를 리뷰한다. 이후 n‑카테고리 이론의 기본 개념—특히 폴리그래프와 트랙 n‑카테고리—을 도입하면서, 1‑차원 경우의 교차 모듈이 n‑차원으로 어떻게 승격되는지를 상세히 설명한다. 핵심 아이디어는 폴리그래프의 k‑셀(k‑dimensional generator)이 생성하는 자유 n‑카테고리 F(Σ)와, 그 위에 정의되는 동형 사상(동형 변환)들의 집합을 추적(track) 구조로 묶어 “트랙 n‑카테고리” T(Σ)를 만든다. T(Σ)는 각 (k‑1)‑셀에 대한 자동동형군을 객체로, k‑셀에 대한 동형을 사상으로 갖는 2‑카테고리적 구조를 가지며, 이는 교차 모듈의 고차원 버전이라 할 수 있다.

정체성들의 자연 시스템은 T(Σ)의 2‑셀(동형)들 사이에 존재하는 동등 관계들을 모듈식으로 정리한 것으로, 이를 “정체성 모듈”이라 명명한다. 저자는 이 모듈이 자유 n‑카테고리의 동형군을 생성하는 최소 집합으로서, 유한 생성 여부가 폴리그래프의 유한 파생형식과 동치임을 보인다. 구체적으로, 폴리그래프 Σ가 유한 파생형식을 가질 경우, 모든 2‑셀은 유한한 기본 2‑셀들의 조합으로 표현될 수 있고, 따라서 정체성 모듈도 유한 생성 집합을 갖는다. 반대로, 정체성 모듈이 유한하게 생성되면, 파생 규칙들의 충돌과 교정 과정을 유한히 다룰 수 있어 파생형식이 유한함을 증명한다.

기술적인 핵심은 “동형 사상들의 교차(composition)과 교환(law) 규칙”을 정확히 정의하고, 이를 통해 트랙 n‑카테고리의 2‑셀들이 만족해야 할 고차원 교차 모듈 법칙을 도출한 점이다. 특히, 고차원 셀들의 경계(boundary) 연산과 동형 사상의 수직·수평 합성 연산이 서로 교환되는 “교환 법칙”(interchange law)을 이용해 정체성 모듈의 연산 구조를 엄밀히 기술한다.

마지막으로, 저자는 이 이론이 기존의 동형 이론, 고차원 동형군(coherent groupoid) 이론, 그리고 컴퓨터 과학에서의 고차원 재작성 시스템(Higher‑dimensional rewriting systems)과 어떻게 연결되는지를 논의한다. 특히, 정체성 모듈이 유한 생성이면 자동화된 동형 검증과 정리 증명에 유리한 구조적 정보를 제공한다는 점을 강조한다.