[논문 리뷰] Reedy Model Structures in Families

Edouard Balzin|arXiv (Cornell University)|2018. 03. 02.

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

한 줄 요약

이 논문은 Reedy 범주 위의 모델 범주의 가족의 절단들에 대한 Reedy 모델 구조가 존재하는 조건을 확립한다. '정규화된 절단'의 개념을 도입하고 상대 래치잉 및 매칭 사상들을 활용하여, $(\infty,1)$-범주적 절단을 엄밀히 모델링하는 모델 구조를 구성한다. 이는 고전적 Reedy 모델 구조를 가족 모델 범주로 일반화한다.

ABSTRACT

Given a family of model categories $\cal E o \cal R$ over a Reedy category, we outline a set of conditions which lead to the existence of a Reedy model structure on the category of sections ${\sf Sect}(\cal R, \cal E)$. We prove that for a wide class of examples, this model structure serves as a strictification of the $(\infty,1)$-category of sections of the higher-categorical family associated to $\cal E o \cal R$.

연구 동기 및 목표

• 모델 범주에 대한 함자 범주에서의 고전적 Reedy 모델 구조를 Reedy 범주를 인덱스로 하는 모델 범주의 가정으로 확장하는 것.
• 모델 범주 가정의 절단 범주를 정의하고 연구하여, 모델 범주로의 함자 개념을 일반화하는 것.
• 절단에 대해 Reedy 유형의 모델 구조를 구성하여 $(\infty,1)$-범주적 절단을 엄밀히 모델링하고, 호모토피적 일관성을 보장하는 것.
• 이 모델 구조가 존재하고 가정의 고차 범주적 구조와 호환되는 조건을 제공하는 것.
• Quillen 프레시프 및 단순 복합체 위의 정규 모델 구조와 같은 고전적 구성의 일반화

제안 방법

• Reedy 범주 $\mathcal{R}$ 위의 가정 $\mathcal{E} \to \mathcal{R}$에 대해 절단 범주 $\mathsf{Sect}(\mathcal{R}, \mathcal{E})$를 도입하며, 각 $x \in \mathcal{R}$에 대해 $\mathcal{E}(x)$는 모델 범주이다.
• 비정규 객체에서 래치잉 사상이 사라지도록 요구함으로써 '정규화된 절단'을 정의하여 Reedy 구조와의 호환성을 확보한다.
• 상대 래치잉 및 매칭 사상들을 사용하여 $\mathsf{Sect}_N(\mathcal{X}, \mathcal{E})$에 모델 구조를 구성하며, 매칭 사상이 $\mathcal{E}(x)$에서의 피브레이션임을 조건으로 하여 피브레이션을 정의한다.
• 도수에 따라 귀납적으로 인수 분해를 구성하며, 각 섬유 $\mathcal{E}(x)$에서의 인수 분해 존재성과 $\mathcal{X}$의 Reedy 구조를 활용한다.
• 비정규 객체의 부분범주에 대해 Reedy 모델 구조 기계를 적용하고, 쌍대곱과 동형을 통해 정규 객체로 확장한다.
• 레벨별로 모델 구조의 끼워넣기 및 인수 분해 공리를 증명하며, 섬유별 모델 구조로 환원하고 Reedy 범주의 유일한 인수 분해 성질을 활용한다.

실험 결과

연구 질문

• RQ1 Reedy 범주 위의 모델 범주의 가정의 절단 범주에 대해 Reedy 모델 구조가 존재하는 조건은 무엇인가?
• RQ2 모델 범주의 가정의 절단에 대해 $(\infty,1)$-범주가 Quillen 모델 구조에 의해 엄밀히 모델링될 수 있는가?
• RQ3 정규화된 절단은 Reedy 구조와의 호환성 및 호모토피적 일관성 확보에 어떤 역할을 하는가?
• RQ4 절단 범주 내의 상대 래치잉 및 매칭 사상은 개별 섬유의 모델 구조와 어떻게 관련되는가?
• RQ5 모델 범주가 인덱스 범주에 따라 변하는 가정에 대해, $\mathsf{Fun}(\mathcal{R}, \mathcal{M})$에 대한 고전적 Reedy 모델 구조를 일반화할 수 있는가?

주요 결과

• 가정 $\mathcal{E} \to \mathcal{X}$가 각 섬유에서 극한과 쌍대극한의 존재를 포함하여 적절한 조건을 만족할 경우, 정규 절단 범주 $\mathsf{Sect}_N(\mathcal{X}, \mathcal{E})$에 Reedy 모델 구조가 존재한다.
• $\mathsf{Sect}_N(\mathcal{X}, \mathcal{E})$의 모델 구조는 약한 동치와 피브레이션을 개체별로 정의하며, 비정규 $x$에 대해 피브레이션은 $\mathcal{E}(x)$에서의 상대 매칭 사상이 피브레이션임을 조건으로 한다.
• $\mathsf{Sect}_N(\mathcal{X}, \mathcal{E})$의 코피브레이션은 정확히 Reedy 코피브레이션이며, 트ivial 코피브레이션은 상대 래치잉 사상이 $\mathcal{E}(x)$에서 트ivial 코피브레이션이 되는 것이다.
• 포함사상 $\mathsf{Sect}_N(\mathcal{X}, \mathcal{E}) \to \mathsf{Sect}(\mathcal{X}, \mathcal{E})$는 극한과 쌍대극한을 보존하며, 이 포함사상에 의해 모델 구조가 생성된다.
• 정규 객체 $x$에 대해 래치잉 및 매칭 범주는 자명하므로, 상대 래치잉 사상은 동형이 되어 끼워넣기 조건이 단순화된다.
• $\mathsf{Sect}_N(\mathcal{X}, \mathcal{E})$에서의 사상 인수 분해는 도수에 따라 귀납적으로 구성되며, 각 섬유 $\mathcal{E}(x)$에서의 인수 분해와 Reedy 구조의 호환성을 활용한다.