Syzygy resolution conjecture for a specified plane curve

About 3 years old · traced to

Let R=k[x,y,z]R=k[x,y,z] and let f=(x2−y2)zd−1−(xd−1−yd−1)x2−yd+1f=(x^2-y^2)z^{d-1} -(x^{d-1}-y^{d-1})x^2 -y^{d+1}, with d≥2d\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 2d−22d-2. Moreover, the minimal graded free resolution of JfJ_f is

0⟶R(−(3d−1))2⟶R(−2d)3⊕R(−(3d−2))⟶R(−d)3⟶R,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.

References

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.