다중점 d공간의 분기 공간과 위상적 불변성

초록

본 논문은 짧은 방향 경로 개념을 이용해 다중점 d‑공간의 분기 공간을 정의하고, q‑cofibrant 다중점 d‑공간에 대해 그 분기 공간이 카테고리화 사상 cat 에 의해 얻어지는 흐름(flow)의 분기 공간과 위상동형임을 증명한다. 또한 구형(subdivision) 변환에 대해 분기 공간과 분기 동질성이 보존됨을 순수 위상학적 방법으로 보여준다. 시간 반전으로 병합 공간·동질성에 대한 결과도 얻는다.

상세 분석

이 연구는 Directed Algebraic Topology(DAT)의 핵심 객체인 다중점 d‑공간(Multipointed d‑space)을 대상으로 한다. 기존에는 흐름(flow)이라는 범주를 통해 분기 공간(branching space)과 분기 동질성(branching homology)을 정의했으며, 그 불변성은 카테고리화 사상 cat: MdTop → Flow의 좌파 유도함수를 이용해 증명되었다. 그러나 흐름을 거치지 않고 직접 다중점 d‑공간 위에서 위상학적으로 분기 공간을 구축하는 시도는 아직 충분히 이루어지지 않았다.

논문은 먼저 “짧은 방향 경로(short directed path)”라는 새로운 개념을 도입한다. 이는 실행 경로(execution path) 중 시작점에서 바로 다른 상태로 이동하는 최소 길이의 경로를 의미하며, 이러한 경로들의 동등류(germ)를 모아 각 상태 α에 대한 분기 공간 G⁻_α(X)를 정의한다. 이때 G⁻_α(X)는 α에서 시작하는 짧은 경로들의 germ 집합에 Δ‑Kelley화된 위상을 부여한 것이다.

핵심 정리인 Theorem 6.3은 q‑cofibrant 다중점 d‑공간 X에 대해 모든 상태 α에 대해 G⁻_α(X)와 흐름 cat(X) 의 분기 공간 P⁻_α(cat X) 사이에 위상동형이 존재함을 보인다. 여기서 q‑cofibrant성은 모델 구조에서 중요한 가정으로, 셀룰러 구조를 갖는 경우 대부분 만족한다. 이 정리는 기존에 흐름을 통해 정의된 분기 동질성을 직접 다중점 d‑공간의 위상적 구조만으로도 동일하게 정의할 수 있음을 의미한다. 실제로 Corollary 6.4에서는 cat 함수를 전혀 사용하지 않고, G⁻_α(X)의 체인 복합체를 이용해 분기 동질성 H⁻_n(X)를 정의하고, 이는 흐름 기반 정의와 동등함을 보인다.

다음으로 구형(subdivision) 변환에 대한 불변성을 다룬다. 구형은 다중점 d‑공간을 더 작은 구형 셀로 분해하는 과정으로, 동시 실행의 인과 구조를 보존한다는 것이 핵심이다. Theorem 7.8은 구형 사상 f: X → Y가 구형 분할(globular subdivision)일 때, 모든 상태 α에 대해 G⁻α(X)와 G⁻{f(α)}(Y)가 위상동형임을 증명한다. 이어서 Corollary 7.9는 이 위상동형이 분기 동질성에까지 전이되어, 구형 전후의 분기 동질성 군이 서로 동형임을 보인다. 이는 기존에