[논문 리뷰] Categorical, Homological and Combinatorial Methods in Algebra

Sergio Estrada, Alina Iacob외 1명|arXiv (Cornell University)|2020. 06. 23.

Algebraic structures and combinatorial models참고 문헌 17인용 수 4

한 줄 요약

이 논문은 오랜 동안 알려진 R-모듈에 대한 아벨 모델 구조를 일반화하여, 오른쪽 R-모듈의 클래스 𝔹에 대해 Gorenstein 𝔹-평탄한 모듈을 도입하고, 이러한 모듈이 유도된 모델 구조를 형성할 수 있는 조건을 규명한다. 또한 이 구조가 복합체의 모듈에 대해 어떻게 일반화되고, 유도된 모델 구조의 호모토피 범주들이 어떻게 비교되는지를 분석한다.

ABSTRACT

A recent result by J. Saroch and J. Sťov\'icek asserts that there is a unique abelian model structure on the category of left $R$-modules, for any associative ring $R$ with identity, whose (trivially) cofibrant and (trivially) fibrant objects are given by the classes of Gorenstein flat (resp., flat) and cotorsion (resp., Gorenstein cotorsion) modules. In this paper, we generalise this result to a certain relativisation of Gorenstein flat modules, which we call Gorenstein $\mathcal{B}$-flat modules, where $\mathcal{B}$ is a class of right $R$-modules. Using some of the techniques considered by Saroch and Sťov\'icek, plus some other arguments coming from model theory, we determine some conditions for $\mathcal{B}$ so that the class of Gorenstein $\mathcal{B}$-modules is closed under extensions. This will allow us to show approximation properties concerning these modules, and also to obtain a relative version of the model structure described before. Moreover, we also present and prove our results in the category of complexes of left $R$-modules, study other model structures on complexes constructed from relative Gorenstein flat modules, and compare these models via computing their homotopy categories.

연구 동기 및 목표

• 기존에 Gorenstein 평탄하고 코터션 모듈에 대해 알려진 R-모듈의 아벨 모델 구조를 Gorenstein 𝔹-평탄한 모듈을 사용한 상대적 형태로 확장한다.
• Gorenstein 𝔹-평탄한 모듈의 클래스가 확장에 대해 닫혀 있도록 오른쪽 R-모듈의 클래스 𝔹에 대한 조건을 규명한다.
• 근사 성질을 확립하고, Gorenstein 𝔹-평탄한 모듈과 Gorenstein 𝔹-코터션 모듈을 기반으로 상대 아벨 모델 구조를 구성한다.
• 이러한 결과를 왼쪽 R-모듈의 복합체의 범주로 확장하고, 상대 Gorenstein 평탄한 모듈로부터 유도된 여러 모델 구조를 분석한다.
• 유도된 모델 구조들의 호모토피 범주를 비교하여, 상대 Gorenstein 호모로지 대수학을 위한 범주론적 프레임워크를 제공한다.

제안 방법

• Saroch와 Sťov´icek의 아벨 모델 구조 기법을 오른쪽 R-모듈의 클래스 𝔹를 포함하는 상대적 설정으로 적응한다.
• 정의 가능한 클래스를 분석하고 Gorenstein 𝔹-평탄한 모듈의 확장에 대한 닫힘 성질을 확보하기 위해 모델 이론적 접근을 적용한다.
• 모듈의 클래스 𝔹에 대한 해상표현을 통해 정의된 상대 Gorenstein 평탄한 모듈(Gorenstein 𝔹-평탄)의 개념을 사용한다.
• 𝔹가 직접 극한에 대해 닫혀 있고 탈구성 가능한 클래스이면, Gorenstein 𝔹-평탄한 모듈의 클래스가 확장에 대해 닫혀 있음을 증명한다.
• 코프라이어 객체가 Gorenstein 𝔹-평탄한 모듈에 속하고, 프라이어 객체가 Gorenstein 𝔹-코터션 모듈에 속하는 상대 아벨 모델 구조를 구성한다.
• 유도된 범주에서의 프로젝티브 및 인젝티브 해상표현을 사용하여 복합체의 범주로 이 구성의 일반화를 수행한다.

실험 결과

연구 질문

• RQ1 오른쪽 R-모듈의 클래스 𝔹에 대해 어떤 조건이 Gorenstein 𝔹-평탄한 모듈의 클래스가 확장에 대해 닫혀 있도록 보장하는가?
• RQ2 코프라이어 객체가 Gorenstein 𝔹-평탄한 모듈이고 프라이어 객체가 Gorenstein 𝔹-코터션 모듈인 상대 아벨 모델 구조를 구성할 수 있는가?
• RQ3 상대 Gorenstein 평탄한 모듈로부터 유도된 여러 모델 구조의 호모토피 범주는 어떻게 비교되는가?
• RQ4 기존의 모델 구조를 비트리ivial 클래스가 아닌 모듈의 클래스 𝔹를 사용하여 얼마나 상대화할 수 있는가?
• RQ5 상대 호모로지 대수학의 맥락에서 Gorenstein 𝔹-평탄한 모듈의 근사 성질은 무엇인가?

주요 결과

• 𝔹가 직접 극한에 대해 닫혀 있고 탈구성 가능한 클래스이면, Gorenstein 𝔹-평탄한 모듈의 클래스는 확장에 대해 닫혀 있다.
• 왼쪽 R-모듈의 범주에서 코프라이어 객체가 Gorenstein 𝔹-평탄한 모듈이고 프라이어 객체가 Gorenstein 𝔹-코터션 모듈인 상대 아벨 모델 구조가 존재한다.
• 클래스 𝔹가 탈구성 가능하고 일정한 호모로지 조건을 만족하면, 이 모델 구조는 유도된 성질을 가진다.
• Saroch와 Sťov´icek의 고전적 모델 구조가 클래스 𝔹를 사용하여 상대적 설정으로 일반화된다.
• R-모듈의 복합체의 범주에서는 상대 Gorenstein 평탄한 모듈로부터 여러 모델 구조가 유도되며, 이들의 호모토피 범주는 준동형사상에 의해 비교된다.
• 상대 모델 구조의 호모토피 범주는 Gorenstein 𝔹-평탄한 코호몰로지와 함께 복합체의 전체 부분범주와 동치이다.