[논문 리뷰] dw-n-Projective model structures on chain complexes

Marco A. Pérez|arXiv (Cornell University)|2012. 02. 12.

Homotopy and Cohomology in Algebraic Topology참고 문헌 13인용 수 1

한 줄 요약

이 논문은 호모로지 차원, 특히 프로젝티브 차원과 플랫 차원을 활용하여 링 R 위의 체인 복합체에서 고유한 아벨 모델 구조를 구성한다. 정확한 복합체가 비자명 객체인 경우, 프로젝티브 차원이 최대 n인 항을 가지는 복합체가 비자명 코프ibrant 객체가 되도록 하고, 이는 이전에 프로젝티브 항을 사용하여 코프ibrant 객체를 구성한 결과를 확장한다.

ABSTRACT

We construct Abelian model structures on the category of chain complexes over a ring $R$, from the notion homological dimensions of modules. Given an integer $n > 0$, we prove that the left modules over a ringoid $\mathfrak{R}$ with projective dimension at most $n$ form the left half of a complete cotorsion pair. Using this result we prove that there is a unique Abelian model structure on the category of chain complexes where the exact complexes are the trivial objects and the complexes with projective dimension at most $n$ form the class of trivially cofibrant objects. In the paper Cotorsion pairs in C($R$-Mod), the authors construct an Abelian model structure on chain complexes, where the trivial objects are the exact complexes and the class of cofibrant objects is given by the complexes whose terms are all projective. We extend this result by finding a new Abelian model structure with the same trivial objects and where the cofibrant objects are given by the class of complexes whose terms are modules with projective dimension at most $n$. We also prove similar results concerning the flat dimension.

연구 동기 및 목표

• 프로젝티브 항을 코프ibrant 객체로 사용한 기존 아벨 모델 구조를 확장하여, 항의 프로젝티브 차원이 최대 n인 복합체로 코프ibrant 객체를 대체한다.
• 링로이드 R 위의 왼쪽 R-모듈의 범주에서 프로젝티브 차원 ≤ n인 모듈이 완전한 코터션 페어의 왼쪽 부분이 되도록 한다.
• 정확한 복합체가 비자명이고, 항의 프로젝티브 차원 ≤ n인 복합체가 비자명 코프ibrant인 아벨 모델 구조가 존재함을 증명한다.
• 유사한 결과를 플랫 차원의 경우로 확장하여, 플랫 차원 제약 조건에 대해 쌍대 구조를 제공한다.

제안 방법

• 특히 프로젝티브 차원을 포함한 모듈의 호모로지 차원 개념을 사용하여 체인 복합체의 클래스를 정의한다.
• 프로젝티브 차원이 최대 n인 왼쪽 R-모듈이 R-모듈의 범주에서 완전한 코터션 페어의 왼쪽 부분이 되는 것을 증명한다.
• 정확한 복합체를 비자명 객체로, 항의 프로젝티브 차원 ≤ n인 복합체를 비자명 코프ibrant 객체로 설정하여 R 위의 체인 복합체의 범주에 아벨 모델 구조를 구성한다.
• 완전한 코터션 페어를 활용하여 모델 구조의 존재성과 유일성을 확립한다.
• 프로젝티브 모듈 대신 플랫 모듈을 사용하여 접근을 쌍대화함으로써 플랫 차원으로의 확장을 수행한다.
• 유도된 구조가 아벨 모델 구조의 공리, 즉 분해 및 업그레이드 성질을 충족함을 검증한다.

실험 결과

연구 질문

• RQ1 체인 복합체의 항에 대해 프로젝티브 차원이 유계인 조건을 사용하여 아벨 모델 구조를 구성할 수 있는가?
• RQ2 정확한 복합체가 비자명이고 항의 프로젝티브 차원 ≤ n인 복합체가 비자명 코프ibrant인 아벨 모델 구조가 유일하게 존재하는가?
• RQ3 코프ibrant 클래스에 프로젝티브 차원 ≤ n 조건을 사용하는 것과 프로젝티브 모듈을 사용하는 것의 비교는 어떻게 되는가?
• RQ4 유사한 결과를 프로젝티브 차원 대신 플랫 차원에 대해 얻을 수 있는가?
• RQ5 완전한 코터션 페어는 이러한 모델 구조를 구성하는 데 어떤 역할을 하는가?

주요 결과

• 정확한 복합체가 비자명이고 항의 프로젝티브 차원이 최대 n인 복합체가 비자명 코프ibrant인 아벨 모델 구조가 링 R 위의 체인 복합체의 범주에 유일하게 존재한다.
• 프로젝티브 차원이 최대 n인 모듈의 집합은 왼쪽 R-모듈의 범주에서 완전한 코터션 페어의 왼쪽 부분이 된다.
• 이전 연구에서 코프ibrant 클래스로 프로젝티브 모듈을 사용한 결과를 일반화하여, 유계 프로젝티브 차원을 가진 모듈로 대체한다.
• 플랫 차원에 대해 유사한 아벨 모델 구조를 얻기 위해 쌍대 구조가 확립된다. 이 경우 비자명 코프ibrant 복합체는 플랫 차원 ≤ n 조건을 만족한다.
• 모델 구조는 복합체의 항에 대한 호모로지 차원의 유계 조건과 비자명 객체로 완전히 특징지어진다.