GORENSTEIN MODULES,FINITE INDEX,AND FINITE COHEN–MACAULAY TYPE

ABSTRACT

A Gorenstein module over a local ring R is a maximal Cohen–Macaulay module of finite injective dimension. We use existence of Gorenstein modules to extend a result due to S. Ding: A Cohen–Macaulay ring of finite index, with a Gorenstein module, is Gorenstein on the punctured spectrum. We use this to show that a Cohen–Macaulay local ring of finite Cohen–Macaulay type is Gorenstein on the punctured spectrum. Finally, we show that for a large class of rings (including all excellent rings), the Gorenstein locus of a finitely generated module is an open set in the Zariski topology.     

Ω-Gorenstein Projective and Flat Covers and Ω-Gorenstein Injective Envelopes

Abstract

In this paper, we show that if R is a local Cohen–Macaulay ring admitting a dualizing module Ω, then Ω-Gorenstein projective and flat covers and Ω-Gorenstein injective envelopes exist for certain modules. These results generalize the well known results for local Gorenstein rings.     

Foxby duality and Gorenstein injective and projective modules

In 1966, Auslander introduced the notion of the -dimension of a finitely generated module over a Cohen-Macaulay noetherian ring and found the basic properties of these dimensions. His results were valid over a local Cohen-Macaulay ring admitting a dualizing module (also see Auslander and Bridger (Mem. Amer. Math. Soc., vol. 94, 1969)). Enochs and Jenda attempted to dualize the notion of -dimensions. It seemed appropriate to call the modules with -dimension 0 Gorenstein projective, so the basic problem was to define Gorenstein injective modules. These were defined in Math. Z. 220 (1995), 611--633 and were shown to have properties predicted by Auslander's results. The way we define Gorenstein injective modules can be dualized, and so we can define Gorenstein projective modules (i.e. modules of -dimension 0) whether the modules are finitely generated or not. The investigation of these modules and also Gorenstein flat modules was continued by Enochs, Jenda, Xu and Torrecillas. However, to get good results it was necessary to take the base ring Gorenstein. H.-B. Foxby introduced a duality between two full subcategories in the category of modules over a local Cohen-Macaulay ring admitting a dualizing module. He proved that the finitely generated modules in one category are precisely those of finite -dimension. We extend this result to modules which are not necessarily finitely generated and also prove the dual result, i.e. we characterize the modules in the other class defined by Foxby. The basic result of this paper is that the two classes involved in Foxby's duality coincide with the classes of those modules having finite Gorenstein projective and those having finite Gorenstein injective dimensions. We note that this duality then allows us to extend many of our results to the original Auslander setting.

     

Cohen–Macaulay Isolated Singularities with a Dualizing Module

We generalize results of Foxby concerning a commutative Nötherian ring to a certain noncommutative Nötherian algebra Λ over a commutative Gorenstein complete local ring. We assume that Λ is a Cohen–Macaulay isolated singularity having a dualizing module. Then the same method as in the commutative cases works and we obtain a category equivalence between two subcategories of mod Λ, one of which includes all finitely generated modules of finite Gorenstein dimension. We give examples of such algebras which are not Gorenstien; orders related to almost Bass orders and some k-Gorenstein algebras for an integer k.Presented by I. Reiten ^★The author is supported by Grant-in-Aid for Scientific Researches B(1) No. 14340007 in Japan.     

Two theorems about maximal Cohen–Macaulay modules

This paper contains two theorems concerning the theory of maximal Cohen–Macaulay modules. The first theorem proves that certain Ext groups between maximal Cohen–Macaulay modules M and N must have finite length, provided only finitely many isomorphism classes of maximal Cohen–Macaulay modules exist having ranks up to the sum of the ranks of M and N. This has several corollaries. In particular it proves that a Cohen–Macaulay lo cal ring of finite Cohen–Macaulay type has an isolated singularity. A well-known theorem of Auslander gives the same conclusion but requires that the ring be Henselian. Other corollaries of our result include statements concerning when a ring is Gorenstein or a complete intersection on the punctured spectrum, and the recent theorem of Leuschke and Wiegand that the completion of an excellent Cohen–Macaulay local ring of finite Cohen–Macaulay type is again of finite Cohen–Macaulay type . The second theorem proves that a complete local Gorenstein domain of positive characteristic p and dimension d is F-rational if and only if the number of copies of R splitting out of divided by has a positive limit. This result relates to work of Smith and Van den Bergh. We call this limit the F-signature of the ring and give some of its properties. Received: 6 May 2001 / Published online: 6 August 2002 Both authors were partially supported by the National Science Foundation. The second author was also partially supported by the Clay Mathematics Institute.     

