Negative first Hilbert coefficient criterion via faithful big Cohen–Macaulay modules

Let (R,m)({\bf R},\mathfrak m) be a Noetherian local ring that admits a faithful big Cohen–Macaulay module, and let JJ be a parameter ideal.

Faithful big Cohen–Macaulay conjecture.

e1(J)<0R is not Cohen–Macaulay.\mathrm{e}_1(J)<0\quad\Longleftrightarrow\quad {\bf R}\text{ is not Cohen--Macaulay}.

This is presented as the expected extension of the corresponding theorem for geometric rings admitting an embedding into a faithful finitely generated maximal Cohen–Macaulay ring. The source gives no resolution.

Sources & referencesView supporting material

Primary source

Wolmer V. Vasconcelos, “Complexity Degrees of Algebraic Structures”, arXiv:1402.1906 (2014).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.