Conjecture on the perfection and linear syzygies of the principal-curve ideal

Let the subhomaloidal type be (s;(s1)/23,μ4,,μr)(s;(s-1)/2^3,\mu_4,\ldots,\mu_r) with corresponding proper homaloidal type, and let f,g,qf,g,q be the three principal curves described in the paper. Set R=k[x,y,z]R=k[x,y,z] and consider the ideal (f,g,q)R(f,g,q)\subset R.

Principal-curve ideal conjecture. The ideal (f,g,q)(f,g,q) is perfect, that is, unmixed. Moreover, it admits a linear syzygy if and only if either s=3s=3 or s=5s=5, or else s>5s>5 and μ4=(s1)/2\mu_4=(s-1)/2.

A resolution of this question would clarify when the six forms built from f,g,qf,g,q can be treated uniformly in the birational and homological arguments. The source presents the assertion as conjectural and gives no indication of a resolution.

Sources & referencesView supporting material

Primary source

Zaqueu Ramos and Aron Simis, “Homaloidal nets and ideals of fat points II: subhomaloidal nets”, arXiv:1704.00382 (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.