Let $R$ be a commutative regular local ring. Is it true that for every $\mathfrak p \in \mathrm{Spec}(R)$ there is a finitely generated $R$-module $M$ such that $\mathrm{projdim}(M)=\mathrm{ht}(\mathfrak p)$ and $\mathrm{Ass}(M)=\{\mathfrak p\}$?

 

Or is there some family of commutative noetherian rings where is this true?

I know that this holds if $R$ is commutative regular local of Krull dimension $\leq 4$ (up to dimension 3 it was easy, because factor rings $R/\mathfrak p$ where always CM, so we can take $M=R/\mathfrak p$. Dimension 4 was harder and in dimension 5 or more I don't know).

Is this an easy/hard/hopeless/already open/similar to something problem?

Thanks, David

Let $R$ be a commutative regular local ring. Is it true that for every $\mathfrak p \in \mathrm{Spec}(R)$ there is a finitely generated $R$-module $M$ such that $\mathrm{projdim}(M)=\mathrm{ht}(\mathfrak p)$ and $\mathrm{Ass}(M)=\{\mathfrak p\}$?

Or is there some family of commutative noetherian rings where is this true?

I know that this holds if $R$ is commutative regular local of Krull dimension $\leq 4$ (up to dimension 3 it was easy, because factor rings $R/\mathfrak p$ where always CM, so we can take $M=R/\mathfrak p$. Dimension 4 was harder and in dimension 5 or more I don't know).

Is this an easy/hard/hopeless/already open/similar to something problem?

Thanks, David

Hi,

Let $R$ be a commutative regular local ring. Is it true that for every $p \in Spec(R)$ there is a finitely generated $R$-module $M_p$ such that projdim($M_p$) = ht($p$) and Ass($M_p$) = {$p$}?

Or is there some family of commutative noetherian rings, where is this true?

I know that this holds if R is commutative regular local of Krull dimension $\leq 4$ (up to dimension 3 it was easy, because factor rings $R/p$ where always CM, so we can take $M_p = R/p$. Dimension 4 was harder and in dimension 5 or more I don't know).

Is this an easy/hard/hopeless/already open/similar to something problem?

Thanks, David

Let $R$ be a commutative regular local ring. Is it true that for every $\mathfrak p \in \mathrm{Spec}(R)$ there is a finitely generated $R$-module $M$ such that $\mathrm{projdim}(M)=\mathrm{ht}(\mathfrak p)$ and $\mathrm{Ass}(M)=\{\mathfrak p\}$?

Or is there some family of commutative noetherian rings where is this true?

I know that this holds if $R$ is commutative regular local of Krull dimension $\leq 4$ (up to dimension 3 it was easy, because factor rings $R/\mathfrak p$ where always CM, so we can take $M=R/\mathfrak p$. Dimension 4 was harder and in dimension 5 or more I don't know).

Is this an easy/hard/hopeless/already open/similar to something problem?

Thanks, David