SHGH conjecture for effective line bundles on blowups of the plane

Let XmX_m be the blowup of P2\operatorname{\mathbb{P}}^2 at mm general points. A line bundle O(D)\operatorname{\mathcal{O}}(D) is (1)(-1)-special if DD is effective and D.C2D.C \leq -2 for some (1)(-1)-curve CC. SHGH conjecture. If DD is effective, then

χ(O(D))=dim(H0(Xm,O(D)))\chi(\operatorname{\mathcal{O}}(D))=\dim\bigl(H^0(X_m,\operatorname{\mathcal{O}}(D))\bigr)

if and only if O(D)\operatorname{\mathcal{O}}(D) is not (1)(-1)-special. This is the cohomological prediction for effective linear series on blowups of the plane: speciality should arise exactly from (1)(-1)-curves. The supplied status evidence says that the full conjecture is known for del Pezzo surfaces and for the blowup at nine general points, while the formulation is not resolved in general.

Sources & referencesView supporting material

Primary source

Daniel Levine and Shizhuo Zhang, “Brill-Noether and existence of semistable sheaves on del Pezzo surfaces”, arXiv:1910.14060 (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.