[论文解读] Monomorphism Categories via Morita rings, Gorenstein algebras, AR sequences and derived equivalences

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

Algebraic structures and combinatorial models参考文献 38被引用 4

一句话总结

本文通過構造具有零雙模同態的Morita環上的Gorenstein-投影模，建立了單射範疇與Morita環之間的新型聯繫，並證明了此類環為Gorenstein Artin代數的充分條件。進一步地，本文將這些結構與單射範疇中的Auslander-Reiten序列相聯繫，並透過扭對與來自tilting A-模的tilting對象，實現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.

研究动机与目标

• 構造具有零雙模同態的Morita環上的Gorenstein-投影模，並識別此類環為Gorenstein Artin代數的充分條件。
• 研究Artin代數A的單射範疇mono(A)中的Auslander-Reiten序列，並拓展Ringel-Schmidmeier的結果。
• 透過扭對與tilting對象，實現mono(A)的有界導出範疇為某個阿貝爾範疇的導出範疇。
• 透過A上的tilting模，建立mono(A)的有界導出範疇與某個阿貝爾範疇的導出範疇之間的導出等價性。

提出的方法

• 將單射範疇Mono(R)建模為具有所有條目為R且雙模同態為零的Morita環上的模範疇的全子範疇。
• 利用三角矩陣環的結構來特徵化同態範疇，並與Morita環上的模範疇相聯繫。
• 應用Gorenstein同調代數技術，構造具有零雙模同態的Morita環上的Gorenstein-投影模。
• 利用精確範疇mono(A)中自然存在的扭對，構造mono(A)的有界導出範疇中的tilting對象。
• 利用tilting A-模構造導出範疇mono(A)中對應的tilting對象，從而實現導出等價性。
• 應用導出等價性與扭對的結果，實現D^b(mono(A))為某個阿貝爾範疇的D^b。

实验结果

研究问题

• RQ1 具有零雙模同態的Morita環在何種條件下為Gorenstein Artin代數？
• RQ2 如何特徵化Artin代數A的單射範疇mono(A)中的Auslander-Reiten序列？
• RQ3 mono(A)的有界導出範疇能否被實現為某個阿貝爾範疇的導出範疇？
• RQ4 tilting A-模在構造mono(A)的導出範疇中的tilting對象時扮演何種角色？
• RQ5 mono(A)中的扭對如何促進導出等價性的構造？

主要发现

• 本文構造了具有零雙模同態的Morita環上的Gorenstein-投影模，提供了一類新的此類模。
• 識別出具有零雙模同態的Morita環為Gorenstein Artin代數的充分條件。
• 研究了mono(A)中的Auslander-Reiten序列，並在Artin代數A的單射範疇背景下證明其存在。
• 透過扭對與tilting對象，實現mono(A)的有界導出範疇D^b(mono(A))為某個阿貝爾範疇的導出範疇。
• 從tilting A-模構造了D^b(mono(A))中的tilting對象，從而實現D^b(mono(A))與某個阿貝爾範疇的D^b之間的導出等價性。
• 該框架建立了單射範疇與某個阿貝爾範疇之間的導出等價性，推廣了導出表示理論中的已知結果。