SHGH-type conjecture for negative curves on the Klein blowup

Let XKX_\mathcal K be the blowup associated with the Klein line configuration, let HH be the pullback of a line, and let E4E_4 and E3E_3 denote the exceptional divisors over the quadruple and triple points. For

D=dHm4E4m3E3,D=dH-m_4E_4-m_3E_3,

write Td(m4E4m3E3)T_d(-m_4E_4-m_3E_3) for the corresponding linear system. SHGH-type conjecture. If D.C0D\mathbin{.}C\geq 0 for every GG-invariant, GG-irreducible curve CC of negative self-intersection with degree less than dd, then

edim(Td(m4E4m3E3))=dim(Td(m4E4m3E3)).\operatorname{edim}\bigl(T_d(-m_4E_4-m_3E_3)\bigr)=\dim\bigl(T_d(-m_4E_4-m_3E_3)\bigr).

Computer calculations suggest that equality holds on the Klein blowup unless a negative curve lies in the base locus, but the conjecture is otherwise open.

Sources & referencesView supporting material

Primary source

Thomas Bauer, Sandra Di Rocco, Brian Harbourne, Jack Huizenga, Alexandra Seceleanu and Tomasz Szemberg, “Negative curves on symmetric blowups of the projective plane, resurgences and Waldschmidt constants”, arXiv:1609.08648 (2017).

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.