고차원 전이 시스템의 호모토피 이론

초록

본 논문은 약한 고차원 전이 시스템 중 큐브들의 합으로 이루어진 부분범주에 대해, 라벨 단순화 후 동일한 큐브를 갖는 객체들만이 동등하게 되는 좌측 적절한 조합적 모델 구조를 구축한다. 또한 두 프로세스 대수의 전이 시스템이 동형이면 동등하고, 새로운 Bousfield 지역화로 이중동형(bisimilar) 큐브 전이 시스템을 동등하게 만든다.

상세 분석

이 연구는 Cattani‑Sassone이 제시한 고차원 전이 시스템(Higher Dimensional Transition Systems, HDTS)을 약한 형태인 약한 고차원 전이 시스템(Weak HDTS, WHDTS)으로 일반화하고, 이를 토폴로지적이며 국소적으로 유한히 제시 가능한 범주 안에서 작은 직교성 클래스(small‑orthogonality class)로 해석한다는 기존 결과를 출발점으로 삼는다. 논문은 특히 WHDTS 중에서 각각이 정육면체(cube)의 합으로 표현될 수 있는 ‘큐브 전이 시스템’이라는 전제 하에, 이러한 객체들의 동등성 관계를 호모토피 이론의 관점에서 정형화한다. 핵심은 두 객체가 라벨을 단순화(simplification)한 뒤 동일한 큐브 구조를 가질 때만 서로 약동등(weakly equivalent)하다고 정의하는 모델 구조를 구축하는 것이다. 이를 위해 저자는 먼저 좌측 적절(left proper)하고 조합적(combinatorial)인 모델 구조를 정의한다. 이 모델 구조는 전통적인 단사(mon monomorphism) 클래스가 아니라, 특정한 ‘전이 보존’ 성질을 만족하는 사상들의 클래스를 코페어링(cofibrations)으로 삼는다. 이러한 선택은 모델 구조가 ‘좌측 결정(left determined)’임을 보장하며, 이는 모든 휘발성(fibrant) 객체가 이미 코페어링을 통해 생성될 수 있음을 의미한다. 이후 Bousfield 지역화(Bousfield localization)를 적용해, 라벨 단순화 후 동일한 큐브를 가진 객체들만을 동등시킨다. 흥미롭게도, 이 지역화는 기존의 단사 기반 모델 구조와는 다른 새로운 사상 클래스에 대한 지역화이므로, 모델 구조 이론에서 비전형적인 사례를 제공한다. 논문은 또한 두 프로세스 대수(Process Algebra)의 전이 시스템이 동형(isomorphic)일 때만 모델 구조 안에서 동등함을 증명함으로써, 전통적인 동형 관계와 호모토피 동등 관계가 일치함을 확인한다. 마지막으로, 두 시스템이 이중동형(bisimilar) 관계에 있을 때도 동등하게 만드는 두 번째 Bousfield 지역화를 제시한다. 부록에서는 코어플렉시브(coreflective) 부분범주 내에서 약한 인자화 시스템(weak factorization system)의 작은성(smallness) 조건에 관한 기술적 보조정리를 증명하는데, 이는 모델 구조 구축 시 필요 조건을 일반화하는 데 기여한다. 전체적으로 이 논문은 고차원 전이 시스템에 대한 호모토피적 해석을 시도함으로써, 동시성 이론과 범주론적 호몰로지 사이의 다리를 놓는 중요한 첫 걸음을 제공한다.