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.     

Cohen–Macaulay Modules in Dimension >s and Results on Local Cohomology

Let (R,𝔪) be a local ring and s ≥ ?1. Using the notion of M-sequence in dimension > s, we introduce Cohen–Macaulay modules in dimension > s. Among other things concerning Cohen–Macaulay modules in dimension > s, some finiteness results of the support and the associated primes of local cohomology modules are investigated.     

The Dual Hilbert–Samuel Function of a Maximal Cohen-Macaulay Module

Let R be a Cohen–Macaulay local ring with a canonical module ω _R . Let I be an 𝔪-primary ideal of R and M, a maximal Cohen–Macaulay R-module. We call the function n??(Hom _R (M, ω _R /I ⁿ⁺¹ω _R )) the dual Hilbert–Samuel function of M with respect to I . By a result of Theodorescu, this function is of polynomial type. We study its first two normalized coefficients. In particular, we analyze the case when R is Gorenstein.     

Buchsbaum Stanley–Reisner Rings and Cohen–Macaulay Covers

First, we give a new criterion for Buchsbaum Stanley–Reisner rings to have linear resolutions. Next, we prove that every (d ? 1)-dimensional complex Δ of initial degree d is contained in the same dimensional Cohen–Macaulay complex whose (d ? 1)th reduced homology is isomorphic to that of Δ. We call such a simplicial complex a Cohen–Macaulay cover of Δ. And we also show that all the intermediate complexes between Δ and its Cohen–Macaulay cover are Buchsbaum provided that Δ is Buchsbaum. As an application, we determine the h-vectors of the 3-dimensional Buchsbaum Stanley–Reisner rings with initial degree 3.     

ALMOST COHEN–MACAULAY MODULES

A commutative noetherian ring R is called an almost Cohen–Macaulay ring if depth(P, R) = depth(P R _P , R _P ) for every P ∈ SpecR. [It was called a D-ring by Han (Acta Math. Sinica 1998, 4, 1047–1052).] Several fundamental properties of almost Cohen–Macaulay rings were estabished by Han. In this note, a new characterization is proved: R is an almost Cohen–Macaulay ring if and only if height P ≤ 1 + depth(P, R) for every P ∈ Spec(R). By this characterization, we settle an unsolved problem in Han's paper: R is an almost Cohen–Macaulay ring if and only if so is the power series ring R[[X ₁, …, X _n ]]. The notion of an almost Cohen–Macaulay ring is generalized to that of an almost Cohen–Macaulay module in this note.     

The Cohen–Macaulay and Gorenstein Properties of Rings Associated to Filtrations

Let (R, m) be a Cohen–Macaulay local ring, and let ? = {F _i } _i∈? be an F ₁-good filtration of ideals in R. If F ₁ is m-primary we obtain sufficient conditions in order that the associated graded ring G(?) be Cohen–Macaulay. In the case where R is Gorenstein, we use the Cohen–Macaulay result to establish necessary and sufficient conditions for G(?) to be Gorenstein. We apply this result to the integral closure filtration ? associated to a monomial parameter ideal of a polynomial ring to give necessary and sufficient conditions for G(?) to be Gorenstein. Let (R, m) be a Gorenstein local ring, and let F ₁ be an ideal with ht(F ₁) = g > 0. If there exists a reduction J of ? with μ(J) = g and reduction number u: = r _J (?), we prove that the extended Rees algebra R′(?) is quasi-Gorenstein with a-invariant b if and only if J ⁿ : F _u  = F _n+b?u+g?1 for every n ∈ ?. Furthermore, if G(?) is Cohen–Macaulay, then the maximal degree of a homogeneous minimal generator of the canonical module ω _G(?) is at most g and that of the canonical module ω _R′(?) is at most g ? 1; moreover, R′(?) is Gorenstein if and only if J ^u : F _u  = F _u . We illustrate with various examples cases where G(?) is or is not Gorenstein.     

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.     

Duality for a Cohen–Macaulay Local Ring

