Kleppe–Ellia conjecture on cubic-surface space-curve families

Let H(d,g)scH(d,g)^{sc} denote the Hilbert scheme of smooth connected curves in P3\mathbb P^3 of degree dd and genus gg, and let WH(d,g)scW\subset H(d,g)^{sc} be a 33-maximal family whose general member CC lies on a smooth cubic surface. Let IC\mathcal I_C be the ideal sheaf of CC in P3\mathbb P^3. Suppose that

d>9,g3d18,d>9,\qquad g\geq 3d-18,

that CC is linearly normal, and that

H1(P3,IC(3))0.H^1(\mathbb P^3,\mathcal I_C(3))\neq 0.

Kleppe–Ellia conjecture. The family WW is an irreducible component of (H(d,g)sc)red(H(d,g)^{sc})_{\operatorname{red}}, and H(d,g)scH(d,g)^{sc} is generically non-reduced along WW.

This conjecture concerns the component structure and generic non-reducedness of the Hilbert scheme along families of space curves on smooth cubic surfaces. It is presented as a version of a conjecture originated by Kleppe and modified by Ellia; the supplied text does not state whether it has been resolved.

Sources & referencesView supporting material

Primary source

Hirokazu Nasu, “Obstructions to deforming space curves lying on a smooth cubic surface”, arXiv:1909.08452 (2022).

Additional references

2 papers in this index state this conjecture (2005–2019). The statement above is taken from the most recent of them; the others are arXiv:math/0505413.

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.