Soient une variété de groupe définie sur le corps des nombres algébriques, et un sous-groupe à paramètres de , de dimension algébrique . Nous nous proposons de majorer le rang (sur ) des sous-groupes de dont l’image par est contenue dans le groupe des points algébriques de .
E. Bombieri et S. Lang ont déjà obtenu de telles majorations, en supposant que les points de sont très bien distribués : pour , on a pour des variétés linéaires, et pour des variétés abéliennes .
Nous raffinons ces majorations en montrant que, sous les mêmes hypothèses, on a dans le cas linéaires, et dans le cas abélien. Ces majorations deviennent respectivement et quand on suppose de plus et . Nous obtiendrons d’autres inégalités sous des hypothèses de répartition moins fortes.
Ces résultats sont des corollaires d’un critère arithmétique pour que des fonctions, méromorphes dans et d’ordre fini, soient algébriquement dépendantes sur .
Let be a group variety defined over the field of algebraic numbers; let be a -parameter subgroup of , of algebraic dimension . We bound the rank (over ) of the subgroups of , such that is contained in the group of algebraic points of .
E. Bombieri and S. Lang gave such bounds when the points of are sufficiently well distributed: for , one has for linear varieties, and for abelian varieties.
We improve these bounds, by showing that, under the same hypothesis, one has in the linear case, and in the abelian case. These bounds are replaced by and respectively, when we assume, moreover, that and . We get other inequalities with weaker distribution hypothesis.
These results are obtained as corollaries of an arithmetic criterion for the algebraic dependence of meromorphic functions in , of finite order.
@article{AIF_1975__25_1_23_0, author = {Waldschmidt, Michel}, title = {Dimension alg\'ebrique de sous-groupes analytiques de vari\'et\'es de groupe}, journal = {Annales de l'Institut Fourier}, volume = {25}, year = {1975}, pages = {23-33}, doi = {10.5802/aif.543}, mrnumber = {51 \#10248}, zbl = {0275.14022}, language = {fr}, url = {http://dml.mathdoc.fr/item/AIF_1975__25_1_23_0} }
Waldschmidt, Michel. Dimension algébrique de sous-groupes analytiques de variétés de groupe. Annales de l'Institut Fourier, Tome 25 (1975) pp. 23-33. doi : 10.5802/aif.543. http://gdmltest.u-ga.fr/item/AIF_1975__25_1_23_0/
[1] Algebraic values of meromorphic maps, Inventiones Math., 10 (1970), 267-287, et 11 (1970), 163-166. | MR 46 #5328 | Zbl 0214.33702
,[2] Analytic subgroups of group varieties, Inventiones Math., 11 (1970), 1-14. | MR 45 #5089 | Zbl 0237.14015
, and ,[3] Introduction to transcendental numbers. Reading Mass., Addison Wesley, 1966. | MR 35 #5397 | Zbl 0144.04101
,[4] Transcendental numbers and diophantine approximations, Bull. Amer. Math. Soc, 77 (1971) 635-677. | MR 44 #6615 | Zbl 0218.10053
,[5] Approximation to algebraic numbers, L'Enseignement Math., 27 (1971) 187-253. | MR 48 #6014 | Zbl 0226.10033
,[6] Dependance d'exponentielles p-adiques, Sem. Delange Pisot Poitou, Théorie des Nombres, 7e année, 1965/1966, n° 15, 14 pp. | Numdam | Zbl 0254.10033
,[7] Propriétés arithmétiques des valeurs de fonctions méromorphes algébriquement indépendantes, Acta Arithm., 23 (1973), 19-88. | MR 49 #4945 | Zbl 0227.10022
,[8] Dimension algébrique de sous-groupes analytiques de variétés abéliennes, C.r. Acad. Sci. Paris, Sér. A 274, (1972), 1681-1683. | MR 46 #1721 | Zbl 0236.14020
,[9] Transcendance dans les variétés de groupe, Sem. Delange Pisot Poitou, Théorie des Nombres, 14e année, 1972/1973, n° 23, 16 pp. | Numdam | Zbl 0325.10022
,