The main aim of this paper is to investigate rings over which all (finitely generated strongly) Gorenstein projective modules are projective. We consider this propriety under change of rings, and give various examples of rings with and without this propriety.
In \cite{Ouarghi}, the authors discuss the rings over which all modules are strongly Gorenstein projective. In this paper, we are interesting to an extension of this idea. Thus, we discuss the rings over which every Gorenstein projective (resp. flat) module is strongly Gorenstein projective (resp, flat). Our aim is to give examples of rings with different Gorenstein global dimension satisfied this condition.
In this note, we study commutative Noetherian local rings having finitely generated modules of finite Gorenstein injective dimension. In particular, we consider whether such rings are Cohen-Macaulay.
We prove that the class of Gorenstein projective modules is special precovering over any left GF-closed ring such that every Gorenstein projective module is Gorenstein flat and every Gorenstein flat module has finite Gorenstein projective dimension. This class of rings includes (strictly) Gorenstein rings, commutative noetherian rings of finite Krull dimension, as well as right coherent and left n-perfect rings. In section 4 we give examples of left GF-closed rings that have the desired properties (every Gorenstein projective module is Gorenstein flat and every Gorenstein flat has finite Goren…
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 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 notion of the usual projective, injective, and flat modules.
One of the main results of this paper is the characterization of the rings over which all modules are strongly Gorenstein projective. We show that these kinds of rings are very particular cases of the well-known quasi-Frobenius rings. We give examples of rings over which all modules are Gorenstein projective but not necessarily strongly Gorenstein projective.
Let $R$ be a commutative ring. An $R$-module $M$ is said to be super finitely presented if there is an exact sequence of $R$-modules $\cdots\rightarrow P_n\rightarrow\cdots \rightarrow P_1\rightarrow P_0\rightarrow M\rightarrow 0$ where each $P_i$ is finitely generated projective. In this paper it is shown that if $R$ has the property (B) that every super finitely presented module has finite Gorenstein projective dimension, then every finitely generated Gorenstein projective module is super finitely presented. As an application of the notion of super finitely presented modules, we show that if…
This paper generalize the idea of the authors in \cite{Bennis and Mahdou1}. Namely, we define and study a particular case of modules with Gorenstein projective, injective, and flat dimension less or equal than $n\geq 0$, which we call, respectively, strongly n-Gorenstein projective, injective and flat modules. These three classes of modules give us a new characterization of the first modules, and they are a generalization of the notions of strongly Gorenstein projective, injective, and flat modules respectively.
We consider a right coherent ring R. We prove that the class of Gorenstein flat complexes is covering in the category of complexes of left R-modules Ch(R). When R is also left n-perfect, we prove that the class of Gorenstein projective complexes is special precovering in Ch(R).
We investigate the relationship between the level of a bounded complex over a commutative ring with respect to the class of Gorenstein projective modules and other invariants of the complex or ring, such as projective dimension, Gorenstein projective dimension, and Krull dimension. The results build upon work done by J. Christensen [6], H. Altmann et al. [1], and Avramov et al. [3] for levels with respect to the class of finitely generated projective modules.
Let R be a ring, X a class of R-modules and n>1 an integer. In this paper, via special finitely presented modules, we introduce the concepts of Gorenstein n-X-injective and n-X-flat modules. And aside, we obtain some equivalent properties of these modules on n-X-coherent rings. Then, we investigate the relations among Gorenstein n-X-injective, n-X-flat, injective and flat modules on X-FC-rings (i.e., self n-X-injective and n-X-coherent rings). Several known results are generalized to this new context
This paper generalize the idea of the authors in J. Pure Appl. Algebra 210 (2007) 437--445. Namely, we define and study a particular case of Gorenstein projective modules. We investigate some change of rings results for this new kind of modules. Examples over not necessarily Noetherian rings are given.
The concept of Gorenstein dimension, defined by Auslander and Bridger for finitely generated modules over a Noetherian ring, is studied in the context of finitely presented modules over a coherent ring. A generalization of the Auslander-Bridger formula is established and is used as a cornerstone in the development of a theory of coherent Gorenstein rings.
Motivated by their impact on homological algebra, the change of rings results have been the subject of several interesting works in Gorenstein homological algebra over Noetherian rings. In this paper, we investigate the change of rings theorems for the Gorenstein dimensions over arbitrary rings. Namely, by the use of the notion of strongly Gorenstein modules, we extend the well-known first, second, and third change of rings theorems for the classical projective and injective dimensions to the Gorenstein projective and injective dimensions, respectively. Each of the results established, in this…
We introduce Gorenstein silting modules (resp. complexes), and give the relation with the usual silting modules (resp. complexes). We show that Gorenstein silting modules are the module-theoretic counterpart of 2-term Gorenstein silting complexes; and partial Gorenstein silting modules are in bijection with τ_{G}-rigid modules for finite dimensional algebras of finite CM-type. We also give the relation between 2-term Gorenstein silting complexes, t-structures and torsion pair in module categories; and generalise the classical Brenner-Butler theorem to this setting; and characterise the global …
We investigate symmetry in the vanishing of Tate cohomology for finitely generated modules over local Gorenstein rings. For finitely generated R-modules M and N over Gorenstein local ring R, it is shown that $\widehat{Ext}^i_R(M,N)=0$ for all $i\in\mathbb{Z}$ if and only if $\widehat{Ext}^i_R(N,M)=0$ for all $i\in\mathbb{Z}$.
Unlike the Gorenstein projective and injective dimensions, the majority of results on the Gorenstein flat dimension have been established only over Noetherian (or coherent) rings. Naturally, one would like to generalize these results to any associative ring. In this direction, we show that the Gorenstein flat dimension is a refinement of the classical flat dimension over any ring; and we investigate the relations between the Gorenstein projective dimension and the Gorenstein flat dimension.
We investigate symmetry in the vanishing of Ext for finitely generated modules over local Gorenstein rings. In particular, we define a class of local Gorenstein rings, which we call AB rings, and show that for finitely generated modules $M$ and $N$ over an AB ring $R$, $Ext^i_R(M,N)=0$ for all $i >> 0$ if and only if $Ext^i_R(N,M)=0$ for all $i >> 0$.
Let $T$ be a tilting module. In this paper, Gorenstein $π[T]$-projective modules are introduced and some of their basic properties are studied. Moreover, some characterizations of rings over which all modules are Gorenstein $π[T]$-projective are given. For instance, on the $T$-cocoherent rings, it is proved that the Gorenstein $π[T]$-projectivity of all $R$-modules is equivalent to the $π[T]$-projectivity of $σ[T]$-injective as a module.
We give counterexamples to the following conjecture of Auslander: given a finitely generated module $M$ over an Artin algebra $Λ$, there exists a positive integer $n_M$ such that for all finitely generated $Λ$-modules $N$, if $\Ext_Λ^i(M,N)=0$ for all $i\gg 0$, then $\Ext_Λ^i(M,N)=0$ for all $i\geq n_M$. Some of our examples moreover yield homologically defined classes of commutative local rings strictly between the class of local complete intersections and the class of local Gorenstein rings.
We define and study a notion of Gorenstein projective dimension for complexes of left modules over associative rings. For complexes of finite Gorenstein projective dimension we define and study a Tate cohomology theory. Tate cohomology groups have a natural transformation to classical Ext groups. In the case of module arguments, we show that these maps fit into a long exact sequence, where every third term is a relative cohomology group defined for left modules of finite Gorenstein projective dimension.
Gorenstein rings are important to mathematical areas as diverse as algebraic geometry, where they encode information about singularities of spaces, and homotopy theory, through the concept of model categories. In consequence, the study of Gorenstein rings has led to the advent of a whole branch of homological algebra, known as Gorenstein homological algebra. This paper solves one of the open problems of Gorenstein homological algebra by showing that so-called Gorenstein projective resolutions exist over quite general rings, thereby enabling the definition of a Gorenstein version of derived fun…
We give a result of Auslander-Ringel-Tachikawa type for Gorenstein-projective modules over a complete Gorenstein order. In particular, we prove that a complete Gorenstein order is of finite Cohen-Macaulay representation type if and only if every indecomposable pure-injective object in the stable category of Gorenstein-projective modules is compact.
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$-projective dimension, showing in particular that they admit $\gc$-projective approximations, a generalization of the maximal Cohen-Macaulay approximations of Auslander and Buchweitz. Over a local (noethe…
Let R be a local ring with maximal ideal m admitting a non-zero element a\in\fm for which the ideal (0:a) is isomorphic to R/aR. We study minimal free resolutions of finitely generated R-modules M, with particular attention to the case when m^4=0. Let e denote the minimal number of generators of m. If R is Gorenstein with m^4=0 and e\ge 3, we show that \Poi MRt is rational with denominator \HH R{-t} =1-et+et^2-t^3, for each finitely generated R-module M. In particular, this conclusion applies to generic Gorenstein algebras of socle degree 3.
It was proved by Beligiannis and Krause that over certain Artin algebras, there are Gorenstein flat modules which are not direct limits of finitely generated Gorenstein projective modules. That is, these algebras have no Gorenstein analogue of the Govorov-Lazard Theorem. We show that, in fact, there is a large class of rings without such an analogue. Namely, let R be a commutative local noetherian ring. Then the analogue fails for R if it has a dualizing complex, is henselian, not Gorenstein, and has a finitely generated Gorenstein projective module which is not free. The proof is based on a t…
Let $R$ be a ring with identity and $\C(R)$ denote the category of complexes of $R$-modules. In this paper we study the homotopy categories arising from projective (resp. injective) complexes as well as Gorenstein projective (resp. Gorenstein injective) modules. We show that the homotopy category of projective complexes over $R$, denoted $\KPC$, is always well generated and is compactly generated provided $\KPR$ is so. Based on this result, it will be proved that the class of Gorenstein projective complexes is precovering, whenever $R$ is a commutative noetherian ring of finite Krull dimension…
Let $C$ be a semidualizing module. We first investigate the properties of finitely generated $G_C$-projective modules. Then, relative to $C$, we introduce and study the rings of Gorenstein (weak) global dimensions at most 1, which we call $C$-Gorenstein (semi)hereditary rings, and prove that every $C$-Gorenstein hereditary ring is both coherent and $C$-Gorenstein semihereditary.
We show that an iteration of the procedure used to define the Gorenstein projective modules over a commutative ring $R$ yields exactly the Gorenstein projective modules. Specifically, given an exact sequence of Gorenstein projective $R$-modules $G=...\xra{\partial^G_2}G_1\xra{\partial^G_1}G_0\xra{\partial^G_0} ...$ such that the complexes $\Hom_R(G,H)$ and $\Hom_R(H,G)$ are exact for each Gorenstein projective $R$-module $H$, the module $\coker(\partial^G_1)$ is Gorenstein projective. The proof of this result hinges upon our analysis of Gorenstein subcategories of abelian categories.
Let A be an artin algebra. An A-module M is semi-Gorenstein-projective provided that Ext^i(M,A) = 0 for all i > 0. If M is Gorenstein-projective, then both M and its A-dual M* are semi-Gorenstein projective. As we have shown recently, the converse is not true, thus answering a question raised by Avramov and Martsinkovsky. The aim of the present note is to analyse in detail the modules M such that both M and M* are semi-Gorenstein-projective.
We characterize Ding modules and complexes over Ding-Chen rings. We show that over a Ding-Chen ring R, the Ding projective (resp. Ding injective, resp. Ding flat) R-modules coincide with the Gorenstein projective (resp. Gorenstein injective, resp. Gorenstein flat) modules, which in turn are nothing more than modules appearing as a cycle of an exact complex of projective (resp. injective, resp. flat) modules. We prove a similar characterization for chain complexes of R-modules: A complex is Ding projective (resp. Ding injective, resp. Ding flat) if and only if each component is Ding projective …
A semi-dualizing module over a commutative noetherian ring A is a finitely generated module C with RHom_A(C,C) \simeq A in the derived category D(A). We show how each such module gives rise to three new homological dimensions which we call C-Gorenstein projective, C-Gorenstein injective, and C-Gorenstein flat dimension, and investigate the properties of these dimensions.
In this paper, we study the pair $(\GP(R),\GP(R)^{\perp})$ where $\GP(R)$ is the class of all Gorenstein projective modules. We prove that it is complete hereditary cotorsion theory provided $l.\Ggldim(R)<\infty$. We discuss also, when every Gorenstein projective module is Gorenstein flat.
In this paper, we prove that the global Gorenstein projective dimension of a ring $R$ is equal to the global Gorenstein injective dimension of $R$, and that the global Gorenstein flat dimension of $R$ is smaller than the common value of the terms of this equality.
Let $R$ be a local ring of positive characteristic and $X$ a complex with nonzero finitely generated homology and finite injective dimension. We prove that if derived base change of $X$ via the Frobenius (or more generally, via a contracting) endomorphism has finite injective dimension then $R$ is Gorenstein.
Let $R \to S$ be a local ring homomorphism and $N$ a finitely generated $S$-module. We prove that if the Gorenstein injective dimension of $N$ over $R$ is finite, then it equals the depth of $R$.
Let $R$ be a commutative Noetherian ring. In this paper, we study those finitely generated $R$-modules whose Cousin complexes provide Gorenstein injective resolutions. We call such a module a G-Gorenstein module. Characterizations of G-Gorenstein modules are given and a class of such modules is determined. It is shown that the class of G-Gorenstein modules strictly contains the class of Gorenstein modules. Also, we provide a Gorenstein injective resolution for a balanced big Cohen-Macaulay $R$-module. Finally, using the notion of a G-Gorenstein module, we obtain characterizations of Gorenstein…
We consider the following question: Is Gorenstein homology a X-pure homology, in the sense defined by Warfield, for a class X of modules? Let GP denote the class of Gorenstein projective modules. We prove that over a commutative Noetherian ring R of finite Krull dimension, Gorenstein homology is a GP-pure homology if and only if R is virtually Gorenstein.
The so-called 'change-of-ring' results are well-known expressions which present several connections between projective, injective and flat dimensions over the various base rings. In this note we extend these results to the Gorenstein dimensions over Cohen-Macaulay local rings.
In this paper, we show that the Gorenstein global dimension of trivial ring extensions is often infinite. Also we study the transfer of Gorenstein properties between a ring and its trivial ring extensions. We conclude with an example showing that, in general, the transfer of the notion of Gorenstein projective module does not carry up to pullback constructions.
Let $(R,\frak m, k)$ be a noetherian local ring. It is well-known that $R$ is regular if and only if the injective dimension of $k$ is finite. In this paper it is shown that $R$ is Gorenstein if and only if the Gorenstein injective dimension of $k$ is finite. On the other hand a generalized version of the so-called Bass formula is proved for finitely generated modules of finite Gorenstein injective dimension. It also improves Christensen's generalized Bass formula (cf. "Gorenstein dimensions", volume 1747 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 2000).
We give a sufficient condition for the class of Gorenstein injective modules be precovering: if $R$ is right noetherian and if the class of Gorenstein injective modules, $\mathcal{GI}$, is closed under filtrations, then $\mathcal{GI}$ is precovering in $R-Mod$. The converse is also true when we assume that $\mathcal{GI}$ is covering. We extend our results to the category of complexes. We prove that if the class of Gorenstein injective modules is closed under filtrations then the class of Gorenstein injective complexes is precovering in $Ch(R)$. We also give a sufficient condition for the exist…
We introduce the cohomological blow up of a graded Artinian Gorenstein (AG) algebra along a surjective map, which we term BUG (Blow Up Gorenstein) for short. This is intended to translate to an algebraic context the cohomology ring of a blow up of a projective manifold along a projective submanifold. We show, among other things, that a BUG is a connected sum, that it is the general fiber in a flat family of algebras, and that it preserves the strong Lefschetz property. We also show that standard graded compressed algebras are rarely BUGs, and we classify those BUGs that are complete intersecti…
Following the well-established terminology in commutative algebra, any (not necessarily commutative) finite-dimensional local algebra $A$ with radical $J$ will be said to be short provided $J^3 = 0$. As in the commutative case, we show: if a short local algebra $A$ has an indecomposable non-projective Gorenstein-projective module $M$, then either $A$ is self-injective (so that all modules are Gorenstein-projective) and then $|J^2| \le 1$, or else $|J^2| = |J/J^2| - 1$ and $|JM| = |J^2||M/JM|$. More generally, we focus the attention to semi-Gorenstein-projective and $\infty$-torsionfree modules…
Gorenstein homological dimensions are refinements of the classical homological dimensions, and finiteness singles out modules with amenable properties reflecting those of modules over Gorenstein rings. As opposed to their classical counterparts, these dimensions do not immediately come with practical and robust criteria for finiteness, not even over commutative noetherian local rings. In this paper we enlarge the class of rings known to admit good criteria for finiteness of Gorenstein dimensions: It now includes, for instance, the rings encountered in commutative algebraic geometry and, in the…
Let R be a Gorenstein local ring which is locally a hypersurface on the punctured spectrum. In this paper, we classify thick subcategories of the bounded derived category of finitely generated R-modules. Moreover, using this classification, we also classify thick subcategories of finitely generated R-modules, and find out the relationships with thick subcategories of Cohen-Macaulay R-modules.
We show that a differential module is Gorenstein projective if and only if its underlying module is Gorenstein projective. Dually, a differential module is Gorenstein injective if and only if its underlying module is Gorenstein injective.
We study induced additive actions on projective hypersurfaces, i.e. regular actions of the algebraic group $\mathbb G_a^m$ with an open orbit that can be extended to a regular action on the ambient projective space. We prove that if a projective hypersurface admits an induced additive action, then it is unique if and only if the hypersurface is non-degenerate. We also show that for any $n\geq 2$, there exists a non-degenerate hypersurface in $\mathbb P^n$ of each degree $d$ from $2$ to $n$.