Characteristic-zero purity conjecture for K3 unions of scrolls

About 8 years old · traced to

Let e=(e1,e2)∈F2e=(e_1,e_2)\in \mathbb{F}^2 with e2≠0e_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)=z2−e1z+e2=(z−t1)(z−t2).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/t1≠1t_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.

References

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.