# Questions tagged [cohen-macaulay-rings]

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

52
questions

**4**

votes

**0**answers

56 views

### Can the conductor of a local, unramified, Cohen-Macaulay domain ever be contained in a parameter ideal?

Let $(R, \mathfrak m)$ be a local Cohen-Macaulay domain which is analytically unramified (i.e. the $\mathfrak m$-adic completion of $R$ is reduced). Let $\bar R$ be the integral closure of $R$ in the ...

**3**

votes

**1**answer

155 views

### Frobenius splitting for an excellent, non $F$-finite, $F$-pure hypersurface

Let $p$ be an odd prime. Let $k$ be a field of characteristic $p$ such that $[k:k^p]=\infty$ (i.e. $k$ is not $F$-finite ) .
Also assume that $-1$ is not a square in $k$ . Consider the homogeneous ...

**1**

vote

**0**answers

83 views

### Dualizing complex description in Stacks project

The question is closely related to this one this one (more precisely the reference the comment by AGl earner) and is aimed to understand the proof of Lemma 20.2 from notes from Stacks notes from ...

**4**

votes

**0**answers

116 views

### Pushforward of a maximal Cohen-Macaulay sheaf

Let $X$ be an (affine) noetherian, Cohen-Macaulay scheme of dimension at least $2$. Choose a closed point $x \in X$. Denote by $U:=X\setminus \{x\}$ the open subset and $i:U \to X$ the natural ...

**2**

votes

**0**answers

96 views

### Is a Maximal Cohen-Macaulay sheaf on a Cohen-Macaulay scheme locally free?

Let $F$ be a Maximal Cohen-Macaulay module on a Cohen-Macaulay scheme $X$.
By definition $\mathrm{depth}_{\mathcal{O}_{X,x}}(F_x)=\mathrm{dim}(\mathcal{O}_{X,x})$ and $\mathrm{depth}(\mathcal{O}_{X,x})...

**8**

votes

**1**answer

296 views

### Equivalence of definitions of Cohen-Macaulay type

I know that the Cohen-Macaulay type has these two definitions:
Let $(R,\mathfrak{m},k)$ be a Cohen-Macaulay (noetherian) local ring and $M$ a finite $R$-module of depth $t$. The number $r(M) = \dim_k ...

**3**

votes

**1**answer

255 views

### difference between Cohen Macaulay and locally Cohen Macaulay curve

I am trying to understand the difference between Cohen Macaulay and Locally Cohen Macaulay curves.
The stacks project https://stacks.math.columbia.edu/tag/02IN says that a scheme (a curve in ...

**4**

votes

**1**answer

245 views

### For every prime ideal $P$ of any Cohen-Macaulay ring $R$, is the sequence $\operatorname{depth}(R/P^n)$ eventually constant?

Let $P$ be a prime ideal of a Cohen-Macaulay ring $R$. Then is the sequence $\operatorname{depth}(R/P^n)$ eventually constant ?

**2**

votes

**0**answers

127 views

### On Cohen-Macaulay schemes

I know that the irreducible components of a Cohen-Macaulay (CM) scheme don't need to be Cohen-Macaulay. But what happens if we assume that that the irreducible components are CM, what can we say about ...

**6**

votes

**1**answer

403 views

### Depth under localization over a Cohen-Macaulay ring

Let $A$ be a Cohen-Macaulay local ring, and let $M$ be an $A$-module that is (S$_2$) and has depth $\ge n$ for some fixed $n$. Let $\mathfrak{p} \subset A$ be a prime of height $\ge n$. Is it true ...

**7**

votes

**1**answer

121 views

### For isolated singularity algebra, is every maximal Cohen-Macaulay module locally projective?

Let $R$ be a Cohen-Macaulay noetherian local ring. Let $\Lambda$ be a noetherian $R$-algebra which is maximal Cohen-Macaulay as an $R$-module, where for every nonmaximal prime $\mathfrak{p}$, $\...

**3**

votes

**1**answer

142 views

### Cohen-Macaulay rings in GIT

I'm starting to learn about Cohen-Macaulay rings in my commutative Algebra course, and my teacher mentioned its use in Geometric Invariant Theory. Having some basic knowledge on the subject and ...

**6**

votes

**0**answers

230 views

### Hironaka decomposition over $\mathbb{Z}$?

Let $A=\bigoplus_{\ell\geq 0}A_\ell$ be a finitely generated graded $\mathbb{Z}$-algebra, with $A_0=\mathbb{Z}$, that is free as a $\mathbb{Z}$-module.
If $k$ is a field, then $A\otimes k$ is a ...

**4**

votes

**1**answer

157 views

### If a finite poset supports a Cohen-Macaulay ASL, how far can it be from Cohen-Macaulay?

