Specialness criterion for standard linear systems in projective three-space

About 23 years old · traced to

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(L−Q)(L−K)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(L−Q)(L−K)<0.Q(\mathcal L-Q)(\mathcal L-K)<0.
  1. There exists a line ℓ\ell such that
Lℓ≤−2.\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.

References

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.