Regularity conjecture for amenable d-sequences

About 12 years old · traced to

Let (R,m)(R,\mathfrak m) be a Noetherian local ring and MM a finite unmixed RR-module. Let x=x1,…,xr{\mathbf x}=x_1,\ldots,x_r be a partial system of parameters of MM. The sequence x{\mathbf x} is amenable relative to MM if the Koszul homology module H1(x;M)\mathrm{H}_1({\mathbf x};M) has finite length, and it is a d-sequence relative to MM in the sense used in the source. Set

G=gr⁡(x)(R).\mathrm{G}=\operatorname{gr}_{({\mathbf x})}(R).

Regularity conjecture for amenable d-sequences. If x{\mathbf x} is an amenable d-sequence relative to MM,

dim⁡Hm0(gr⁡(x)(M))=r\dim \mathrm{H}^0_{\mathfrak m}(\operatorname{gr}_{({\mathbf x})}(M))=r

and j1(x;M)=0\mathrm{j}_1({\mathbf x};M)=0, then x{\mathbf x} is a regular sequence on MM.

The claim is a proposed sufficient condition for regularity in the study of partial systems of parameters and Hilbert coefficients of jj-transforms. The supplied status evidence says that this statement is disproved, so the asserted implication does not hold in general.

References

Primary source

Shiro Goto, Jooyoun Hong and Wolmer V. Vasconcelos, “Hilbert polynomials of j-transforms”, arXiv:1403.6549 (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.