The conjectured predecessor containment for three general binary forms

Let d=2s+17d=2s+1\geq 7. Given three general forms f1,f2,f3f_1,f_2,f_3 of degree dd in RR, let I=(f1,f2,f3)I=(f_1,f_2,f_3), let δ(I)\delta(I) be the ideal generated by the associated degree-d2d-2 forms obtained by taking the coefficient of x2x^2, and set

I~=(x2δ(I),xyd1,yd),m=(x,y).\widetilde{I}=(x^2\delta(I),xy^{d-1},y^d),\qquad {\mathfrak m}=(x,y).

The inclusion II~I\subset\widetilde{I} is induced by the corresponding inclusion of linear systems in degree dd. The conjectured predecessor. One has

ms1(I~)2I2.{\mathfrak m}^{s-1}(\widetilde{I})^2\subset I^2.

This proposed containment is a technical predecessor for the analysis of the depth of the Rees algebra of three general binary forms in odd degree. The source presents it as conjectural and does not provide evidence of a resolution.

Sources & referencesView supporting material

Primary source

Ricardo Burity and Aron Simis, “The depth of the Rees algebra of three general binary forms”, arXiv:1709.05985 (2017).

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.