Computing limit linear series with infinitesimal methods

[Méthodes infinitésimales pour le calcul de systèmes linéaires limites]

Evain, Laurent

Annales de l'Institut Fourier, Tome 57 (2007), p. 1947-1974 / Harvested from Numdam

Résumé

Alexander et Hirschowitz ont calculé la fonction de Hilbert d’une réunion générique de gros points du plan projectif sous l’hypothèse que le nombre de gros points est très supérieur à leur multiplicité. Leur méthode est basée sur un lemme permettant le calcul d’un système linéaire limite lorsque les gros points se spécialisent sur un diviseur.

Nagata avait auparavant calculé d’autres fonctions de Hilbert. Lors de la construction de son contre-exemple au quatorzième problème de Hilbert, Nagata a déterminé la fonction de Hilbert $H(d)$ d’une réunion de $k^2$ gros points de même multiplicité $m$ lorsque $d \le km$.

On introduit une nouvelle méthode de calcul de systèmes linéaires limites, qui généralise le résultat de Alexander et Hirschowitz. Notre principale application est de compléter le résultat de Nagata : nous calculons $H(d)$ pour tout $d$. Comme autre application, nous décrivons des collisions de gros points dans le plan projectif.

Abstract

Alexander and Hirschowitz determined the Hilbert function of a generic union of fat points in a projective space when the number of fat points is much bigger than the greatest multiplicity of the fat points. Their method is based on a lemma which determines the limit of a linear system depending on fat points approaching a divisor.

Other Hilbert functions were computed previously by Nagata. In connection with his counter-example to Hilbert’s fourteenth problem, Nagata determined the Hilbert function $H(d)$ of the union of $k^2$ points of the same multiplicity $m$ in the plane up to degree $d=km$.

We introduce a new method to determine limits of linear systems. This generalizes the result by Alexander and Hirschowitz. Our main application of this method is the conclusion of the work initiated by Nagata: we compute $H(d)$ for all $d$. As a second application, we compute collisions of fat points in the plane.

Détail

Publié le : 2007-01-01

MR 2377892 | Zbl 1134.14020

DOI : https://doi.org/10.5802/aif.2319
Classification:  14H20,  14H50,  14B05,  14B10,  14B20
Mots clés: gros point, fonction de Hilbert, Nagata, courbe, singularités

Bibliographie

[1] Alexander, J.; Hirschowitz, A. An asymptotic vanishing theorem for generic unions of multiple points, Invent. Math., Tome 140 (2000) no. 2, pp. 303-325 | Article | MR 1756998 | Zbl 0973.14026

[2] Casas-Alvero, E. Infinitely near imposed singularities and singularities of polar curves, Math. Ann., Tome 287 (1990) no. 3, pp. 429-454 | Article | MR 1060685 | Zbl 0675.14009

[3] Ciliberto, C. Geometric aspects of polynomial interpolation in more variables and of Waring’s problem, European Congress of Mathematics, Vol. I (Barcelona, 2000), Birkhäuser, Basel (Progr. Math.) Tome 201 (2001), pp. 289-316 | Zbl 1078.14534

[4] Ciliberto, C.; Kouvidakis, A. On the symmetric product of a curve with general moduli, Geometriae Dedicata, Tome 78 (1999), pp. 327-343 | Article | MR 1725369 | Zbl 0967.14021

[5] Ciliberto, C.; Miranda, R. Matching conditions for degenerating plane curves and applications (To appear) | Zbl 1109.14009

[6] Ciliberto, C.; Miranda, R. Degenerations of planar linear systems, J. Reine Angew. Math., Tome 501 (1998), pp. 191-220 | MR 1637857 | Zbl 0943.14002

[7] Evain, L. Calculs de dimensions de systèmes linéaires de courbes planes par collisions de gros points, C. R. Acad. Sci. Paris Sér. I Math., Tome 325 (1997) no. 12, pp. 1305-1308 | Article | MR 1490419 | Zbl 0905.14005

[8] Evain, L. Collisions de trois gros points sur une surface algébrique, PhD., Nice (1997) (Ph. D. Thesis)

[9] Evain, L. La fonction de Hilbert de la réunion de $4^h$ gros points génériques de ${\bf P}^2$ de même multiplicité, J. Algebraic Geom., Tome 8 (1999) no. 4, pp. 787-796 | MR 1703614 | Zbl 0953.14027

[10] Grothendieck, A. Éléments de géométrie algébrique. I. Le langage des schémas, Inst. Hautes Études Sci. Publ. Math. (1960) no. 4, pp. 228 | Numdam | MR 217083 | Zbl 0118.36206

[11] Grothendieck, A. Techniques de construction et théorèmes d’existence en géométrie algébrique. IV. Les schémas de Hilbert, Séminaire Bourbaki, Vol. 6, Soc. Math. France, Paris (1995), pp. Exp. No. 221, 249-276 | Numdam | Zbl 0236.14003

[12] Hirschowitz, A. La méthode d’Horace pour l’interpolation à plusieurs variables, Manuscripta Mathematica, Tome 50 (1985), pp. 337-388 | Article | Zbl 0571.14002

[13] Mcduff, D.; Polterovich, L. Symplectic packings and algebraic geometry, Invent. Math., Tome 115 (1994) no. 3, pp. 405-434 (With an appendix by Yael Karshon) | Article | MR 1262938 | Zbl 0833.53028

[14] Nagata, M. On Rational Surfaces, II, Memoirs of the College of Science, University of Kyoto, Tome XXXIII (1960) no. 2, pp. 271-293 | MR 126444 | Zbl 0100.16801

[15] Nagata, M. On the fourteenth problem of Hilbert, Proc. Internat. Congress Math. 1958, Cambridge Univ. Press, New York (1960), pp. 459-462 | MR 116056 | Zbl 0127.26302

[16] Walter, C. Collisions of three fat points on an algebraic surface, Prépublication 412, Univ. Nice (1995), pp. 1-7

[17] Xu, G. Ample line bundles on smooth surfaces, J. reine angew. Math., Tome 469 (1995), pp. 199-209 | Article | MR 1363830 | Zbl 0833.14028