Computation of minimal generators of ideals of fat points

We present an implementation of an algorithm for computing minimal homogeneous generators and Hilbert functions of ideals of fat points. First we construct a set of generators by an interpolating method which is based on the Hermite interpolation and generalizes the algorithm of [20] to projective space. Then, we minimalize the generators by the same algorithm which has been developed in [6] by exploiting results of [23] and [19] and which has been already successfully applied to ideals of points, to ideals of rational curves [3] and to ideals of general parametric varieties [22].

[1]  Brian Harbourne,et al.  THE GEOMETRY OF RATIONAL SURFACES AND HILBERT FUNCTIONS OF POINTS IN THE PLANE , 1986 .

[2]  Ferruccio Orecchia,et al.  Implicitization of a general union of parametric varieties , 1999, SIGS.

[3]  Martin Kreuzer,et al.  Computational Commutative Algebra 1 , 2000 .

[4]  Brian Harbourne.  Free resolutions of fat point ideals onP2 , 1998 .

[5]  F. S. Macaulay.  Some Properties of Enumeration in the Theory of Modular Systems , 1927 .

[6]  Monica Idà,et al.  The Minimal Free Resolution for the First Infinitesimal Neighborhoods of n General Points in the Plane , 1999 .

[7]  Brian Harbourne,et al.  The Ideal Generation Problem for Fat Points , 1997, alg-geom/9703035.

[8]  André Hirschowitz,et al.  Une conjecture pour la cohomologie des diviseurs sur les surfaces rationelles génériques. , 1989 .

[9]  Ferruccio Orecchia,et al.  Minimally generating ideals defining certain tangent cones , 1982 .

[10]  Bruno Buchberger,et al.  The Construction of Multivariate Polynomials with Preassigned Zeros , 1982, EUROCAM.

[11]  Francesca Cioffi,et al.  BIVARIATE HERMITE INTERPOLATION AND LINEAR SYSTEMS OF PLANE CURVES WITH BASE FAT POINTS , 2003 .

[12]  C. Ciliberto,et al.  Linear systems of plane curves with base points of equal multiplicity , 1998 .

[13]  Anthony V. Geramita,et al.  The Hilbert Function of a Reduced K‐Algebra , 1983 .

[14]  Francesca Cioffi,et al.  Minimally Generating Ideals of Rational Parametric Curves in Polynomial Time , 2000, J. Symb. Comput..

[15]  R. A. Lorentz,et al.  Bivariate hermite interpolation and applications to Algebraic Geometry , 1990 .

[16]  Martin Kreuzer,et al.  Computing Ideals of Points , 2000, J. Symb. Comput..

[17]  R. Lorentz,et al.  Multivariate Birkhoff Interpolation , 1992 .