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.     

Free resolutions over short Gorenstein local rings

Let R be a local ring with maximal ideal ${\mathfrak{m}}$ admitting a non-zero element ${a\in\mathfrak{m}}$ 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 ${\mathfrak{m}^4=0}$ . Let e denote the minimal number of generators of ${\mathfrak{m}}$ . If R is Gorenstein with ${\mathfrak{m}^4=0}$ and e ?? 3, we show that ${{\rm P}_{M}^{R}(t)}$ is rational with denominator H _R (?t) =?1 ? et?+?et ² ? t ³, for each finitely generated R-module M. In particular, this conclusion applies to generic Gorenstein algebras of socle degree 3.     

Duality for Koszul homology over Gorenstein rings

We study Koszul homology over local Gorenstein rings. It is well known that if an ideal is strongly Cohen–Macaulay the Koszul homology algebra satisfies Poincaré duality. We prove a version of this duality which holds for all ideals and allows us to give two criteria for an ideal to be strongly Cohen–Macaulay. The first can be compared to a result of Hartshorne and Ogus; the second is a generalization of a result of Herzog, Simis, and Vasconcelos using sliding depth.     

Gorenstein injective complexes of modules over Noetherian rings

A complex C is called Gorenstein injective if there exists an exact sequence of complexes $?\to I_{\mathrm{?1}}\to I_0\to I_1\to ?$ such that each $I_i$ is injective, $C=\mathrm{Ker}(I_0\to I_1)$ and the sequence remains exact when $\mathrm{Hom}(E,?)$ is applied to it for any injective complex E. We show that over a left Noetherian ring R, a complex C of left R-modules is Gorenstein injective if and only if $C^m$ is Gorenstein injective in R-Mod for all $m\in \mathbb{Z}$. Also Gorenstein injective dimensions of complexes are considered.     

Gorenstein projective and flat complexes over noetherian rings

We give sufficient conditions on a class of R‐modules $\mathcal {C}We give sufficient conditions on a class of R‐modules $\mathcal {C}$ in order for the class of complexes of $\mathcal {C}$‐modules, $dw \mathcal {C}$, to be covering in the category of complexes of R‐modules. More precisely, we prove that if $\mathcal {C}$ is precovering in R ? Mod and if $\mathcal {C}$ is closed under direct limits, direct products, and extensions, then the class $dw \mathcal {C}$ is covering in Ch(R). Our first application concerns the class of Gorenstein flat modules. We show that when the ring R is two sided noetherian, a complex C is Gorenstein flat if and only if each module C_n is Gorenstein flat. If moreover every direct product of Gorenstein flat modules is a Gorenstein flat module, then the class of Gorenstein flat complexes is covering. We consider Gorenstein projective complexes as well. We prove that if R is a commutative noetherian ring of finite Krull dimension, then the class of Gorenstein projective complexes coincides with that of complexes of Gorenstein projective modules. We also show that if R is commutative noetherian with a dualizing complex then every right bounded complex has a Gorenstein projective precover.     

Gorenstein injective envelopes and covers over n-perfect rings

We prove the existence of Gorenstein injective envelopes and covers over n-perfect rings for some classes of modules associated with a dualizing bimodule.     

Vanishing of cohomology over Gorenstein rings of small codimension

We prove that if , are finite modules over a Gorenstein local ring of codimension at most , then the vanishing of for is equivalent to the vanishing of for . Furthermore, if has no embedded deformation, then such vanishing occurs if and only if or has finite projective dimension.

     

Poincaré series of modules over compressed Gorenstein local rings

Given two positive integers e and s we consider Gorenstein Artinian local rings R   whose maximal ideal m$\mathfrak{m}$ satisfies m^s≠0=m^s+1${\mathfrak{m}}^s\ne 0={\mathfrak{m}}^{s+1}$ and _rankR/m(m/m²)=e${\mathrm{rank}}_{R/\mathfrak{m}}(\mathfrak{m}/{\mathfrak{m}}^2)=e$. We say that R is a compressed Gorenstein local ring   when it has maximal length among such rings. It is known that generic Gorenstein Artinian algebras are compressed. If s≠3$s\ne 3$, we prove that the Poincaré series of all finitely generated modules over a compressed Gorenstein local ring are rational, sharing a common denominator. A formula for the denominator is given. When s is even this formula depends only on the integers e and s  . Note that for s=3$s=3$ examples of compressed Gorenstein local rings with transcendental Poincaré series exist, due to Bøgvad.     

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 rings and inverse polynomials

We characterize left perfect rings using locally, finitely projective and flat covers, thus answering a question of Xue in the positive.