In this note we study trace ideals of canonical modules. Characterizations of the trace ideals in terms of annihilators of certain Ext modules are given. We apply our results to study many classes of rings close to being Gorenstein that appear in recent literature. We discuss the behavior of nearly Gorensteinness, introduced by Herzog-Hibi-Stamate, under reductions by regular sequences. A nearly Gorenstein version of the Tachikawa conjecture is posed, and an affirmative answer given for type 2 rings. We also introduce the class of weakly almost Gorenstein rings using the canonical module, and show that they are almost Gorenstein rings in dimension one, and are closely related to Teter rings in the artinian case. We explain their basic properties and give some examples.
The aim of this paper is to study the theory of cohomology annihilators over commutative Gorenstein rings. We adopt a triangulated category point of view and study the annihilation of stable category of maximal Cohen-Macaulay modules. We prove that in dimension one the cohomology annihilator ideal and the conductor ideal coincide under mild assumptions. We present a condition on a ring homomorphism between Gorenstein rings which allows us to carry the cohomology annihilator of the domain to that of the codomain. As an application, we generalize the Milnor-Jung formula for algebraic curves to t…
Let $R$ be a commutative Noetherian ring and let $n$ be a non-negative integer. In this article, by using the theory of Gorenstein dimensions, it is shown that whenever $R$ is a homomorphic image of a Noetherian Gorenstein ring, then the invariants $\inf\{i\in\nat_0|\, {\dim\Supp}(\fb^tH_{\fa}^i(M))\geq n\text{for all} t\in\nat_0\}$ and $\inf\{λ_{\fa R_{\p}}^{\fb R_{\p}}(M_{\p})|\,\p\in {\rm Spec} \, R \text{and} \dim R/ \p\geq n\}$ are equal, for every finitely generated $R$-module $M$ and for every ideals $\frak a, \frak b$ of $R$ with $\frak b\subseteq \frak a$. This generalizes the Falting…
This paper applies G. Lyubeznik's notion of $F$-finite modules to describe in a very down-to-earth manner certain annihilator submodules of some top local cohomology modules over Gorenstein rings. As a consequence we obtain an explicit description of the test ideal of Gorenstein rings in terms of ideals in a regular ring.
Given a commutative Noetherian ring $R$ with total ring of fractions $Q(R)$, and a finitely generated $R$-submodule $M$ of $Q(R)$, we prove an equality between trace ideal, and certain annihilator of Ext and Tor of $M$. As a consequence, we answer in one-dimensional local analytically unramified case, a question raised by the present author and R. Takahashi. As another application, we give an alternative proof of a recent result of Ö. Esentepe that for one-dimensional analytically unramified Gorenstein local rings, the cohomology annihilator of Iyengar and Takahashi coincides with the conducto…
Let R be a local Noetherian commutative ring. We prove that R is an Artinian Gorenstein ring if and only if every ideal in R is a trace ideal. We discuss when the trace ideal of a module coincides with its double annihilator.
In this note we show that the complete symmetric polynomials are dual generators of compressed artinian Gorenstein algebras satisfying the Strong Lefschetz Property. This is the first example of an explicit dual form with these properties. For complete symmetric forms of any degree in any number of variables, we provide an upper bound for the Waring rank by establishing an explicit power sum decomposition. Moreover, we determine the Waring rank, the cactus rank, the resolution and the Strong Lefschetz Property for any Gorenstein algebra defined by a symmetric cubic form. In particular, we show…
Using the theory of cohomology annihilators, we define a family of topologies on the set of isomorphism classes of maximal Cohen-Macaulay modules over a Gorenstein ring. We study compactness of these topologies.
Faltings' annihilator theorem is an important result in local cohomology theory. Recently, Doustimehr and Naghipour generalized the Falitings' annihilator theorem. They proved that if $R$ is a homomorphic image of a Gorenstein ring, then $f_\mathfrak{a}^\mathfrak{b}(M)_n = λ_\mathfrak{a}^\mathfrak{b}(M)_n$, where $f_\mathfrak{a}^\mathfrak{b}(M)_n := \inf\{i \in \mathbb{N} \mid \operatorname{dim}{\operatorname{Supp}(\mathfrak{b}^t H_\mathfrak{a}^i(M))} \geq n \text{ for all } t\in \mathbb{N}\}$ and $λ_\mathfrak{a}^\mathfrak{b}(M)_n := \inf\{λ_{\mathfrak{a} R_\mathfrak{p}}^{\mathfrak{b} R_\mathf…
We study commutative algebras with Gorenstein duality, i.e. algebras $A$ equipped with a non-degenerate bilinear pairing such that $\langle ac,b\rangle=\langle a,bc\rangle$ for any $a,b,c\in A$. If an algebra $A$ is Artinian, such pairing exists if and only if $A$ is Gorenstein. We give a description of algebras with Gorenstein duality as a quotients of the ring of differential operators by the annihilator of an explicit polynomial (or more generally formal polynomial series). This provides a calculation of Macaulay's inverse systems for (not necessarily Artinian) algebras with Gorenstein dual…
Let $R$ be a commutative Noetherian ring, $M$ a finitely generated $R$-module and $n$ be a non-negative integer. In this article, it is shown that there is a finitely generated submodule $N_i$ of $H_{\frak a}^i(M)$ such that $\dim{\rm Supp } H_{\frak a}^i(M)/N_i<n$ for all $i<t$ if and only if there is a finitely generated submodule $N_{i,{\frak p}}$ of $H_{{\frak a} R_{\frak p}}^i(M_{\frak p})$ such that $\dim{\rm Supp } H_{{\frak a} R_{\frak p}}^i(M_{\frak p})/N_{i,{\frak p}}<n$ for all $i<t$. This generalizes Faltings' Local-global Principle for the finiteness of local cohomology modules (F…
In this paper, we compare annihilators of Tor and Ext modules of finitely generated modules over a commutative noetherian ring. For local Cohen--Macaulay rings, one of our results refines a theorem of Dao and Takahashi.
Let $\mathfrak a$ be an ideal of a commutative Noetherian ring $R$ and $t$ be a non-negative integer. Let $M$ and $N$ be two finitely generated $R$-modules. In certain cases, we give some bounds under inclusion for the annihilators of $\operatorname{Ext}^t_R(M, N)$ and $\operatorname{H}^t_{\mathfrak a}(M)$ in terms of minimal primary decomposition of the zero submodule of $M$ which are independent of the choice of minimal primary decomposition. Then, by using those bounds, we compute the annihilators of local cohomology and Ext modules in certain cases.
It is proved that for a ring $R$ that is either an affine algebra over a field, or an equicharacteristic complete local ring, some power of the Jacobian ideal of $R$ annihilates $\mathrm{Ext}^{d+1}_{R}(-,-)$, where $d$ is the Krull dimension of $R$. Sufficient conditions are identified under which the Jacobian ideal itself annihilates these Ext-modules, and examples are provided that show that this is not always the case. A crucial new idea is to consider a derived version of the Noether different of an algebra.
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.
We study the exterior depth of an $E$-module and its exterior generic annihilator numbers. For the exterior depth of a squarefree $E$-module we show how it relates to the symmetric depth of the corresponding $S$-module and classify those simplicial complexes having a particular exterior depth in terms of their exterior shifting. We define exterior annihilator numbers analogously to the annihilator numbers over the polynomial ring introduced by Trung and Conca, Herzog and Hibi. In addition to a combinatorial interpretation of the annihilator numbers we show how they are related to the symmetric…
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.
Let $R$ be a Noetherian local ring and $I$ an $R$-ideal. It is well-known that if the associated graded ring $\gr_I(R)$ is Cohen-Macaulay (Gorenstein), then so is $R$, but the converse is not true in general. In this paper we investigate the Cohen-Macaulayness and Gorensteinness of the associated graded ring $\gr_I(R)$ under the hypothesis of the extended Rees algebra $R[It,t^{-1}]$ is quasi-Gorenstein or the associated graded ring $\gr_I(R)$ is a domain.
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$.
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…
We extend some results on almost Gorenstein affine monomial curves to the nearly Gorenstein case. In particular, we prove that the Cohen-Macaulay type of a nearly Gorenstein monomial curve in $\mathbb{A}^4$ is at most $3$, answering a question of Stamate in this particular case. Moreover, we prove that, if $\mathcal C$ is a nearly Gorenstein affine monomial curve which is not Gorenstein and $n_1, \dots, n_ν$ are the minimal generators of the associated numerical semigroup, the elements of $\{n_1, \dots, \widehat{n_i}, \dots, n_ν\}$ are relatively coprime for every $i$.
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 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 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}$.
We construct a class of Gorenstein local rings $R$ which admit minimal complete $R$-free resolutions $\bd C$ such that the sequence $\{\rank_R C_i\}$ is constant for $i< 0$, and grows exponentially for all $i>0$. Over these rings we show that there exist finitely generated $R$-modules $M$ and $N$ such that $\Ext^i_R(M,N)=0$ for all $i> 0$, but $\Ext^i_R(N,M)\ne 0$ for all $i>0$.
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…
A commutative noetherian ring with a dualizing complex is Gorenstein if and only if every acyclic complex of injective modules is totally acyclic. We extend this characterization, which is due to Iyengar and Krause, to arbitrary commutative noetherian rings, i.e. we remove the assumption about a dualizing complex. In this context Gorenstein, of course, means locally Gorenstein at every prime.
Over an arbitrary commutative ring, correspondences among three sets, the set of trace ideals, the set of stable ideals, and the set of birational extensions of the base ring, are studied. The correspondences are well-behaved, if the base ring is a Gorenstein ring of dimension one. It is shown that with one extremal exception, the surjectivity of one of the correspondences characterizes the Gorenstein property of the base ring, provided it is a Cohen-Macaulay local ring of dimension one. Over a commutative Noetherian ring, a characterization of modules in which every submodule is a trace modul…
In this paper we consider Artinian modules over power series rings endowed with a Frobenius map. We describe a method for finding the set of all prime annihilators of submodules which are preserved by the given Frobenius map and on which the Frobenius map is not nilpotent. This extends the algorithm by Karl Schwede and the first author, which solved this problem for submodules of the injective hull of the residue field. The Matlis dual of this problem asks for the radical annihilators of quotients of free modules by submodules preserved by a given Frobenius near-splitting, and the same method …
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 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.
Let $R$ be a commutative ring and ${\Bbb{A}}(R)$ be the set of ideals with non-zero annihilators. The annihilating-ideal graph of $R$ is defined as the graph ${\Bbb{AG}}(R)$ with the vertex set ${\Bbb{A}}(R)^*={\Bbb{A}}\setminus\{(0)\}$ and two distinct vertices $I$ and $J$ are adjacent if and only if $IJ=(0)$. We investigate commutative rings $R$ whose annihilating-ideal graphs have positive genus $γ(\Bbb{AG}(R))$. It is shown that if $R$ is an Artinian ring such that $γ(\Bbb{AG}(R))<\infty$, then $R$ has finitely many ideals or $(R,\mathfrak{m})$ is a Gorenstein ring with maximal ideal $\mat…
Assume $R$ is a polynomial ring over a field and $I$ is a homogeneous Gorenstein ideal of codimension $g\ge3$ and initial degree $p\ge2$. We prove that the number of minimal generators $ν(I_p)$ of $I$ that are in degree $p$ is bounded above by $ν_0={p+g-1\choose g-1}-{p+g-3\choose g-1}$, which is the number of minimal generators of the defining ideal of the extremal Gorenstein algebra of codimension $g$ and initial degree $p$. Further, $I$ is itself extremal if $ν(I_p)=ν_0$.
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…
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.
We prove that if M, N are finite modules over a Gorenstein local ring R of codimension at most 4, then the vanishing of Ext^n_R(M,N) for n\gg 0 is equivalent to the vanishing of Ext^n_R(N,M) for n\gg 0. Furthermore, if the completion of $R$ has no embedded deformation, then such vanishing occurs if and only if M or N has finite projective dimension.
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,\mathfrak{m})$ be a commutative Noetherian local ring which contains a regular sequence $ \underline{x} = x_1,\ldots,x_d \in \mathfrak{m} \smallsetminus \mathfrak{m}^2 $ such that $ \mathfrak{m}^3 \subseteq (\underline{x}) $. Let $ M $ be a finite $ R $-module with maximal complexity or curvature, e.g., $ M $ can be a nonzero direct summand of some syzygy module of the residue field $ R/\mathfrak{m} $. It is shown that the following are equivalent: (1) $R$ is Gorenstein, (2) $\mathrm{Ext}_R^{\gg 0}(M,R)=0$, and (3) $\mathrm{Tor}_{\gg 0}^R(M,ω) = 0$, where $ω$ denotes a canonical 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.
An integral domain R is said to be a splinter if it is a direct summand, as an R-module, of every module-finite extension ring. Hochster's direct summand conjecture is precisely the conjecture that every regular local ring is a splinter. An integral domain containing the rational numbers is a splinter if and only if it is a normal ring, but the notion is more subtle for rings of positive characteristic: F-regular rings are splinters, and Hochster and Huneke proved that the converse is true for Gorenstein rings. We extend their result by showing that Q-Gorenstein splinters of positive character…
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.
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.
Let $ R $ be a Cohen-Macaulay local ring. We prove that the $ n $th syzygy module of a maximal Cohen-Macaulay $ R $-module cannot have a semidualizing direct summand for every $ n \ge 1 $. In particular, it follows that $ R $ is Gorenstein if and only if some syzygy of a canonical module of $ R $ has a non-zero free direct summand. We also give a number of necessary and sufficient conditions for a Cohen-Macaulay local ring of minimal multiplicity to be regular or Gorenstein. These criteria are based on vanishing of certain Exts or Tors involving syzygy modules of the residue field.
