Characteristic-zero purity conjecture for K3 unions of scrolls

Let e=(e1,e2)F2e=(e_1,e_2)\in \mathbb{F}^2 with e20e_2\neq 0, and let Xe(a,a)X_e(a,a) be the corresponding union of scrolls over a field F\mathbb{F} of characteristic 00. Write

p(z)=z2e1z+e2=(zt1)(zt2).p(z)=z^2-e_1z+e_2=(z-t_1)(z-t_2).

Characteristic-zero purity conjecture. The union of scrolls Xe(a,a)X_e(a,a) has a pure resolution unless t2/t11t_2/t_1\neq 1 is a kk-th root of unity for some k(a+1)/2k\leq (a+1)/2.

The conjecture is motivated by determinant computations over Z[e1,e2]\mathbb{Z}[e_1,e_2], whose exceptional factors indicate resonance phenomena. The source presents this as experimental and gives no proof.

Sources & referencesView supporting material

Primary source

David Eisenbud and Frank-Olaf Schreyer, “Equations and Syzygies of K3 Carpets and Unions of Scrolls”, arXiv:1804.08011 (2018).

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.