Regularity conjecture for amenable d-sequences

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,

dimHm0(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.

Sources & referencesView supporting material

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.