Specialness criterion for standard linear systems in projective three-space

Let L=L3(d,m1,,mr)\mathcal L=\mathcal L_3(d,m_1,\ldots,m_r) be a linear system in standard form. Let Q=L3(2,19)Q=\mathcal L_3(2,1^9) be a quadric and let =3(1,12)\ell=\ell_3(1,1^2) be a line. The products Q(LQ)(LK)Q(\mathcal L-Q)(\mathcal L-K) and L\mathcal L\ell are intersection products, with KK denoting the canonical class.

Specialness criterion. The system L\mathcal L is special if and only if at least one of the following holds:

  1. There exists a quadric QQ such that
Q(LQ)(LK)<0.Q(\mathcal L-Q)(\mathcal L-K)<0.
  1. There exists a line \ell such that
L2.\mathcal L\ell\leq -2.

This conjecture is intended to provide a procedure for computing the dimension of a linear system: Cremona transformations and removal of fixed components reduce the problem to systems in standard form, whose speciality would then be detected by these two conditions.

Sources & referencesView supporting material

Primary source

Antonio Laface and Luca Ugaglia, “On a class of special linear systems of P^3”, arXiv:math/0311445 (2003).

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.