[논문 리뷰] Grothendieck's Homotopy Hypothesis

Ilias Amrani|arXiv (Cornell University)|2011. 12. 06.

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

한 줄 요약

이 논문은 단순 위상수학적 범주(sCat_Top)에 대해 코프리브리antly 생성되고 왼쪽으로만 적절하며 셀룰러한 모델 구조를 수립하여, 모든 사상이 호모토피 동치인 위상수학적 범주인 ∞-군화(∞-groupoids)의 범주가 단순 집합(simplicial sets)과 퀼렌 동치(Quillen equivalent)임을 증명한다. 이 동치는 그로텐디크의 호모토피 가설을 확인하는 것으로, ∞-군화가 모든 호모토피 유형을 묘사함을 시사한다.

ABSTRACT

We construct a "diagonal" cofibrantly generated model structre on the category of simplicial objects in the category of topological categories sCat_{Top}, which is the category of diagrams [Δ^{op}, Cat_{Top}]. Moreover, we prove that the diagonal model structures is left proper and cellular. We also prove that the category of \infty-groupoids (the full subcategory of topological categories) has a cofibrantly generated model structure and is Quillen equivalent to the model category of simplicial sets, which proves the Grothendieck's homotopy hypothesis.

연구 동기 및 목표

• 단순 위상수학적 범주(sCat_Top)의 범주에 대해 코프리브리antly 생성되고 왼쪽으로만 적절하며 셀룰러한 모델 구조를 구성하는 것.
• 약한 동치가 일관된 네르브(coherent nerve)와 ∞-군화의 실현(realization)을 통해 호모토피 유형을 탐지하는 대각 모델 구조를 정의하고 특성화하는 것.
• Cat_Top 내의 ∞-군화의 전체 부분범주가 Dwyer-Kan 동치를 약한 동치로 가지는 코프리브리antly 생성된 모델 구조를 갖는다는 것을 증명하는 것.
• ∞-군화의 범주와 단순 집합의 범주 사이의 퀄렌 동치를 확립하여 그로텐디크의 호모토피 가설을 증명하는 것.
• 프레임워크를 n-군화로 확장하여 호모토피 범주에서 n-형태(n-types)가 n-군화와 동치임을 보이는 것.

제안 방법

• 일관된 네르브와 실현 함자를 통해 약한 동치와 필버레이션을 끌어올림으로써 sCat_Top에 대각 모델 구조를 구성하는 것.
• 칸과 준범주(quasi-category)의 모델 구조를 단순 집합에서 유지하는 데 왼쪽 퀄렌 함자 $k^!$를 사용하여 호모토피 유형이 유지됨을 보장하는 것.
• 이행 성질과 소형 객체의 근사법을 사용하여 대각 모델 구조의 왼쪽 적절성과 셀룰러성을 증명하는 것.
• 위상수학적 범주에 대한 ∞-군화를 그 코어의 Dwyer-Kan 국소화로 정의하고, 이 국소화의 일관된 네르브가 호모토피 유형을 복원함을 보이는 것.
• 함자 $\Theta: \mathbf{sSet} \to \mathbf{Cat}_{\mathbf{Top}}$ 와 $\Psi: \mathbf{Cat}_{\mathbf{Top}} \to \mathbf{sSet}$ 를 통해 ∞-군화와 단순 집합 사이의 퀄렌 수반관계를 수립하고, 이것이 퀄렌 동치임을 증명하는 것.
• 특히 $k^! \widetilde{N}_\bullet \mathrm{sing} \mathbf{C} \to \widetilde{N}_\bullet \mathrm{sing} \mathbf{C}$ 가 여유 있는 필버레이션임을 이용하여 수반관계가 호모토피 범주에 대해 동치를 유도함을 보이는 것.

실험 결과

연구 질문

• RQ1 단순 위상수학적 범주(sCat_Top)의 범주에 대해 코프리브리antly 생성되고 왼쪽으로만 적절하며 셀룰러한 모델 구조를 정의할 수 있는가?
• RQ2 sCat_Top에 대한 대각 모델 구조는 표준적인 단순 집합의 모델 구조와 퀄렌 동치인가?
• RQ3 Cat_Top 내의 ∞-군화의 범주는 Dwyer-Kan 동치를 약한 동치로 가지는 모델 구조를 갖는가?
• RQ4 ∞-군화와 단순 집합 사이의 수반관계가 퀄렌 동치인가. 이는 그로텐디크의 호모토피 가설을 증명하는가?
• RQ5 n-형태의 호모토피 이론은 n-군화의 호모토피 이론으로 복원될 수 있는가?

주요 결과

• 단순 위상수학적 범주(sCat_Top)에 대해 코프리브리antly 생성되고 왼쪽으로만 적절하며 셀룰러한 모델 구조가 존재한다. 이를 대각 모델 구조라 한다.
• 대각 모델 구조는 맵 $\mathbf{A}_\bullet \to \mathbf{B}_\bullet$ 가 약한 동치일 조건이 $\mathrm{diag}~{}\widetilde{N}_\bullet \mathbf{A}_\bullet' \to \mathrm{diag}~{}\widetilde{N}_\bullet \mathbf{B}_\bullet'$ 가 단순 집합에서 약한 동치임과 동치임을 만족한다.
• 모든 사상이 호모토피 동치인 위상수학적 범주인 ∞-군화의 범주는 Dwyer-Kan 동치를 약한 동치로 가지는 코프리브리antly 생성된 모델 구조를 갖는다.
• 함자 $\Theta$ 와 $\Psi$ 에 의해 유도된 ∞-군화와 단순 집합 사이의 수반관계는 퀄렌 동치이며, 이는 그로텐디크의 호모토피 가설을 증명한다.
• n-형태의 호모토피 범주는 n-군화의 호모토피 범주와 동치이며, 이는 호모토피 가설을 n-군화로 일반화한 것이다.
• sCat_Top에 대한 대각 모델 구조는 단순 ∞-군화의 범주로 제한되었을 때도 여전히 퀄렌 동치인 모델 구조를 가지며, 이는 왼쪽으로만 적절하고 셀룰러하다.