Model structures, recollements and duality pairs

In this paper, we construct some model structures corresponding Gorenstein [Formula: see text]-modules and relative Gorenstein flat modules associated to duality pairs, Frobenius pairs and cotorsion pairs. By investigating homological properties of Gorenstein [Formula: see text]-modules and some known complete hereditary cotorsion pairs, we describe several types of complexes and obtain some characterizations of Iwanaga–Gorenstein rings. Based on some facts given in this paper, we find new duality pairs and show that [Formula: see text] is covering as well as enveloping and [Formula: see text] is preenveloping under certain conditions, where [Formula: see text] denotes the class of Gorenstein [Formula: see text]-injective modules and [Formula: see text] denotes the class of Gorenstein [Formula: see text]-flat modules. We give some recollements via projective cotorsion pair [Formula: see text] cogenerated by a set, where [Formula: see text] denotes the class of Gorenstein [Formula: see text]-projective modules. Also, many recollements are immediately displayed through setting specific complete duality pairs.

Gorenstein flat modules relative to injectively resolving subcategories

Let [Formula: see text] be an injectively resolving subcategory of left [Formula: see text]-modules. We introduce and study [Formula: see text]-Gorenstein flat modules as a common generalization of some known modules such as Gorenstein flat modules (Enochs, Jenda and Torrecillas, 1993), Gorenstein AC-flat modules (Bravo, Estrada and Iacob, 2018). Then we define a resolution dimension relative to the [Formula: see text]-Gorensteinflat modules, investigate the properties of the homological dimension and unify some important properties possessed by some known homological dimensions. In addition, stability of the category of [Formula: see text]-Gorensteinflat modules is discussed, and some known results are obtained as applications.

Acyclic Complexes and Gorenstein Rings

For a given class of modules [Formula: see text], let [Formula: see text] be the class of exact complexes having all cycles in [Formula: see text], and dw([Formula: see text]) the class of complexes with all components in [Formula: see text]. Denote by [Formula: see text][Formula: see text] the class of Gorenstein injective R-modules. We prove that the following are equivalent over any ring R: every exact complex of injective modules is totally acyclic; every exact complex of Gorenstein injective modules is in [Formula: see text]; every complex in dw([Formula: see text][Formula: see text]) is dg-Gorenstein injective. The analogous result for complexes of flat and Gorenstein flat modules also holds over arbitrary rings. If the ring is n-perfect for some integer n ≥ 0, the three equivalent statements for flat and Gorenstein flat modules are equivalent with their counterparts for projective and projectively coresolved Gorenstein flat modules. We also prove the following characterization of Gorenstein rings. Let R be a commutative coherent ring; then the following are equivalent: (1) every exact complex of FP-injective modules has all its cycles Ding injective modules; (2) every exact complex of flat modules is F-totally acyclic, and every R-module M such that M+ is Gorenstein flat is Ding injective; (3) every exact complex of injectives has all its cycles Ding injective modules and every R-module M such that M+ is Gorenstein flat is Ding injective. If R has finite Krull dimension, statements (1)–(3) are equivalent to (4) R is a Gorenstein ring (in the sense of Iwanaga).

Cohen-Macaulay homological dimensions

We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay injective dimension fits between the Gorenstein injective dimension and the Chouinard invariant.