Skip to main content
4 of 4
Commonmark migration

Homologically nice commutative rings

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

David
  • 203
  • 1
  • 5