Syzygy resolution conjecture for a specified plane curve

Let R=k[x,y,z]R=k[x,y,z] and let f=(x2y2)zd1(xd1yd1)x2yd+1f=(x^2-y^2)z^{d-1} -(x^{d-1}-y^{d-1})x^2 -y^{d+1}, with d2d\geq 2, and let JfJ_f be its gradient ideal. Syzygy-resolution conjecture. The maximal degree of a minimal generator of Syz(Jf)\operatorname{Syz}(J_f) is 2d22d-2. Moreover, the minimal graded free resolution of JfJ_f is

0R((3d1))2R(2d)3R((3d2))R(d)3R,0 \longrightarrow R(-(3d-1))^2 \longrightarrow R(-2d)^3\oplus R(-(3d-2))\longrightarrow R(-d)^3 \longrightarrow R,

where the generating syzygies in degree 2d2d are the Koszul syzygies; in particular, the regularity of R/JfR/J_f is 3d3d. These assertions propose a precise description of the extremal syzygy degree and graded resolution for this example; the supplied text gives no resolution status.

Sources & referencesView supporting material

Primary source

Marcos Jardim, Abbas Nasrollah Nejad and Aron Simis, “The Bourbaki Degree of Plane Projective Curves”, arXiv:2308.11467 (2023).

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.