[논문 리뷰] Partial model categories and their simplicial nerves

Clark Barwick, D Kan|arXiv (Cornell University)|2011. 02. 12.

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

한 줄 요약

이 논문은 부분 모델 범주—두 개의 여섯 조건을 만족하고 3화살표 계산법을 갖춘 상대 범주—를 도입하고, 그들의 단순 복합체 뉴런이 리디 피브란트 교체를 거친 후 완전한 세갈 공간이 됨을 증명한다. 반대로, 모든 완전한 세갈 공간은 단순 복합체 뉴런의 부분 모델 범주와 리디 동치이며, 특히 단순 복합체 집합의 다이어그램 범주의 호모토피적으로 전형적인 부분범주이다.

ABSTRACT

In this note we consider partial model categories, by which we mean relative categories that satisfy a weakened version of the model category axioms involving only the weak equivalences. More precisely, a partial model category will be a relative category that has the two out of six property and admits a 3-arrow calculus. We then show that Charles Rezk's result that the simplicial space obtained from a simplicial model category by taking a Reedy fibrant replacement of its simplicial nerve is a complete Segal space also holds for these partial model categories. We also note that conversely every complete Segal space is Reedy equivalent to the simplicial nerve of a partial model category and in fact of a homotopically full subcategory of a category of diagrams of simplicial sets.

연구 동기 및 목표

• 부분 모델 범주를 두 개의 여섯 조건을 만족하고 3화살표 계산법을 갖춘 상대 범주로 체계화하고 연구하기.
• 차를 레즈크의 결과를 부분 모델 범주로 일반화하기. 즉, 단순 모델 범주의 단순 복합체 뉴런의 리디 피브란트 교체가 완전한 세갈 공간이 되는 것을 일반화하기.
• 모든 완전한 세갈 공간이 부분 모델 범주의 단순 복합체 뉴런과 리디 동치임을 보여주기.
• 상대 부분범주에 대해 부분 모델 구조를 유지하는 호모토피적 전형성 조건을 확립하기.
• 단순 복합체 집합의 다이어그램 범주를 통해 완전한 세갈 공간을 모델링하는 상대 요나다 임bedding 구축하기.

제안 방법

• 두 개의 여섯 조건을 만족하고 3화살표 계산법을 갖춘 상대 범주 $(\boldsymbol{C}, \boldsymbol{U})$로 부분 모델 범주를 정의하기.
• 단순 복합체 뉴런 구성법을 사용해 부분 모델 범주에 단순 복합체 공간을 부여하기.
• 단순 복합체 뉴런에 리디 피브란트 교체를 적용하여 완전한 세갈 공간을 얻기.
• 호모토피 범주 $L^H(\boldsymbol{C}^{\text{op}}, \boldsymbol{U}^{\text{op}})$ 를 통해 상대 요나다 임bedding $y: (\boldsymbol{C}, \boldsymbol{U}) \to (\boldsymbol{S}^{\boldsymbol{C}^{\text{op}}, \boldsymbol{U}^{\text{op}}}, \tilde{\boldsymbol{U}})$ 를 구성하기.
• DK-동치를 통한 분해와 단순 복합체 요나다 임bedding의 성질을 이용해 요나다 임bedding의 전형성과 충실성을 증명하기.
• 지도 $e: (\boldsymbol{C}, \boldsymbol{U}) \to Ef$ 가 본질적으로 상사적이고 전형적으로 충실함을 보여주어 완전한 세갈 공간의 상대 모델화를 확립하기.

실험 결과

연구 질문

• RQ1 레즈크의 결과—단순 모델 범주의 단순 복합체 뉴런이 완전한 세갈 공간이 되는 것—을 전체 모델 범주를 초월해 부분 모델 범주로 일반화할 수 있는가?
• RQ2 상대 범주에 어떤 구조적 조건이 성립하면, 그 단순 복합체 뉴런이 리디 피브란트 교체를 거친 후 완전한 세갈 공간이 되는가?
• RQ3 모든 완전한 세갈 공간은 부분 모델 범주의 단순 복합체 뉴런과 리디 동치인가?
• RQ4 3화살표 계산법은 상대 범주에서 함수 복합체의 호모토피 유형을 제어하는 데 어떤 역할을 하는가?
• RQ5 상대 요나다 임bedding은 어떻게 단순 복합체 집합의 다이어그램 범주를 통해 완전한 세갈 공간을 모델링하는 데 사용될 수 있는가?

주요 결과

• 부분 모델 범주의 단순 복합체 뉴런의 리디 피브란트 교체는 완전한 세갈 공간이며, 이는 레즈크의 결과를 일반화한다.
• 모든 완전한 세갈 공간은 단순 복합체 집합의 다이어그램 범주의 호모토피적으로 전형적인 부분범주의 단순 복합체 뉴런과 리디 동치이다.
• 상대 요나다 임bedding $y: (\boldsymbol{C}, \boldsymbol{U}) \to (\boldsymbol{S}^{\boldsymbol{C}^{\text{op}}, \boldsymbol{U}^{\text{op}}}, \tilde{\boldsymbol{U}})$ 는 부분 모델 범주에 제한했을 때 전형적으로 충실하다.
• 지도 $e: (\boldsymbol{C}, \boldsymbol{U}) \to Ef$ 는 본질적으로 상사적이고 전형적으로 충실하여, 완전한 세갈 공간의 상대 모델화를 확립한다.
• 이 구성은 DK-동치와 단순 복합체 요나다 임bedding을 이용하여 뉴런의 호모토피 유형이 피브란트 교체 동안 유지됨을 보장한다.
• 3화살표 계산법은 부분 모델 범주에서 함수 복합체가 3화살표 지그재그를 통해 간단한 형태로 기술될 수 있도록 하여, 호모토피 유형 계산을 단순화한다.