Sur le théorème du produit

Gaël Rémond

Journal de théorie des nombres de Bordeaux (2001)

  • Volume: 13, Issue: 1, page 287-302
  • ISSN: 1246-7405

Abstract

top
We present new sharp effective versions of Faltings’ product theorem. This result, a generalization of Roth’s lemma, shows that if the zeroes of index σ of a multihomogeneous polynomial P have a component Z in common with the zeroes of index σ + ϵ then this Z (subset of a product of projective spaces) is itself a product. Here the index is taken with respect to the degrees δ i of P as weights and the result holds whenever δ i / δ i + 1 is big enough in terms of ϵ . Furthermore, effective versions by Evertse and Ferretti bound the degree and height of Z . If m is the number of factors and c the codimension of Z , our result assumes only δ i / δ i + 1 ( m / ϵ ) c . This is better than the previous bounds by a factor c ! and we improve in the same way the estimates for degrees and heights. The key point is the use of Samuel multiplicity introduced in these questions by Philippon, through his zero-estimates. The main corollary of the theorem shows that, in the above setting, any component of the zeros of index ϵ are contained in a (non-trivial) product under a similar, more restrictive condition on the degrees of P . We deduce first such a corollary, in the usual manner, with the bound δ i / δ i + 1 ( m n / ϵ ) n (where n is the dimension of the multi-projective space). This condition is the one obtained by Philippon but we get slightly better estimates for degrees and heights (through a direct proof). Last, using a different approach, we prove another corollary with the better bound δ i / δ i + 1 ( m / ϵ ) n ; in this case estimates for degrees and heights are less accurate but not significantly in view of certain applications.

How to cite

top

Rémond, Gaël. "Sur le théorème du produit." Journal de théorie des nombres de Bordeaux 13.1 (2001): 287-302. <http://eudml.org/doc/248696>.

@article{Rémond2001,
abstract = {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 $\sigma $ d’un polynôme multihomogène $P$ a une composante commune avec l’ensemble des zéros d’indice $\sigma + \in $ 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 $P$ soient grands en fonction de $\in $. Le corollaire le plus utile implique que, sous une condition plus restrictive, toute composante des zéros d’indice $\in $ est contenue dans un produit comme ci-dessus. Dans les deux cas, on sait de plus majorer le degré et la hauteur du produit qui apparaît. J.-H. Evertse et R. Ferretti ont donné des versions effectives de ces résultats. On améliore ces énoncés essentiellement grâce à l’utilisation de la multiplicité de Samuel au lieu de la longueur, en suivant une idée de P. Philippon, qui a donné une version du corollaire. On raffine celle-ci légèrement en travaillant directement avec des degrés et hauteurs multiprojectifs et non en se ramenant au cas projectif. Enfin, pour ce corollaire, on donne deux versions : l’une déduite du théorème par la méthode usuelle, la seconde donnant une condition moins restrictive sur les degrés de $P$.},
author = {Rémond, Gaël},
journal = {Journal de théorie des nombres de Bordeaux},
language = {fre},
number = {1},
pages = {287-302},
publisher = {Université Bordeaux I},
title = {Sur le théorème du produit},
url = {http://eudml.org/doc/248696},
volume = {13},
year = {2001},
}

TY - JOUR
AU - Rémond, Gaël
TI - Sur le théorème du produit
JO - Journal de théorie des nombres de Bordeaux
PY - 2001
PB - Université Bordeaux I
VL - 13
IS - 1
SP - 287
EP - 302
AB - 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 $\sigma $ d’un polynôme multihomogène $P$ a une composante commune avec l’ensemble des zéros d’indice $\sigma + \in $ 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 $P$ soient grands en fonction de $\in $. Le corollaire le plus utile implique que, sous une condition plus restrictive, toute composante des zéros d’indice $\in $ est contenue dans un produit comme ci-dessus. Dans les deux cas, on sait de plus majorer le degré et la hauteur du produit qui apparaît. J.-H. Evertse et R. Ferretti ont donné des versions effectives de ces résultats. On améliore ces énoncés essentiellement grâce à l’utilisation de la multiplicité de Samuel au lieu de la longueur, en suivant une idée de P. Philippon, qui a donné une version du corollaire. On raffine celle-ci légèrement en travaillant directement avec des degrés et hauteurs multiprojectifs et non en se ramenant au cas projectif. Enfin, pour ce corollaire, on donne deux versions : l’une déduite du théorème par la méthode usuelle, la seconde donnant une condition moins restrictive sur les degrés de $P$.
LA - fre
UR - http://eudml.org/doc/248696
ER -

References

top
  1. [BGS] J.-B. Bost, H. Gillet, C. Soulé, Heights of projective varieties and positive Green forms. J. Amer. Math. Soc.7 (1994), 903-1027. Zbl0973.14013MR1260106
  2. [Bk] N. Bourbaki, Algèbre commutative, chapitre VIII. Masson, 1983. MR722608
  3. [Br] W.D. Brownawell, Note on a paper of P. Philippon. Michigan Math. J.34 (1987), 461-464. Zbl0634.14002MR911818
  4. [E] J.-H. Evertse, An explicit version of Faltings' product theorem and an improvement of Roth's lemma. Acta Arithm.73 (1995), 215-248. Zbl0857.11034MR1364461
  5. [Fa] G. Faltings, Diophantine approximation on abelian varieties. Ann. of Math.133 (1991), 549-576. Zbl0734.14007MR1109353
  6. [Fe] R. Ferretti, An effective version of Faltings' product theorem. Forum Math.8 (1996), 401-427. Zbl0860.11038MR1393322
  7. [H] R. Hartshorne, Algebraic geometry. G.T.M. 52, Springer-Verlag, 1977. Zbl0367.14001MR463157
  8. [N] M. Nakamaye, Multiplicity estimates and the product theorem. Bull. Soc. Math. France123 (1995), 155-188. Zbl0841.11037MR1340286
  9. [P1] P. Philippon, Sur des hauteurs alternatives III. J. Math. Pures Appl.74 (1995), 345-365. Zbl0878.11025MR1341770
  10. [P2] P. Philippon, Nouveaux lemmes de zéros dans les groupes algébriques commutatifs. Rocky Mountain J. Math.26 (1996), 1069-1088. Zbl0893.11027MR1428487
  11. [P3] P. Philippon, Quelques remarques sur des questions d'approximation diophantienne. Bull. Austral. Math. Soc.59 (1999), 332-334. Zbl0927.11040MR1680846
  12. [R] G. Rémond, Élimination multihomogéne (chapitre 5) et Géométrie diophantienne multi-projective (chapitre 7). Dans: Introduction to algebraic independence theory (édité par Y. Nesterenko et P. Philippon), Lecture Notes in Math. 1752, Springer-Verlag, 2001. MR1837827

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.