[논문 리뷰] Algebraic models for higher categories

Thomas Nikolaus|arXiv (Cornell University)|2010. 03. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 10인용 수 6

한 줄 요약

이 논문은 모델 범주에서 대수적 피브란트 대상(algebraic fibrant objects)을 도입하여, 이러한 대상들 위에 조합론적 모델 구조를 구성한다. 이는 ∞-군oids와 (∞,1)-범주를 각각 대수적 모델로 제안하는 대수적 칸 복합체(algebraic Kan complexes)와 대수적 준군사(algebraic quasi-categories)를 포함하며, 단순 복합체와 대수적 칸 복합체 사이의 퀼렌 동치를 통해 호모토피 가설을 증명한다.

ABSTRACT

We introduce the notion of algebraic fibrant objects in a general model category and establish a (combinatorial) model category structure on algebraic fibrant objects. Based on this construction we propose algebraic Kan complexes as an algebraic model for oo-groupoids and algebraic quasi-categories as an algebraic model for (oo,1)-categories. We furthermore give an explicit proof of the homotopy hypothesis.

연구 동기 및 목표

• 일반적인 모델 범주에서 대수적 피브란트 대상을 개발함으로써, 표준 모델 범주에서 피브란트 대상들이 갖는 비대수적이고 비처리 가능한 성질을 다루는 프레임워크를 마련한다.
• 칸 복합체의 한계—예를 들어 비유일한 합성과 극한의 부재—를 극복하기 위해, 특정 채우기 요소를 부여함으로써 대수적 칸 복합체를 도입한다.
• 대수적 칸 복합체가 ∞-군oids를 모델링하는 방식과 유사하게, (∞,1)-범주에 대한 처리 가능한 모델로 대수적 준군사를 설정한다.
• 대수적 설정에서 호모토피 가설을 증명하여, 대수적 칸 복합체가 등가성에 대해 ∞-군oids를 모델링함을 보인다.
• 조르의 모델 구조를 포함한 다른 모델 범주로 이 구성의 일반화를 시도하며, (∞,1)-오페라드와 ∞-스택에의 적용 가능성을 제안한다.

제안 방법

• 모델 범주 C에서의 대수적 피브란트 대상은 모든 리프팅 문제에 대해 채우기 요소를 선택한 피브란트 대상으로, 이를 통해 형성된 범주를 AlgC로 정의한다.
• C 위의 모나드 T를 사용하여 AlgC가 C 위에서 모나드적임을 증명하고, 모나드성 정리(monadicity theorem)를 적용하여 AlgC가 좋은 범주적 성질을 상속받도록 보장한다.
• C의 모델 구조를 올려서 AlgC 위에 조합론적 모델 구조를 구성함으로써, 모든 대상이 피브란트이고 (코)극한이 존재하도록 보장한다.
• C에서 AlgC로의 포함이 퀼렌 동치임을 증명하여, AlgC가 C가 정의하는 (∞,1)-범주와 동일한 것을 나타낸다.
• 단순 복합체에 대해 퀼렌 및 조르의 모델 구조를 적용하여, 대수적 칸 복합체와 대수적 준군사를 도출한다.
• 대수적 준군사에서 대수적 칸 복합체로의 忘각 함자 V를 정의하고, 왼쪽 수반 함자 G를 구성하며, (G,V)가 퀄렌 수반 관계임을 보인다.

실험 결과

연구 질문

• RQ1 모델 범주에서 피브란트 대상을 대수적 구조(즉, 지정된 채우기 요소)를 갖도록 부여함으로써, 고차 범주에 대한 잘 정의된 대수적 모델을 얻을 수 있는가?
• RQ2 모델 범주에서의 대수적 피브란트 대상의 범주는 원래 모델 범주와 퀄렌 동치인가?
• RQ3 대수적 칸 복합체의 구성이 호모토피 가설을 만족하는 유효한 대수적 모델을 제공하는가? 즉, ∞-군oids를 모델링하는 데 적합한가?
• RQ4 대수적 피브란트 대상의 일반적 프레임워크는 (∞,1)-범주나 ∞-스택을 모델링하는 데 사용되는 다른 모델 범주로 확장 가능한가?
• RQ5 대수적 준군사와 대수적 칸 복합체 사이의 관계는 무엇이며, 이를 통해 정교한 호모토피 가설을 증명할 수 있는가?

주요 결과

• 모델 범주 C에서의 대수적 피브란트 대상의 범주는 조합론적 모델 구조를 지녀, C가 정의하는 (∞,1)-범주를 잘 모델링하는 것으로 간주된다.
• 대수적 칸 복합체는 모든 소형 극한과 코극한을 갖는 국소적으로 현존하는 범주이며, 칸 복합체의 범주가 지닌 핵심적 한계를 해결한다.
• 대수적 칸 복합체에서 단순 복합체로의 忘각 함자는 퀄렌 동치이며, 이는 대수적 칸 복합체가 ∞-군oids를 모델링함을 보장한다.
• 대수적 설정에서 호모토피 가설이 성립한다: 위상공간의 기본 ∞-군oids는 그 대수적 칸 복합체 모델과 등가이다.
• 대수적 준군사의 범주는 왼쪽 수반 함자 G를 통해 대수적 칸 복합체의 범주와 퀄렌 동치이며, G는 약한 동치를 보존한다.
• C 위에서 C와 AlgC 사이의 수반 관계로부터 유도된 피브란트 치환 모나드 T는 호모토피 이론적 구성에서 다이어그램을 대수적으로 치환하는 체계적인 방법을 제공한다.