추적 모노이드의 입방형 동형론

초록

본 논문은 자유 부분 가환 모노이드(추적 모노이드)의 부분 작용에 대한 입방형(세미큐브) 동형론을 전개하고, 이를 일반화된 토러스와 연결시킨다. 또한 비동기 시스템, 페트리 넷, 마주르키에프 추적 언어 등에 대한 동형군을 계산하는 알고리즘을 제시하여, 기존에 열려 있던 정수 동형군 계산 문제를 해결한다.

상세 분석

논문은 먼저 추적 모노이드 M(E,I)를 자유 부분 가환 모노이드로 정의하고, 그 작용을 부분 함수 형태로 집합 S에 부여한다. 이를 통해 (M(E,I),S)라는 상태공간을 구성하고, 정의되지 않은 작용을 ‘’ 상태로 확장한 전체 상태공간 K*(S)를 만든다. K*(S)는 객체가 S∪{}이고, 사상은 (s,w,s′) 형태의 삼중쌍으로 정의되는 작은 범주이며, 이는 비동기 시스템과 페트리 넷을 범주론적으로 모델링한다.

다음으로 세미큐브 집합(semicubical set)을 ✷⁺ᵒᵖ→Set이라는 함자 형태로 소개하고, 그 기하학적 실현 |X|을 통해 토폴로지 공간을 만든다. 특히, 추적 모노이드의 독립 관계 I와 전체 순서 <에 따라 정의된 일반화 토러스 T(E,I)는 세미큐브 집합의 한 예이며, |T(E,I)|는 전통적인 n‑차원 토러스와 동형이다.

핵심은 상태공간 (M(E,I),S)에서 유도된 세미큐브 집합 Q(E,I,S)를 구성하고, 이 집합의 정수 계수 동형군 Hₙ(Q,Δℤ)를 계산함으로써 상태 범주의 동형군 Hₙ(K(S),Δℤ)와 동등함을 보이는 것이다. 이를 위해 저자는 ✷⁺/X 범주의 팩터화 카테고리 Fact(C)와 Leech 동형론을 활용한다. Leech 동형군 Hₙ(Fact(M),F)와 일반화 토러스의 동형군 Hₙ(T(E,I),F∘S) 사이에 자연 동형이 존재함을 정리 3.1에서 증명하고, 이는 유한 E에 대해 유한 복합(complex)으로 계산 가능함을 의미한다.

또한, 독립 생성자의 최대 쌍별 독립 수 n에 대해 Hₖ(K*(S),F)=0 (k>n)임을 보이는 정리를 제시한다. 이는 이전에 제기된 “Problem 2”를 해결한 것으로, 무한한 독립 생성자가 존재하지 않을 때 고차 동형군이 소멸한다는 강력한 위축 결과이다.

알고리즘적 측면에서는 세미큐브 집합의 체인 복합 Cₙ(Q,Δℤ)와 경계 연산 dₙ을 명시적으로 구성하고, 이를 행렬 형태로 구현한다. 특히, 페트리 넷의 경우 전이 함수 (−)·e를 부분 작용으로 보고, 2ᴮ(마크) 위의 부분 작용을 통해 상태공간을 만든 뒤, Q(E,I,2ᴮ)의 체인 복합을 계산한다. 이 과정은 기존에 제시된 H₁ 계산 알고리즘을 일반화하여 모든 차수의 정수 동형군을 구할 수 있게 한다.

결과적으로, 논문은 추적 모노이드와 그 작용을 통해 비동기 시스템, 페트리 넷, 마주르키에프 언어의 동형론을 통합적인 범주론·위상학적 프레임워크 안에 배치하고, 실용적인 계산 절차를 제공함으로써 이론과 적용 사이의 격차를 메운다.