[논문 리뷰] A Homotopy Theory for Stacks

Sharon Hollander|ArXiv.org|2001. 10. 22.

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

한 줄 요약

이 논문은 호모토피 한계를 사용하여 스택을 호모토피 층으로서의 군oids의 층으로 특성화하는 것으로, 스택에 대한 호모토피 이론적 기반을 구축한다. 스택은 호모토피 층으로서의 군oids로 정의되며, 이는 내림내림 조건을 형식화하기 위해 호모토피 한계를 사용한다. 이 논문은 스택이 프레셰브의 프레셰브의 군oids에서 피브린트 객체가 되는 Quillen 동치 모델 범주 구조를 구성한다. 이는 고전적 스택 구성 방식을 호모토피 이론 내에서 통합한다.

ABSTRACT

We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare different definitions of stacks and show that they lead to Quillen equivalent model categories. In addition, we show that these model structures are Quillen equivalent to the $S^2$-nullification of Jardine's model structure on sheaves of simplicial sets on $\cC$.

연구 동기 및 목표

• 스택을 호모토피 층으로서의 군oids로 재정의함으로써, 스택에 대한 호모토피 이론적 해석을 제공한다.
• 스택 내의 동형류가 고전적 층 조건을 만족하지 못하는 문제를 해결하기 위해, 일반적인 한계 대신 호모토피 한계를 사용한다.
• 군oids의 범주 위에 피브린트된 범주와 프레셰브의 군oids 위에 모델 범주 구조를 구성하며, 여기서 약한 동치는 군oids의 피브린트 또는 개체별 동치이다.
• 결과적으로 얻어진 모델 범주들이 Quillen 동치임을 보여주어, 스택에 대한 서로 다른 범주적 프레임워크 간의 번역을 가능하게 한다.
• 스택, 프레셰브, 군oids의 층에 대한 국소화된 모델 구조가 Quillen 동치임을 보이며, 여기서 스택은 피브린트 객체이다.

제안 방법

• 스택을 호모토피 한계 조건을 통해 정의한다: 모든 커버 $ \{U_i \to X\} $에 대해, 프레셰브 $ F $가 스택이 되는 것은 $ F(X) \simeq \operatorname{holim}(\prod F(U_i) \rightrightarrows \prod F(U_{ij}) \leftarrow \cdots) $ 를 만족함과 동치이다.
• $ \mathcal{Grpd}/\mathcal{C} $ 와 $ P(\mathcal{C}, \mathcal{Grpd}) $ 위에 약한 동치가 군oids의 피브린트 동치 또는 개체별 동치인 모델 범주 구조를 구성한다.
• 범주 위에 피브린트된 군oids와 프레셰브의 군oids 사이의 수반 쌍 $ (\Gamma, p) $ 를 통해, 범주 위에 피브린트된 군oids와 프레셰브의 군oids의 모델 범주들 간의 Quillen 동치를 확립한다.
• 모델 구조를 국소화하여, 스택이 정확히 피브린트 객체가 되는 새로운 모델 범주를 얻는다.
• 프레셰브의 군oids 위의 국소화된 모델 구조가 Jardine의 단순 복합체 군oids의 층에 대한 모델 구조의 $ S^2 $-노울리피케이션과 Quillen 동치임을 보인다.
• 범주에 대한 호모토피 이론을 사용하여, $ \mathcal{Cat} $ 내에서 단사적 개체에 대한 사상에 의한 전사적 동치의 합성체가 조건을 만족할 경우 호모토피 쐐기의 구성에 기여하는 기술적 결과를 증명한다.

실험 결과

연구 질문

• RQ1 스택은 호모토피 한계를 사용하여 내재적으로 군oids의 호모토피 층으로 특성화될 수 있는가?
• RQ2 범주 위에 피브린트된 군oids와 릿지 프레셰브를 통한 고전적 스택 정의가 호모토피 이론적 프레임워크 내에서 Quillen 동치인가?
• RQ3 스택이 피브린트 객체가 되는 프레셰브의 군oids 위에 모델 범주 구조가 존재하는가?
• RQ4 스택의 모델 범주가 Jardine의 단순 복합체 군oids의 층에 대한 모델 구조의 $ S^2 $-노울리피케이션과 Quillen 동치인가?
• RQ5 스택 구성의 호모토피 이론적 해석(예: 2-풀백, 스택화)이 함자적이고 일관성 있게 구성될 수 있는가?

주요 결과

• 스택은 정확히 군oids의 호모토피 층이다: 모든 커버 $ \{U_i \to X\} $에 대해, 프레셰브 $ F $가 스택이 되는 것은 $ F(X) \simeq \operatorname{holim}(\prod F(U_i) \rightrightarrows \prod F(U_{ij}) \leftarrow \cdots) $ 를 만족함과 동치이다.
• $ \mathcal{Grpd}/\mathcal{C} $ 위의 모델 범주 구조에서 약한 동치가 피브린트 동치인 경우, 스택은 피브린트 객체가 된다.
• 범주 위에 피브린트된 군oids와 프레셰브의 군oids 사이의 수반 쌍 $ (\Gamma, p) $ 는 Quillen 동치를 이루며, 이는 호모토피 이론의 동치를 보여준다.
• $ \mathcal{Grpd}/\mathcal{C}_L $, $ P(\mathcal{C}, \mathcal{Grpd})_L $, $ Sh(\mathcal{C}, \mathcal{Grpd})_L $ 위의 국소화된 모델 구조는 모두 Quillen 동치이며, 여기서 스택은 피브린트 객체이다.
• 프레셰브의 군oids 위의 모델 구조는 Jardine의 단순 복합체 군oids의 층에 대한 모델 구조의 $ S^2 $-노울리피케이션과 Quillen 동치이다.
• $ \mathcal{Cat} $ 내에서 단사적 개체에 대한 사상에 의한 전사적 동치의 합성체는 여전히 전사적 동치를 유지한다. 이는 호모토피 쐐기 구성에 있어 핵심적인 기술적 결과이다.