A generalization of a theorem of Foxby

In this paper, it is proved that a commutative noetherian local ring admitting a finitely generated module of finite projective and injective dimensions with respect to a semidualizing module is Gorenstein. This result recovers a celebrated theorem of Foxby.      

<Emphasis Type="Italic">K</Emphasis><Subscript>0</Subscript> and rings over which the class of finitely generated strongly gorenstein projective modules is closed under extensions

In this paper, we consider the rings over which the class of finitely generated strongly Gorenstein projective modules is closed under extensions (called fs-closed rings). We give a characterization about the Grothendieck groups of the category of the finitely generated strongly Gorenstein projective R-modules and the category of the finitely generated R-modules with finite strongly Gorenstein projective dimensions for any left Noetherian fs-closed ring R.     

Absolute integral closure in positive characteristic

Let R be a local Noetherian domain of positive characteristic. A theorem of Hochster and Huneke [M. Hochster, C. Huneke, Infinite integral extensions and big Cohen–Macaulay algebras, Ann. of Math. 135 (1992) 53–89] states that if R is excellent, then the absolute integral closure of R is a big Cohen–Macaulay algebra. We prove that if R is the homomorphic image of a Gorenstein local ring, then all the local cohomology (below the dimension) of such a ring maps to zero in a finite extension of the ring. As a result there follow an extension of the original result of Hochster and Huneke to the case in which R is a homomorphic image of a Gorenstein local ring, and a considerably simpler proof of this result in the cases where the assumptions overlap, e.g., for complete Noetherian local domains.     

Construction of Modules with Finite Homological Dimensions

A new homological dimension, called G^*-dimension, is defined for every finitely generated module M over a local noetherian ring R. It is modeled on the CI-dimension of Avramov, Gasharov, and Peeva and has parallel properties. In particular, a ring R is Gorenstein if and only if every finitely generated R-module has finite G^*-dimension. The G^*-dimension lies between the CI-dimension and the G-dimension of Auslander and Bridger. This relation belongs to a longer sequence of inequalities, where a strict inequality in any place implies equalities to its right and left. Over general local rings, we construct classes of modules that show that a strict inequality can occur at almost every place in the sequence.     

Cohen–Macaulay Modules and Holonomic Modules Over Filtered Rings

We study Gorenstein dimension and grade of a module M over a filtered ring whose associated graded ring is a commutative Noetherian ring. An equality or an inequality between these invariants of a filtered module and its associated graded module is the most valuable property for an investigation of filtered rings. We prove an inequality G?dim M ≤ G?dim gr M and an equality grade M = grade gr M, whenever Gorenstein dimension of gr M is finite (Theorems 2.3 and 2.8). We would say that the use of G-dimension adds a new viewpoint for studying filtered rings and modules. We apply these results to a filtered ring with a Cohen–Macaulay or Gorenstein associated graded ring and study a Cohen–Macaulay, perfect, or holonomic module.     

Gorenstein Projective Precovers

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 Sect. 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 Gorenstein projective dimension) and that are not right coherent.     

First,Second, and Third Change of Rings Theorems for Gorenstein Homological dimensions

In this article, 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 article for the Gorenstein projective dimension is a generalization of a G-dimension of a finitely generated module M over a noetherian ring R.     

Homological dimensions and semidualizing complexes

