[논문 리뷰] Differential graded versus Simplicial categories

Gonçalo Tabuada|ArXiv.org|2007. 11. 24.

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

한 줄 요약

이 논문은 미분가환( dg ) 범주와 단순형 범주의 호모토피 이론 사이에 Quillen 수반 관계의 진동 구조를 수립한다. 이는 양의 차수를 가진 체인 복합체를 통해 풍부화된 범주와 단순형 $k$-모듈러의 사이에서 Dold-Kan 대응을 일반화하여 Quillen 동치를 얻는 데 기반한다. 주요 기여는 이 dg 및 단순형 호모토피 이론 간의 다리로 Simpson의 호모토피 섬유 구성법에 대한 개념적 설명을 제공하는 것이다.

ABSTRACT

We construct a zig-zag of Quillen adjunctions between the homotopy theories of differential graded and simplicial categories. In an intermediate step we generalize Shipley-Schwede's work on connective DG algebras by extending the Dold-Kan correspondence to a Quillen equivalence between categories enriched over positive graded chain complexes and simplicial k-modules. As an application we obtain a conceptual explanation of Simpson's homotopy fiber construction.

연구 동기 및 목표

• 미분가환 범주와 단순형 범주의 호모토피 이론 간의 다리를 구축하기 위해.
• Shipley-Schwede의 연결성 DG 대수에 대한 작업을 양의 차수를 가진 체인 복합체를 통해 풍부화된 범주로 일반화하기 위해.
• Dold-Kan 대응을 양의 차수를 가진 dg 범주와 단순형 $k$-모듈러 간의 Quillen 동치로 확장하기 위해.
• 비아벨리안 혼합 허드 이론에서 Simpson의 호모토피 섬유 구성법에 대한 개념적 설명을 제공하기 위해.
• dg 및 단순형 범주의 호모토피 이론을 연결하는 Quillen 수반 관계의 진동 구조를 수립하기 위해.

제안 방법

• 문헌 [23]의 모델 구조를 잘라내어 양의 차수를 가진 dg 범주의 카테고리에 Quillen 모델 구조를 구성한다.
• 양의 차수를 가진 체인 복합체를 통해 풍부화된 범주와 단순형 $k$-모듈러 간의 Dold-Kan 대응을 Quillen 동치로 일반화한다.
• 단순형 범주에서 단순형 $k$-선형 범주로의 $k$-선형화 함수를 정의하고, 이것이 Quillen 수반 관계를 이룬다는 것을 보인다.
• Dold-Kan 대응을 사용하여 양의 차수를 가진 dg 범주의 호모토피 이론과 단순형 $k$-선형 범주의 호모토피 이론을 연결한다.
• 진동 구조의 Quillen 수반 관계를 구성한다: $s\mathbf{Set}$-Cat $\xrightleftarrows[k(-)]{U}$ $s\mathbf{Mod}$-Cat $\xrightleftarrows[N]{L}$ $\mathsf{dgcat}_{\geq 0}$ $\xrightleftarrows[\tau_{\geq 0}]{L}$ $\mathsf{dgcat}$.
• 이 수반 관계들을 활용하여 호모토피 극한과 극소를 연결하고, 특히 이 조합의 유도 함수의 성질을 분석한다.

실험 결과

연구 질문

• RQ1 미분가환 범주와 단순형 범주의 호모토피 이론은 Quillen 수반 관계를 통해 어떻게 연결될 수 있는가?
• RQ2 양의 차수를 가진 체인 복합체를 통해 풍부화된 범주와 단순형 $k$-모듈러 간의 Dold-Kan 대응을 Quillen 동치로 확장할 수 있는가?
• RQ3 $k$-선형화 함수의 개념적 역할은 단순형 범주와 dg 범주를 연결하는 데 어떤가?
• RQ4 수반 관계의 조합의 유도 함수는 Simpson의 호모토피 섬유 구성법과 어떻게 관련되는가?
• RQ5 dg 함자에 대한 호모토피 섬유는 이 조합의 유도 함수에 의한 이미지에 대한 호모토피 섬유로 이해될 수 있는가?

주요 결과

• 문헌 [23]의 모델 구조를 잘라내어 양의 차수를 가진 dg 범주의 카테고리에 Quillen 모델 구조를 구성하였다.
• 양의 차수를 가진 체인 복합체를 통해 풍부화된 범주와 단순형 $k$-모듈러 간의 Dold-Kan 대응이 Quillen 동치로 일반화되었다.
• $k$-선형화 함수 $k(-)$와 그 우측 수반 $U$는 단순형 $k$-선형 범주와 단순형 범주 간의 Quillen 수반 관계를 이룬다.
• 진동 구조의 Quillen 수반 관계는 dg 및 단순형 범주의 호모토피 이론 간의 유도 동치를 수립한다.
• 유도 함수 $\mathbb{R}(U \circ L \circ \tau_{\geq 0})$는 호모토피 극한을 보존하며, dg 함자의 호모토피 섬유는 이 조합에 의한 이미지의 호모토피 섬유와 동치이다.
• 이 구성은 비아벨리안 혼합 허드 이론에서 Simpson의 호모토피 섬유 구성법에 대한 개념적 설명을 제공한다.