[논문 리뷰] Monomorphism Categories via Morita rings, Gorenstein algebras, AR sequences and derived equivalences

Nan Gao, Chrysostomos Psaroudakis|arXiv (Cornell University)|2015. 08. 12.

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

한 줄 요약

이 논문은 모나드 맵의 범주와 모티아 링 사이의 새로운 연결 고리를 수립한다. 영 이중모듈러 호모모르피즘을 가진 모티아 링 위에서 고르지 않은 프로젝티브 모듈을 구성하고, 이러한 링이 고르지 않은 아르틴 대수로 되기 위한 충분조건을 증명한다. 또한 이러한 구조들이 아우살러-레이텐 시퀀스와 연결되며, mono(A)의 유계된 호모로지 범주가 토퍼션 페어와 기울기 객체를 통해 아벨 범주의 호모로지 범주로 실현됨을 보여준다.

ABSTRACT

For any ring R the category of monomorphisms is a full subcategory of the morphsim category over R, where the latter is equivalent to the module category of the triangular matrix ring with entries the ring R. In this work, we consider the monomorphism category Mono(R) as a full subcategory of the module category over the Morita ring with all entries the ring R and zero bimodule homomorphisms. This approach provides an interesting link between Morita rings and monomorphism categories. The aim of this paper is two-fold. First, we construct Gorenstein-projective modules over Morita rings with zero bimodule homomorphisms and we provide sufficient conditions for such rings to be Gorenstein Artin algebras. This is the first part of our work, which is strongly connected with monomorphism categories that we study in the second part. In particular, following the work of Ringel-Schmidmeier we investigate Auslander-Reiten sequences in the monomorphism category mono(A) of an Artin algebra A. The last aim of this paper is to show how we can realize the bounded derived category of the monomorphism category over an Artin algebra A, as the bounded derived category of an abelian category. This is achieved by using the existence of a natural torsion pair in the exact category mono(A), and by constructing tilting objects in the bounded derived category of mono(A) from tilting A-modules.

연구 동기 및 목표

• 영 이중모듈러 호모모르피즘을 가진 모티아 링 위에서 고르지 않은 프로젝티브 모듈을 구성하고, 이러한 링이 고르지 않은 아르틴 대수로 되기 위한 충분조건을 규명한다.
• 아르틴 대수 A의 모나드 맵 범주 mono(A)에서 아우살러-레이텐 시퀀스를 조사하며, 린겔-슈마이에르의 결과를 확장한다.
• 토퍼션 페어와 기울기 객체를 이용하여 mono(A)의 유계된 호모로지 범주를 아벨 범주의 호모로지 범주로 실현한다.
• A 위의 기울기 모듈을 통해 mono(A)의 유계된 호모로지 범주와 아벨 범주의 호모로지 범주 사이의 호모로지 동치를 수립한다.

제안 방법

• 영 이중모듈러 호모모르피즘을 가진 모든 항목이 R인 모티아 링 위의 모듈 범주에서의 전체 부분범주로 모나드 맵 범주 Mono(R)를 모델링한다.
• 삼각형 행렬 링의 구조를 이용하여 사상 범주를 특성화하고, 이를 모티아 링 위의 모듈 범주와 연결한다.
• 고르지 않은 호모로지 대수학의 기법을 적용하여 영 이중모듈러 호모모르피즘을 가진 모티아 링 위에서 고르지 않은 프로젝티브 모듈을 구성한다.
• 정확한 범주 mono(A)에 자연스러운 토퍼션 페어가 존재하므로, 이를 이용하여 mono(A)의 유계된 호모로지 범주의 기울기 객체를 구성한다.
• 기울기 A-모듈을 활용하여 mono(A)의 호모로지 범주에서 대응하는 기울기 객체를 구성함으로써, 호모로지 동치를 가능하게 한다.
• 호모로지 동치와 토퍼션 페어에 관한 결과를 적용하여 D^b(mono(A))를 아벨 범주의 유계된 호모로지 범주로 실현한다.

실험 결과

연구 질문

• RQ1 영 이중모듈러 호모모르피즘을 가진 모티아 링이 고르지 않은 아르틴 대수로 되기 위한 조건은 무엇인가?
• RQ2 아르틴 대수 A의 모나드 맵 범주 mono(A)에서 아우살러-레이텐 시퀀스는 어떻게 특성화할 수 있는가?
• RQ3 mono(A)의 유계된 호모로지 범주는 아벨 범주의 호모로지 범주로 실현될 수 있는가?
• RQ4 기울기 A-모듈은 mono(A)의 호모로지 범주의 기울기 객체를 구성하는 데 어떤 역할을 하는가?
• RQ5 mono(A)의 토퍼션 페어는 호모로지 동치의 구성에 어떻게 기여하는가?

주요 결과

• 논문은 영 이중모듈러 호모모르피즘을 가진 모티아 링 위에서 고르지 않은 프로젝티브 모듈을 구성하며, 이러한 모듈의 새로운 클래스를 제공한다.
• 모티아 링이 영 이중모듈러 호모모르피즘을 가질 때 고르지 않은 아르틴 대수로 되기 위한 충분조건이 규명되었다.
• mono(A)에서 아우살러-레이텐 시퀀스가 조사되었으며, 아르틴 대수 A의 모나드 맵 범주의 맥락에서 존재함을 보였다.
• 유계된 호모로지 범주 D^b(mono(A))는 토퍼션 페어와 기울기 객체를 통해 아벨 범주의 호모로지 범주로 실현되었다.
• D^b(mono(A))의 기울기 객체는 기울기 A-모듈로부터 구성되었으며, 이로 인해 D^b(mono(A))와 아벨 범주의 유계된 호모로지 범주 사이의 호모로지 동치가 가능해졌다.
• 이 틀은 모나드 맵 범주와 아벨 범주 사이의 호모로지 동치를 수립하며, 기존의 호모로지 표현 이론에서 알려진 결과를 일반화한다.