[논문 리뷰] The theory and practice of Reedy categories

Emily Riehl, Dominic Verity|arXiv (Cornell University)|2013. 04. 25.

Homotopy and Cohomology in Algebraic Topology참고 문헌 4인용 수 26

한 줄 요약

이 논문은 가중 쌍대원소와 리브니츠 구성법을 사용하여 호모토피 이론에서 리디 케이테고리의 역할을 간결하고 접근하기 쉬운 방식으로 서술한다. 기하적 실현과 단순형 모델 범주 내의 총합화가 세포적 표현과 뼈대 필터링을 통해 호모토피 불변임을 입증하며, 호모토피 쌍대원소와 원소를 통합된 프레임워크로 이해할 수 있도록 한다.

ABSTRACT

The goal of this paper is to demystify the role played by the Reedy category axioms in homotopy theory. With no assumed prerequisites beyond a healthy appetite for category theoretic arguments, we present streamlined proofs of a number of useful technical results, which are well known to folklore but difficult to find in the literature. While the results presented here are not new, our approach to their proofs is somewhat novel. Specifically, we reduce the much of the hard work involved to simpler computations involving weighted colimits and Leibniz (pushout-product) constructions. The general theory is developed in parallel with examples, which we use to prove that familiar formulae for homotopy limits and colimits indeed have the desired properties.

연구 동기 및 목표

• 리디 범주 공리계와 그 호모토피 이론에서의 기초적 역할을 명확히 하여 신비로움을 제거한다.
• 문헌에서 자주 찾아보기 어려운 호모토피 쌍대원소와 원소에 대한 고전 결과들을 접근하기 쉽게 간결하게 증명한다.
• 기하적 실현과 단순형 모델 범주 내 총합화가 세포 필터링을 통해 호모토피 불변임을 입증한다.
• 가중 쌍대원소와 요나다 임bedding의 관점에서 뼈대, 쌍대뼈대, 기하적 실현을 통합적으로 다룬다.
• 조합론적이고 범주론적인 도구를 사용하여 리디 범주로 인덱싱된 다이어그램의 호모토피적 행동을 이해할 수 있는 일관된 프레임워크를 제시한다.

제안 방법

• 복잡한 호모토피적 추론을 줄이기 위해 중심 기술 도구로 가중 쌍대원소와 리브니츠(푸시아웃-곱) 구성법을 사용한다.
• hom-이중함수 $\Delta: \mathbf{\Delta}^{\mathrm{op}} \times \mathbf{\Delta} \to \mathrm{Set}$ 의 부분함수를 통해 $n$-뼈대와 $n$-쌍대뼈대를 정의한다. 특히 $\Delta^n = \Delta(-,[n])$ 과 $\partial\Delta^n = {}_{n-1}\Delta(-,[n])$ 로 정의한다.
• 기하적 실현의 세포 복합체 표현을 푸시아웃 형태 $\Delta^n \ast L_nX \cup \partial\Delta^n \ast X_n \to \Delta^n \ast X_n$ 를 사용하여 단순형 대상의 필터링을 구성한다.
• 공요나다 보조정리와 가중 쌍대원소의 강화 연속성(가중 쌍대원소의 강화 연속성)을 적용하여, 단순형 대상의 기하적 실현이 그 뼈대 필터링의 쌍대원소와 동형임을 보인다.
• 단순형 모델 범주에서의 'SM7' 공리를 활용하여 필터링 내의 푸시아웃과 순차적 쌍대원소의 호모토피 불변성을 입증한다.
• 동일한 프레임워크를 쌍대적으로 적용하여 쌍대단순형 대상에 대해 총합화를 위한 포스트니코프 타워 유사 표현을 구성한다.

실험 결과

연구 질문

• RQ1 리디 범주 공리계는 어떻게 체계적으로 이해하고 호모토피적 구성의 단순화에 응용할 수 있는가?
• RQ2 가중 쌍대원소와 리브니츠 구성법이 기하적 실현의 호모토피 불변성을 증명하는 데 어떤 정확한 역할을 하는가?
• RQ3 단순형 대상의 뼈대 필터링은 어떤 방식으로 약한 동치에 대해 호모토피 불변성을 보장하는 세포적 표현을 제공하는가?
• RQ4 요나다 임bedding과 강화 연속성은 어떻게 기하적 실현을 쌍대원소로 식별하는 데 기여하는가?
• RQ5 동일한 프레임워크를 쌍대화하여 단순형 모델 범주 내 쌍대단순형 대상의 총합화에 대해 유사한 결과를 도출할 수 있는가?

주요 결과

• 완비 범주 내 단순형 대상의 기하적 실현은 형태 $\Delta^n \ast L_nX \cup \partial\Delta^n \ast X_n \to \Delta^n \ast X_n$ 의 푸시아웃을 통해 세포 복합체 표현을 갖는다. 이는 실현의 필터링을 유도한다.
• 단순형 모델 범주 내에서 단순형 대상의 기하적 실현은 뼈대 필터링이 코프라브로지션으로 구성되고 쌍대원소가 약한 동치를 유지하므로 호모토피 불변이다.
• 단순형 모델 범주 내 쌍대단순형 대상의 총합화는 강화한 극한과 리브니츠 구성법으로 구성된 이중 포스트니코프 타워 유사 필터링 덕분에 호모토피 불변이다.
• 단순형 집합 $Y$ 와 단순형 범주 내 객체 $M$ 에 대해 등식 $\Delta \circledast_{\mathbf{\Delta}^{\mathrm{op}}} (Y \ast M) \cong Y \ast M$ 이 성립하며, 이는 가중 쌍대원소를 단순형 텐서곱과 연결한다.
• 범주 $\mathcal{M}^{\mathbf{\Delta}^{\mathrm{op}}}$ 에서의 리디 모델 구조는 뼈대 필터링과 호환되며, 리디 필터링된 객체의 피브란트 교체는 총합화에서 약한 동치를 유지한다.
• SM7 공리에 의해 보장되는 코프라브로지션의 푸시아웃과 순차적 쌍대원소의 호모토피 불변성에 기반하여 기하적 실현의 호모토피 불변성이 도출된다.