[논문 리뷰] Relative categories: Another model for the homotopy theory of homotopy theories

Clark Barwick, D Kan|arXiv (Cornell University)|2010. 11. 08.

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

한 줄 요약

이 논문은 단순 공간의 캐럴스 리즈의 완전한 세갈 공간 모델 구조를 일반화하여 상대 카테고리의 범주 위에 쿠일렌 동치 모델 구조를 수립한다. 이는 이중 분할 함자를 이용한 단순 공간과 상대 카테고리 사이의 가역관계를 통해 이루어지며, 상대 카테고리가 $(\infty,1)$-카테고리의 호모토피 이론을 위한 타당한 대안 모델임을 증명한다. 이 모델에서 약한 동치는 DK 동치로 정의된다.

ABSTRACT

We lift Charles Rezk's complete Segal space model structure on the category of simplicial spaces to a Quillen equivalent one on the category of relative categories.

연구 동기 및 목표

• 작은 상대 카테고리의 범주($\mathbf{RelCat}$) 위에 $(\infty,1)$-카테고리의 호모토피 이론을 포괄하는 쿠일렌 동치 모델 구조를 수립하는 것.
• 이 모델 구조에서의 약한 동치가 정확히 동치를 유지하고 호모토피 카테고리와 단순 공간 국소화를 보존하는 DK 동치임을 보이는 것.
• $\mathbf{RelCat}$와 리즈의 완전한 세갈 공간 구조를 갖춘 단순 공간의 범주 사이의 쿠일렌 동치를 수립하는 것.
• 약한 동치가 동일한 상대 카테고리 위에 켤레 모델 구조가 존재하며, 이는 반대 함자와 관련되어 있음을 보이는 것.
• 상대 카테고리와 그 분할에 적응된 토마슨의 릿지 구조를 상대적 형태로 일반화하는 것.

제안 방법

• 단순 공간의 리드 모델 구조($\mathrm{s}\boldsymbol{S}$)를 이중 분할 함자 $\xi$를 통한 가역관계 $K_\xi \dashv N_\xi$를 통해 $\mathbf{RelCat}$ 위의 쿠일렌 동치 모델 구조로 올리는 것.
• 상대 포스에 대한 이중 분할 함자 $\xi = \xi_t \circ \xi_i$를 도입하며, 이는 토마슨의 단일 분할을 일반화하고 릿지 과정을 가능하게 한다.
• 리드 모델 구조와 그 왼쪽 보정 국소화를 단순 공간의 목표 모델 범주로 사용하는 것.
• 우변 함자 $N_\xi$가 생성 항등 코이브러이션을 약한 동치로 보존함을 확인하여 모델 구조의 릿지 조건을 확보하는 것.
• 드와어 맵을 코이브러이션으로 삼는 상대 카테고리 설정에서 소형 객체 방법과 닫힘 성질(재진입, 쌍용, 무한합성)을 적용하는 것.
• 리드 모델 구조의 성질을 활용하여 릿지된 모델 구조의 왼쪽 및 오른쪽 적절성을 증명하는 것.

실험 결과

연구 질문

• RQ1 $(\infty,1)$-카테고리의 호모토피 이론을 모델링하는 $\mathbf{RelCat}$ 위에 쿠일렌 동치 모델 구조를 구성할 수 있는가?
• RQ2 이 모델 구조에서의 약한 동치가 정확히 상대 카테고리 간의 DK 동치인가?
• RQ3 상대 포스에 대한 이중 분할 함자 $\xi = \xi_t \circ \xi_i$는 단순 공간에서의 모델 구조를 릿지하기에 충분한 제어를 제공하는가?
• RQ4 약한 동치는 동일하지만, 피브레이션과 코이브러이션이 반대인 $\mathbf{RelCat}$ 위에 켤레 모델 구조를 정의할 수 있는가?
• RQ5 $\mathbf{RelCat}$ 위의 반대 함자는 원래와 켤레 모델 구조 사이의 쿠일렌 동치인가?

주요 결과

• 리즈의 완전한 세갈 공간 모델 구조를 단순 공간 위에서 릿지하여 $\mathbf{RelCat}$ 위에 쿠일렌 동치 모델 구조가 성공적으로 수립되었다.
• 릿지된 모델 구조에서의 약한 동치는 정확히 DK 동치이며, 이는 이 맥락에서 올바른 동치 개념임을 확인한다.
• 상대 포스에 대한 이중 분할 $\xi = \xi_t \circ \xi_i$는 릿지 과정에 필수적이며, 필요한 호모토피적 제어를 보장한다.
• 약한 동치는 동일하지만 피브레이션과 코이브러이션이 반대인 켤레 모델 구조가 $\mathbf{RelCat}$ 위에 존재하며, 반대 함자와 관련되어 있다.
• $\mathbf{RelCat}$ 위의 반대 함자는 원래와 켤레 모델 구조 사이의 쿠일렌 동치이며, $(\infty,1)$-카테고리의 자동 동치의 계약 가능한 공간을 반영한다.
• 릿지된 모델 구조의 왼쪽 및 오른쪽 적절성은 리드 모델 구조의 성질을 $N_\xi$가 극한을 보존하고 릿지 조건을 유지함으로써 유도된다.