For finite modules over a local ring and complexes with finitely generated homology, we consider several homological invariants sharing some basic properties with projective dimension. In the second section, we introduce the notion of a semidualizing complex, which is a generalization of both a dualizing complex and a suitable module. Our goal is to establish some common properties of such complexes and the homological dimension with respect to them. Basic properties are investigated in Sec. 2.1. In Sec. 2.2, we study the structure of the set of semidualizing complexes over a local ring, which is closely related to the conjecture of Avramov-Foxby on the transitivity of the G-dimension. In particular, we prove that, for a pair of semidualizing complexes X ₁ and X ₂ such that G _X2, we have X ₂ ≃ X ₁ ⊗ _R ^L RHom _R (X ₁, X ₂). Specializing to the case of semidualizing modules over Artinian rings, we obtain a number of quantitative results for the rings possessing a configuration of semidualizing modules of special form. For the rings with m ³=0, this condition reduces to the existence of a nontrivial semidualizing module, and we prove a number of structural results in this case. In the third section, we consider the class of modules that contains the modules of finite CI-dimension and enjoys some nice additional properties, in particular, good behavior in short exact sequences. In the fourth section, we introduce a new homological invariant, CM-dimension, which provides a characterization for Cohen-Macaulay rings in precisely the same way as projective dimension does for regular rings, CI-dimension for locally complete intersections, and G-dimension for Gorenstein rings. __________ Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 30, Algebra, 2005.     

Cohen–Macaulay Modules of Infinite Projective Dimension

A characterization of finitely generated torsion modules of not necessarily finite projective dimension over a Cohen–Macaulay ring, is given in terms of the non-Cohen–Macaulay loci and the Fitting invariants of a free resolution of such a module.     

An extension of a theorem of Frobenius and Stickelberger to modules of projective dimension one over a factorial domain

Let R be a Cohen–Macaulay ring. A quasi-Gorenstein R-module is an R-module such that the grade of the module and the projective dimension of the module are equal and the canonical module of the module is isomorphic to the module itself. After discussing properties of finitely generated quasi-Gorenstein modules, it is shown that this definition allows for a characterization of diagonal matrices of maximal rank over a Cohen–Macaulay factorial domain R extending a theorem of Frobenius and Stickelberger to modules of projective dimension 1 over a commutative factorial Cohen–Macaulay domain.     

On the Existence of Certain Modules of Finite Gorenstein Homological Dimensions

Let (R, 𝔪) 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 article, we investigate the Gorenstein analogues of these facts.     

On the growth of the Betti sequence of the canonical module

We study the growth of the Betti sequence of the canonical module of a Cohen–Macaulay local ring. It is an open question whether this sequence grows exponentially whenever the ring is not Gorenstein. We answer the question of exponential growth affirmatively for a large class of rings, and prove that the growth is in general not extremal. As an application of growth, we give criteria for a Cohen–Macaulay ring possessing a canonical module to be Gorenstein. GJL was partly supported by a grant from the National Security Agency. An erratum to this article can be found at     

Quasi-injective dimension

Following our previous work about quasi-projective dimension [11], in this paper, we introduce quasi-injective dimension as a generalization of injective dimension. We recover several well-known results about injective and Gorenstein-injective dimensions in the context of quasi-injective dimension such as the following. (a) If the quasi-injective dimension of a finitely generated module M over a local ring R is finite, then it is equal to the depth of R. (b) If there exists a finitely generated module of finite quasi-injective dimension and maximal Krull dimension, then R is Cohen-Macaulay. (c) If there exists a nonzero finitely generated module with finite projective dimension and finite quasi-injective dimension, then R is Gorenstein. (d) Over a Gorenstein local ring, the quasi-injective dimension of a finitely generated module is finite if and only if its quasi-projective dimension is finite.     

G-dimension over local homomorphisms with respect to a semi-dualizing complex

We study the G-dimension over local ring homomorphisms with respect to a semi-dualizing complex. Some results that track the behavior of Gorenstein properties over local ring homomorphisms under composition and decomposition are given. As an application, we characterize a dualizing complex for R in terms of the finiteness of the G-dimension over local ring homomorphisms with respect to a semi-dualizing complex.