We study a variety for graded maximal Cohen--Macaulay modules, which was introduced by Dao and Shipman. The main result of this paper asserts that there are only a finite number of isomorphism classes of graded maximal Cohen--Macaulay modules with fixed Hilbert series over Cohen--Macaulay algebras of graded countable representation type.
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.
Let R be a complete local hypersurface over an algebraically closed field of characteristic different from two, and suppose that R has countable Cohen-Macaulay representation type. In this paper, it is proved that the maximal Cohen-Macaulay R-modules which are locally free on the punctured spectrum are dominated by the maximal Cohen-Macaulay R-modules which are not locally free on the punctured spectrum. More precisely, there exists a single R-module X such that the indecomposable maximal Cohen-Macaulay R-modules not locally free on the punctured spectrum are X and its syzygy ΩX and that any o…
We determine, up to isomorphism, the indecomposable maximal Cohen-Macaulay modules over certain complete one-dimensional local rings of finite Cohen-Macaulay type. We then investigate the direct sum relations of maximal Cohen-Macaulay modules over non-complete rings of finite Cohen-Macaulay type and give a Krull-Schmidt theorem for such rings.
This paper studies the relationship between Serre's condition $(\R_n)$ and Auslander--Buchweitz's maximal Cohen--Macaulay approximations. It is proved that a Gorenstein local ring satisfies $(\R_n)$ if and only if every maximal Cohen--Macaulay module is a direct summand of a maximal Cohen--Macaulay approximation of a (Cohen--Macaulay) module of codimension $n+1$.
This paper studies the structure of special preenvelopes and envelopes with respect to maximal Cohen-Macaulay modules. We investigate the structure of them in terms of their kernels and cokernels. Moreover, using this result, we also study the structure of special proper coresolutions with respect to maximal Cohen-Macaulay modules over a Henselian Cohen-Macaulay local ring.
Over a Cohen-Macaulay ring we consider two extensions of the maximal Cohen-Macaulay modules from the viewpoint of definable subcategories, which are closed under direct limits, direct products and pure submodules. After describing these categories, we compare them and consider which properties they inherit from the maximal Cohen-Macaulay modules. We then consider some further properties of these classes and how they interact with the entire module category.
As a stable analogue of degenerations, we introduce the notion of stable degenerations for Cohen-Macaulay modules over a Gorenstein local algebra. We shall give several necessary and/or sufficient conditions for the stable degeneration. These conditions will be helpful to see when a Cohen-Macaulay module degenerates to another.
In this paper, we introduce a topology on the set of isomorphism classes of finitely generated modules over an associative algebra. Then we focus on the relative topology on the set of isomorphism classes of maximal Cohen--Macaulay modules over a Cohen--Macaulay local ring. We discuss the irreducible components over certain hypersurfaces.
Let R be a Cohen-Macaulay local ring. In this paper we study the structure of Ulrich $R$-modules mainly in the case where R has minimal multiplicity. We explore generation of Ulrich R-modules, and clarify when the Ulrich R-modules are precisely the syzygies of maximal Cohen-Macaulay R-modules. We also investigate the structure of Ulrich R-modules as an exact category.
The Brauer-Thrall Conjectures, now theorems, were originally stated for finitely generated modules over a finite-dimensional $\sk$-algebra. They say, roughly speaking, that infinite representation type implies the existence of lots of indecomposable modules of arbitrarily large $\sk$-dimension. These conjectures have natural interpretations in the context of maximal Cohen-Macaulay modules over Cohen-Macaulay local rings. This is a survey of progress on these transplanted conjectures.
We study the converse of a theorem of Butler and Auslander-Reiten. We show that a Cohen-Macaulay local ring with an isolated singularity has only finitely many isomorphism classes of indecomposable summands of syzygies of Cohen-Macaulay modules if the Auslander-Reiten sequences generate the relation of the Grothendieck group of finitely generated modules. This extends a recent result of Hiramatsu, which gives an affirmative answer in the Gorenstein case to a conjecture of Auslander.
For a wide class of Cohen--Macaulay modules over the local ring of the plane curve singularity of type $T_{36}$ we describe explicitly the corresponding matrix factorizations. The calculations are based on the technique of matrix problems, in particular, representations of bunches of chains.
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.
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.
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.
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.
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.
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 compute the minimal primary decomposition for completely squarefree lexsegment ideals. We show that critical squarefree monomial ideals are sequentially Cohen-Macaulay. As an application, we give a complete characterization of the completely squarefree lexsegment ideals which are sequentially Cohen-Macaulay and we also derive formulas for some homological invariants of this class of ideals.