In his paper (1) Ciliberto proposes a conjecture in order to characterize special linear systems of P n through multiple base points. In this note we give a counterexample to this con- jecture by showing that there is a substantial dierence between the speciality of linear systems on P 2 and those of P 3 . Let us take the projective space P n and let us consider the linear system of hyper- surfaces of degree d having some points of fixed multiplicity. The virtual dimension of such systems is the dimension of the space of degree d polynomials minus the con- ditions imposed by the multiple points and the expected dimension is the maximum between the virtual one and � 1. The systems whose dimension is bigger than the ex- pected one are called special systems. There exists a conjecture due to Hirschowitz (see (5)), characterizing special linear systems on P 2 , which has been proved in some special cases (2), (3), (7), (6). Concerning linear systems on P n , in (1) Ciliberto gives a conjecture based on the classification of special linear systems through double points. In this note we describe a linear system on P 3 that we found in a list of special systems generated with the help of Singular (4) and which turns out to be a counterexample to that conjecture. The paper is organized as follows: in Section 1 we fix some notation and state Ciliberto's conjecture, while Section 2 is devoted to the counterexample. In Section 3 we try to explain speciality of some systems by the Riemann-Roch formula, and we conclude the note with an appendix containing some computations.
[1]
T. Mignon.
Systèmes de courbes planes à singularités imposées: le cas des multiplicités inférieures ou égales à quatre
,
2000
.
[2]
C. Ciliberto,et al.
Linear systems of plane curves with base points of equal multiplicity
,
1998,
math/9804018.
[3]
C. Ciliberto,et al.
Degenerations of Planar Linear Systems
,
1997,
alg-geom/9702015.
[4]
T. Willmore.
Algebraic Geometry
,
1973,
Nature.
[5]
Ciro Ciliberto,et al.
Geometric Aspects of Polynomial Interpolation in More Variables and of Waring’s Problem
,
2001
.
[6]
András Recski,et al.
European Congress of Mathematics
,
1998
.
[7]
Anthony Joseph,et al.
First European Congress of Mathematics
,
1994
.
[8]
André Hirschowitz,et al.
Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques.
,
1989
.
[9]
Brian Harbourne,et al.
THE GEOMETRY OF RATIONAL SURFACES AND HILBERT FUNCTIONS OF POINTS IN THE PLANE
,
1986
.