[논문 리뷰] A model structure on the category of small categories for coverings

Kohei Tanaka|arXiv (Cornell University)|2009. 07. 30.

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

한 줄 요약

이 논문은 소형 범주 카테고리에 대한 모델 구조—1형 모델 구조—를 수립한다. 이 구조에서 필라멘트 대상은 군oids이고, 필라멘트 보완은 군oids화에 대응한다. 소형 범주 내의 커버링은 정확히 이산 섬유를 가진 필라멘트에 대응하며, 보편 커버링과 군oids화는 이 모델 구조 내의 함자적 분해로부터 유도된다. 이는 단순체와 위상공간에 대한 퀼렌 동치를 통해 범주론적 커버링을 호모토피 이론과 연결시킨다.

ABSTRACT

We define a new model structure on the category of small categories, which is intimately related to the notion of coverings and fundamental groups of small categories. Fibrant objects in the model structure coincide with groupoids, and the fibrant replacement is the groupoidification.

연구 동기 및 목표

• 소형 범주에서 커버링의 호모토피론적 행동을 포착하는 모델 구조를 정의하는 것.
• 이 모델 구조에서 필라멘트 대상이 정확히 군oids임을 보이고, 필라멘트 보완이 군oids화에 대응함을 보이는 것.
• 소형 범주 내의 커버링을 이산 섬유를 가진 필라멘트로 특성화하여, 커버링 공간 이론의 범주론적 유사체를 수립하는 것.
• 보편 커버링과 군oids화 함자가 이 모델 구조 내의 함자적 분해로부터 자연스럽게 유도됨을 보이는 것.
• 소형 범주에 대한 1형 모델 구조와 단순체 및 위상공간에 대한 대응하는 모델 구조 사이의 퀼렌 동치를 수립하는 것.

제안 방법

• 카테고리 Cat에 대한 1형 모델 구조를 조얄-티어니 모델 구조의 왼쪽 보우스필드 국소화로 구성한다.
• 약한 동치를 약한 1동치로 정의하고, 코프라비티브를 객체에 대한 포함 함수인 함수로 정의하며, 필라멘트를 군oids에 대해 섬유화되고 코섬유화되는 함수로 정의한다.
• 네비 함수 N과 분류 함수 c를 사용하여 Cat의 모델 구조를 단순체와 위상공간의 모델 구조와 연결한다.
• Cat의 1형 모델 구조와 단순체의 1형 모델 구조 사이에서 (c, N)의 수반 쌍이 퀸렌 동치임을 증명한다.
• 모든 칸 복합체 X에 대해 X → NcX인 쌍대단위 사상이 약한 1동치임을 보이며, 이는 cX가 X가 칸 복합체일 때 군oids임을 이용한다.
• 함자적 분해를 사용하여 보편 커버링을 구성하고, 군oids화를 모델 범주 내의 필라멘트 보완으로 묘사한다.

실험 결과

연구 질문

• RQ1 소형 범주에 대해 필라멘트 대상이 군oids이고 필라멘트 보완이 군oids화에 대응하는 모델 구조를 정의할 수 있는가?
• RQ2 소형 범주 내의 커버링은 1형 모델 구조 내의 필라멘트와 어떻게 관련이 있는가?
• RQ3 소형 범주에 대한 1형 모델 구조와 단순체 및 위상공간에 대한 1형 모델 구조 사이의 관계는 무엇인가?
• RQ4 이 모델 구조 내의 함자적 분해를 통해 소형 범주에서의 보편 커버링을 구성할 수 있는가?
• RQ5 소형 범주와 단순체 사이의 수반 관계가 1형 모델 구조로 제한되었을 때 퀸렌 동치가 되는가?

주요 결과

• 소형 범주에 대한 1형 모델 구조는 조얄-티어니 모델 구조의 왼쪽 보우스필드 국소화이며, 약한 동치는 약한 1동치로 정의된다.
• 1형 모델 구조 내의 대상이 필라멘트일 조건은 정확히 그 대상이 군oids일 조건과 일치하며, 이는 필라멘트 보완이 군oids화임을 확인한다.
• 함수 f가 Cat 내에서 커버링일 조건은 정확히 이산 섬유를 가진 필라멘트일 조건과 일치하며, 이는 커버링의 호모토피론적 특성화를 제공한다.
• Cat 내의 보편 커버링과 군oids화 함수는 모두 이 모델 구조 내의 함자적 분해를 통해 묘사되며, 이는 이들을 호모토피론적 구성과 연결시킨다.
• 단순체와 소형 범주 사이의 수반 (c, N)은 1형 모델 구조로 제한되었을 때 퀸렌 동치이며, 이는 Cat₁와 SSet₁ 사이의 퀸렌 동치를 수립한다.
• 모든 칸 복합체 X에 대해 X → NcX인 쌍대단위 사상은 약한 1동치이며, 이 사실은 Cat₁와 SSet₁ 사이의 퀸렌 동치를 뒷받침한다.