[논문 리뷰] Homotopy theory of small diagrams over large categories

Boris Chorny, W. G. Dwyer|ArXiv.org|2006. 07. 05.

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

한 줄 요약

이 논문은 대규모 완비(simplicial) 카테고리 $Δ$ 에서 단순형 집합으로의 소형 함자(category of small functors)의 카테고리에 Quillen 모델 구조를 수립한다. 이는 소형 함자를 통해 체계적 집합 이론 문제를 해결하며, 더 강력한 보편 성질을 가진 호모토피 국소화 함자를 구성함으로써, 단순형 집합 내에서 $A$-포스트니코프 타워의 완전한 함자적 구성법을 가능하게 한다.

ABSTRACT

Let $D$ be a large category which is cocomplete. We construct a model structure (in the sense of Quillen) on the category of small functors from $D$ to simplicial sets. As an application we construct homotopy localization functors on the category of simplicial sets which satisfy a stronger universal property than the customary homotopy localization functors do.

연구 동기 및 목표

• 크기 문제로 인해 집합이 되지 않는 대규모 카테고리에서 단순형 집합으로의 함자에 대한 호모토피 이론을 개발하는 것.
• 자연 변환의 적절한 클래스가 크기 문제로 인해 적절하지 않게 되는 기초적 문제를 해결하기 위해, 잘 다뤄지는 카테고리를 이룰 수 있는 소형 함자로 제한하는 것.
• 만일 $\mathcal{D}$ 가 완비이면, 소형 함자 카테고리 $\mathcal{S}^{\mathcal{D}}_{\text{sm}}$ 에 모델 카테고리 구조를 구성하는 것.
• 이 구조를 활용하여 표준 구조를 초월하는 더 강력한 보편 성질을 가진 호모토피 국소화 함자를 구성하는 것.
• 이러한 국소화를 활용하여 임의의 공간 $A$ 에 대해 완전한 함자적 $A$-포스트니코프 타워를 구성하는 것. 이는 고전적 무어 구조법을 일반화한다.

제안 방법

• 소형 함자를 표현 가능 함자들의 소형 가중 쌍대합으로 정의함으로써, 색인 카테고리의 크기 문제에도 불구하고 잘 정의된 카테고리가 되도록 보장하는 것.
• 일반화된 소형 객체 기법을 사용하여 $\mathcal{S}^{\mathcal{D}}_{\text{sm}}$ 에 모델 구조를 구성하며, 약한 동치와 필라션은 생성 맵들의 집합에 대한 끼워넣기 성질로 정의한다.
• 일반화된 소형 객체 기법을 사용하여 항등 함자 $\mathrm{Id} \to *$ 를 함자 $\widetilde{K}$ 를 통해 인수화하며, 이는 국소화 함자 $L_f$ 가 된다.
• 건설 과정을 통해 $\widetilde{K}$ 가 $f$-국소화이자 호모토피 아이디포텐트임을 보장하며, 모든 $C$ 에 대해 $\widetilde{K}(C)$ 는 필라션과 $f$-국소화 성질을 갖는다.
• 함자적 보편 성질을 활용하여, nullification 함자 $P_{\Sigma^n A}$ 에 대해 자연 변환 $\zeta_n: L_{f_n} \to L_{f_{n-1}}$ 를 정의함으로써, 함자적 타워를 구성한다.
• 이를 $A = S^0$ 에 적용하여 고전적 포스트니코프 타워의 새로운 함자적 형태를 회복한다.

실험 결과

연구 질문

• RQ1 크기 문제로 인해 집합이 되지 않는 대규모 카테고리 $\mathcal{D}$ 에서 단순형 집합으로의 소형 함자 카테고리에 모델 카테고리 구조를 정의할 수 있는가?
• RQ2 표준 국소화보다 더 강력한 보편 성질을 가진 호모토피 국소화 함자를 구성할 수 있는가? 이는 전체 국소화 과정에서의 함자성 보장에 기여한다.
• RQ3 입력 공간 $X$ 에 대해 함자적인 포스트니코프 타워를 구성할 수 있는가? 즉, 타워 자체가 함자적일 뿐 아니라, 전체 과정이 함자적일 수 있는가?
• RQ4 $\mathcal{S}^{\mathcal{S}}_{\text{sm}}$ 에 정의된 모델 구조는 등가적 모델 구조나 프로-공간(pro-spaces)의 기존 구조와 어떻게 관련이 있는가?
• RQ5 국소화 함자의 향상된 함자성은 스펙트럼과 같은 안정 카테고리로 확장될 수 있는가? 이를 통해 크로마틱 분해를 도출할 수 있는가?

주요 결과

• 모든 완비 단순형 카테고리 $\mathcal{D}$ 에 대해 소형 함자 카테고리 $\mathcal{S}^{\mathcal{D}}_{\text{sm}}$ 에 Quillen 모델 구조를 구성하였으며, 이는 기초적인 크기 문제를 해결한다.
• 만일 $\mathcal{D}$ 가 소형이면 이 모델 구조는 표준 프로젝티브 모델 구조로 축소되나, 일반적으로 함자적 인수화를 갖지 않는다.
• 소형 객체 기법을 통해 구성된 국소화 함자 $L_f$ 는 $f$-국소화이며, 호모토피 아이디포텐트이면서, 표준 국소화보다 더 강력한 보편 성질을 갖는다.
• $n \geq 0$ 에 대해 각각 $f_n: \Sigma^n A \to *$ 이면, nullification 함자 $P_{\Sigma^n A} = L_{f_n}$ 는 단순형 집합에서의 함자 $\mathcal{S} \to \mathcal{S}$ 로서 정의되며, 원하는 보편 성질을 갖는다.
• $n > 0$ 에 대해 자연 변환 $\zeta_n: P_{\Sigma^n A} \to P_{\Sigma^{n-1} A}$ 가 존재하여, 완전한 함자적 $A$-포스트니코프 타워를 구성할 수 있다.
• $A = S^0$ 일 경우, 이로 인한 타워는 고전적 포스트니코프 타워의 새로운 완전한 함자적 구성법이 되며, 무어의 수월한 방법을 일반화한다.