[논문 리뷰] All about the Grothendieck construction

Aaron Mazel-Gee|arXiv (Cornell University)|2015. 10. 13.

Homotopy and Cohomology in Algebraic Topology참고 문헌 16인용 수 13

한 줄 요약

이 논문은 ∞-범주 이론에서 그로텐디크 구성에 대한 종합적인 다루기를 제공하며, 코초등형 공식을 통한 코초등형의 일반화, Theorems Bn 및 Cn을 ∞-범주로의 일반화, 그리고 자연 변환과 당김에 대한 동시에 작용하는 함의적 성질을 포괄하는 글로벌 코초등형 함자 구조를 도입한다. 주요 기여는 ∞-범주에서의 공간의 ∞-범주를 나타내며, 그로텐디크 구성의 호모토피적 성격을 명확히 하는 모델 구조 (Cat∞)Th를 수립하는 것이다.

ABSTRACT

We provide, among other things: (i) a Bousfield--Kan formula for colimits in $\infty$-categories (generalizing the 1-categorical formula for a colimit as a coequalizer of maps between coproducts); (ii) $\infty$-categorical generalizations of Barwick--Kan's Theorem B$_n$ and Dwyer--Kan--Smith's Theorem C$_n$ (regarding homotopy pullbacks in the Thomason model structure, which themselves vastly generalize Quillen's Theorem B); and (iii) an articulation of the simultaneous and interwoven functoriality of colimits (or dually, of limits) for natural transformations and for pullback along maps of diagram $\infty$-categories.

연구 동기 및 목표

• 1-범주에서의 코초등형에 대한 부시엘드-칸 스타일의 공식을 ∞-범주로 일반화하여, 고전적 코어플라이저 공식을 호모토피 코초등형 구성으로 확장한다.
• 2-바윅–칸의 Theorem Bn과 드위어–칸–스미스의 Theorem Cn을 ∞-범주 및 토마손 모델 구조의 맥락으로 확장한다.
• 3-그로텐디크 구성과 린처스러운 자연 변환을 통한 글로벌 함의적 성질을 형식화하여, 완비 ∞-범주에서의 코초등형의 동시에 작용하는 함의적 성질을 기술한다.
• 4-∞-범주인 (Cat∞)Th에 대해 토마손 모델 구조를 구성하여, 공간의 ∞-범주를 나타내며 군대화 완료와 일치시킨다.

제안 방법

• 1-그로텐디크 구성의 모델 독립적 기초로, 쿠아시카테고리에서의 풀어내림 구성(uncleaving construction)을 사용한다.
• 2-Cat∞에 대한 토마손 모델 구조를 적용하여, 군대화 완료를 통한 공간의 ∞-범주를 나타낸다.
• 3-다이어그램 범주에 대한 자연 변환과 당김에 대해 함의적 성질을 포함하는 글로벌 코초등형 함자 Lax(C) → C를 구성한다.
• 4-외부 홀 인클루전에 대한 올림 성질을 통해 (Cat∞)Th 내의 분리형 사상들을 특성화하며, 이러한 사상들이 등가성과 고차 호모토피적 구조를 유지함을 보인다.
• 5-군대화 완료에서 등가성을 유도하는 (Cat∞)Th 내의 분리형 사상이 실제로 등가임을 증명하여 핵심 완비성 결과를 확립한다.
• 6-고전적 정리의 ∞-범주적 해석(예: 퀼렌의 정리 B)을 활용하여, 호모토피 범주 내에서의 섬유와 당김을 기술한다.

실험 결과

연구 질문

• RQ1 1-부시엘드-칸의 코초등형 공식은 1-범주에서 ∞-범주로 어떻게 일반화될 수 있는가?
• RQ2 2-호모토피 당김과 군대화 완료의 맥락에서, 바윅–칸의 Theorem Bn과 드위어–칸–스미스의 Theorem Cn에 대응하는 ∞-범주적 해석은 무엇인가?
• RQ3 3-다이어그램 ∞-범주에 대한 자연 변환과 당김에 대해 동시에 작용하는 코초등형의 함의적 성질은 어떻게 형식화할 수 있는가?
• RQ4 4-∞-범주인 (Cat∞)Th에 대한 토마손 모델 구조의 구조는 무엇이며, 고전적 토마손 모델 구조 Cat와의 관계는 어떠한가?
• RQ5 5-함수자가 ∞-범주적 맥락에서 Bn 또는 Cn 조건을 만족시키기 위해 어떤 조건을 가져야 하는가?

주요 결과

• 1-논문은 ∞-범주에서의 코초등형에 대한 부시엘드-칸 공식을 수립하여, 1-범주에서의 고전적 코어플라이저 공식을 호모토피 코초등형 구성으로 일반화한다.
• 2-그로텐디크 구성에 대한 ∞-범주적 일반화된 Theorems Bn 및 Cn을 증명하여, Bn 또는 Cn 조건을 만족하는 함자에 의한 군대화 완료의 섬유와 당김을 기술한다.
• 3-글로벌 코초등형 함자 Lax(C) → C를 구성하여, 다이어그램 범주에 대한 자연 변환과 당김에 의한 코초등형의 함의적 성질을 모두 포함한다.
• 4-(Cat∞)Th 모델 구조가 공간의 ∞-범주를 나타내며, 그 약한 등가성은 군대화 완료에서 등가성을 유도하는 사상들로 정확히 결정됨을 보였다.
• 5-(Cat∞)Th 내의 분리형 사상은 외부 홀 포함에 대한 올림 성질로 특성화되며, 군대화 완료에서 등가성을 유도하는 모든 분리형 사상이 실제로 등가임을 증명하였다.
• 6-(Cat∞)Th의 구성은 고전적 토마손 모델 구조를 Cat에서 Cat∞로 옮기는 데 있어 핵심적인 장벽을 해결한다. 이는 고전적 모델에서 오직 순서 집합만이 이중-이중-범주적임에 반해, ∞-군대화가 이중-범주적 객체로 포함되기 때문이다.