[논문 리뷰] A homotopy theory of additive categories with suspensions

Zhiwei Li|arXiv (Cornell University)|2017. 03. 08.

Algebraic structures and combinatorial models참고 문헌 31인용 수 6

한 줄 요약

이 논문은 국소화 삼중체와 전부분 삼각형 구조를 이용하여 가환 범주에 대한 호모토피 이론을 개발하며, 약한 아이디포텐트 완비인 정확한 범주 위의 정확한 모델 구조의 호모토피 범주는 코프레비어-프리브레비어 물체의 부분인자 범주와 전삼각형 범주로서 동치임을 증명한다. 이 틀은 호브리 삼중체를 일반화하며, 모델 구조에 종속되지 않는 전삼각형 호모토피 범주의 구축을 가능하게 한다.

ABSTRACT

We develop a homotopy theory for additive categories endowed with endofunctors, analogous to the concept of a model structure. We use it to construct the homotopy theory of a Hovey triple (which consists of two compatible complete cotorsion pairs) in an arbitrary exact category. We show that the homotopy category of an exact model structure (in the sense of Hovey) in a weakly idempotent complete exact category is equivalent to the subfactor category of cofibrant-fibrant objects as pre-triangulated categories.

연구 동기 및 목표

• 모델 구조에 의존하지 않고, 스텝을 가진 가환 범주에 대한 호모토피 이론을 개발하기 위해.
• 호브리 삼중체를 이용한 정확한 모델 범주의 호모토피 범주의 구성 방식을 일반화하기 위해.
• 정확한 모델 구조의 호모토피 범주가 코프레비어-프리브레비어 물체의 부분인자 범주로서 전삼각형 범주로서 동치임을 보여주기 위해.
• 전부분 삼각형 구조의 틀을 통해 호모토피 범주에 전삼각형 구조를 수립하기 위해.
• 알제브라 및 기하학 분야에서 기존의 한쪽 방향 삼각형 구조와 호모토피 범주에 관한 결과들을 통합하고 확장하기 위해.

제안 방법

• 가환 범주 A에서, 특정 조건을 만족하는 전체 가환 부분범주 C, X, F를 갖는 국소화 삼중체 (C, X, F)의 개념을 도입한다.
• 호모토피 범주 Ho(C, X, F)를 A[S⁻¹]로 정의하며, 이는 부분인자 범주 (C ∩ F)/X와 동치임을 보인다.
• 부분 왼쪽 및 오른쪽 삼각형 구조를 조합하고 호환 조건을 갖는 전부분 삼각형 범주라는 개념을 도입한다.
• 전부분 삼각형 구조를 이용하여 (C ∩ F)/X 가 전삼각형 구조를 갖는다는 것을 증명한다.
• 호브리 삼중체 (C, W, F)를 정확한 범주에서 적용하여, X = C ∩ W ∩ F 라면 (C, X, F) 가 국소화 삼중체가 됨을 보인다.
• 정확한 모델 구조 M의 호모토피 범주 Ho(M) 가 전삼각형 범주로서 (C ∩ F)/X 와 동치임을 증명한다.

실험 결과

연구 질문

• RQ1 모델 구조에 의존하지 않고, 스텝을 가진 가환 범주에 대한 호모토피 이론을 개발할 수 있는가?
• RQ2 임의의 정확한 범주에서 호브리 삼중체의 호모토피 범주를 모델 구조에 종속되지 않게 어떻게 구성할 수 있는가?
• RQ3 호브리 삼중체에서 유도된 구조를 갖춘 코프레비어-프리브레비어 물체의 부분인자 범주 (C ∩ F)/X 는 전삼각형 구조를 갖는가?
• RQ4 호브리 삼중체에서 유도된 (C ∩ F)/X 의 전삼각형 구조는 정확한 모델 구조의 호모토피 범주의 표준 전삼각형 구조와 일치하는가?
• RQ5 정확한 모델 구조의 호모토피 범주와 부분인자 범주 (C ∩ F)/X 사이의 동치를 삼각형 구조를 보존하는 임베딩을 통해 확립할 수 있는가?

주요 결과

• 국소화 삼중체 (C, X, F) 에 대응하는 호모토피 범주 Ho(C, X, F) 는 부분인자 범주 (C ∩ F)/X 와 동치이다.
• 만약 (A, Ω, Σ, L(F), R(C), X) 가 전부분 삼각형 범주이면, (C ∩ F)/X 는 전삼각형 범주이다.
• 모든 호브리 삼중체 (C, W, F) 가 정확한 범주 (A, E) 에서 정의될 경우, X = C ∩ W ∩ F 라면 (C, X, F) 는 국소화 삼중체이다.
• 범주 A 는 (0, 0, L(F), R(C), X) 의 구조를 갖추며 전부분 삼각형 범주가 된다.
• 호브리 삼중체에 의해 유도된 정확한 모델 구조 M 의 호모토피 범주 Ho(M) 는 전삼각형 범주로서 (C ∩ F)/X 와 동치이다.
• 임베딩 (C ∩ F)/X ↪ Ho(M) 는 왼쪽 및 오른쪽 삼각형 구조를 모두 보존하므로, 완전한 삼각형 동치가 보장된다.