Hauteurs des sous-schémas de dimension nulle de l'espace projectif
[Heights of zero-dimensional subschemes of projective space]
Annales de l'Institut Fourier, Volume 53 (2003) no. 7, pp. 2155-2224.

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.

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.

DOI: 10.5802/aif.2003
Classification: 14G40, 11G50
Mot clés : hauteurs, fonction de Hilbert-Samuel arithmétique, matrices d'interpolation
Keywords: heights, arithmetic Hilbert-Samuel function, interpolation matrices
Randriambololona, Hugues 1

1 ENST, Département INFRES, 46 rue Barrault, 75634 Paris Cedex 13 (France)
@article{AIF_2003__53_7_2155_0,
     author = {Randriambololona, Hugues},
     title = {Hauteurs des sous-sch\'emas de dimension nulle de l'espace projectif},
     journal = {Annales de l'Institut Fourier},
     pages = {2155--2224},
     publisher = {Association des Annales de l{\textquoteright}institut Fourier},
     volume = {53},
     number = {7},
     year = {2003},
     doi = {10.5802/aif.2003},
     mrnumber = {2044170},
     zbl = {1076.14030},
     language = {fr},
     url = {http://www.numdam.org/articles/10.5802/aif.2003/}
}
TY  - JOUR
AU  - Randriambololona, Hugues
TI  - Hauteurs des sous-schémas de dimension nulle de l'espace projectif
JO  - Annales de l'Institut Fourier
PY  - 2003
SP  - 2155
EP  - 2224
VL  - 53
IS  - 7
PB  - Association des Annales de l’institut Fourier
UR  - http://www.numdam.org/articles/10.5802/aif.2003/
DO  - 10.5802/aif.2003
LA  - fr
ID  - AIF_2003__53_7_2155_0
ER  - 
%0 Journal Article
%A Randriambololona, Hugues
%T Hauteurs des sous-schémas de dimension nulle de l'espace projectif
%J Annales de l'Institut Fourier
%D 2003
%P 2155-2224
%V 53
%N 7
%I Association des Annales de l’institut Fourier
%U http://www.numdam.org/articles/10.5802/aif.2003/
%R 10.5802/aif.2003
%G fr
%F AIF_2003__53_7_2155_0
Randriambololona, Hugues. Hauteurs des sous-schémas de dimension nulle de l'espace projectif. Annales de l'Institut Fourier, Volume 53 (2003) no. 7, pp. 2155-2224. doi : 10.5802/aif.2003. http://www.numdam.org/articles/10.5802/aif.2003/

[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

Cited by Sources: