We define very proper intersections of modules and projective subschemes. It turns out that equidimensional locally Cohen-Macaulay modules intersect very properly if and only if they intersect properly. We prove a Bezout theorem for modules which meet very properly. Furthermore, we show for equidimensional subschemes $X$ and $Y$: If they intersect properly in an arithmetically Cohen-Macaulay subscheme of positive dimension then $X$ and $Y$ are arithmetically Cohen-Macaulay. The module version of this result implies splitting criteria for reflexive sheaves.
We study the Tate resolutions and the maximal Cohen-Macaulay approximations of Cohen-Macaulay modules over Gorenstein rings. One consequence is an extension of a well-known result about linkage of complete intersections.
The paper answers a question by Jonathan Wahl,giving examples of regular surfaces S (so their canonical ring is a Gorenstein graded ring) having the following properties: 1) their canonical divisor K_S = rL is a positive multiple of an ample divisor L 2) the graded ring R := R (X,L ) associated to L is not Cohen-Macaulay. In the appendix Wahl shows how these examples lead to the existence of Cohen-Macaulay singularities with K_X Q -Cartier which are not Q -Gorenstein, since their index one cover is not Cohen- Macaulay.
In this paper we study the finitely generated bigraded modules over a standard bigraded polynomial ring which are relative Cohen-Macaulay or relative unmixed with respect to one of the irrelevant bigraded ideals. A generalization of Reisner's criterion for Cohen-Macaulay simplicial complexes is considered.
By finding a p-adic obstruction, we construct many examples of positive characteristic complete noetherian local rings which do not admit any module-finite Cohen-Macaulay extension. These examples should be contrasted with a result of Hochster-Huneke: the union of all finite extensions is always Cohen-Macaulay.
Let S be a standard N^r-graded algebra over a local ring A, and let M be a finitely generated Z^r-graded S-module. We characterize the Cohen-Macaulayness of M in terms of the vanishing of certain sheaf cohomology modules. As a consequence, we apply our result to study the Cohen-Macaulayness of multi-Rees modules (also called Rees modification). Our work extends previous studies on the Cohen-Macaulayness of multi-Rees algebras.
A rational map whose source and image are projectively embedded varieties has an {\em Arithmetically Cohen-Macaulay graph} if the Rees algebra of one (hence any) of its base ideals is a Cohen-Macaulay ring. If the map is birational onto the image one considers how this property forces an upper bound on the degree of a representative of the map. In the plane case a complete description is given of the Cremona maps with Cohen-Macaulay graph, while in arbitrary dimension $n$ it is shown that a Cremona map with Cohen-Macaulay graph has degree at most $n^2$.
We prove a Cohen-Macaulay version of a result by Avramov-Golod and Frankild-Jørgensen about Gorenstein rings, showing that if a noetherian ring $A$ is Cohen-Macaulay, and $a_1,\dots,a_n$ is any sequence of elements in $A$, then the Koszul complex $K(A;a_1,\dots,a_n)$ is a Cohen-Macaulay DG-ring. We further generalize this result, showing that it also holds for commutative DG-rings. In the process of proving this, we develop a new technique to study the dimension theory of a noetherian ring $A$, by finding a Cohen-Macaulay DG-ring $B$ such that $\mathrm{H}^0(B) = A$, and using the Cohen-Macaula…
We show that the Kodaira vanishing theorem can fail on smooth Fano varieties of any characteristic p > 0. Taking cones over some of these varieties, we give the first examples of terminal singularities which are not Cohen-Macaulay. By a different method, we construct a terminal singularity of dimension 3 (the lowest possible) in characteristic 2 which is not Cohen-Macaulay.
A concrete description of all graded maximal Cohen-Macaulay modules of rank one and two over the affine cone of the simple node (a non-isolated singularity) is given. For this purpose we construct an alghoritm that provides extensions of MCM modules over an arbitrary hypersurface.
In this article, we provide a complete list of simple Cohen-Macaulay codimension 2 singularities together with a list of adjacencies which is complete in the case of fat point and space curve singularities.
In this article, we compute Betti numbers for a Cohen-Macaulay tangent cone of a monomial curve in the affine $4$-space corresponding to a pseudo symmetric numerical semigroup. As a byproduct, we also show that for these semigroups, being of homogeneous type and homogeneous are equivalent properties.
We give suffcient conditions for a standard graded Cohen-Macaulay ring, or equivalently, an arithmetically Cohen-Macaulay projective variety, to be Cohen-Macaulay wild in the sense of representation theory. In particular, these conditions are applied to hypersurfaces and complete intersections.
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.
Let $A$ be a Cohen-Macaulay normal domain. A non commutative crepant resolution (NCCR) of $A$ is an $A$-algebra $Γ$ of the form $Γ= End_A(M)$, where $M$ is a reflexive $A$-module, $Γ$ is maximal Cohen-Macaulay as an $A$-module and $gldim(Γ)_P = \dim A_P $ for all primes $P$ of $A$. We give bountiful examples of equi-characteristic Cohen-Macaulay normal local domains and mixed characteristic Cohen-Macaulay normal local domains having NCCR. We also give plentiful examples of affine Cohen-Macaulay normal domains having NCCR.
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 present characterizations of sequentially Cohen-Macaulay modules in terms of systems of parameters, which are generalizations of well-known results on Cohen-Macaulay and generalized Cohen-Macaulay modules. The sequentially Cohen-Macaulayness of Stanley-Reisner rings of small embedding dimension are also examined.
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 this article, we study Cohen-Macaulay modules over non-reduced curve singularities. We prove that the rings $k[[x,y,z]]/(xy, y^q -z^2)$ have tame Cohen-Macaulay representation type. For the singularity $k[[x,y,z]]/(xy, z^2)$ we give an explicit description of all indecomposable Cohen--Macaulay modules and apply the obtained classification to construct explicit families of indecomposable matrix factorizations of $(xy)^2 \in k[[x,y]]$.
Let $A$ be a direct limit of a direct system of Cohen-Macaulay rings. In this paper, we describe the Cohen-Macaulay property of $A$. Our results indicate that $A$ is not necessarily Cohen-Macaulay. We show $A$ is Cohen-Macaulay under various assumptions. As an application, we study Cohen-Macaulayness of non-affine normal semigroup rings.
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 study syzygies of (maximal) Cohen-Macaulay modules over one dimensional Cohen-Macaulay local rings. We compare these modules to Cohen-Macaulay modules over the endomorphism ring of the maximal ideal. After this comparison, we give several characterizations of almost Gorenstein rings in terms of syzygies of Cohen-Macaulay modules.
In this paper, we give a characterization of co-Cohen Macaulay modules by vanishing properties of the dual Bass numbers of modules. In addition, we show that the co-localization of co-Cohen Macaulay modules preserves co-Cohen Macaulayness under a certain condition.
Let (R,m) be a local, complete ring, X an artinian R-module of Noetherian dimension d; let x_1,...,x_d\in m be such that 0:_X (x_1,...,x_d)R has finite length. Then H^x_d(X) is a finite R-module, providing a positive answer to a question posed by Tang. As a first application of this result corollory 1 contains a necessary condition for a finite module to be CM; secondly we propose a notion of Cohen-Macaulayfication and prove its uniqueness (th. 3); finally we show that this new notion of Cohen-Macaulayfication is a direct generalization of a notion of Cohen-Macaulayfication introduced by Goto …
A description of Cohen-Macaulay modules over cusp surface singularities and over unimodule hypersurface singularities of type T is given. It is proved that among minimally elliptic singularities and their quotients only simple elliptic and cusps are tame, all others are wild (with respect to the classification of Cohen-Macaulay modules).
We calculate the Krull--Gabriel dimension of the functor category of the (stable) category of maximal Cohen--Macaulay modules over hypersurfaces of countable Cohen--Macaulay representation type. We show that the Krull--Gabriel dimension is $0$ if the hypersurface is of finite Cohen--Macaulay representation type and that is $2$ if the hypersurface is of countable but not finite Cohen--Macaulay representation type.
We characterize Cohen-Macaulay and Gorenstein rings obtained from certain types of convex body semigroups. Algorithmic methods to check if a polygonal or circle semigroup is Cohen-Macaulay/Gorenstein are given. We also provide some families of Cohen-Macaulay and Gorenstein rings.
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.
By extending some basic results of Grothendieck and Foxby about local cohomology to commutative DG-rings, we prove new amplitude inequalities about finite DG-modules of finite injective dimension over commutative local DG-rings, complementing results of Jørgensen and resolving a recent conjecture of Minamoto. When these inequalities are equalities, we arrive to the notion of a local-Cohen-Macaulay DG-ring. We make a detailed study of this notion, showing that much of the classical theory of Cohen-Macaulay rings and modules can be generalized to the derived setting, and that there are many natu…
We study properties of a poset generating a Cohen-Macaulay algebra with straightening laws (ASL for short). We show that if a poset $P$ generates a Cohen-Macaulay ASL, then $P$ is pure and, if $P$ is moreover Buchsbaum, then $P$ is Cohen-Macaulay. Some results concerning a Rees algebra of an ASL defined by a straightening closed ideal are also established. And it is shown that if $P$ is a Cohen-Macaulay poset with unique minimal element and $Q$ is a poset ideal of $P$, then $P\uplus Q$ is also 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.
In this paper we show a partial answer the a question of C. Huneke and G. Leuschke (2003): Let R be a standard graded Cohen-Macaulay ring of graded countable Cohen-Macaulay representation type, and assume that R has an isolated singularity. Is R then necessarily of graded finite Cohen-Macaulay representation type? In particular, this question has an affirmative answer for standard graded non-Gorenstein rings as well as for standard graded Gorenstein rings of minimal multiplicity. Along the way, we obtain a partial classification of graded Cohen-Macaulay rings of graded countable Cohen-Macaulay…
We define three new homological dimensions - Cohen-Macaulay injective, projective, and flat dimension - which inhabit a theory similar to that of classical injective, projective, and flat dimension. Finiteness of the new dimensions characterizes Cohen-Macaulay rings with dualizing modules.
This survey presents some recent results of G.-M.Greuel and the author on vector bundles over algebraic curves and on Cohen-Macaulay modules over surface singularities. It is mainly devoted to the classification problems, especially to the tame-wild dichotomy and to the description of vector bundles and Cohen-Macaulay modules in the tame cases.
To reduce to resolving Cohen-Macaulay singularities, Faltings initiated the program of "Macaulayfying" a given Noetherian scheme $X$. For a wide class of $X$, Kawasaki built the sought Cohen-Macaulay modifications, with a crucial drawback that his blowups did not preserve the locus $\mathrm{CM}(X) \subset X$ where $X$ is already Cohen-Macaulay. We extend Kawasaki's methods to show that every quasi-excellent, Noetherian scheme $X$ has a Cohen-Macaulay $\widetilde{X}$ with a proper map $\widetilde{X} \rightarrow X$ that is an isomorphism over $\mathrm{CM}(X)$. This completes Faltings' program, r…
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.
We define what it means for a Cohen-Macaulay ring to to be super-stretched and show that Cohen-Macaulay rings of graded countable Cohen-Macaulay type are super-stretched. We use this result to show that rings of graded countable Cohen-Macaulay type, and positive dimension, have possible h-vectors (1), (1,n), or (1,n,1). Further, one dimensional standard graded Gorenstein rings of graded countable type are shown to be hypersurfaces; this result is not known in higher dimensions. In the non-Gorenstein case, rings of graded countable Cohen-Macaulay type of dimension larger than 2 are shown to be …
Recently, G. Floystad studied "higher Cohen-Macaulay property" of certain finite regular cell complexes. In this paper, we partially extend his results to squarefree modules, toric face rings, and simplicial posets. For example, we show that if (the corresponding cell complex of) a simplicial poset is $l$-Cohen-Macaulay then its codimension one skeleton is $(l+1)$-Cohen-Macaulay.
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.
Our goal is to determine when the trivial extensions of commutative rings by modules are Cohen-Macaulay in the sense of Hamilton and Marley. For this purpose, we provide a generalization of the concept of Cohen-Macaulayness of rings to modules.
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.
We prove (the excellent case of) Schreyer's conjecture that a local ring with countable Cohen--Macaulay type has at most a one-dimensional singular locus. Furthermore we prove that the localization of a Cohen-Macaulay local ring of countable CM type is again of countable CM type.
We prove that for m > 2, the m-th symbolic power of a Stanley-Reisner ideal is Cohen-Macaulay if and only if the simplicial complex is a matroid. Similarly, the m-th ordinary power is Cohen-Macaulay for some m > 2 if and only if the complex is a complete intersection. These results solve several open questions on the Cohen-Macaulayness of ordinary and symbolic powers of Stanley-Reisner ideals. Moreover, they have interesting consequences on the Cohen-Macaulayness of symbolic powers of facet ideals and cover ideals.
In this paper we give a bountiful number of examples of two dimensional mixed characteristic rings of finite Cohen Macaulay type. For a large sub-class of these examples we give a complete description of its indecomposable maximal Cohen-Macaulay modules and we also compute its AR-quiver.
