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 Gpd}_RM<\infty$ or equivalently ${\rm Gfd}_RM<\infty$. In dual situation by using the class $B'(R)$, we provide a characterization of Gorenstein injective modules.
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.
The Auslander-Reiten conjecture is a notorious open problem about the vanishing of Ext modules. In a Cohen-Macaulay complete local ring $R$ with a parameter ideal $Q$, the Auslander-Reiten conjecture holds for $R$ if and only if it holds for the residue ring $R/Q$. In the former part of this paper, we study the Auslander-Reiten conjecture for the ring $R/Q^\ell$ in connection with that for $R$, and prove the equivalence of them for the case where $R$ is Gorenstein and $\ell\le \dim R$. In the latter part, we generalize the result of the minimal multiplicity by J. Sally. Due to these two of our…
Let R be a homomorphic image of a Gorenstein local ring. Recent work has shown that there is a bridge between Auslander categories and modules of finite Gorenstein homological dimensions over R. We use Gorenstein dimensions to prove new results about Auslander categories and vice versa. For example, we establish base change relations between the Auslander categories of the source and target rings in a homomorphism R -> S of finite flat dimension.
The Nakayama conjecture is one of the most important conjectures in ring theory. The Auslander-Reiten conjecture is closely related to it. The purpose of this note is to show that if the Auslander-Reiten conjecture holds in codimension one for a commutative Gorenstein ring $R$, then it holds for $R$.
We generalize the notions of $n$-cluster tilting subcategories and $τ$-selfinjective algebras into $n$-precluster tilting subcategories and $τ_n$-selfinjective algebras, where we show that a subcategory naturally associated to $n$-precluster tilting subcategories has a higher Auslander--Reiten theory. Furthermore, we give a bijection between $n$-precluster tilting subcategories and $n$-minimal Auslander--Gorenstein algebras, which is a higher dimensional analog of Auslander--Solberg correspondence (Auslander--Solberg, 1993) as well as a Gorenstein analog of $n$-Auslander correspondence (Iyama,…
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 define the symmetric Auslander category A^s(R) to consist of complexes of projective modules whose left- and right-tails are equal to the left- and right tails of totally acyclic complexes of projective modules. The symmetric Auslander category contains A(R), the ordinary Auslander category. It is well known that A(R) is intimately related to Gorenstein projective modules, and our main result is that A^s(R) is similarly related to what can reasonably be called Gorenstein projective homomorphisms. Namely, there is an equivalence of triangulated categories: \underline{GMor}(R) --> A^s(R) / K^…
We consider the converse of the Butler, Auslander-Reiten's Theorem which is on the relations for Grothendieck groups. We show that a Gorenstein ring is of finite representation type if the Auslander-Reiten sequences generate the relations for Grothendieck groups. This gives an affirmative answer of the conjecture due to Auslander.
Let $R$ be a complete local Gorenstein ring of dimension one, with maximal ideal m. We show that if $M$ is a Cohen-Macaulay $R$-module which begins an AR-sequence, then this sequence is produced by a particular endomorphism of m corresponding to a minimal prime ideal. We apply this result to determining the shape of some components of Auslander-Reiten quivers.
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.
Inspired by recent works on rings satisfying Auslander's conjecture, we study invariants, which we call Auslander bounds, and prove that they have strong relations to some homological conjectures.
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…
Homological properties and finiteness of reducing invariants
Department of Applied Science, Faculty of Science, Okayama University of Science（冈山理科大学理学部应用科学系）；Institute for the Advancement of Higher Education, Okayama University of Science（冈山理科大学高等教育推进研究所）；Graduate School of Mathematics, Nagoya University（名古屋大学大学院数学研究科）
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.
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.
Let $R$ be a commutative Noetherian local ring with residue field $k$. Using the structure of Vogel cohomology, for any finitely generated module $M$, we introduce a new dimension, called $ζ$-dimension, denoted by $ζ-dim_R M$. This dimension is finer than Gorenstein dimension and has nice properties enjoyed by homological dimensions. In particular, it characterizes Gorenstein rings in the sense that: a ring $R$ is Gorenstein if and only if every finitely generated $R$-module has finite $ζ$-dimension. Our definition of $ζ$-dimension offer a new homological perspective on the projective dimensio…
We give a principle in derived categories, which lies behind the classical Auslander-Reiten duality and its generalized version by Iyama and Wemyss. We apply the principle to show the validity of the Auslander-Reiten conjecture over a Gorenstein ring in the case where the ring has dimension larger than two and the singular locus has at most one dimension.
Auslander conjectured that every Artin algebra satisfies a certain condition on vanishing of cohomology of finitely generated modules. The failure of this conjecture - by a 2003 counterexample due to Jorgensen and Sega - motivates the consideration of the class of rings that do satisfy Auslander's condition. We call them AC rings and show that an AC Artin algebra that is left-Gorenstein is also right-Gorenstein. Furthermore, the Auslander-Reiten Conjecture is proved for AC rings, and Auslander's G-dimension is shown to be functorial for AC rings that are commutative or have a dualizing complex…
We introduce new homological dimensions, namely the Cohen-Macaulay projective, injective and flat dimensions for homologically bounded complexes. Among other things we show that (a) these invariants characterize the Cohen-Macaulay property for local rings, (b) Cohen-Macaulay flat dimension fits between the Gorenstein flat dimension and the large restricted flat dimension, and (c) Cohen-Macaulay injective dimension fits between the Gorenstein injective dimension and the Chouinard invariant.
Let $(R,\fm)$ be a local ring and $(-)^{\vee}$ denote the Matlis duality functor. We investigate the relationship between Foxby equivalence and local duality through generalized local cohomology modules. Assume that $R$ possesses a normalized dualizing complex $D$ and $X$ and $Y$ are two homologically bounded complexes of $R$-modules with finitely generated homology modules. We present several duality results for $\fm$-section complex ${\bf R}Γ_{\fm}({\bf R}\Hom_R(X,Y))$. In particular, if G-dimension of $X$ and injective dimension of $Y$ are finite, then we show that $${\bf R}Γ_{\fm}({\bf R}\…
In this article, applying the quasi-Gorenstein analogous of the Ulrich's deformation of certain Gorenstein rings we show that some homological conjectures, including the Monomial Conjecture, Big Cohen-Macaulay Algebra Conjecture as well as the Small Cohen-Macaulay Conjecture reduce to the excellent unique factorization domains. Some other reductions of the Monomial Conjecture are also proved. We, moreover, show that certain almost complete intersections adhere the Monomial Conjecture.
In this paper, we study the relative homological dimension based on the class of projectively coresolved Gorenstein flat modules (PGF-modules), that were introduced by Saroch and Stovicek. The resulting PGF-dimension of modules has several properties in common with the Gorenstein projective dimension, the relative homological theory based on the class of Gorenstein projective modules. In particular, there is a hereditary Hovey triple in the category of modules of finite PGF-dimension, whose associated homotopy category is triangulated equivalent to the stable category of PGF-modules. Studying …
We prove versions of results of Foxby and Holm about modules of finite (Gorenstein) injective dimension and finite (Gorenstein) projective dimension with respect to a semidualizing module. We also verify special cases of a question of Takahashi and White.
Let $G$ be a group and $R$ be a ring. We define the Gorenstein homological dimension of $G$ over $R$, denoted by ${\rm Ghd}_{R}G$, as the Gorenstein flat dimension of trivial $RG$-module $R$. It is proved that ${\rm Ghd}_SG \leq {\rm Ghd}_RG$ for any flat extension of commutative rings $R\rightarrow S$; in particular, ${\rm Ghd}_{R}G$ is a refinement of ${\rm Ghd}_{\mathbb{Z}}G$ if $R$ is $\mathbb{Z}$-torsion-free. We show a Gorenstein homological version of Serre's theorem, i.e. ${\rm Ghd}_{R}G = {\rm Ghd}_{R}H$ for any subgroup $H$ of $G$ with finite index. As an application, $G$ is a finite…
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.
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.
In this paper, we aim to obtain some results under the condition that the dual of a module over a commutative Noetherian ring has finite Gorenstein dimension. In this direction, we derive results involving vanishing of Ext as well as the freeness or totally reflexivity of modules. For instance, we provide a generalization of a celebrated theorem by Auslander and Bridger, obtain criteria for the totally reflexivity of modules over Cohen-Macaulay rings as well as of locally totally reflexive modules on the punctured spectrum, and recover a result by Araya. Moreover, we prove that the Auslander-R…
We make use of the concepts of Tor-rigid and rigid-test modules, among others, to investigate the interplay between cohomology vanishing and the finiteness of several homological dimensions such as projective, injective and Gorenstein injective dimensions. Besides criteria for the freeness of modules, the applications include new characterizations of Gorenstein and regular local rings, which are also of interest in the realm of algebraic geometry.
We present in the context of Gorenstein homological algebra the notion of a "G-Gorenstein complex" as the counterpart of the classical notion of a Gorenstein complex. In particular, we investigate equivalences between the category of G-Gorenstein complexes of fixed dimension and the G-class of modules.
Regularity, complete intersection and Gorenstein properties of a local ring can be characterized by homological conditions on the canonical homomorphism into its residue field (Serre, Avramov, Auslander). It is also known that in positive characteristic, the Frobenius endomorphism can also be used for these characterizations (Kunz, ...), and more generally any contracting endomorphism. We introduce here a class of local homomorphisms, in some sense larger than all above, for which these characterizations still hold, providing an unified treatment for this class of homomorphisms.
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 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.
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.
Of the many interesting insights in the Auslander-Bridger Memoir of 1969, the theory of Gorenstein dimension has most often been taken up by commutative algebraists. Over a local ring, it deals with resolutions by modules which are totally reflexive with regard to free modules. For some years now, one has been trying to replace frees by semidualizing modules. This has met with success, and more is to follow. To me however, it makes sense to first try and understand semidualizing modules themselves better. This note shows in a direct way that they share many properties with free modules. One ho…
Let \fa be an ideal of a commutative Noetherian ring R and M and N two finitely generated R-modules. Let \cd_{\fa}(M,N) denote the supremum of the i's such that H^i_{\fa}(M,N)\neq 0. First, by using the theory of Gorenstein homological dimensions, we obtain several upper bounds for \cd_{\fa}(M,N). Next, over a Cohen-Macaulay local ring (R,\fm), we show that \cd_{\fm}(M,N)=\dim R-\grade(\Ann_RN,M), provided that either projective dimension of M or injective dimension of N is finite. Finally, over such rings, we establish an analogue of the Hartshorne-Lichtenbaum Vanishing Theorem in the context…
We study homological properties of test modules that are, in principle, modules that detect finite homological dimensions. The main outcome of our results is a generalization of a classical theorem of Auslander and Bridger: we prove that, if a commutative Noetherian complete local ring R admits a test module of finite Gorenstein dimension, then R is Gorenstein.
Mittag-Leffler Conditions, Gorenstein Modules and Homological Invariants
School of Mathematics Sciences, Sichuan Normal University（四川师范大学数学科学学院）；School of Mathematics and Statistics, Tianshui Normal University（天水师范学院数学与统计学院）
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 investigate relative cohomology functors on subcategories of abelian categories via Auslander-Buchweitz approximations and the resulting strict resolutions. We verify that certain comparison maps between these functors are isomorphisms and introduce a notion of perfection for this context. Our main theorem is a balance result for relative cohomology that simultaneously recovers theorems of Holm and the current authors as special cases.
In this paper we study homological dimensions of finitely generated modules over commutative Noetherian local rings, called reducing homological dimensions. We obtain new characterizations of Gorenstein and complete intersection local rings via reducing homological dimensions. For example, we extend a classical result of Auslander and Bridger, and prove that a local ring is Gorenstein if and only if each finitely generated module over it has finite reducing Gorenstein dimension. Along the way, we prove various connections between complexity and reducing projective dimension of modules.
The principle "Every result in classical homological algebra should have a counterpart in Gorenstein homological algebra" is given in [3]. There is a remarkable body of evidence supporting this claim (cf. [2] and [3]). Perhaps one of the most glaring exceptions is provided by the fact that tensor products of Gorenstein projective modules need not be Gorenstein projective, even over Gorenstein rings. So perhaps it is surprising that tensor products of Gorenstein injective modules over Gorenstein rings of finite Krull dimension are Gorenstein injective. Our main result is in support of the princ…
Let $R$ be a general ring. Duality pairs of $R$-modules were introduced by Holm-Jorgensen. Most examples satisfy further properties making them what we call semi-complete duality pairs in this paper. We attach a relative theory of Gorenstein homological algebra to any given semi-complete duality pair $\mathfrak{D} = (\mathcal{L},\mathcal{A})$. This generalizes the homological theory of the AC-Gorenstein modules defined by Bravo-Gillespie-Hovey, and we apply this to other semi-complete duality pairs. The main application is that the Ding injective modules are the right side of a complete (perfe…
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…
