[논문 리뷰] The homotopy category of N-complexes is a homotopy category

James Gillespie|arXiv (Cornell University)|2012. 07. 29.

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

한 줄 요약

이 논문은 약한 동치가 체인 호모토피 동치인 링 R 위의 N-복합체의 범주에 Strøm 유형의 모델 구조를 수립한다. Hovey의 코터전 페어 프레임워크를 사용하여, N-복합체의 호모토피 범주는 체인 사상의 호모토피류로 모odulo된 나머지 호모토피 범주와 동치임을 증명하며, 이는 일반적인 체인 복합체의 고전적 결과(N=2)를 일반화한다.

ABSTRACT

We show that the category of N-complexes has a Str\om model structure, meaning the weak equivalences are the chain homotopy equivalences. This generalizes the analogous result for the category of chain complexes (N = 2). The trivial objects in the model structure are the contractible N-complexes which we necessarily study and derive several results.

연구 동기 및 목표

• N≥2에 대해 일반적인 체인 복합체(N=2)에 대한 고전적 Strøm 모델 구조를 N-복합체로 일반화한다.
• 이 모델 구조에서의 영물체로 계약 가능한 N-복합체를 특성화한다.
• 두 체인 사상이 호모토피일 조건과 그 차가 계약 가능한 N-복합체를 통해 인수화될 조건이 동치임을 보인다.
• N-복합체의 호모토피 범주가 사상들이 호모토피류로 모odulo된 나머지 호모토피 범주와 동치임을 수립한다.
• 모델 구조가 Frobenius임을 증명한다. 즉, 모든 N-복합체가 동시에 코프리미티브이자 프리미티브임을 보인다.

제안 방법

• N-복합체의 범주에 모델 구조를 수립하기 위해 Hovey의 코터전 페어 방법을 사용한다.
• 계약 가능한 N-복합체의 집합을 영물체로 정의하며, 이들이 N-디스크의 직합임을 보이고, 정확한 범주 N-Ch(R)_dw에서 동시에 프로젝티브이자 인젝티브임을 보인다.
• 두 개의 완전한 코터전 페어 (A, W) 및 (W, A)를 수립한다. 여기서 A는 모든 N-복합체의 집합이고, W는 계약 가능한 N-복합체의 집합이다.
• 논문 [Gil11]의 정리 2.6을 적용하여 정확한 범주 N-Ch(R)_dw 위에 Frobenius 모델 구조의 존재를 보인다.
• Frobenius 모델 구조에서는 호모토피류가 체인 호모토피류와 일치하고, 두 사상이 호모토피일 조건과 그 차가 프로젝티브-인젝티브 객체를 통해 인수화될 조건이 동치임을 이용한다.
• 차수별 분리 정확열과 루프 및 스üs펜션 복합체의 구성 기법을 활용하여 충분한 프로젝티브 및 인젝티브 객체의 존재를 증명한다.

실험 결과

연구 질문

• RQ1 약한 동치가 체인 호모토피 동치인 N-복합체의 범주에 Strøm 유형의 모델 구조가 존재하는가?
• RQ2 계약 가능한 N-복합체는 N-디스크와 프로젝티브/인젝티브 객체의 관점에서 어떻게 정확히 특성화되는가?
• RQ3 N-체인 사상 간의 체인 호모토피는 계약 가능한 N-복합체를 통한 인수화와 어떻게 관련되는가?
• RQ4 N-복합체의 호모토피 범주는 사상들이 호모토피류로 모odulo된 나머지 호모토피 범주와 동치인가?
• RQ5 N-복합체 위의 모델 구조는 Frobenius 성질을 보이며, 즉 모든 객체가 동시에 코프리미티브이자 프리미티브인가?

주요 결과

• N-복합체의 범주는 약한 동치가 체인 호모토피 동치인 Strøm 유형의 모델 구조를 갖는다.
• 계약 가능한 N-복합체는 N-디스크의 직합이며, 정확한 범주 N-Ch(R)_dw에서 동시에 프로젝티브이자 인젝티브이다.
• 두 N-복합체 사이의 체인 사상이 호모토피일 조건과 그 차가 계약 가능한 N-복합체를 통해 인수화될 조건이 동치이다.
• 모델 구조는 Frobenius이다. 즉, 모든 N-복합체는 동시에 코프리미티브이자 프리미티브이며, 호모토피 범주 HoCh(R)_dw는 나머지 호모토피 범주 N-K(R)와 동치이다.
• N-복합체의 호모토피 범주는 체인 사상의 호모토피류로 모odulo된 나머지 호모토피 범주와 동치이며, 이는 N=2에 대한 고전적 결과를 일반화한다.
• 모델 구조의 존재는 W가 계약 가능한 N-복합체의 집합일 때, 완전한 코터전 페어 (A, W) 및 (W, A)의 존재에 의해 유도된다.