2006/07/26 by Francisco Monserrat, F. Monserrat, Monserrat, F.
Computer Science · Mathematics · #14C20 #Advanced Differential Equations and Dynamical Systems #Algebraic Geometry (math.AG) #Algebraic Geometry and Number Theory #FOS: Mathematics #Polynomial and algebraic computation #math.AG #msc:14C20
paper · pdf · doi:10.48550/arxiv.math/0607677
This is a revised version of a preprint of 2004
arxiv created 2006/07/26 · openalex publication_date 2006/07/26 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Denoting by \mathcal Ld(m0,m1,...,mr) the linear system of plane curves passing through r+1 generic points p0,p1,...,pr of the projective plane with multiplicity mi (or larger) at each pi, we prove the Harbourne-Hirschowitz Conjecture for linear systems \mathcal Ld(m0,m1,...,mr) determined by a wide family of systems of multiplicities \boldm=(mi)i=0r and arbitrary degree d. Moreover, we provide an algorithm for computing a bound of the regularity of an arbitrary system \boldm and we give its exact value when \boldm is in the above family. To do that, we prove an H1-vanishing theorem for line bundles on surfaces associated with some pencils ``at infinity''.