The conjectured predecessor containment for three general binary forms

About 9 years old · traced to

Let d=2s+1≥7d=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-d−2d-2 forms obtained by taking the coefficient of x2x^2, and set

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

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

ms−1(I~)2⊂I2.{\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.

References

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.