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.
In this note we characterize the (resp., weak) Gorenstein global dimension for an arbitrary ring. Also, we extend the well-known Hilbert's syzygy Theorem to the weak Gorenstein global dimension and we study the weak Gorenstein homological dimensions of direct product of rings, which gives examples of non-coherent rings of finite Gorenstein dimensions $>0$ and infinite classical weak dimension.
In this paper, we establish, as a generalization of a result on the classical homological dimensions of commutative rings, an upper bound on the Gorenstein global dimension of commutative rings using the global cotorsion dimension of rings. We use this result to compute the Gorenstein global dimension of some particular cases of trivial extensions of rings and of group rings.
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct product of rings, which gives examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.
In this paper, we extend the well-known Hilbert's syzygy theorem to the Gorenstein homological dimensions of rings. Also, we study the Gorenstein homological dimensions of direct products of rings. Our results generate examples of non-Noetherian rings of finite Gorenstein dimensions and infinite classical weak dimension.
We study the Gorenstein weak global dimension of associative rings and its relation to the Gorenstein global dimension. In particular, we prove the conjecture that the Gorenstein weak global dimension is a left-right symmetric invariant -- just like the (absolute) weak global dimension.
We expand on two existing characterizations of rings of Gorenstein (weak) global dimension zero and give two new characterizations of rings of finite Gorenstein (weak) global dimension. We also include the answer to a question of Y.~Xiang on Gorenstein weak global dimension of group rings.
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 …
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 paper, we investigate the weak Gorenstein global dimensions. We are mainly interested in studying the problem when the left and right weak Gorenstein global dimensions coincide. We first show, for GF-closed rings, that the left and right weak Gorenstein global dimensions are equal when they are finite. Then, we prove that the same equality holds for any two-sided coherent ring. We conclude the paper with some examples and a brief discussion of the scope and limits of our results.
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.
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.
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.
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 define a notion of Gorenstein flat dimension for unbounded complexes over left GF-closed rings. Over Gorenstein rings we introduce a notion of Gorenstein cohomology for complexes; we also define a generalized Tate cohomology for complexes over Gorenstein rings, and we show that there is a close connection between the absolute, the Gorenstein and the generalized Tate cohomology.
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.
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…
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…
There are nice relations between graded homological dimensions and ordinary homological dimensions. We study the Gorenstein injective dimension of a complex of graded modules denoted by $^*\Gid$, and derive its properties. In particular we prove the Chouinard's like formula for $^*\Gid$, and compare it with the usual Gorenstein injective dimension.
A central problem in the theory of Gorenstein dimensions over commutative noetherian rings is to find resolution-free characterizations of the modules for which these invariants are finite. Over local rings, this problem was recently solved for the Gorenstein flat and the Gorenstein projective dimensions; here we give a solution for the Gorenstein injective dimension. Moreover, we establish two formulas for the Gorenstein injective dimension of modules in terms of the depth invariant; they extend formulas for the injective dimension due to Bass and Chouinard.
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 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 compute the Gorenstein weak dimension of a coherent power series rings over a commutative rings and we show that, in general, $\gwd(R) \leq 1$ does not imply that $R$ is an arithmetical ring.
For a commutative ring R and a faithfully flat R-algebra S we prove, under mild extra assumptions, that an R-module M is Gorenstein flat if and only if the left S-module S\otimes M is Gorenstein flat, and that an R-module N is Gorenstein injective if and only if it is cotorsion and the left S-module Hom(S,N) is Gorenstein injective. We apply these results to the study of Gorenstein homological dimensions of unbounded complexes. In particular, we prove two theorems on stability of these dimensions under faithfully flat (co-)base change.
Let $(R,\frak m)$ be a commutative Noetherian local ring and let $M$ and $N$ be finitely generated $R$-modules of finite injective dimension and finite Gorenstein injective dimension, respectively. In this paper we prove a generalization of Ischebeck Formula, that is $\depth_RM+\sup\{i| {0.1cm}\Ext_R^i(M,N)\neq 0\}=\depth 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 Noetherian local ring. We prove that $R$ is regular of dimension at most four if, and only if, every prime ideal, defining a Gorenstein quotient ring, is syzygetic. We deduce a characterization of these rings in terms of the André-Quillen homology.
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$.
For a horizontally linked module, over a commutative semiperfect Noetherian ring $R$, the connections of its invariants reduced grade, Gorenstein dimension and depth are studied. It is shown that under certain conditions the depth of a horizontally linked module is equal to the reduced grade of its linked module. The connection of the Serre condition $(S_n)$ on an $R$--module of finite Gorenstein dimension with the vanishing of the local cohomology groups of its linked module is discussed.
We prove that the Hilbert functions of codimension four graded Gorenstein Artin algebras R/I are unimodal provided I has a minimal generator in degree less than five. It is an open question whether all Gorenstein h-vectors in codimension four are unimodal. In this paper, we prove that Hilbert functions of all artinian codimension four Gorenstein algebras starting with (1,4,10, 20, h_4,...), where h_4\leq 34 are unimodal. Combining this with the previously known results, we obtain that all Gorenstein h-vectors (1, h_1, h_2,h_3, h_4, ....) are unimodal if h_4\leq 3.
Let (R,m) be a commutative Noetherian local ring. It is known that R is Cohen-Macaulay if there exists either a nonzero finitely generated R-module of finite injective dimension or a nonzero Cohen-Macaulay R-module of finite projective dimension. In this paper, we investigate the Gorenstein analogues of these facts.
We answer a question of Celikbas, Dao, and Takahashi by establishing the following characterization of Gorenstein rings: a commutative noetherian local ring $(R,\mathfrak m)$ is Gorenstein if and only if it admits an integrally closed $\mathfrak m$-primary ideal of finite Gorenstein dimension. This is accomplished through a detailed study of certain test complexes. Along the way we construct such a test complex that detect finiteness of Gorenstein dimension, but not that of projective dimension.
Let $(R,\mathfrak{m})$ be a two-dimensional regular local ring with infinite residue class field. Then the Rees algebra $\mathcal{R} (I)= \bigoplus_{n \ge 0}I^n$ of $I$ is an almost Gorenstein graded ring in the sense of Goto-Takahashi-Taniguchi for every $\mathfrak{m}$-primary integrally closed ideal $I$ in $R$.
Given a semidualizing module $C$ over a commutative noetherian ring, Holm and Jørgensen investigate some connections between $C$-Gorenstein dimensions of an $R$-complex and Gorenstein dimensions of the same complex viewed as a complex over the "trivial extension" $R \ltimes C$. We generalize some of their results to a certain type of retract diagram. We also investigate some examples of such retract diagrams, namely D'Anna and Fontana's amalgamated duplication and Enescu's pseudocanonical cover.
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 | Tor^R_m(E,N) \noteq 0} where E is the injective hull of the residue field of R. This result is analogous to a theorem of André on flat dimension.
A ring $R$ is called left GF-closed, if the class of all Gorenstein flat left $R$-modules is closed under extensions. The class of left GF-closed rings includes strictly the one of right coherent rings and the one of rings of finite weak dimension. In this paper, we investigate the Gorenstein flat dimension over left GF-closed rings. Namely, we generalize the fact that the class of all Gorenstein flat left modules is projectively resolving over right coherent rings to left GF-closed rings. Also, we generalize the characterization of Gorenstein flat left modules (then of Gorenstein flat dimensi…
The notion of almost Gorenstein local ring introduced by V. Barucci and R. Fröberg for one-dimensional Noetherian local rings which are analytically unramified has been generalized by S. Goto, N. Matsuoka and T. T. Phuong to one-dimensional Cohen-Macaulay local rings, possessing canonical ideals. The present purpose is to propose a higher-dimensional notion and develop the basic theory. The graded version is also posed and explored.
Levelness and nearly Gorensteinness are well-studied properties of graded rings as a generalized notion of Gorensteinness. In this paper, we compare the strength of these properties. For any Cohen-Macaulay homogeneous affine semigroup ring R, we give a necessary condition for R to be non-Gorenstein and nearly Gorenstein in terms of the h-vector of R and we show that if R is nearly Gorenstein with Cohen-Macaulay type 2, then it is level. We also show that if Cohen-Macaulay type is more than 2, there are 2-dimensional counterexamples. Moreover, we characterize nearly Gorensteinness of Stanley-Re…
In this paper we study orders over Cohen-Macaulay rings. We discuss desirable properties for these orders if they are to represent NCCRs of the base rings. While some definitions have been made, we discuss an alternate definition and the non-existence of examples. We then give necessary and sufficient conditions for an order to have certain desirable homological properties. We examine examples of rings satisfying these properties to prove that certain endormorphism rings over abelian quotient singularities have infinite global dimension.
In this paper, we introduce and study the rings of Gorenstein homological dimensions small or equal than 1, which we call Gorenstein (semi)hereditary rings, specially particular cases of these rings, which we call strongly Gorenstein (semi)hereditary rings.
In this paper, we study Gorenstein injective, projective, and flat modules over a Noetherian ring $R$. For an $R$-module $M$, we denote by ${\rm Gpd}_RM$ and ${\rm Gfd}_R M$ the Gorenstein projective and flat dimensions of $M$, respectively. We show that ${\rm Gpd}_RM<\infty$ if and only if ${\rm Gfd}_RM<\infty$ provided the Krull dimension of $R$ is finite. Moreover, in the case that $R$ is local, we correspond to a dualizing complex ${\bf D}$ of $\hat{R}$, the classes $A'(R)$ and $B'(R)$ of $R$-modules. For a module $M$ over a local ring $R$, we show that $M\in A'(R)$ if and only if ${\rm Gp…
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.
A result of Foxby states that if there exists a complex with finite depth, finite flat dimension, and finite injective dimension over a local ring $R$, then $R$ is Gorenstein. In this paper we investigate some homological dimensions involving a semidualizing complex and improve on Foxby's result by answering a question of Takahashi and White. In particular, we prove for a semidualizing complex $C$, if there exists a complex with finite depth, finite $\mathcal{F}_C$-projective dimension, and finite $\mathcal{I}_C$-injective dimension over a local ring $R$, then $R$ is Gorenstein.