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.
Mot clés : hauteurs, fonction de Hilbert-Samuel arithmétique, matrices d'interpolation
Keywords: heights, arithmetic Hilbert-Samuel function, interpolation matrices
@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] Heights of Projective Varieties and Positive Green Forms, Journal Amer. Math. Soc, Volume 7 (1994), pp. 903-1027 | DOI | MR | Zbl
[2] Grothendieck Duality and Base Change, Lecture Notes in Mathematics, Springer-Verlag, 1750 | MR | Zbl
[3] Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge, Vol. 2, Springer-Verlag, 1998 | MR | Zbl
[4] 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] Éléments de géométrie algébrique, Publ. Math. IHÉS, 4, 8, 11, 17, 20, 24, 28, 32, 1960-1967 | Numdam
[6] Residues and Duality, Lecture Notes in Mathematics, 20, Springer-Verlag, 1966 | MR | Zbl
[7] Rational Curves on Algebraic Varieties, Ergebnisse der Mathematik und ihrer Grenzgebiete 3. Folge, Vol. 32, Springer-Verlag, 1996 | MR | Zbl
[8] Hauteur de matrices d'interpolation, Approximations Diophantiennes et Nombres Transcendants (Luminy, 1990) (1992), pp. 215-238 | Zbl
[9] Local Euler characteristics, Inventiones Math., Volume 9 (1970), pp. 201-234 | DOI | MR | Zbl
[10] 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] On heights of algebraic subspaces and diophantine approximations, Annals of Math, Volume 85 (1967), pp. 430-472 | DOI | MR | Zbl
Cited by Sources: