Speciality conjecture for linear systems on the blow-up of (P1)3(\mathbb{P}^1)^3

Let YY be the blow-up of (P1)3(\mathbb{P}^1)^3 at rr points in very general position, and let QQ be the divisor in the strict transform of L(1,1,1)(17)\mathcal{L}_{(1,1,1)}(1^7) described as the image of the strict transform of a quadric through 99 points of P3\mathbb{P}^3. For a divisor DD in the strict transform of L(d1,d2,d3)(m1,,mr)\mathcal{L}_{(d_1,d_2,d_3)}(m_1,\dots,m_r), set

q(D):=χ(DQ)=(d1+1)(d2+1)(d3+1)d1d2d3i=17mi(mi+1)2.q(D):=\chi(D|_Q)=(d_1+1)(d_2+1)(d_3+1)-d_1d_2d_3-\sum_{i=1}^7\dfrac{m_i(m_i+1)}{2}.

Speciality conjecture. Let L:=L(d1,d2,d3)(m1,,mr)\mathcal{L}:=\mathcal{L}_{(d_1,d_2,d_3)}(m_1,\dots,m_r) be a linear system in standard form and let DD be a divisor in its strict transform. If q(D)0q(D)\leq 0, then

h0(D)=h0(DQ).h^0(D)=h^0(D-Q).

If q(D)>0q(D)>0, then DD is special if and only if m1>dn+1m_1>d_n+1 and DD is fiber non-special.

This conjecture is equivalent, via the small modification ϕ\phi, to Conjecture 6.3 of Laface and Ugaglia. The statement concerns the relationship between the divisor QQ, the numerical invariant q(D)q(D), and speciality of linear systems on the blow-up; the supplied text gives no evidence that it has been resolved.

Sources & referencesView supporting material

Primary source

Antonio Laface and Joaquín Moraga, “Linear systems on the blow-up of (P^1)^n”, arXiv:1401.6692 (2016).

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.