We provide the regularity and the Cohen-Macaulay type of binomial edge ideals of Cohen-Macaulay cones, and we show the extremal Betti numbers of some classes of Cohen-Macaulay binomial edge ideals: Cohen-Macaulay bipartite and fan graphs. In addition, we compute the Hilbert-Poincaré series of the binomial edge ideals of some Cohen-Macaulay bipartite graphs.
In this paper, we show that almost Cohen-Macaulay algebras are solid and in this respect, we seek for some special situation when (a) an almost Cohen-Macaulay algebra will be phantom extension and (b) when it maps into a balanced big Cohen-Macaulay module.
In this paper, we introduce and study the notion of linkage by perfect modules, which we call perfect linkage, for Cohen-Macaulay modules over Cohen--Macaulay local rings. We explore perfect linkage in connection with syzygies, maximal Cohen-Macaulay approximations and Yoshino-Isogawa linkage. We recover a theorem of Yoshino and Isogawa, and analyze the structure of double perfect linkage. Moreover, we establish a criterion for two Cohen-Macaulay modules of codimension one to be perfectly linked, and apply it to the classical linkage theory for ideals. We also construct various examples of lin…
In \cite{AB}, the dagger closure is extended over finitely generated modules over Noetherian local domain $(R,\fm)$ and it is proved to be a Dietz closure. In this short note we show that it also satisfies the `Algebra axiom' of \cite{R.G} and this leads to the following result of this paper: For a complete Noetherian local domain, if it is contained in an almost Cohen-Macaulay domain, then there exists a balanced big Cohen-Macaulay algebra over it.
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.
The Cohen-Macaulay property of a graph arising from a poset has been studied by various authors. In this article, we study the Cohen-Macaulay property of a graph arising from a family of reflexive and antisymmetric relations on a set. We use this result to find classes of multipartite graphs which are Cohen-Macaulay.
The third named author and Pérez proved that under certain conditions the test ideal of a module closure agrees with the trace ideal of the module closure. We use this fact to compute the test ideals of various rings with respect to the closures coming from their indecomposable maximal Cohen-Macaulay modules. We also give an easier way to compute the test ideal of a hypersurface ring in 3 variables coming from a module with a particular type of matrix factorization.
A finitely generated module $M$ over a commutative Noetherian ring $R$ is called an $I$-Cohen Macaulay module, if \[ \grade(I,M) + \dim(M/IM)= \dim(M), \] where $I$ is a proper ideal of $R$. The aim of this paper is to study the structure of this class of modules. It is discovered that $I$-Cohen Macaulay modules enjoy many interesting properties which are analogous to those of Cohen Macaulay modules. Also, various characterizations of $I$-Cohen Macaulay modules are presented here.
We investigate the presence of Cohen-Macaulay ideals in invariant rings and show that an ideal of an invariant ring corresponding to a modular representation of a $p$-group is not Cohen-Macaulay unless the invariant ring itself is. As an intermediate result, we obtain that non-Cohen-Macaulay factorial rings cannot contain Cohen-Macaulay ideals. For modular cyclic groups of prime order, we show that the quotient of the invariant ring modulo the transfer ideal is always Cohen-Macaulay, extending a result of Fleischmann.
Let $(A,\mathfrak{m})$ be a Henselian Cohen-Macaulay local ring and let CM(A) be the category of maximal Cohen-Macaulay $A$-modules. We construct $T \colon CM(A)\times CM(A) \rightarrow mod(A)$, a subfunctor of $Ext^1_A(-, -)$ and use it to study properties of associated graded modules over $G(A) = \bigoplus_{n\geq 0} \mathfrak{m}^n/\mathfrak{m}^{n+1}$, the associated graded ring of $A$. As an application we give several examples of complete Cohen-Macaulay local rings $A$ with $G(A)$ Cohen-Macaulay and having distinct indecomposable maximal Cohen-Macaulay modules $M_n$ with $G(M_n)$ Cohen-Maca…
Let $R$ be a Cohen-Macaulay local ring, $I$ a strongly Cohen-Macaulay ideal of $R$. We show that $R/{\rm Ann}_R(I)$ is a maximal Cohen-Macaulay $R$-module by means of the delta-invariant. Also it is shown that there exists a Cohen-Macaulay ideal $J$ of $R$ such that the $δ_{R/J}$-invariant of all Koszul homologies of $R$ with respect $I$ is zero.
Let R be a commutative Noetherian ring, a a proper ideal of R and M a finite R-module. It is shown that, if (R;m) is a complete local ring, then under certain conditions a contains a regular element on DR(Hc a(M)), where c = cd(a;M). A non-zerodivisor characterization of relative Cohen-Macaulay modules w.r.t a is given. We introduce the concept of relative Cohen-Macaulay filtered modules w.r.t a and study some basic properties of such modules. In paticular, we provide a non-zerodivisor characterization of relative Cohen-Macaulay filtered modules w.r.t a. Furthermore, a characterization of coho…
In this note, we study the Cohen-Macaulayness of non-Noetherian rings. We show that Hochster's celebrated theorem that a finitely generated normal semigroup ring is Cohen-Macaulay does not extend to non-Noetherian rings. We also show that for any valuation domain $V$ of finite Krull dimension, $V[x]$ is Cohen-Macaulay in the sense of Hamilton-Marley.
Let $K$ be a field and $S=K[x_1,\ldots,x_m, y_1,\ldots,y_n]$ be the standard bigraded polynomial ring over $K$. In this paper, we explicitly describe the structure of finitely generated bigraded "sequentially Cohen--Macaulay" $S$-modules with respect to $Q=(y_1,\ldots,y_n)$. Next, we give a characterization of sequentially Cohen--Macaulay modules with respect to $Q$ in terms of local cohomology modules. Cohen--Macaulay modules that are sequentially Cohen--Macaulay with respect to $Q$ are considered.
We prove that sequentially Cohen-Macaulay rings in positive characteristic, as well as sequentially Cohen-Macaulay Stanley-Reisner rings in any characteristic, have trivial Lyubeznik table. Some other configurations of Lyubeznik tables are also provided depending on the deficiency modules of the ring.
In this paper, we study the two different topics related to sequentially Cohen-Macaulay modules. The questions are when the sequentially Cohen-Macaulay property preserve the localization and the module-finite extension of rings.
The Cohen-Macaulay type of idealizations of maximal Cohen-Macaulay modules over Cohen-Macaulay local rings is explored. There are two extremal cases, one of which is closely related to the theory of Ulrich modules \cite{BHU, GOTWY1, GOTWY2, GTT2}, and the other one is closely related to the theory of residually faithful modules and the theory of closed ideals \cite{BV}.
We investigate the behavior of Cohen-Macaulay defect undertaking tensor product with a perfect module. Consequently, we study the perfect defect of a module. As an application, we connect to associated prime ideals of tensor products.
This paper shows that Cohen-Macaulay algebras can be algebraically approximated in such a way that their Cohen-Macaulayness and minimal Betti numbers are preserved. This is achieved by showing that finitely generated modules over power series rings can be algebraically approximated in a manner that preserves their diagrams of initial exponents and their minimal Betti numbers. These results are also applied to obtain an approximation result for flat homomorphisms from rings of power series to Cohen-Macaulay algebras.
Let $M$ be an $R$-module over a Noetherian ring $R$ and $\mathfrak{a}$ be an ideal of $R$ with $c={\rm cd}(\mathfrak{a},M)$. First, we prove that $M$ is finite $\mathfrak{a}$-relative Cohen-Macaulay if and only if ${\rm H}_i(Λ_{\mathfrak{a}}({\rm H}_{\mathfrak{a}}^c(M)))=0$ for all $i\neq c$ and ${\rm H}_c(Λ_{\mathfrak{a}}({\rm H}_{\mathfrak{a}}^c(M))) \cong \widehat{M}^{\mathfrak{a}}$. Next, over an $\mathfrak{a}$-relative Cohen-Macaulay local ring $(R,\mathfrak{m})$, we provide a characterization of $\mathfrak{a}$-relative sequentially Cohen-Macaulay modules $M$ in terms of $\mathfrak{a}$-re…
In this paper we determine the possible Hilbert functions of a Cohen-Macaulay local ring of dimension $d$, multiplicity $e$ and first Hilbert coefficient $e_1$ in the case $e_1 = e + 2$.
This paper shows that if $R$ is a homomorphic image of a Cohen-Macaulay local ring, then $R$-module $M$ is sequentially generalized Cohen-Macaulay if and only if the difference between Hilbert coefficients and arithmetic degrees for all distinguished parameter ideals of $M$ are bounded.
It is shown that a module is sequentially Cohen-Macaulay if and only if the index of reducibility for distinguished parameter ideals are eventually constant with special value. As corollaries to the main theorem we given to characterize the Gorensteinness, Cohen-Macaulayness of local rings in term of eventually index of reducibility for distinguished parameter ideals.
Over a commutative local Cohen--Macaulay ring, we view and study the category of maximal Cohen--Macaulay modules as a ring with several objects. We compute the global dimension of this category and thereby extend a result of Leuschke to the case where the ring has arbitrary (as opposed to finite) CM-type.
We prove some results on the non-existence of rank one maximal Cohen-Macaulay modules over certain Segre product rings. As an application we show that over these Segre product rings there do not exist maximal Cohen-Macaulay modules with multiplicity less than or equal to the parameter degree of the ring, which disproves a conjecture of Schoutens.
Over a Cohen-Macaulay (CM) local ring, we characterize those modules that can be obtained as a direct limit of finitely generated maximal CM modules. We point out two consequences of this characterization: (1) Every balanced big CM module, in the sense of Hochster, can be written as a direct limit of small CM modules. In analogy with Govorov and Lazard's characterization of flat modules as direct limits of finitely generated free modules, one can view this as a "structure theorem" for balanced big CM modules. (2) Every finitely generated module has a preenvelope with respect to the class of fi…
In this paper, we investigate the maximal Cohen-Macaulay property of tensor products of modules, and then give criteria for projectivity of modules in terms of vanishing of Ext modules. One of the applications shows that the Auslander-Reiten conjecture holds for Cohen-Macaulay normal rings.
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.
A natural extension of bipartite graphs are $d$-partite clutters, where $d \geq 2$ is an integer. For a poset $P$, Ene, Herzog and Mohammadi introduced the $d$-partite clutter $\mathcal{C}_{P,d}$ of multichains of length $d$ in $P$, showing that it is Cohen-Macaulay. We prove that the cover ideal of $\mathcal{C}_{P,d}$ admits an $x_i$-splitting, determining a recursive formula for its Betti numbers and generalizing a result of Francisco, Hà and Van Tuyl on the cover ideal of Cohen-Macaulay bipartite graphs. Moreover we prove a Betti splitting result for the Alexander dual of a Cohen-Macaulay s…
Let $R = k[x_1,\ldots, x_n]$ be the polynomial ring in $n$ variables over a field $k$ and let $I$ be a monomial ideal of $R$. In this paper, we study almost Cohen-Macaulay simplicial complex. Moreover, we characterize the almost Cohen-Macaulay polymatroidal Veronese type and transversal polymatroidal ideals and furthermore we give some examples.