The j-multiplicity regular-sequence conjecture

Let (R,m)(R,\mathfrak{m}) be a Noetherian local ring and let MM be a finitely generated unmixed RR-module. Let x=x1,,xm\mathbf{x}=x_1,\ldots,x_m be an amenable partial system of parameters of MM that is a dd-sequence relative to MM, and let G=G((x),R)\mathcal{G}=\mathcal{G}((\mathbf{x}),R) be the associated graded ring. Suppose that

dimG(H(x)(M))=m\dim_{\mathcal{G}}\left(\mathrm{H}_{(\mathbf{x})}(M)\right)=m

and that j1(x,M)=0j_1(\mathbf{x},M)=0. The j-multiplicity regular-sequence conjecture. Then x\mathbf{x} is a regular sequence on MM. The conjecture proposes that vanishing of the first j-multiplicity under these hypotheses detects regular sequences, analogous to corresponding criteria involving Hilbert coefficients.

Sources & referencesView supporting material

Primary source

Jooyoun Hong and Susan Morey, “Hilbert Coefficients and Sally Modules: A Survey of Vasconcelos' Contributions”, arXiv:2312.06846 (2023).

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.