In [Hov02], the second author introduced the Gorenstein projective and Gorenstein injective model structures on R-Mod, the category of R-modules, where R is any Gorenstein ring. These two model structures are Quillen equivalent and in fact there is a third equivalent structure we introduce; the Gorenstein flat model structure. The homotopy category with respect to each of these is called the st...

Let Λ be an Auslander’s 1-Gorenstein Artinian algebra with global dimension two. If Λ admits a trivial maximal 1-orthogonal subcategory of modΛ, then for any indecomposable module M ∈ modΛ, we have that the projective dimension of M is equal to one if and only if so is its injective dimension and that M is injective if the projective dimension of M is equal to two. In this case, we further get ...

We use Quillen model structures to show a systematic method lift recollements of hereditary abelian categories their associated homotopy categories. To that end, we the notion adjoint triples and investigate transfers along pairs. Applications include liftings module derived counterpart, provide models for stable Gorenstein projective injective modules n-morphism over Iwanaga-Gorenstein rings.

In this paper, we study a particular case of Gorenstein projective, injective, and flat modules, which we call, respectively, strongly Gorenstein projective, injective, and flat modules. These last three classes of modules give us a new characterization of the first modules, and confirm that there is an analogy between the notion of “Gorenstein projective, injective, and flat modules”and the no...

Since Eilenberg and Moore [EM], the relative homological algebra, especially the Gorenstein homological algebra ([EJ2]), has been developed to an advanced level. The analogues for the basic notion, such as projective, injective, flat, and free modules, are respectively the Gorenstein projective, the Gorenstein injective, the Gorenstein flat, and the strongly Gorenstein projective modules. One c...

In 1966 [1], Auslander introduced a class of finitely generated modules having a certain complete resolution by projective modules. Then using these modules, he defined the G-dimension (G ostensibly for Gorenstein) of finitely generated modules. It seems appropriate then to call the modules of G-dimension 0 the Gorenstein projective modules. In [4], Gorenstein projective modules (whether finite...

Let Λ be an Artinian algebra and F an additive subbifunctor of ExtΛ(−,−) having enough projectives and injectives. We prove that the dualizing subvarieties of mod Λ closed under F -extensions have F -almost split sequences. Let T be an F -cotilting module in mod Λ and S a cotilting module over Γ = End(T ). Then Hom(−, T ) induces a duality between F -almost split sequences in ⊥F T and almost sp...

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 | Torm(E,N) 6= 0}, where E is the injective hull of the residue field of R. This re...

For an (n− 1)-Auslander algebra Λ with global dimension n, we give some necessary conditions for Λ admitting a maximal (n − 1)-orthogonal subcategory in terms of the properties of simple Λ-modules with projective dimension n − 1 or n. For an almost hereditary algebra Λ with global dimension 2, we prove that Λ admits a maximal 1orthogonal subcategory if and only if for any non-projective indecom...

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...