Let be an algebraic subvariety of a torus and denote by the complement in of the Zariski closure of the set of torsion points of . By a theorem of Zhang, is discrete for the metric induced by the normalized height . We describe some quantitative versions of this result, close to the conjectural bounds, and we discuss some applications to study of the class group of some number fields.
Nous complétons l’interprétation géométrique de [P2]1991:726;1401792m:11061 pour les hauteurs locales archimédiennes et les distances projectives de [P1]88h11048. On montre comment ceci conduit à une taille (telle que définie dans [P3]) sur les anneaux de coordonnées de variétés projectives. On définit aussi des notions de maison et taille pour les extensions de type fini de .
Nous donnons une démonstration du fait que le groupe des classes d’un schéma irréductible de type fini sur est de type fini. Cette preuve ne repose pas sur le théorème de Mordell-Weil-Néron, mais plutôt sur le théorème de Mordell-Weil classique, le théorème de Néron-Severi et les théorèmes de Hironaka et de Jong sur la résolution des singularités. Nous en déduisons quelques corollaires, parmi lesquels le théorème de Mordell-Weil-Néron lui-même.
On donne des versions raffinées effectives du théorème du produit de G. Faltings et de son principal corollaire. Le théorème montre que si l’ensemble des zéros d’indice d’un polynôme multihomogène a une composante commune avec l’ensemble des zéros d’indice alors cette composante, sous-variété d’un produit d’espaces projectifs, est elle-même un produit à condition que les rapports des degrés de soient grands en fonction de . Le corollaire le plus utile implique que, sous une condition plus...
In this paper we extend the arithmetic Grothendieck-Riemann-Roch Theorem to projective morphisms between arithmetic varieties that are not necessarily smooth over the complex numbers. The main ingredient of this extension is the theory of generalized holomorphic analytic torsion classes previously developed by the authors.
Let be a curve over a field with a rational point . We define a canonical cycle . Suppose that is a number field and that has semi-stable reduction over the integers of with fiber components non-singular. We construct a regular model of and show that the height pairing is well defined where and are correspondences. The paper ends with a brief discussion of heights and -functions in the case that is a modular curve.
On donne une nouvelle démonstration directe du théorème de Hilbert-Samuel arithmétique et on déduit un critère numérique pour l’existence de sections d’un fibré en droite sur une variété arithmétique de norme sup inférieure à un.