Gorenstein projective dimensions of complexes

We show that over a right coherent left perfect ring R, a complex C of left R-modules is Gorenstein projective if and only if C ^m is Gorenstein projective in R-Mod for all m ∈ ℤ. Basing on this we show that if R is a right coherent left perfect ring then Gpd(C) = sup{Gpd(C ^m )|m ∈ ℤ} where Gpd(−) denotes Gorenstein projective dimension.     

On Gorenstein FP-Injective and Gorenstein Flat Complexes

In this article, the concept of Gorenstein FP-injective modules and some related known results are generalized to Gorenstein FP-injective complexes. Moreover, some new characterizations of Gorenstein flat complexes are given. It is also proved that every complex has a Gorenstein flat preenvelope over coherent rings with finite self-FP-injective dimension.     

Gorenstein injective envelopes and covers over two sided noetherian rings

We prove that the class of Gorenstein injective modules is both enveloping and covering over a two sided noetherian ring such that the character modules of Gorenstein injective modules are Gorenstein flat. In the second part of the paper we consider the connection between the Gorenstein injective modules and the strongly cotorsion modules. We prove that when the ring R is commutative noetherian of finite Krull dimension, the class of Gorenstein injective modules coincides with that of strongly cotorsion modules if and only if the ring R is in fact Gorenstein.     

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.     

Stable functors of derived equivalences and Gorenstein projective modules

From certain triangle functors, called nonnegative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the stable categories of the abelian categories. The construction generalizes a previous work by Hu and Xi. We show that the stable functors of nonnegative functors have nice exactness property and are compatible with composition of functors. This allows us to compare conveniently the homological properties of objects linked by the stable functors. In particular, we prove that the stable functor of a derived equivalence between two arbitrary rings provides an explicit triangle equivalence between the stable categories of Gorenstein projective modules. This generalizes a result of Y. Kato. Our results can also be applied to provide shorter proofs of some known results on homological conjectures.     

Gorenstein Projective,Injective, and Flat Complexes

Abstract

We study the classification of those finite groups G having a non-inner class preserving automorphism. Criteria for these automorphisms to be inner are established. Let G be a nilpotent-by-nilpotent group and S?∈?Sy l ₂(G). If S is abelian, generalized quaternion or S is dihedral, and in this case G is also metabelian, then Out _c (G)?=?1. If S is generalized quaternion, 𝒵(S)???𝒵(G) and S ₄ is not a homomorphic image of G, then Out _c (G)?=?1. As a consequence, it follows that the normalizer problem of group rings has a positive answer for these groups.     

Totally acyclic complexes over noetherian schemes

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves on a semi-separated noetherian scheme, and study these complexes using the pure derived category of flat quasi-coherent sheaves. We prove that a scheme is Gorenstein if and only if every acyclic complex of flat quasi-coherent sheaves is totally acyclic. Our formalism also removes the need for a dualising complex in several known results for rings, including Jørgensen's proof of the existence of Gorenstein projective precovers.     

Another Gorenstein analogue of flat modules

A right R-module M is called glat if any homomorphism from any finitely presented right R-module to M factors through a finitely presented Gorenstein projective right R-module. The concept of glat modules may be viewed as another Gorenstein analogue of flat modules. We first prove that the class of glat right R-modules is closed under direct sums, direct limits, pure quotients and pure submodules for arbitrary ring R. Then we obtain that a right R-module M is glat if and only if M is a direct limit of finitely presented Gorenstein projective right R-modules. In addition, we explore the relationships between glat modules and Gorenstein flat (Gorenstein projective) modules. Finally we investigate the existence of preenvelopes and precovers by glat and finitely presented Gorenstein projective modules.     

Gorenstein Modules and Auslander Categories

In this article, some new characterizations of Gorenstein projective, injective, and flat modules over commutative noetherian local rings are given.     

On the rings whose injective hulls are flat

Let be a commutative Noetherian ring with nonzero identity and let the injective envelope of be flat. We characterize these kinds of rings and obtain some results about modules with nonzero injective cover over these rings.

     

Gorenstein projective bimodules via monomorphism categories and filtration categories

We generalize the monomorphism category from quiver (with monomial relations) to arbitrary finite dimensional algebras by a homological definition. Given two finite dimension algebras A and B, we use the special monomorphism category $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ to describe some Gorenstein projective bimodules over the tensor product of A and B. If one of the two algebras is Gorenstein, we give a sufficient and necessary condition for $\mathsf{Mon}(B,A\text{-}\mathsf{Gproj})$ being the category of all Gorenstein projective bimodules. In addition, if both A and B are Gorenstein, we can describe the category of all Gorenstein projective bimodules via filtration categories. Similarly, in this case, we get the same result for infinitely generated Gorenstein projective bimodules.     

n-Strongly Gorenstein Projective,Injective and Flat Modules

In this article, we study the relation between m-strongly Gorenstein projective (resp., injective) modules and n-strongly Gorenstein projective (resp., injective) modules whenever m ≠ n, and the homological behavior of n-strongly Gorenstein projective (resp., injective) modules. We introduce the notion of n-strongly Gorenstein flat modules. Then we study the homological behavior of n-strongly Gorenstein flat modules, and the relation between these modules and n-strongly Gorenstein projective (resp., injective) modules.     

Virtually Gorenstein rings and relative homology of complexes

We extend the notion of virtually Gorenstein rings to the setting of arbitrary rings, and prove that all rings R of finite Gorenstein weak global dimension are virtually Gorenstein such that all Gorenstein projective R-modules are Gorenstein flat. For such a ring R, we introduce the notion of relative homology functors of complexes with respect to Gorenstein projective (resp., flat) modules, and establish a balanced and a vanishing result for the homology functor.     

On Stability of Gorenstein Categories

We show that an iteration of the procedure used to define the Gorenstein projective modules over a ring R yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective left R-modules G = … → G ₁ → G ₀ → G ⁰ → G ¹ → … such that the complex Hom _R (G, H) is exact for each projective left R-module H, the module Im(G ₀ → G ⁰) is Gorenstein projective. We also get similar results for Gorenstein flat left R-modules when R is a right coherent ring. As applications, we obtain the corresponding results for Gorenstein complexes.