[논문 리뷰] Covariant Model Structures and Simplicial Localization

Danny Stevenson|arXiv (Cornell University)|2015. 12. 15.

Homotopy and Cohomology in Algebraic Topology참고 문헌 17인용 수 14

한 줄 요약

이 논문은 단체 집합 $B$ 위의 단체 집합에 대한 공변 모델 구조와 단체 단체 카테고리 $\Delta/B$ 위의 단체 준층에 대한 국소화된 프로젝티브 모델 구조 사이, 그리고 단체 카테고리 $C[B]$ 위의 단체 준층에 대한 국소화된 프로젝티브 모델 구조 사이에 두 가지 새로운 퀼렌 동치를 수립한다. 단체 국소화를 통한 카테고리의 내부 네트워크로의 환원을 통해 루리에의 스트레이트닝 정리의 새로운 증명을 제공하며, $B$가 카테고리의 네트워크일 경우 스트레이트닝 함자 역시 퀄렌 동치임을 증명한다.

ABSTRACT

In this paper we prove that for any simplicial set $B$, there is a Quillen equivalence between the covariant model structure on $\mathbf{S}/B$ and a certain localization of the projective model structure on the category of simplicial presheaves on the simplex category $Δ/B$ of $B$. We extend this result to give a new Quillen equivalence between this covariant model structure and the projective model structure on the category of simplicial presheaves on the simplicial category $\mathfrak{C}[B]$. We study the relationship with Lurie's straightening theorem. Along the way we prove some results on localizations of simplicial categories and quasi-categories.

연구 동기 및 목표

• . $S/B$ 위의 공변 모델 구조와 $[(\Delta/B)^{\mathrm{op}}, S]$ 위의 프로젝티브 모델 구조의 국소화 사이의 퀄렌 동치를 수립한다.
• . 이 동치를 단체 카테고리 $C[B]$ 위의 단체 준층에 대한 프로젝티브 모델 구조로 확장하여 새로운 퀄렌 동치를 제공한다.
• . 단체 국소화 기법을 활용하여 $B$가 카테고리의 네트워크일 경우로 환원함으로써 루리에의 스트레이트닝 정리를 재증명한다.
• . 스트레이트닝 함자와 단체 카테고리 및 준군집의 국소화 사이의 관계를 명확히 한다.
• . $B = N(C)$일 경우, 스트레이트닝 함자 $\mathrm{St}_B$가 호모토피 카테고리의 자연 동형을 통해 퀄렌 동치임을 증명한다.

제안 방법

• . 단체 준층의 프로젝티브 모델 구조의 덱거의 보편 성질을 활용하여 $[(\Delta/B)^{\mathrm{op}}, S]$와 $S/B$ 사이의 퀄렌 수반을 구성한다.
• . $\Delta/B$ 내의 초기 정점 사상으로 구성된 넓은 부분범주 $W \subset \Delta/B$ 에 대해 $[(\Delta/B)^{\mathrm{op}}, S]$ 위의 프로젝티브 모델 구조를 국소화하여 $L_W[(\Delta/B)^{\mathrm{op}}, S]$ 를 얻는다.
• . 좌측 케일리 확장 함자 $\mathrm{Re}$ 와 단순형 함자 $\mathrm{Sing}$ 이 $L_W[(\Delta/B)^{\mathrm{op}}, S]$ 와 $S/B$ 위의 공변 모델 구조 사이에서 퀄렌 동치를 이룬다.
• . 양면 임베딩 $y/B: \Delta/B \to S/B$ 의 단체 치환 $s(y/B)$ 를 구성하고, $s_!: S/B \to [(\Delta/B)^{\mathrm{op}}, S]$ 를 연속 함자로 정의한다.
• . 수반 쌍 $(s_!, s^*)$ 가 $S/B$ (공변 모델 구조) 와 $L_W[(\Delta/B)^{\mathrm{op}}, S]$ (국소화된 프로젝티브 모델 구조) 사이에서 퀄렌 동치임을 증명한다.
• . 마지막 정점 사상 $p_B: N(\Delta/B) \to B$ 와 유도된 함자 $C[p]: C[N(\Delta/B)] \to C[B]$ 를 사용하여 모델 구조를 연결하고 스트레이트닝 정리를 카테고리의 네트워크 경우로 환원한다.

실험 결과

연구 질문

• RQ1 . $S/B$ 위의 공변 모델 구조와 $[(\Delta/B)^{\mathrm{op}}, S]$ 위의 프로젝티브 모델 구조의 국소화 사이에 퀄렌 동치가 존재하는가?
• RQ2 . $B$가 카테고리의 네트워크일 경우로 환원함으로써 단체 국소화 기법을 통해 스트레이트닝 정리를 재증명할 수 있는가?
• RQ3 . 준군집의 단체 국소화와 루리에 프레임워크 내 스트레이트닝 함자 사이의 관계는 무엇인가?
• RQ4 . 국소화된 프로젝티브 모델 구조를 지닌 $s_!: S/B \to [(\Delta/B)^{\mathrm{op}}, S]$ 가 퀄렌 동치를 유도하는가?
• RQ5 . $B = N(C)$ 일 경우, 스트레이트닝 함자 $\mathrm{St}_B$ 는 퀄렌 동치인가?

주요 결과

• . 수반 쌍 $(\mathrm{Re}, \mathrm{Sing})$ 는 국소화된 프로젝티브 모델 구조 $L_W[(\Delta/B)^{\mathrm{op}}, S]$ 와 $S/B$ 위의 공변 모델 구조 사이로 내림내림되며, 이는 정리 1.1을 증명한다.
• . 수반 쌍 $(s_!, s^*)$ 는 $S/B$ (공변 모델 구조) 와 $L_W[(\Delta/B)^{\mathrm{op}}, S]$ (국소화된 프로젝티브 모델 구조) 사이에서 퀄렌 동치를 이룬다. 이는 정리 1.2를 증명한다.
• . $C$ 가 소형 카테고리일 경우 스트레이트닝 함자 $\mathrm{St}_{N(C)}: S/N(C) \to [C[N(C)], S]$ 는 퀄렌 동치이다. 이는 명제 6.3을 증명한다.
• . 유도된 좌측 퀄렌 함자 $p_!: L_S S/N(\Delta/B) \to S/B$ 는 퀄렌 동치이다. 이는 일반적인 스트레이트닝 정리를 카테고리의 네트워크 경우로 환원한다.
• . 복합 함자 $\mathrm{St}_B \circ \phi_!$ 는 호모토피 카테고리 수준에서 $[C[B], S]$ 위의 항등함수와 자연 동형이며, 이는 퀄렌 동치임을 의미한다.
• . 자연 사상 $f: \mathrm{St}_{NC}(NC_c/)(-) \to C[NC](c, -)$ 는 프로젝티브 약한 동치이며, $\psi: C[NC] \to C$ 를 통해 DK-동치를 구성하면 호모토피 카테고리 내에서 자연 동형이 된다.