The cohen-macaulay-rings tag has no usage guidance.

**1**

vote

**0**answers

125 views

### Local cohomology commuting with fiber

Let $A$ be a nice commutative ring (say, $A=k[t_1,\ldots , t_n]$, ring of polynomials over an algebraically closed field $k$).
Let $M$ be an $A[x]$-module, which is finitely generated as an ...

**1**

vote

**0**answers

35 views

### Upper bound for the minimum number of generators of the canonical module

Let $P=k[x_1...x_n]$ be a poly over a field. Suppose that $R=k[x_1...x_n]/I$. The canonical module of $R$ is $\omega_R=Ext^{n-dim(R)}_P(R,P)$.
The question is that is there any upper bound for the ...

**5**

votes

**0**answers

133 views

### Matrix factorizations as a dg-category?

Matrix factorizations (in the graded case) give a triangulated category. I would imagine that there should be an underlying dg-category. Is there such a definition, and if so, where can I find it in ...

**1**

vote

**2**answers

165 views

### if $R$ is Noetherian local with a finite module of finite injective dimension and if “?” , then $R$ is “Gorenstein”

I know that if $R$ is Noetherian local with a finite module of finite injective dimension, then $R$ is Cohen-Macaulay.
Can one add assumptions on $M$, so that $R$ be Gorenstein or Complete ...

**3**

votes

**3**answers

217 views

### canonical module can be identified with an ideal. how can one reach that ideal?

Let $R[[X,Y,Z]]/(X,Y)\cap (Y,Z)\cap(X,Z)$. then $R$ is Cohen-Macaulay ring and has a canonical
module, $K$. By Proposition 3.3.18 of Bruns_Herzog, $K$ can be identified with an ideal in $R$.
So we ...

**2**

votes

**1**answer

131 views

### A criterion for complete intersection in terms of the Hilbert series?

