Hauteurs des sous-schémas de dimension nulle de l'espace projectif

Randriambololona, Hugues

Annales de l'Institut Fourier, Tome 53 (2003) no. 7, pp. 2155-2224.

Dans ce texte on introduit une notion de hauteur pour les sous-schémas d'une variété arithmétique. Dans le cas particulier d'un sous-schéma de dimension (générique) nulle de l'espace projectif, on donne pour ces hauteurs une estimation qui prend la forme d'une formule de Hilbert-Samuel arithmétique, généralisant ainsi des résultats de M. Laurent sur les hauteurs de matrices d'interpolation. Les trois premiers termes du développement asymptotique ainsi obtenu peuvent s'analyser comme suit : le premier est linéaire, de coefficient donné par la hauteur du cycle associé au sous-schéma considéré ; le second est logarithmique et s'exprime en fonction des longueurs des jets du sous-schéma à l'infini ; enfin le troisième est une constante rendant compte de la ramification du sous- schéma et de la hauteur de son cône tangent. L'article s'achève par une étude du terme d'erreur de cette formule lorsque le sous-schéma est réduit : on montre que celui-ci se décompose en somme de contributions locales qui décroissent en valeur absolue. Ceci admet une interprétation agréable en termes de géométrie hermitienne et de cohomologie.

In this text we introduce a notion of height for subschemes of an arithmetic variety. In the particular case of a subscheme of (generic) dimension zero in a projective space, we give estimates for these heights which take the form of an arithmetic Hilbert-Samuel formula. This generalizes results of M. Laurent on heights of interpolation matrices. The first three terms of the asymptotic development thus obtained can be analyzed as follows: the first is linear, with coefficient given by the height of the cycle associated to the subscheme; the second is logarithmic and depends on the lengths of the jets of the subscheme along its points at infinity; finally the third is a constant depending on the ramification of the subscheme and on the height of its tangent cone. In the last section of this article, we study the error term of this formula, at least when the subscheme is reduced. We show that it decomposes as a sum of local contributions which decrease in absolute value. This result admits a nice interpretation in terms of hermitian geometry and of cohomology.

Classification : 14G40, 11G50
Mot clés : hauteurs, fonction de Hilbert-Samuel arithmétique, matrices d'interpolation
Keywords: heights, arithmetic Hilbert-Samuel function, interpolation matrices

[1] J.-B Bost; H. Gillet; C. Soulé Heights of Projective Varieties and Positive Green Forms, Journal Amer. Math. Soc, Volume 7 (1994), pp. 903-1027 | DOI | MR | Zbl

[2] B. Conrad Grothendieck Duality and Base Change, Lecture Notes in Mathematics, Springer-Verlag, 1750 | MR | Zbl

[3] W. Fulton Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge, Vol. 2, Springer-Verlag, 1998 | MR | Zbl

[4] A. Grothendieck; 61 Techniques de construction et théorèmes d'existence en géométrie algébrique. IV : Les schémas de Hilbert, Fondements de la géométrie algébrique (Séminaire Bourbaki), Volume exposé 221 (1960) | Numdam | Zbl

[5] A. Grothendieck; J. Dieudonné Éléments de géométrie algébrique, Publ. Math. IHÉS, 4, 8, 11, 17, 20, 24, 28, 32, 1960-1967 | Numdam

[6] R. Hartshorne Residues and Duality, Lecture Notes in Mathematics, 20, Springer-Verlag, 1966 | MR | Zbl

[7] J. Kollár Rational Curves on Algebraic Varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge, Vol. 32, Springer-Verlag, 1996 | MR | Zbl

[8] M. Laurent; P. Philippon (Ed.) Hauteur de matrices d'interpolation, Approximations Diophantiennes et Nombres Transcendants (Luminy, 1990) (1992), pp. 215-238 | Zbl

[9] B. Mazur; L. Roberts Local Euler characteristics, Inventiones Math., Volume 9 (1970), pp. 201-234 | DOI | MR | Zbl

[10] D. Mumford Lectures on Curves on an Algebraic Surface (with a section by G. Bergman), Annals of Mathematics Studies, 59, Princeton University Press, 1966 | MR | Zbl

[11] W.M. Schmidt On heights of algebraic subspaces and diophantine approximations, Annals of Math, Volume 85 (1967), pp. 430-472 | DOI | MR | Zbl

[12] J.-P Serre Corps locaux, Hermann, 1968 | MR | Zbl