[논문 리뷰] Projective Model Structures for Exact Categories

Jack Kelly|arXiv (Cornell University)|2016. 03. 21.

Homotopy and Cohomology in Algebraic Topology참고 문헌 37인용 수 4

한 줄 요약

이 논문은 아벨 임베딩과 약한 아이디포턴트 완비성을 갖는 정확 범주가 그 체인 복합체의 범주에 프로젝티브 모델 구조를 갖는 데 충분한 조건을 확립한다. 만약 정확 범주가 충분한 프로젝티브를 갖는다면, 유계 아래 복합체의 범주는 프로젝티브 모델 구조를 갖는다. 추가로 코어널이 존재하고 직접 극한이 정확한 조건이 만족되면, 비유계 복합체 역시 이러한 구조를 갖는다. 이는 도르드-카인 대응의 일반화이다.

ABSTRACT

In this article we provide sufficient conditions on weakly idempotent complete exact categories $E$ which admit an abelian embedding, such that various categories of chain complexes in $E$ are equipped with projective model structures. In particular we show that as soon as $E$ has enough projectives, the category $ extbf{Ch}_{+}(E)$ of bounded below complexes is equipped with a projective model structure. In the case that $E$ also admits all kernels we show that it is also true of $ extbf{Ch}_{\ge0}(E)$, and that a generalisation of the Dold-Kan correspondence holds. Supplementing the existence of kernels with a condition on the existence and exactness of certain direct limit functors guarantees that the category of unbounded chain complexes $ extbf{Ch}(E)$ also admits a projective model structure. When $E$ is monoidal we also examine when these model structures are monoidal and conclude by studying some homotopical algebra in such categories. Along the way we also discuss generators in exact categories.

연구 동기 및 목표

• 정확 범주가 아벨 임베딩을 갖는 경우, 그 체인 복합체 범주의 프로젝티브 모델 구조가 존재하는 데 필요한 조건을 규명하는 것.
• 정확 범주가 충분한 프로젝티브를 갖는 경우, 유계 아래 복합체의 범주가 프로젝티브 모델 구조를 갖는지 조사하는 것.
• 코어널의 존재와 특정 직접 극한 함자들의 정확성 조건을 추가로 요구함으로써, 비유계 복합체로 결과를 확장하는 것.
• 기저 정확 범주가 모노이드일 경우, 해당 모델 구조가 어떻게 모노이드 구조를 갖는지 고려하는 것.
• 이러한 범주에서 호모토피 대수학에 미치는 영향을 탐색하며, 정확 범주에서 생성자들의 역할을 다루는 것.

제안 방법

• 연구 대상인 정확 범주에 대해 약한 아이디포턴트 완비성과 아벨 임베딩을 기초 가정으로 삼는다.
• 충분한 프로젝티브가 존재하므로, 유계 아래 복합체의 범주에 대해 프로젝티브 모델 구조 이론을 적용한다.
• 정확 범주가 모든 코어널을 갖는다고 가정함으로써, 비유계 복합체로 구조를 확장한다.
• 비유계 복합체의 프로젝티브 모델 구조 존재를 보장하기 위해 특정 직접 극한 함자들의 정확성 조건을 도입한다.
• 코어널과 적절한 극한 행동을 갖는 정확 범주에서 도르드-카인 대응을 일반화한다.
• 기저 정확 범주가 호환 가능한 모노이드 구조를 갖는 경우, 모델 범주에 모노이드 구조가 어떻게 유도되는지 분석한다.

실험 결과

연구 질문

• RQ1 정확 범주에서 유계 아래 복합체의 범주가 프로젝티브 모델 구조를 갖는 데 필요한 조건은 무엇인가?
• RQ2 코어널을 갖는 정확 범주에서 도르드-카인 대응은 어떻게 일반화될 수 있는가?
• RQ3 비유계 복합체로 프로젝티브 모델 구조를 확장하기 위해 직접 극한에 대한 추가적인 구조적 가정은 무엇이 필요한가?
• RQ4 기저 정확 범주가 모노이드일 경우, 복합체에 대해 구성된 프로젝티브 모델 구조가 기저 정확 범주의 모노이드 구조를 어떻게 상속하는가?
• RQ5 정확 범주에서의 생성자들이 모델 구조의 구성과 성질과 어떻게 관련되는가?

주요 결과

• 정확 범주 $ E $가 충분한 프로젝티브를 갖고 아벨 임베딩을 갖는다면, 유계 아래 복합체의 범주 $ extbf{Ch}_{+}(E) $ 는 프로젝티브 모델 구조를 갖는다.
• 만약 $ E $가 모든 코어널을 갖는다면, 음이 아닌 차수의 복합체의 범주 $ extbf{Ch}_{\text{≥0}}(E) $ 도 프로젝티브 모델 구조를 갖는다.
• 일부 직접 극한 함자들이 존재하고 정확하다는 추가 가정이 있을 경우, 비유계 복합체의 범주 $ extbf{Ch}(E) $ 도 프로젝티브 모델 구조를 갖는다.
• 모든 코어널을 갖는 정확 범주이며, 직접 극한에 대한 정확성 조건을 만족하는 경우, 도르드-카인 대응의 일반화가 성립한다.
• 만약 $ E $가 모노이드일 경우, $ extbf{Ch}(E) $, $ extbf{Ch}_{+}(E) $, $ \textbf{Ch}_{\text{≥0}}(E) $ 에 정의된 프로젝티브 모델 구조는 기저 정확 범주와 호환되는 모노이드 구조를 지닐 수 있다.
• 정확 범주에서의 생성자 존재성이 이러한 모델 구조의 구성과 성질에 영향을 준다는 것이 입증된다.