Smoothness conjecture for the determinantal curve associated with nodal elliptic curves

About 6 years old · traced to

Let X0X_0 be a general hyperelliptic K3 surface, and let Z2rZ_{2r} be the determinantal curve constructed to dominate the curve Γ2r\Gamma_{2r} parametrizing divisors in ∣O(1,r)∣|\mathcal{O}(1,r)| tangent to the branch curve at 2r2r points. Smoothness conjecture. Z2rZ_{2r} is smooth for a general hyperelliptic K3 surface. In particular, the compactified Severi curve satisfies

genus⁡(V‾L,g−1)≥O(eCg).\operatorname{genus}\left(\overline{V}^{L,g-1}\right) \geq O(e^{Cg}).

This conjectural smoothness statement would give an exponential lower bound for the genus of the compactified Severi curves, strengthening the preceding lower-bound result for their arithmetic genus.

References

Primary source

Nathan Chen, François Greer and Ruijie Yang, “Nodal elliptic curves on K3 surfaces”, arXiv:2001.05104 (2022).

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.