Let $(R, \mathfrak{m})$ be a complete local ring (of dimension $2$ if that makes a difference). I would like to be able to decide whether or not $R$ is a complete intersection (meaning, a quotient of ...

**4**

votes

**0**answers

101 views

### Multiplicity of $Ext^{d-t}(M,\omega_R)$, ($d=\dim R, t=\dim M$)

Let $R=\bigoplus_{i \geq 0} R_i$ be a Cohen-Macaulay graded ring ($R_0$ is a field and $R$ is generated by $R_1$) of dimension $d$ with canonical module $\omega_R$, and $M$ a graded Cohen-Macaulay ...

**1**

vote

**1**answer

151 views

### ideal of maximal minors is cohen-macaulay?

Let $k$ be an algebraically closed field.
Let $A$ be an $m \times n$ matrix with linear forms $a_{ij} \in k[x_1, \ldots, x_p]_1$ as entries. Let $I$ be the ideal generated by the maximal minors of ...

**1**

vote

**1**answer

152 views

### Does projective duality preserve arithmetic-Cohen-Macaulay-ness?

Let $V$ be a vector space over $\mathbb{C}$.
Suppose $X\subset \mathbb{P} V$ is an algebraic variety, and consider its projective dual variety $X^\vee \subset \mathbb{P} V^*$. If the coordinate ring ...

**4**

votes

**0**answers

176 views

### A doubt from the paper “The diagonal subring and the Cohen-Macaulay property of a multigraded ring”

I am currently reading the paper "The diagonal subring and the Cohen-Macaulay property of a multigraded ring" by Eero Hyry. I have a doubt about the first part of Theorem 2.5. In the proof $(1)\iff ...

**2**

votes

**2**answers

89 views

### Maximal Cohen-Macaulay modules of type one

Does any body know an example of a Noetherian local ring $(R,m)$ which admits a maximal cohen-macaulay module of type one, but the ring $R$ itself is not CM.
If $C$ is the maximal CM module then the ...

**5**

votes

**1**answer

294 views

### Can one prove that toric varieties are Cohen-Macaulay by finding a regular sequence?

It's well-known that if $P$ is a finitely generated saturated submonoid of $\mathbb{Z}^n$, then the monoid algebra $k[P]$ is Cohen-Macaulay (at the maximal ideal $m = (P-0)k[P]$). However, all proofs ...

**1**

vote

**0**answers

100 views

### Producing local complete intersection curves in singular surfaces

Let $X$ be a smooth surface in $\mathbb{P}^3$ and $C$ a local complete intersection curve in $X$. Does there exist a hyperplane $H$ in $\mathbb{P}^3$ such that $C$ is a local complete intersection ...

**9**

votes

**1**answer

452 views

### When is the reduced subscheme of a Cohen-Macaulay scheme also Cohen-Macaulay?

Let $X$ be a Cohen-Macaulay scheme (I will be interested in the case when this is ${\rm Spec}(A/I)$ where $A$ is a polynomial ring over a field and $I$ is a homogeneous ideal). I would like to know ...

**0**

votes

**0**answers

122 views

### ideals of a noetherian ring $R$ Cohen-Macaulay as $R-$modules

When are (prime) ideals of a noetherian ring $R$ Cohen-Macaulay as $R-$modules?
That is, $depth_R(Ann_R(P))=dim_R(R/Ann_R(P)$ for each $P\in {\rm Spec}(R)$

**0**

votes

**1**answer

88 views

### What is the way to after finding Cohen-Macaulay semigroup as ring of monomial?

http://people.missouristate.edu/lesreid/reu/2007/PPT/robin.ppt
it said missing part inside and not missing part outside is non Cohen-Macaulay semigroup
which determine whether is missing in the ...

**5**

votes

**1**answer

410 views

### Base change of trace for Gorenstein or Cohen-Macaulay morphisms

This is basically a question of functoriality for base change of CM morphisms.
EDIT: $\text{ }$ Brian Conrad sent me an email explaining the that this is indeed true, and follows from his book. ...

**1**

vote

**1**answer

379 views

### Irreducible components of reduced complete intersection

Let $Z$ be an irreducible and reduced scheme. Does there exist a reduced complete intersection $Y$ such that $Z$ is an irreducible component of $Y$?

**3**

votes

**1**answer

658 views

### A Module with $Ext^i(M,R) = 0$ for all $i > 0$

Let $M$ be a finitely generated module over a noetherian local ring $R$. We can take our ring to be Cohen-Macaulay. Suppose $M$ satisfies the condition $Ext^i(M,R) = 0$ for all $i > 0$. We want to ...

**3**

votes

**0**answers

271 views

### Simple proof of that $k[X]^G$ Cohen-Macaualy ($G$ finite)?

Let $X$ be a (EDIT: non-singular, or even $\mathbf A^n$) algebraic variety over a field $k$ (alg. closed). Suppose $G$ is a finite group acting on $X$, $|G|\neq 0$ in $k$. Then $k[X]^G$ is ...

**5**

votes

**1**answer

531 views

### Why are people interested in Cohen-Macaulay of codimension 2?

In deformation theory, Cohen-Macaulay in codimension 2 is the first to be considered in higher order deformation. Does Cohen-Macaulay in codim. 2 have some good property to work with? Does it somehow ...

**11**

votes

**1**answer

483 views

### Normal Macaulayfications

Given any reduced excellent scheme $X$, there exists a Macaulayfication $\pi : Y \to X$. In other words, there exists a proper birational map $\pi$ from a Cohen-Macaulay scheme $Y$ to $X$. These ...

**1**

vote

**1**answer

215 views

### CM module is height-unmixed?

$A$ a Cohen-Macaulay ring (not necessarily local), $M$ a Cohen-Macaulay $A$-module. Then does it necessarily follow that $\mbox{ann}(M)$ is height-unmixed?

**2**

votes

**3**answers

492 views

### Maximal Cohen Macaulay modules over regular factor rings.

Hi,
my question is simple. Let (R,m) be a commutative regular local noetherian ring. Is it true that for every prime p \in Spec(R), the factor ring R/p has maximal cohen-macaulay R/p-module?
Best ...

**2**

votes

**2**answers

426 views

### Are schematic fixed-points of a Cohen-Macaulay scheme Cohen-Macaulay?

I'm not sure how long this iterative questions can go on, but let me try again. Let's say $X$ is a Cohen-Macaulay scheme with an action of $\mathbb{G}_m$ (i.e. if $X$ is affine, a grading on the ...

**9**

votes

**2**answers

849 views

### Blowups of Cohen-Macaulay varieties

Suppose that $X$ is a Cohen-Macaulay normal scheme/variety and $\pi : Y \to X$ is a proper birational map with $Y$ normal.
Question: Is $Y$ also Cohen-Macaulay? Are there common conditions which ...

**3**

votes

**2**answers

395 views

### Irreducible components of quotients of Cohen-Macaulay rings of the “correct” dimension

Suppose $R$ is a Cohen-Macaulay ring. It is well known that if $I$ is an ideal of $R$ generated by $n$ elements, and $I$ has codimension $n$, then $R/I$ is also Cohen-Macaulay.
Now suppose that $I$ ...