Sur le théorème du produit

Rémond, Gaël

Journal de théorie des nombres de Bordeaux, Tome 13 (2001) no. 1, pp. 287-302.

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$.

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 $\sigma$ of a multihomogeneous polynomial $P$ have a component $Z$ in common with the zeroes of index $\sigma +ϵ$ then this $Z$ (subset of a product of projective spaces) is itself a product. Here the index is taken with respect to the degrees ${\delta }_i$ of $P$ as weights and the result holds whenever ${\delta }_i/{\delta }_{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 ${\delta }_i/{\delta }_{i+1}\ge {(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 ${\delta }_i/{\delta }_{i+1}\ge {(mn/ϵ)}^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 ${\delta }_i/{\delta }_{i+1}\ge {(m/ϵ)}^n$; in this case estimates for degrees and heights are less accurate but not significantly in view of certain applications.

[BGS] J.-B. Bost, H. Gillet, C. Soulé, Heights of projective varieties and positive Green forms. J. Amer. Math. Soc. 7 (1994), 903-1027. | MR | Zbl

[Bk] N. Bourbaki, Algèbre commutative, chapitre VIII. Masson, 1983. | MR

[Br] W.D. Brownawell, Note on a paper of P. Philippon. Michigan Math. J. 34 (1987), 461-464. | MR | Zbl

[E] J.-H. Evertse, An explicit version of Faltings' product theorem and an improvement of Roth's lemma. Acta Arithm. 73 (1995), 215-248. | MR | Zbl

[Fa] G. Faltings, Diophantine approximation on abelian varieties. Ann. of Math. 133 (1991), 549-576. | MR | Zbl

[Fe] R. Ferretti, An effective version of Faltings' product theorem. Forum Math. 8 (1996), 401-427. | MR | Zbl

[H] R. Hartshorne, Algebraic geometry. G.T.M. 52, Springer-Verlag, 1977. | MR | Zbl

[N] M. Nakamaye, Multiplicity estimates and the product theorem. Bull. Soc. Math. France 123 (1995), 155-188. | Numdam | MR | Zbl

[P1] P. Philippon, Sur des hauteurs alternatives III. J. Math. Pures Appl. 74 (1995), 345-365. | MR | Zbl

[P2] P. Philippon, Nouveaux lemmes de zéros dans les groupes algébriques commutatifs. Rocky Mountain J. Math. 26 (1996), 1069-1088. | MR | Zbl

[P3] P. Philippon, Quelques remarques sur des questions d'approximation diophantienne. Bull. Austral. Math. Soc. 59 (1999), 332-334. | MR | Zbl

[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. | MR