By the fundamental work of De Concini, Eisenbud, and Procesi, an algebra with straightening law (ASL) must be Cohen-Macaulay if it is built on a Cohen-Macaulay poset. I would like to understand the ...

**2**

votes

**1**answer

371 views

### Dualizing sheaf on a Cohen-Macaulay scheme

I would like to fill a detail in the answer given by Francesco Polizzi to the question "Is the dualizing sheaf on a Cohen-Macaulay scheme reflexive?".
Let $X$ be a normal, Cohen-Macaulay scheme of ...

**9**

votes

**2**answers

803 views

### Is the dualizing sheaf on a Cohen-Macaulay scheme reflexive?

I am reading the paper Frobenius splitting of Hilbert schemes
of points on surfaces by Kumar and Thomsen. At the end of Lemma 11, they seem to imply that the dualizing sheaf on a Cohen-Macaulay scheme ...

**1**

vote

**1**answer

229 views

### Does the graded face poset of a BN-pair admit a EL-labeling?

Let $G$ be a finite group with a BN-pair of rank $n$. Let $B$ be the associated Borel subgroup.
Let $P$ be the poset of proper right cosets (i.e. $Kg$ with $K \in [B,G)$ and $g \in G$).
Let $\hat{P}:...

**5**

votes

**0**answers

180 views

### symbolic powers of prime ideals

Let $R$ be a CM ring and $P$ be a prime ideal. Let $P^{(n)}$ denote the $n$th symbolic power of $P$.
Is the sequence $\operatorname {depth} (R/P^{(n)})$ eventually constant?

**2**

votes

**1**answer

558 views

### The concept “opposite” of Cohen-Macaulayness

Let $S = \mathbb k[x_1, \ldots, x_n]$ be a polynomial ring over a field $\mathbb k$ and let $I \subseteq S$ be a monomial ideal.
For a monomial ideal $J$, let $\#(J)$ be the smallest number of ...

**2**

votes

**0**answers

82 views

### Is the bounded coset poset of a boolean interval of finite groups, Cohen-Macaulay?

Let $[H,G]$ be a boolean interval of finite groups and let $\hat{C}(H,G)$ be its bounded coset poset (i.e. the poset of cosets $Kg$ with $K \in [H,G]$, bounded below by $\emptyset$ and bounded above ...

**3**

votes

**1**answer

271 views

### Cohen-Macaulay non-normal toric variety

Given a quasi-smooth toric variety $X$ in the sense of Gelfand-Kapranov-Zelevinsky,
i.e. a (not necessarily normal) toric variety $X$ whose normalization is a $\mathbb{Q}$-factorial toric variety and ...

**6**

votes

**2**answers

555 views

### Auslander-Reiten theory for Gorenstein algebras

In the paper "Cohen-Macauley and Gorenstein artin algebras", Auslander and Reiten have a short section about Auslander-Reiten theory in Gorenstein algebras (I always assume we have an artin algebra ...

**1**

vote

**0**answers

136 views

### Björner-Wachs theorem for posets admitting an EL-labeling

In the survey paper Poset Topology: Tools and Applications by Michelle Wachs, there is the following theorem on p46:
Theorem 3.2.4 (Björner and Wachs [40]). Suppose $P$ is a poset for
which $\...

**1**

vote

**1**answer

175 views

### when there is an injection $0 \to R \to K_R$?

Let $(R,m)$ be a Cohen-Macaulay local ring which possesses the canonical module $K_R$. Then $R$ is said to be an almost Gorenstein local ring, if there is an exact sequence $0 \to R \to K_R \to C \to ...

**1**

vote

**0**answers

160 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 $A$-...

**1**

vote

**0**answers

78 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 ...

**6**

votes

**1**answer

373 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

195 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 ...

**4**

votes

**3**answers

441 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 ...

**3**

votes

**1**answer

374 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 ...

**9**

votes

**1**answer

201 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 $R$-...

**1**

vote

**1**answer

212 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 $A$....

**1**

vote

**1**answer

183 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

201 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 ...

**4**

votes

**2**answers

292 views

### Maximal Cohen-Macaulay modules of type one

Does anybody 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 a maximal CM module then the ...

**7**

votes

**1**answer

536 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

155 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 ...

**13**

votes

**1**answer

717 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

135 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

92 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 most ...

**6**

votes

**1**answer

559 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. I'...

**2**

votes

**1**answer

737 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

824 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

286 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 Cohen-...

**6**

votes

**1**answer

681 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 ...

**5**

votes

**3**answers

391 views

### CM for primary ideal

Let $R$ be a regular local ring, $I$ a prime ideal and $J$ an $I$-primary ideal in $R$. Is it true that if $R/I$ is CM then also $R/J$ is CM?
This question is in some way the inverse of this one.

**11**

votes

**1**answer

534 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 ...

**2**

votes

**1**answer

281 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

**2**answers

614 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 ...

**3**

votes

**2**answers

496 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 ...