Extension of the upper bound for Hilbert coefficients of Gorenstein modules

Let MM be a finitely generated graded Gorenstein RR-module, minimally generated by homogeneous elements of degree zero. Let s=codimMs=\operatorname{codim} M and k=s2k=\left\lfloor\frac{s}{2}\right\rfloor. Let β0(M)\beta_0(M) denote the minimal number of generators of MM, and write m=(ti)i=0,,sm=(t_i)_{i=0,\ldots,s}. Let t~\tilde t be the modified degree sequence used in the upper-bound theorem, and let Ψtfj(t~)\Psi_{t}f_j(\tilde t) denote the corresponding bound for the jj-th Hilbert coefficient. Extension conjecture. For all 0jd10\leq j\leq d-1, one has

ej(M)β0(M)(s+1)!Ψtfj(t~).e_j(M)\leq\frac{\beta_0(M)}{(s+1)!}\Psi_{t}f_j(\tilde t).

The preceding result establishes the analogous upper bound for the first Hilbert coefficient e1(M)e_1(M); the conjecture proposes its extension to all Hilbert coefficients in the stated range. The notation Ψtfj\Psi_t f_j and the precise construction of t~\tilde t are not defined in the supplied span, so the full bound requires checking against the paper.

Sources & referencesView supporting material

Primary source

Sabine El Khoury, Manoj Kummini and Hema Srinivasan, “An Upper Bound for the First Hilbert Coefficient of Gorenstein Algebras and Modules”, arXiv:2012.13517 (2020).

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.