[논문 리뷰] A Model Structure on the Category of Topological Categories

Ilias Amrani|arXiv (Cornell University)|2011. 10. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 8인용 수 9

한 줄 요약

이 논문은 모든 객체가 피브라ント인 소형 위상수학적 범주($Ω_{Ω}$)의 범주 위에 코프리비어리 생성된 퀼렌 모델 구조를 구축한다. 이는 $(∞,1)$-범주 위의 조이얼 모델 구조 및 단순형 범주 위의 버너 모델 구조와의 퀄렌 동치를 확립하여, 대수적 $\mathcal{K}$-이론에의 응용을 포함한 강화 범주론적 맥락에서의 호모토피론적 프레임워크를 제공한다.

ABSTRACT

In this article, we construct a cofibrantly generated Quillen model structure on the category of small topological categories $\mathbf{Cat}_{\mathbf{Top}}$. It is Quillen equivalent to the Joyal model structure of $(\infty,1)$-categories and the Bergner model structure on $\mathbf{Cat}_{\mathbf{sSet}}$.

연구 동기 및 목표

• 소형 위상수학적 범주($\mathbf{Cat}_{\mathbf{Top}}$) 위에 코프리비어리 생성된 퀄렌 모델 구조를 확립하는 것.
• $\mathbf{Cat}_{\mathbf{Top}}$의 모든 객체가 피브라ント임을 보장하여 호모토피론적 구성의 단순화.
• $\mathbf{Cat}_{\mathbf{Top}}$와 $(\infty,1)$-범주 위의 조이얼 모델 구조 사이의 퀄렌 동치를 입증하는 것.
• 더 넓은 범주론적 맥락에서 대수적 $\mathcal{K}$-이론을 정의하기 위한 호모토피론적 프레임워크를 제공하는 것.

제안 방법

• 준위상수학적 범주 $\mathbf{Top}$에서의 모델 구조 전이를 통해, 수반 관계를 이용해 $\mathbf{Cat}_{\mathbf{Top}}$로 모델 구조를 옮기는 방식을 사용하며, 이는 레마 2.1을 적용하여 수행된다.
• 약한 동치를 $\mathbf{Top}$ 내의 사상 공간에 유도된 사상과 $\pi_0$-범주에 대한 동치로 정의한다.
• 피브라션을 정의하기 위해 사상 공간에 대한 사상이 $\mathbf{Top}$ 내의 피브라션임을 요구하고, 약한 동치에 대한 호모토피 상승 조건을 부여한다.
• 생성 코프리비어리 $|U\partial\Delta^n| \to |U\Delta^n|$ 과 생성 약한 동치 코프리비어리 $|U\Lambda^n_i| \to |U\Delta^n|$ 및 $\{x\} \to |\mathcal{H}|$를 구성한다.
• 작은 성질, 합성의 보존, 그리고 푸시아웃에 대한 닫힘 성질을 이용해, 퀄렌 수반 정리에 의해 모델 구조의 공리가 만족됨을 검증한다.
• 단순형 및 위상수학적 너스 구축을 통해 위상수학적 범주가 단순형 집합과 캔 컴팩스와 어떻게 관련되는지 분석한다.

실험 결과

연구 질문

• RQ1 모든 객체가 피브라ント인 소형 위상수학적 범주 $\mathbf{Cat}_{\mathbf{Top}}$ 위에 코프리비어리 생성된 퀄렌 모델 구조를 정의할 수 있는가?
• RQ2 해당 모델 구조가 $(\infty,1)$-범주 위의 조이얼 모델 구조와 퀄렌 동치인가?
• RQ3 모델 구조가 임의의 사상 집합에 대해 함의적 국소화를 허용하는가?
• RQ4 위상수학적 범주의 호모토피 성질이 단순형 범주 및 $(\infty,1)$-범주와 어떻게 관련되는가?

주요 결과

• $\mathbf{Cat}_{\mathbf{Top}}$ 위에 코프리비어리 생성된 퀄렌 모델 구조가 존재하며, 약한 동치는 사상 공간에서의 약한 동치와 $\pi_0$-동치로 정의된다.
• $\mathbf{Cat}_{\mathbf{Top}}$의 모든 객체가 피브라ント이므로, 피브라ント 대체와 호모토피 이론의 단순화가 가능하다.
• $\mathbf{Cat}_{\mathbf{Top}}$의 모델 구조는 $(\infty,1)$-범주 위의 조이얼 모델 구조와 퀄렌 동치이다.
• 또한 이 모델 구조는 $\mathbf{Cat}_{\mathbf{sSet}}$ 위의 버너 모델 구조와도 퀄렌 동치이다.
• 임의의 집합 $S$에 대해 $\mathbf{C}$ 내의 사상 집합에 대해 함의적 국소화 $\mathrm{L}_S\mathbf{C}$ 가 존재하며, 호모토피류에 대해 유일하다.
• 국소화 사상 $\mathbf{C} \to \mathrm{L}_S\mathbf{C}$ 는 코프리비어리이자 강화 범주론적 포함 사상이다.