Let (R, 𝔪) be a Cohen–Macaulay local ring. If R has a canonical module, then there are some interesting results about duality for this situation. In this article, we show that one can indeed obtain similar results in the case R does not have a canonical module. Also, we give some characterizations of complete big Cohen–Macaulay modules of finite injective dimension, and by using them, some characterizations of Gorenstein modules over the 𝔪-adic completion of R are obtained.     

Tangent Cone of Numerical Semigroup Rings of Embedding Dimension Three

In this article, we give new characterizations of the Buchsbaum and Cohen–Macaulay properties of the tangent cone gr _𝔪 (R), where (R, 𝔪) is a numerical semigroup ring of embedding dimension 3. In particular, we confirm the conjectures raised by Sapko on the Buchsbaumness of gr _𝔪 (R).     

Tensor and Torsion Products of Relative Injective Modules with Respect to a Semidualizing Module

Let R be a commutative Cohen–Macaulay ring, and let C be a semidualizing module of R. In this paper, we show that C is generically dualizing if and only if the tensor products of injective and C-injective R-modules are injective. This leads to a characterization of dualizing modules as well as generalizes a result of Enochs and Jenda.     

A Lower Bound on the Second Fiber Coefficient of the Fiber Cones

Let (R, 𝔪) be a Cohen–Macaulay local ring of dimension d > 0, I an 𝔪-primary ideal of R and K an ideal containing I. When depth G(I) ≥ d ? 1 and r(I | K) < ∞, we present a lower bound on the second fiber coefficient of the fiber cones, and also provide a characterization, in terms of f ₂(I, K), of the condition depth F _K (I) ≥ d ? 1.     

Graded Endomorphism Rings and Equivalences

Abstract

Let R be a G-graded ring,M a G-graded Σ-quasiprojective R- module,and E = END _R (M) its graded ring of endomorphisms. For any subgroup H of G,we prove that certain full subcategories of G/H-graded R-modules associated with M are equivalent to a quotient category of G/H-graded E-modules determined by the idempotent G-graded ideal of E consisting of endomorphisms which factor through a finitely generated submodule of M. Properties and applications of these equivalences are also examined.     

On the Auslander–Reiten conjecture for Cohen–Macaulay rings and path algebras

In this note, it is shown that the validity of the Auslander–Reiten conjecture for a given d-dimensional Cohen–Macaulay local ring R depends on its validity for all direct summands of d-th syzygy of R-modules of finite length, provided R is an isolated singularity. Based on this result, it is shown that under a mild assumption on the base ring R, satisfying the Auslander–Reiten conjecture behaves well under completion and reduction modulo regular elements. In addition, it will turn out that, if R is a commutative Noetherian ring and 𝒬 a finite acyclic quiver, then the Auslander–Reiten conjecture holds true for the path algebra R𝒬, whenever so does R. Using this result, examples of algebras satisfying the Auslander–Reiten conjecture are presented.     

Fiber Coefficients and Depth of Fiber Cones

Let (R, 𝔪) be a Cohen–Macaulay local ring of dimension d > 0, I an 𝔪-primary ideal of R, and K an ideal containing I. When r(I | K)<∞, we give a lower bound and an upper bound for f ₁(I). Under the above assumption on r(I | K) and depth G(I) ≥ d ? 1, we also provide a characterization, in terms of f ₁(I), of the condition depth F _K (I) ≥ d ? 1.     

Algebraic Properties of the Path Ideal of a Tree

The path ideal (of length t ≥ 2) of a directed graph Γ is the monomial ideal, denoted I _t (Γ), whose generators correspond to the directed paths of length t in Γ. We study some of the algebraic properties of I _t (Γ) when Γ is a tree. We first show that I _t (Γ) is the facet ideal of a simplicial tree. As a consequence, the quotient ring R/I _t (Γ) is always sequentially Cohen–Macaulay, and the Betti numbers of R/I _t (Γ) do not depend upon the characteristic of the field. We study the case of the line graph in greater detail at the end of the article. We give an exact formula for the projective dimension of these ideals, and in some cases, we compute their arithmetical rank.