We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived category of flat sheaves we extend several results about totally acyclic complexes of projective modules to schemes; for example, we prove that a scheme is Goren...

Given a homomorphism of commutative noetherian rings R → S and an S–module N , it is proved that the Gorenstein flat dimension of N over R, when finite, may be computed locally over S. When, in addition, the homomorphism is local and N is finitely generated over S, the Gorenstein flat dimension equals sup {m ∈ Z | TorRm(E,N) 6= 0}, where E is the injective hull of the residue field of R. This r...

We introduce and investigate the notion of GC -projective modules over (possibly non-noetherian) commutative rings, where C is a semidualizing module. This extends Holm and Jørgensen’s notion of C-Gorenstein projective modules to the non-noetherian setting and generalizes projective and Gorenstein projective modules within this setting. We then study the resulting modules of finite GC-projectiv...

s. 1 Let (R,m) be a Noetherian local ring which is a quotient of a Gorenstein local ring. Let M be a finitely generated R-module. In this paper, we study the structure of the canonical module K(RnM) of the idealization RnM via the polynomial type introduced by N. T. Cuong [5]. In particular, we give a characterization for K(RnM) being Cohen-Macaulay and generalized Cohen-Macaulay.

Let R be a commutative Noetherian local ring with residue class field k. In this paper, we mainly investigate direct summands of the syzygy modules of k. We prove that R is regular if and only if some syzygy module of k has a semidualizing summand. After that, we consider whether R is Gorenstein if and only if some syzygy module of k has a G-projective summand.

We develop the theory of trace modules up to isomorphism and explore relationship between preenveloping classes property being a module, guided by question whether given module is in preenvelope. As consequence we identify new examples ideals modules, characterize several rings with focus on Gorenstein regular properties.

Let φ : (R, m)→ (S, n) be a local homomorphism of commutative noetherian local rings. Suppose that M is a finitely generated S-module. A generalization of Grothendieck’s non-vanishing theorem is proved for M (i.e. the Krull dimension of M over R is the greatest integer i for which the ith local cohomology module of M with respect to m, Hi m(M), is non-zero). It is also proved that the Gorenstei...

We obtain some methods to construct a (strongly) proper resolution (resp. coproper coresolution) of one end term in a short exact sequence from that of the other two terms. By using this method, we prove that for a left and right Noetherian ring R, RR satisfies the Auslander condition if and only if so does every flat left R-module, if and only if the injective dimension of the ith term in a mi...

We put cluster tilting in a general framework by showing that any quotient of a triangulated category modulo a tilting subcategory (that is, a maximal one-orthogonal subcategory) carries an induced abelian structure. These abelian quotients turn out to be module categories of Gorenstein algebras of dimension at most one.