The j1j_1 criterion for regular sequences

Let MM be an R{\bf R}-module satisfying a condition (C), and let x={x1,,xr}\mathbf{x}=\{x_1,\ldots,x_r\} be a partial system of parameters for MM. Set grx(M)\operatorname{gr}_{\mathbf{x}}(M) for the associated graded module and let j1(x;M)j_1(\mathbf{x};M) be its first generalized Hilbert coefficient.

j1j_1 regular-sequence conjecture. If

dimHm0(grx(M))=randj1(x;M)=0,\dim \mathrm{H}^0_{\mathfrak m}(\operatorname{gr}_{\mathbf{x}}(M))=r \quad\text{and}\quad j_1(\mathbf{x};M)=0,

then x\mathbf{x} is a regular sequence on MM. The condition (C) is not fixed in the source; at minimum, MM should be unmixed. The source also describes a weak version in which the vanishing is assumed for all partial systems of parameters of rr elements. The status is not specified.

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.