[논문 리뷰] Fibrations and homotopy colimits of simplicial sheaves

Charles Rezk|ArXiv.org|1998. 11. 06.

Homotopy and Cohomology in Algebraic Topology참고 문헌 7인용 수 30

한 줄 요약

이 논문은 그로텐디크 사이트 위의 단순 체인 층의 범주에서 호모토피 당김이 호모토피 합집합 위에 분배된다는 것을 증명한다. 이는 위상공간에 대한 푸프의 결과를 일반화한 것이다. 논문은 '예리한 사상'(sharp maps)이라는 개념을 도입한다. 이는 준-섬가의 호모토피 이론적 일반화로서, 역상 함자에 의해 보존되고, 접합 성질을 갖는다. 이러한 성질을 통해 단순 체인 층에서 소형 객체 방법과 모델 범주 기법을 사용하여 분배 법칙을 증명할 수 있다.

ABSTRACT

We show that homotopy pullbacks of sheaves of simplicial sets over a Grothendieck topology distribute over homotopy colimits; this generalizes a result of Puppe about topological spaces. In addition, we show that inverse image functors between categories of simplicial sheaves preserve homotopy pullback squares. The method we use introduces the notion of a sharp map, which is analogous to the notion of a quasi-fibration of spaces, and seems to be of independent interest.

연구 동기 및 목표

• 위상공간에서의 호모토피 당김과 합집합에 대한 푸프의 결과를 그로텐디크 사이트 위의 단순 체인 층의 맥락으로 일반화한다.
• 기저 변경과 접합에 대해 잘 작동하는 단순 체인 층에 대한 '예리한 사상'—준-섬가의 호모토피 이론적 일반화—의 개념을 도입하고 이를 연구한다.
• 단순 체인 층의 범주 간 역상 함자들이 호모토피 카르테시안 정사각형을 보존한다는 것을 보여주며, 이를 통해 층화의 개념을 호모토피 맥락으로 확장한다.
• 소형 객체 방법을 사용하여 단순 체인 층에 모델 범주 구조를 수립하고, 분해 조건을 통해 분해를 특성화한다.
• 예리한 사상이 호모토피 합집합에 대해 보존됨을 증명하며, 이는 주요 분배 법칙 결과를 이끌어내는 데 핵심이 된다.

제안 방법

• 기저 변경이 항상 호모토피 카르테시안 정사각형을 유도하는 사상으로서 '예리한 사상'을 정의하여, 위상공간에서의 준-섬가를 일반화한다.
• 단순 체인 층의 모델 범주에서 사상을 코프리미티브와 프리미티브로 분해하기 위해 소형 객체 방법을 사용한다.
• 생성 약한 코프리미티브의 형태인 $yb \times \Lambda^k[n] \to yb \times \Delta[n]$에 대해 오른쪽 옮김 성질을 갖는 사상으로서 약한 프리미티브를 특성화한다.
• 층 토포스의 부울성 성질을 활용하여 단순 체인 층의 필터링을 구성하고, 옮김 성질을 증명한다.
• 약한 코프리미티브의 클래스가 생성 약한 코프리미티브에 沿해 푸시아웃의 전순서 합성의 재진정화의 재진정화임을 증명한다.
• 예리한 사상의 접합 성질을 필터링된 합집합에서의 옮김 추론을 통해 증명함으로써, 이들이 호모토피 합집합에 대해 보존됨을 보여준다.

실험 결과

연구 질문

• RQ1 그로텐디크 토포스 위의 단순 체인 층의 범주에서 호모토피 당김이 호모토피 합집합 위에 분배되는가?
• RQ2 준-섬가의 개념을 단순 체인 층에 일반화할 수 있는가? 이 경우, 패치링과 기저 변경과 같은 핵심 호모토피 성질이 유지되는가?
• RQ3 단순 체인 층의 범주 간 역상 함자들이 호모토피 카르테시안 정사각형을 보존하는가?
• RQ4 단순 체인 층의 모델 범주에서 함수적 분해를 생성하는 소형 객체 방법이 존재하는가?
• RQ5 예리한 사상은 호모토피 합집합에 대해 보존되는가? 만약 그렇다면, 이는 당김이 합집합 위에 분배됨을 어떻게 이끌어내는가?

주요 결과

• 단순 체인 층에서 호모토피 당김은 호모토피 합집합 위에 분배된다: 만약 $Y$ 가 호모토피 합집합 다이어그램이고 모든 정사각형 (1.2) 가 호모토피 카르테시안이라면, $X$ 도 호모토피 합집합 다이어그램이다.
• 역상 함자 $p^*: s\mathcal{E}' \to s\mathcal{E}$ 는 호모토피 카르테시안 정사각형을 보존하므로, 층화는 호모토피 당김을 보존한다.
• 모든 기저 변경이 호모토피 카르테시안 정사각형을 유도하는 사상인 '예리한 사상'은 호모토피 합집합에 대해 보존되며, 이는 분배 법칙 결과를 증명하는 데 핵심적이다.
• 단순 체인 층에 대한 모델 범주 구조는 소형 객체 방법을 통해 수립되며, 분해는 $yb \times \Lambda^k[n] \to yb \times \Delta[n]$ 에 대해 옮김 성질을 갖는 것으로 특성화된다.
• $s{\operatorname{Sh}}{\mathcal{B}}$ 에서의 약한 코프리미티브의 클래스는 생성 약한 코프리미티브에 대한 푸시아웃의 전순서 합성의 재진정화의 재진정화로 정확히 일치한다.
• 예리한 사상은 호모토피 일관성 다이어그램을 따라 접합될 수 있으며, 이는 위상공간에서의 준-섬가의 패치링 성질을 일반화한다.