Maharam algebras and Cohen reals

We show that the product of any two nonatomic Maharam algebras adds a Cohen real. As a corollary of this and a result of Shelah (1994) we obtain that the product of any two nonatomic ccc Souslin forcing notions adds a Cohen real.

     

Cohen and multiple Cohen strongly summing multilinear operators

Considering the successful theory of multiple summing multilinear operators as a prototype, we introduce the classes of multiple Cohen strongly p-summing multilinear operators and polynomials. The adequacy of these classes under the viewpoint of the theory of multilinear and polynomial ideals and holomorphy types is discussed in detail.     

Hochster’s small MCM conjecture for three-dimensional weakly F-split rings

We prove Hochster’s small maximal Cohen–Macaulay conjecture for three-dimensional complete F-pure rings. We deduce this from a more general criterion, and show that only a weakening of the notion of F-purity is needed, to wit, being weakly F-split. We conjecture that any complete ring is weakly F-split.     

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.     

Cohen–Macaulayness and Limit Behavior of Depth for Powers of Cover Ideals

Let 𝕂 be a field, and let R = 𝕂[x ₁,…, x _n ] be the polynomial ring over 𝕂 in n indeterminates x ₁,…, x _n . Let G be a graph with vertex-set {x ₁,…, x _n }, and let J be the cover ideal of G in R. For a given positive integer k, we denote the kth symbolic power and the kth bracket power of J by J ^(k) and J ^[k], respectively. In this paper, we give necessary and sufficient conditions for R/J ^k , R/J ^(k), and R/J ^[k] to be Cohen–Macaulay. We also study the limit behavior of the depths of these rings.     

A generalization of Eagon–Reiner’s theorem and a characterization of bi-CMt bipartite and chordal graphs

We give a generalization of Eagon-Reiner’s theorem relating Betti numbers of the Stanley-Reisner ideal of a simplicial complex and the CM_t property of its Alexander dual. Then we characterize bi-CM_t bipartite graphs and bi-CM_t chordal graphs. These are generalizations of recent results due to Herzog and Rahimi.     

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.     

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.     

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.