Masser, D. W.; Wüstholz, G. Zero estimates on group varieties. II. (English) Zbl 0564.10041 Invent. Math. 80, 233-267 (1985). Soit G un groupe algébrique commutatif plongé dans un produit d’espaces projectifs et défini sur un corps de caractéristique zéro. Dans cet article les AA. démontrent un intéressant lemme de zéros donnant des conditions sur les dégrés d’un polynôme multihomogène s’annulant à un ordre T donné le long d’un sous- groupe à un paramètre de G en tout point d’un ensemble fini X de G également donné. Les AA. généralisent ainsi leur résultat antérieur [ibid. 64, 489-516 (1981; Zbl 0467.10025)]. Cette généralisation prend essentiellement trois aspects, d’une part la prise en compte de dérivations le long d’un sous-groupe à un paramètre est très importante pour certaines applications à la théorie des nombres transcendants. De ce point de vue, il est regrettable que les conditions données aient pour effet de restreindre dans beaucoup de cas intéressants l’ordre de dérivation T à être de la même taille que les degrés du polynôme multihomogène considéré. Un autre aspect important est le décompte des points de l’ensemble X qui se fait uniquement modulo les sous-groupes connexes de G. Cette précision, que repose sur une estimation fine du nombre des composantes connexes du stabilisateur d’une sous-variété de G expliquée au § 5, prend tout son relief lorsque l’ensemble X contient des points de torsion de G. Enfin l’aspect multihomogène du résultat, qui est crucial lorsque l’on considère un groupe algébrique produit, repose sur une corpus de résultats d’algèbre commutative donné en appendice. Il est à noter que le lemme \(A_ 1\) est partiellement erroné bien que cela n’ait aucune conséquence pour les autres résultats de l’article. (Un idéal I de rang r a tous ses degrés \(\sigma_ j(I)\) nuls si et seulement si il contient une puissance de l’ideal \(\cap^{k}_{i=1}(X_{i,0},...,X_{i,N_ i})\), ce qui peut fort bien arriver dès que \(k\geq 2\) même lorsque \(1\leq r\leq N=N_ 1+...+N_ k.)\) Reviewer: P.Philippon Cited in 5 ReviewsCited in 18 Documents MSC: 11J81 Transcendence (general theory) 11J85 Algebraic independence; Gel’fond’s method 14L10 Group varieties 30C15 Zeros of polynomials, rational functions, and other analytic functions of one complex variable (e.g., zeros of functions with bounded Dirichlet integral) 14N05 Projective techniques in algebraic geometry Keywords:zero estimates; commutative group variety; multiplicity; multiprojective varieties; Baker’s theory; linear forms in logarithms; algebraic groups; derivations along one-parameter subgroup; multihomogeneous polynomials Citations:Zbl 0467.10025 × Cite Format Result Cite Review PDF Full Text: DOI EuDML References: [1] Borel, A.: Linear algebraic groups. New York: W.A. Benjamin 1969 · Zbl 0206.49801 [2] Brownawell, W.D., Masser, D.W.: Multiplicity estimates for analytic functions II. Duke Math. J.47, 273-295 (1980) · Zbl 0461.10027 · doi:10.1215/S0012-7094-80-04718-3 [3] Kolchin, E.R.: Algebraic groups and algebraic dependence. Amer. J. Math.90, 1151-1164 (1968) · Zbl 0169.36701 · doi:10.2307/2373294 [4] Masser, D.W., Wüstholz, G.: Zero estimates on group varieties, I. Invent. Math.64, 489-516 (1981) · Zbl 0467.10025 · doi:10.1007/BF01389279 [5] Masser, D.W., Wüstholz, G.: Algebraic independence of values of elliptic functions. In: Journées Arithmétiques 1980 (J.V. Armitage (ed.)). L.M.S. Lect. Notes No. 56, Cambridge 1982 [6] Masser, D.W.: Small values of the quadratic part of the Néron-Tate height on an abelian variety. Compositio Math.53, 153-170 (1984) · Zbl 0551.14015 [7] Philippon, P.: Indépendance algébrique de valeurs de fonctions elliptiquesp-adiques. Queen’s Pap. Pure Appl. Math.54, 223-235 (1980) [8] Renschuch, B.: Elementare und praktische Idealtheorie. Berlin: VEB Deutscher Verlag 1976 · Zbl 0354.13001 [9] Sebti-Chaouni, N.: Le théorème de Baker par la méthode de Schneider. Publications de l’Université P. et M. Curie No. 43 (1980/81) · Zbl 0519.10025 [10] van der Waerden, B.L.: On Hilbert’s function, series of composition of ideals and a generalization of the theorem of Bezout. Proc. R. Soc. Amsterdam31, 749-770 (1929) · JFM 54.0190.02 [11] Wüstholz, G.: Über das Abelsche Analogon des Lindemannschen Satzes I. Invent. Math.72, 363-388 (1983) · Zbl 0528.10024 · doi:10.1007/BF01398393 [12] Yu, K.: Linear forms in elliptic logarithms. J. Number Theory20, 1-69 (1985) · Zbl 0555.10017 · doi:10.1016/0022-314X(85)90016-2 [13] Moreau, J.C.: Démonstrations géométriques de lemmes de zéros II. Approximations diophantiennes et nombres transcendants. In: Progress in Math., Vol. 31, pp. 191-197. Boston-Basel-Stuttgart: Birkhäuser 1982 This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.