The j1j_1 criterion for regular sequences

About 12 years old · traced to

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 gr⁡x(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

dim⁡Hm0(gr⁡x(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.

References

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.