三角矩阵代数上奇点范畴和Gorenstein亏范畴的2-粘合

设■是三角矩阵代数,其中A和B是Artin代数,_AM_B是A-B-双模.本文研究了T上奇点范畴和Gorenstein亏范畴的2-粘合结构.在恰当的假设下,我们给出了T上奇点范畴和Gorenstein亏范畴的2-粘合存在的充分必要条件.     

正合范畴的整体Gorenstein维数

设A是有足够多投射对象和足够多内射对象的正合范畴.本文研究了A的整体Gorenstein维数和A中的Gorenstein导出函子.利用同调的方法,证明了:如果A有可数直和与可数直积,那么sup{GpdM|M∈A}=sup{GidM|M∈A};对A中的对象M, N,若Gp M <∞, GidN <∞,则对任意的i≥0, Ext_GPⁱ(M, N)≌Ext_GIⁱ(M, N).     

Gorenstein正则环、奇点范畴和Ding模

本文证明了任意环的整体Ding投射维数和整体Ding内射维数一致,研究了奇点范畴和相对于Ding模的稳定范畴间的关系,并刻画了Gorenstein (正则)环以及环的整体维数的有限性.     

Gorenstein范畴上的一个问题

设■是阿贝尔范畴,■是■的子范畴.Sather-Wagstaff, Sharif和White引入了Gorenstein子范畴的概念,记为■.我们用■(相应地,■)代表纯投射R-模类(相应地,投射R-模类).本文给出了一类满足条件"■"的环,由此给出了当■是■的子范畴时,■是否包含在■中的一个否定回答.进一步,刻画了包含关系■和■何时成立.     

纯奇点范畴中的Buchweitz定理

我们定义纯奇点范畴D_(psg)~b(R)为有界纯导出范畴D_(pur)~b(R)与纯投射模构成的有界同伦范畴K~b(■)的Verdier商,得到了纯奇点范畴D_(psg)~b(R)三角等价于相对纯投射模的Gorenstein范畴的稳定范畴■的一个充分必要条件.同时,还给出三角等价D_(psg)~b(R)≌D_(psg)~b(S)的充分条件,这里R和S都是环.     

Gorenstein子范畴与相对奇点范畴

令A是阿贝尔范畴, T是A的一个自正交子范畴, 且T中每个对象均有有限投射维数和内射维数. 假设左Gorenstein子范畴lG(T)等于T的右正交类,且右Gorenstein子范畴rG(T)等于T的左正交类,我们证明了Gorenstein子范畴$G(T)$等于T的左正交类与T的右正交类之交,并且证明了它们的稳定范畴三角等价于A关于T的相对奇点范畴.作为应用,令$R$是有有限左自内射维数的左诺特环, $_RC_s$是半对偶化双模,且所有内射左$R$-模的平坦维数的上确界有限, 我们证明了 若$\mbox{}_RC$有有限内射（平坦）维数且$C$的右正交类包含$R$,则存在从$C$-Gorenstein投射模与关于$C$的Bass类的交到关于$C$-投射模的相对奇点范畴间的三角等价,推广了某些经典的结果.     

Gorenstein环上的Gorenstein平坦和内射

设R是一个Gorenstein环. 证明了, 如果I是R的一个理想且使得R/I是一个半单环, 则R/I作为右R-模的Gorenstein平坦维数与R/I作为左R-模的Gorenstein内射维数是相等的. 另外证明了, 如果R→S是一个环同态且_SE是左S-模范畴的一个内射余生成元, 则S作为右R-模的Gorenstein平坦维数与E作为左R-模的Gorenstein内射维数是相等的. 同时给出了这些结果的一些应用.     

关于Gorenstein投射维数的一个注记

本文研究了Gorenstein投射维数的相关问题.利用经典同调维数的研究方法,给出了Gorenstein投射维数有限模的Gorenstein投射维数的一个刻画,并利用这一结果证明了Gorenstein完全环和Artin环的Gorenstein整体维数分别由各自的循环模和单模的Gorenstein投射维数来确定.这些结论丰富了Gorenstein同调代数理论.     

Gorenstein fp-平坦和强Gorenstein fp-平坦模

引入了Gorenstein fp-平坦模和强Gorenstein fp-平坦模的概念,讨论了这两类模的一些性质、联系以及稳定性.     

奇点模型范畴的Quillen等价

令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文[Models for singularity categories,Adv Math.,2014,254:187-232])之间的Quillen等价.作为应用,给出了投射,内射模的正合复形的同伦范畴之间的一个具体的等价■.     

Gorenstein categories and Tate cohomology on projective schemes

We study Gorenstein categories. We show that such a category has Tate cohomological functors and Avramov–Martsinkovsky exact sequences connecting the Gorenstein relative, the absolute and the Tate cohomological functors. We show that such a category has what Hovey calls an injective model structure and also a projective model structure in case the category has enough projectives. As examples we show that if X is a locally Gorenstein projective scheme then the category ??????(X) of quasi‐coherent sheaves on X is such a category and so has these features. (© 2008 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Gorenstein Isolated Quotient Singularities of Odd Prime Dimension are Cyclic

In this article, we shall prove that Gorenstein isolated quotient singularities of odd prime dimension are cyclic. In the case where the dimension is bigger than 1 and is not an odd prime number, then there exist Gorenstein isolated noncyclic quotient singularities.     

Gorenstein flatness and injectivity over Gorenstein rings

Let R be a Gorenstein ring.We prove that if I is an ideal of R such that R/I is a semi-simple ring,then the Gorenstein flat dimension of R/I as a right R-module and the Gorenstein injective dimension of R/I as a left R-module are identical.In addition,we prove that if R→S is a homomorphism of rings and SE is an injective cogenerator for the category of left S-modules,then the Gorenstein flat dimension of S as a right R-module and the Gorenstein injective dimension of E as a left R-module are identical.We also give some applications of these results.     

Gorenstein Injective and Gorenstein Flat Resolution of Modules Over Gorenstein Rings

Abstract

Let R be a commutative Noetherian ring. There are several characterizations of Gorenstein rings in terms of classical homological dimensions of their modules. In this paper, we use Gorenstein dimensions (Gorenstein injective and Gorenstein flat dimension) to describe Gorenstein rings. Moreover a characterization of Gorenstein injective (resp. Gorenstein flat) modules over Gorenstein rings is given in terms of their Gorenstein flat (resp. Gorenstein injective) resolutions.