[논문 리뷰] The stable module category of a general ring

Daniel Bravo, James Gillespie외 1명|arXiv (Cornell University)|2014. 05. 22.

Algebraic structures and combinatorial models참고 문헌 9인용 수 85

한 줄 요약

이 논문은 임의의 링 R에 대해, R-모듈의 유한한 생성 프로젝티브로 구성된 프로젝티브 해체를 갖는 FP∞-모듈을 사용하여, Gorenstein 프로젝티브 및 인젝티브 모듈의 일반화를 통해, 비유계 체인 복합체의 Quillen 모델 구조를 정의하여 두 개의 삼등분된 안정 모듈 범주를 구성한다. 주요 기여는 프로젝티브 및 인젝티브 모듈을 모두 0으로 보내는 보편적 구성으로, 이는 준-프로베니우스 또는 Gorenstein 링에 대한 고전적 안정 모듈 범주의 통합을 가능하게 한다.

ABSTRACT

For any ring R we construct two triangulated categories, each admitting a functor from R-modules that sends projective and injective modules to 0. When R is a quasi-Frobenius or Gorenstein ring, these triangulated categories agree with each other and with the usual stable module category. Our stable module categories are homotopy categories of Quillen model structures on the category of R-modules. These model categories involve generalizations of Gorenstein projective and injective modules that we derive by replacing finitely presented modules by modules of type FP-infinity. Along the way, we extend the perfect duality between injective left modules and flat right modules that holds over Noetherian rings to general rings by considering weaker notions of injectivity and flatness.

연구 동기 및 목표

• 준-프로베니우스 또는 Gorenstein 링을 초월하여 안정 모듈 범주 구성법을 일반화하기 위해.
• 모든 프로젝티브 및 인젝티브 R-모듈을 0으로 보내는 보편적인 정확한 함자를 갖는 삼등분 범주를 정의하기 위해.
• 유한 생성 표현 모듈 대신 FP∞-유형 모듈을 사용하여 Gorenstein 호모로지 대수학을 임의의 링으로 확장하기 위해.
• 모든 복합체가 코프라임이고, 프라임 객체가 일반화된 Gorenstein 인젝티브 또는 프로젝티브 모듈인 비유계 체인 복합체 위의 모델 구조를 수립하기 위해.
• 안정된 도출 범주를 호모토피 범주로 복구하고, Gorenstein 경우에 기존 구성들과의 호환성을 보여주기 위해.

제안 방법

• 유한 생성 프로젝티브로 구성된 프로젝티브 해체를 갖는 모듈의 유형 FP∞의 개념을 도입한다.
• 모든 FP∞-모듈 M에 대해 Ext¹(M, I) = 0을 만족하는 모듈을 절대적으로 깨끗한 모듈로 정의한다. 이는 절대 순수 모듈의 개념을 일반화한다.
• R-모듈의 비유계 체인 복합체 범주 위에 두 개의 Quillen 모델 구조를 구성한다: 하나는 모든 복합체가 코프라임이고, 프라임 객체가 절대적으로 깨끗한 모듈의 복합체인 경우이며, 另一个是 모든 복합체가 프라임이고, 코프라임 객체가 Gorenstein 프로젝티브 모듈의 복합체인 경우이다.
• 이 모델 구조의 호모토피 범주를 사용하여 안정 모듈 범주 Stmod(R)를 정의한다. 이는 삼등분되고, 정확한 함수 γ: R-Mod → Stmod(R)를 갖는다.
• γ가 프로젝티브 및 인젝티브 R-모듈을 모두 0으로 보내며, Stmod(R)가 이 성질에 대해 보편적임을 증명한다.
• 절대적으로 깨끗한 모듈과 레벨 모듈 사이의 이중성 쌍을 수립하고, 이를 통해 모든 프로젝티브 P에 대해 Hom(C, P)의 정확성에 의해 AC-acyclic 복합체를 특성화한다.

실험 결과

연구 질문

• RQ1 준-프로베니우스 또는 Gorenstein 링이 아닌 임의의 링 R에 대해 보편적 안정 모듈 범주를 구성할 수 있는가?
• RQ2 유한 생성 표현 모듈 대신 FP∞-모듈을 사용하여 Gorenstein 호모로지 대수학을 임의의 링으로 일반화할 수 있는가?
• RQ3 비유계 R-모듈 체인 복합체 위의 어떤 모델 구조가 삼등분된 호모토피 범주를 만들어내며, 동시에 프로젝티브 및 인젝티브 모듈을 모두 0으로 보내는가?
• RQ4 두 제안된 안정 모듈 범주 중 어느 것이 고전적 안정 모듈 범주와 일치하는가?
• RQ5 Krause의 안정된 도출 범주는 이러한 모델 구조 중 하나의 호모토피 범주로서 복구 가능한가?

주요 결과

• 임의의 링 R에 대해, R-모듈의 비유계 체인 복합체 위의 Quillen 모델 구조의 호모토피 범주로서 두 개의 삼등분된 안정 모듈 범주가 구성된다.
• 이 구성은 고전적 안정 모듈 범주를 일반화한다: R이 준-프로베니우스 또는 Gorenstein일 경우, 신규 범주는 표준 Stmod(R)와 일치한다.
• 안정 모듈 범주 Stmod(R)는 프로젝티브 및 인젝티브 R-모듈을 모두 0으로 보내는 보편적인 정확한 함수 γ: R-Mod → Stmod(R)를 갖는다.
• 한 모델 구조의 프라임 객체는 FP∞-모듈 위에서 Ext¹의 소멸 조건을 통해 정의된 절대적으로 깨끗한 모듈의 복합체이다.
• 다른 모델 구조의 코프라임 객체는 FP∞-모듈 위에서 해체 조건을 통해 정의된 Gorenstein 프로젝티브 모듈의 복합체이다.
• AC-acyclic 복합체(전적으로 약한 복합체의 일반화)는 단단히 약한 복합체와 동치임을 보이며, 이는 모든 프로젝티브 모듈 P에 대해 Hom(C, P)의 정확성에 의해 특성화된다.