Cohen–Macaulayness from the first Buchsbaum–Rim coefficient

About 15 years old · traced to

Let (R,m)({\bf R},{\mathfrak m}) be a Noetherian local ring with dim⁡R≥2\dim {\bf R}\geq 2, and let U⊆mRrU\subseteq {\mathfrak m}{\bf R}^r be a parameter module of Rr{\bf R}^r, where r>0r>0. Here br1(U)\text{br}_1(U) denotes the first Buchsbaum–Rim coefficient of UU, and a ring is unmixed if all its associated primes have the same dimension. Cohen–Macaulayness criterion. The ring R{\bf R} is Cohen–Macaulay if and only if R{\bf R} is unmixed and

br1(U)=0.\text{br}_1(U)=0.

The inequality br1(U)≤0\text{br}_1(U)\leq 0 is known from work of Hayasaka and Hyry; the question is whether equality, together with unmixedness, characterizes Cohen–Macaulay rings.

References

Primary source

Laura Ghezzi, Shiro Goto, Jooyoun Hong, Kazuho Ozeki, Tran Phuong and Wolmer Vasconcelos, “The Chern Numbers and Euler Characteristics of Modules”, arXiv:1109.5628 (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.