[논문 리뷰] Homotopy Theory of Labelled Symmetric Precubical Sets

Philippe Gaucher|arXiv (Cornell University)|2012. 08. 22.

Homotopy and Cohomology in Algebraic Topology참고 문헌 27인용 수 5

한 줄 요약

이 논문은 레이블이 부여된 대칭 선형 전립방형 집합의 모델 범주와 큐비컬 전이 시스템의 보우스필드 국소화 사이에 징검다리 Quillen 동치를 통해 Quillen 동치를 확립한다. 전립방형 집합에서 큐비컬 전이 시스템으로의 실현 함자(함수)는 왼쪽 Quillen 함자로는 아니지만, 중간 모델 구조를 통해 호모토피 동치를 유도하며, 약한 동치는 이분화(비심보리즘)와 HDA 프레임워크가 핵심 동시성 의미론을 유지하는 데 밀접하게 연결되어 있음을 증명한다.

ABSTRACT

This paper is the third paper of a series devoted to higher dimensional transition systems. The preceding paper proved the existence of a left determined model structure on the category of cubical transition systems. In this sequel, it is proved that there exists a model category of labelled symmetric precubical sets which is Quillen equivalent to the Bousfield localization of this left determined model category by the cubification functor. The realization functor from labelled symmetric precubical sets to cubical transition systems which was introduced in the first paper of this series is used to establish this Quillen equivalence. However, it is not a left Quillen functor. It is only a left adjoint. It is proved that the two model categories are related to each other by a zig-zag of Quillen equivalences of length two. The middle model category is still the model category of cubical transition systems, but with an additional family of generating cofibrations. The weak equivalences are closely related to bisimulation. Similar results are obtained by restricting the constructions to the labelled symmetric precubical sets satisfying the HDA paradigm.

연구 동기 및 목표

• 레이블이 부여된 대칭 선형 전립방형 집합에 대한 호모토피 이론적 프레임워크를 동시성 이론에서 확립하기 위해.
• 레이블이 부여된 대칭 선형 전립방형 집합의 모델 범주와 큐비컬 전이 시스템의 보우스필드 국소화 사이의 Quillen 동치를 증명하기 위해.
• 전립방형 집합에서 큐비컬 전이 시스템으로의 실현 함자의 역할이 이 두 범주를 연결하는 데 어떻게 기여하는지 명확히 하기 위해.
• HDA 프레임워크 하에서 이러한 결과를 확장하여 표준 프로세스 대수 의미론과의 호환성을 보장하기 위해.
• 국소화된 모델 범주에서의 약한 동치가 동시성 맥락에서 이분화(비심보리즘)에 어떻게 대응하는지 보여주기 위해.

제안 방법

• 큐비컬 전이 시스템에서 왼쪽 결정 모델 구조를 생성하기 위해 Olschok의 구성 방법을 사용한다.
• 레이블이 부여된 대칭 선형 전립방형 집합에서 큐비컬 전이 시스템으로의 실현 함자를 도입하며, 이는 왼쪽 수반 함수이지만 왼쪽 Quillen 함수는 아니다.
• 큐비컬 전이 시스템의 범주에 추가적인 생성 코프리피케이션 가족을 도입하여 중간 모델 범주를 구성한다.
• 큐비큘레이션 함수를 국소화 함수로 사용하여 큐비컬 전이 시스템의 범주에 보우스필드 국소화를 적용한다.
• 레이블이 부여된 대칭 선형 전립방형 집합의 모델 범주와 국소화된 큐비컬 전이 시스템 사이를 연결하기 위해 길이 2의 징검다리 Quillen 동치를 확립한다.
• 국소화된 모델 범주에서 유도된 약한 동치가 고차원 자동기(HDA) 맥락에서 이분화 동치와 일치함을 증명한다.

실험 결과

연구 질문

• RQ1 레이블이 부여된 대칭 선형 전립방형 집합의 모델 범주와 큐비컬 전이 시스템의 보우스필드 국소화 사이에 Quillen 동치를 확립할 수 있는가?
• RQ2 전립방형 집합에서 큐비컬 전이 시스템으로의 실현 함자가 왼쪽 Quillen 함수로는 아니지만, 호모토피적 구조와는 어떻게 관련되어 있는가?
• RQ3 큐비큘레이션 함수가 큐비컬 전이 시스템의 국소화된 모델 범주에서 약한 동치를 정의하는 데 어떤 역할을 하는가?
• RQ4 국소화된 모델 범주에서의 약한 동치는 고차원 자동기 맥락에서 어떻게 이분화와 대응하는가?
• RQ5 이러한 구성은 HDA 프레임워크를 얼마나 잘 유지하는가? 특히 프로세스의 병렬 합성 모델링에서 어떤가?

주요 결과

• 큐비큘레이션 함수를 통해 큐비컬 전이 시스템의 왼쪽 결정 모델 범주에 대한 보우스필드 국소화와 Quillen 동치인 레이블이 부여된 대칭 선형 전립방형 집합에 대한 모델 범주 구조가 존재한다.
• 레이블이 부여된 대칭 선형 전립방형 집합에서 큐비컬 전이 시스템으로의 실현 함자는 왼쪽 수반 함수이지만 왼쪽 Quillen 함수는 아니며, 이에 따라 길이 2의 징검다리 Quillen 동치가 필요하다.
• 중간 모델 범주는 큐비컬 전이 시스템에 추가적인 생성 코프리피케이션 가족이 부여된 범주이다.
• 국소화된 모델 범주에서의 약한 동치는 동시성 이론에서 핵심적인 등가 관계인 이분화와 밀접하게 관련되어 있음이 입증되었다.
• 결과는 HDA 프레임워크로 확장되었으며, 이는 횡단 탈퇴 사상이나 복잡한 조합 구조를 요구하지 않고도 프로세스 대수의 의미론을 자연스럽게 포괄한다.
• Quillen 동치는 두 개의 Quillen 동치의 병합을 통해 확립되었으며, 하나는 전립방형 집합에서 중간 HDA 모델로의, 다른 하나는 HDA 모델에서 국소화된 큐비컬 전이 시스템으로의 것이다.