[논문 리뷰] Overcategories and undercategories of model categories

Philip Hirschhorn|arXiv (Cornell University)|2015. 07. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 1인용 수 24

한 줄 요약

이 논문은 모델 범주가 이러한 성질을 만족할 경우, 그의 overcategories와 undercategories가 코프ibrant 생성, 셀룰라리티, 그리고 프로퍼티성과 같은 핵심 구조적 성질을 그대로 이어받다는 것을 입증한다. 이전에 정당화 없이 제기된 진술들에 대해 엄밀한 증명을 제공하며, 기저 범주가 그러한 성질을 만족할 경우, 잊혀진 함자를 통해 정의된 표준 모델 구조(약한 동치, 필라션, 코프ibration이 모두 기저 범주로의 사상에 의해 정의됨)가 코프ibrantly 생성되며, 셀룰라리티와 프로퍼티성을 갖는다는 것을 보여준다.

ABSTRACT

If M is a model category and Z is an object of M, then there are model category structures on the category of objects of M over Z and the category of objects of M under Z under which a map is a cofibration, fibration, or weak equivalence if and only if its image in M under the forgetful functor is, respectively, a cofibration, fibration, or weak equivalence. It is asserted without proof in "Model categories and their localizations" that if M is cofibrantly generated, cellular, or proper, then so is the category of objects of M over Z. The purpose of this note is to fill in the proofs of those assertions and to state and prove the analogous results for undercategories.

연구 동기 및 목표

• 코프ibrantly 생성되거나, 셀룰라리티 또는 프로퍼티성을 갖는 모델 범주의 overcategories와 undercategories가 이러한 구조적 성질을 어떻게 이어받는지를 엄밀히 증명하는 것.
• Hovey의 작업에서 정당화 없이 제기된 진술들에 대한 공식적 증명을 제공함으로써 문헌에서 존재하는 열린 격차를 해결하는 것.
• 기저 범주를 통해 정의된 표준 모델 구조(잊혀진 함자를 통한 정의)가 코프ibrant 생성성과 프로퍼티성과 호환됨을 확립하는 것.
• 모델 범주의 이론을 over/undercategories를 포함하도록 확장하여 필수적인 호모토피적 성질을 유지하는 것.
• 모델 범주의 슬라이스 범주를 다루는 호모토피 이론의 향후 응용을 위한 기초를 마련하는 것.

제안 방법

• 고정된 객체 Z에 대한 overcategories(객체들 Z 위에 있는 것들)와 undercategories(객체들 Z 아래에 있는 것들)를, Z로 향하는 또는 Z에서 떠나는 구조 사상과 가환하는 사상들을 갖는 콤마 범주로 정의한다.
• 기저 모델 범주로의 忘却 함자 U를 통해 모델 구조를 전달한다: over/undercategories에서의 사상이 필라션, 코프ibration, 또는 약한 동치일 조건은 U에 의한 상이 기저 범주에서 필라션, 코프ibration, 또는 약한 동치일 때이다.
• over/undercategories에서의 병합 및 당김은 기저 범주에서의 병합 및 당김을 통해 계산되며, 이는 보편 성질을 유지함을 증명한다.
• 기저 범주의 생성 집합 I와 J로부터 overcategories의 생성 집합 I_Z와 J_Z를 구성하고, 소형 객체의 방법을 사용하여 코프ibrant 생성성을 보여준다.
• 자유 함자 F와 忘却 함자 U 사이의 수반 관계를 활용하여 끼워넣기 성질을 연결하고, 모델 범주 공리계를 확인한다.
• 기존의 정리들(예: [1, 정리 11.3.2])을 적용하여 undercategories에 대해 코프ibrantly 생성된 모델 구조의 존재를 확립한 후, 이가 표준 구조와 일치함을 보인다.

실험 결과

연구 질문

• RQ1 모델 범주의 overcategory가 코프ibrantly 생성 성질을 갖기 위해 어떤 조건이 필요한가?
• RQ2 셀룰라리티를 갖는 모델 범주의 undercategory는 여전히 셀룰라리티를 갖는가?
• RQ3 기저 모델 범주가 좌측 또는 우측 프로퍼티성을 갖는다면, 그 undercategory 역시 프로퍼티성을 갖는가?
• RQ4 표준 모델 구조가 소형 객체의 방법을 통해 코프ibrantly 생성된 구조와 일치함을 보일 수 있는가?
• RQ5 잊혀진 함자와 자유 함자를 통해, over/undercategories의 끼워넣기 성질이 기저 범주에서의 성질과 어떻게 관련되는가?

주요 결과

• 기저 범주 M이 코프ibrantly 생성될 경우, overcategory (M↓Z)는 M으로부터 코프ibrant 생성성을 이어받으며, 생성 코프ibrations I_Z와 트리비얼 코프ibrations J_Z는 기저 생성 집합으로부터 구성된다.
• 기저 범주 M이 코프ibrantly 생성될 경우, undercategory (Z↓M)는 자유 함자 F로부터 유도된 생성 집합 F(I)와 F(J)를 갖는 코프ibrantly 생성된 모델 구조를 갖는다.
• 기저 범주 M이 셀룰라리티를 갖는다면, (Z↓M) 역시 셀룰라리티를 갖는다. 이는 상대적인 셀룰라리티 복합체와 유한 객체에 대한 필요한 조건을 확인함으로써 증명된다.
• 기저 범주 M이 좌측 프로퍼티, 우측 프로퍼티, 또는 프로퍼티성을 갖는다면, (Z↓M)은 동일한 프로퍼티 성질을 이어받는다. 이는 끼워넣기 및 호모토피 당김의 논증을 통해 입증된다.
• 기저 범주 M로의 忘却 함자 U를 통해 정의된 (Z↓M)의 표준 모델 구조는 소형 객체의 방법을 통해 구성된 코프ibrantly 생성된 구조와 일치한다.
• 기저 범주 M로의 忘却 함자 U: (Z↓M) → M는 필라션, 코프ibration, 약한 동치를 유지하고 반영하므로, 모델 구조가 잘 정의되어 있음을 보장한다.