All Questions
17 questions
2
votes
0
answers
73
views
From exact triangles in the stable category of maximal Cohen--Macaulay modules to short exact sequences
Let $R$ be a local Gorenstein ring. Let $\underline{\text{CM}}(R)$ be the stable category of maximal Cohen--Macaulay modules, it is known to carry a triangulated structure. My question is: If $M\to N\...
- 480
3
votes
1
answer
239
views
Vanishing of $\operatorname{Ext}_R^{1}(M,R)$ when $R$ is a Gorenstein local ring of dimension $1$ and $M$ is not finitely generated
Let $(R,\mathfrak m)$ be a Gorenstein local ring of dimension $1$. Let $M$ be an $R$-module (not finitely generated) such that $M\neq \mathfrak m M$ and there exists a non-zero-divisor $x\in \mathfrak ...
- 35.2k
1
vote
0
answers
131
views
Quotient of a polynomial ring with a prime ideal is Cohen$-$Macaulay
[Bruns-Herzog, Exercise 2.1.17] Let $k$ be a field and $R = k[x_1, . . . , x_n]$. Suppose $\mathfrak{p} \subset R$ is a prime ideal, $ht\mathfrak{p} \in \{0, 1, n − 1, n\}$. Show that $R/\mathfrak{p}$ ...
1
vote
0
answers
108
views
On Serre's condition and singular locus of determinantal rings
Let $R$ be a Commutative Noetherian ring. Let $\mathbf X:=[X_{ij}]_{1\le i \le r, 1 \le s \le t}$ be a matrix of indeterminates. Let $t>1$ be an integer, and $I_t(\mathbf X)$ denote the ideal in $...
- 413
2
votes
0
answers
109
views
When does a local Cohen–Macaulay ring admit a non-zero finitely generated maximal Cohen–Macaulay module of finite injective dimension?
Let $(R,\mathfrak m)$ be a local Cohen–Macaulay ring. Then, it is well- nown that there exists a non-zero finitely generated $R$-module of finite injective dimension; for instance $\operatorname{Hom}...
- 12.9k
2
votes
0
answers
196
views
Commutative local rings which satisfy Krull-Remak-Schmidt
Question 1: Can the class of local (always noetherian and commutative) rings be classified for which the Krull-Remak-Schmidt theorem (KRS) holds for finitely generated modules? They contain for ...
- 26.5k
6
votes
2
answers
301
views
If Serre's intersection multiplicity $\chi(R/I, R/J)$ equals $\operatorname{length}_R (R/(I+J))$, then are $R/I, R/J$ Cohen-Macaulay?
Let $(R,\mathfrak m)$ be a regular local ring. Let $I,J$ be proper ideals of $R$ such that $R/(I+J)$ has finite length i.e. $\sqrt{I+J}=\mathfrak m.$ Since $I+J$ annihilates $\text{Tor}_n^R(R/I, R/J)$ ...
- 413
4
votes
1
answer
220
views
Grade is not equal to injective dimension
Let $R$ be commutative Noetherian ring but not necessary local ring, and $I$ be proper ideal of $R$. I want to find an example of ring such that
$\operatorname{Ext}_R^i(R/I,R)\neq 0$ is not zero at ...
- 480
4
votes
2
answers
457
views
Ideals in Artinian Gorenstein local ring $(R,\mathfrak m)$ with $\mu(\mathfrak m)=2, \mathfrak m^2\ne 0$ and $\mathfrak m^3=0$
Let $(R,\mathfrak m,k)$ be an Artinian Gorenstein local ring such that $$\mu(\mathfrak m)=2, \quad\mathfrak m^2\ne 0,\quad\text{and}\quad \mathfrak m^3=0.$$
Then, is it true that every non-maximal ...
- 642
3
votes
0
answers
351
views
When is a maximal Cohen-Macaulay module of finite homological dimension?
Let $R$ be a local Cohen-Macaulay Noetherian ring. A maximal Cohen-Macaulay module or mCM-module is an $R$-module $M$ of finite type such that $\text{dim }M = \text{depth }M =d$
A module $M$ is of ...
- 26k
3
votes
2
answers
247
views
For a Cohen-Macaulay module $M$ of dimension $t$ over a local CM ring of dimension $n$, is $\text{Ext}^{n-t}_R(M,\omega)$ Cohen-Macaulay?
Let $(R,\mathfrak m)$ be a local Cohen-Macaulay ring of dimension $n$ with a canonical module $\omega$. Let $M$ be a finitely generated $R$-module with $\text{depth } M=\dim M=t$. Using Bruns&...
- 1,214
2
votes
1
answer
194
views
On the functors $\text{Hom}_R(k,-)$ and $k \otimes_R ( -)$ for Artinian local Gorenstein ring $R$
Let $(R, \mathfrak m,k)$ be an Artinian local Gorenstein ring, hence $\text{Hom}_R(k, R)\cong k$, and so
$\text{Hom}_R(k, R^{\oplus n})\cong k^{\oplus n} \cong k \otimes_R R^{\oplus n} , \forall n \ge ...
- 148k
5
votes
0
answers
132
views
On a reference for computing global spectrum of $A_n$-curve singularities, by H.Dao and E.Faber
This question is about chasing down a reference in a paper relating to non-commutative crepant resolutions and Cohen-Macaulay representation theory.
Allow me to first give a minor introduction.
Let $(...
- 51
9
votes
1
answer
692
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 ...
- 1,313
4
votes
1
answer
265
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 ?
- 1,313
9
votes
1
answer
255
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$-...
- 30.5k
3
votes
1
answer
1k
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 ...
- 1,355