Mesures d’indépendance linéaire de logarithmes dans un groupe algébrique commutatif
Tóm tắt
This work falls within the theory of linear forms in logarithms over a connected and commutative algebraic group, defined over the field of algebraic numbers
$\overline{\mathbb{Q}}$
. Let G be such a group. Let W be a hyperplane of the tangent space at the origin of G, defined over
$\overline{\mathbb{Q}}$
, and u be a complex point of this tangent space, such that the image of u by the exponential map of the Lie group G(ℂ) is an algebraic point. Then we obtain a lower bound for the distance between u and W⊗ℂ, which improves the results known before and which is, in particular, the best possible for the height of the hyperplane W. The proof rests on Baker’s method and Hirata’s reduction as well as a new arithmetic argument (Chudnovsky’s process of variable change) which enables us to give a precise estimate of the ultrametric norms of some algebraic numbers built during the proof.
Tài liệu tham khảo
Ably, M.: Formes linéaires de logarithmes de points algébriques sur une courbe elliptique de type CM. Ann. Inst. Fourier 50, 1–33 (2000)
Ably, M., Gaudron, É.: Approximation diophantienne sur les courbes elliptiques à multiplication complexe. C. R. Acad. Sci, Sér. I 337, 629–634 (2003)
Bertrand, D.: Galois representations and transcendental numbers. Dans New advances in Transcendence Theory. Cambridge University Press 1988
Bertrand, D.: Duality on tori and multiplicative dependence relations. J. Aust. Math. Soc., Ser. A 62, 198–216 (1997)
Bertrand, D., Philippon, P.: Sous-groupes algébriques de groupes algébriques commutatifs. Illinois J. Math. 23, 263–280 (1988)
Bombieri, E., Vaaler, J.: On Siegel’s lemma. Invent. Math. 73, 11–32 (1983), Addendum 75, 377 (1984)
Bost, J.-B.: Périodes et isogénies des variétés abéliennes sur les corps de nombres (d’après D. Masser et G. Wüstholz). Séminaire Bourbaki, volume 237 de Astérisque, pp. 115–161. Société Mathématique de France 1996
Bruiltet, S.: D’une mesure d’approximation simultanée à une mesure d’irrationalité : le cas de Γ(1/4) et Γ(1/3). Acta Arith. 104, 243–281 (2002)
Chudnovsky, D.V., Chudnovsky, G.V.: Padé approximations and diophantine geometry. Proc. Natl. Acad. Sci. USA 82, 2212–2216 (1985)
Chudnovsky, G.V.: Measures of irrationality, transcendence and algebraic independence. Dans Recent progress in Number Theory, pp. 11–82. Cambridge Univ. Press 1980
Chudnovsky, G.V.: Contributions to the theory of transcendental numbers, volume XI. Mathematical Surveys and Monographs. Providence, RI: American Math. Soc. 1984
David, S.: Minorations de formes linéaires de logarithmes elliptiques. Volume 62 de Mémoire de la Société Mathématique de France, 1995
David, S., Hirata-Kohno, N.: Recent progress on linear forms in elliptic logarithms. Dans A Panorama in Number Theory, chap. 3, ed. by G. Wüstholz. Cambridge Univ. Press 2002
David, S., Hirata-Kohno, N.: Linear forms in elliptic logarithms. En préparation, 2002
Diaz, G.: Minorations de combinaisons linéaires non homogènes pour un logarithme elliptique. << Tapuscrit >> de la démonstration détaillée. C. R. Acad. Sci, Sér. I 318, 879–883 (1994)
Gaudron, É.: Mesure d’indépendance linéaire de logarithmes dans un groupe algébrique commutatif. C. R. Acad. Sci, Sér. I 333, 1059–1064 (2001)
Gaudron, É.: Mesure d’indépendance linéaire de logarithmes dans un groupe algébrique commutatif. Thèse de doctorat. Université Jean Monnet de Saint-Étienne, décembre 2001
Gaudron, É.: Formes linéaires de logarithmes effectives sur les variétés abéliennes. Prépublication 2004, 64 pp.
Hirata-Kohno, N.: Formes linéaires de logarithmes de points algébriques sur les groupes algébriques. Invent. Math. 104, 401–433 (1991)
Hirata-Kohno, N.: Approximations simultanées sur les groupes algébriques commutatifs. Compos. Math. 86, 69–96 (1993)
Laurent, M., Roy, D.: Sur l’approximation algébrique en degré de transcendance un. Ann. Inst. Fourier 49, 27–55 (1999)
Masser, D.W.: Linear relations on algebraic groups. Dans New advances in transcendence theory (Durham, 1986), pp. 248–262. Cambridge: Cambridge Univ. Press 1988
Philippon, P.: Lemme de zéros dans les groupes algébriques commutatifs. Bull. Soc. Math. Fr. 114, 355–383 (1986), Errata et Addenda, id. 115 (1987)
Philippon, P.: Nouveaux lemmes de zéros dans les groupes algébriques commutatifs. Rocky Mt. J. Math. 26, 1069–1088 (1996)
Philippon, P., Waldschmidt, M.: Formes linéaires de logarithmes sur les groupes algébriques commutatifs. Ill. J. Math. 32, 281–314 (1988)
Philippon, P., Waldschmidt, M.: Formes linéaires de logarithmes simultanées sur les groupes algébriques commutatifs. Dans Séminaire de Théorie des Nombres Paris 1986–87, volume 75 de Progress in Mathematics, édité par Catherine Goldstein., pp. 313–347. Boston: Birkhäuser 1989
Schmidt, W.M.: Diophantine Approximations and Diophantine Equations. Lect. Notes Math., vol. 1467. Springer 1991
Serre, J.-P.: Quelques propriétés des groupes algébriques commutatifs. Appendice II de [29]
Waldschmidt, M.: Nombres transcendants et groupes algébriques. Astérisque 69/70. Société Mathématique de France 1979
Waldschmidt, M.: A lower bound for linear forms in logarithms. Acta Arith. 37, 257–283 (1980)
Waldschmidt, M.: Nouvelles méthodes pour minorer des combinaisons linéaires de logarithmes de nombres algébriques. Séminaire de Théorie des Nombres de Bordeaux, Ser. II 3, 129–185 (1991)
Waldschmidt, M.: Approximation diophantienne dans les groupes algébriques commutatifs. (I): Une version effective du théorème du sous-groupe algébrique. J. Reine Angew. Math. 493, 61–113 (1997)
Waldschmidt, M.: Diophantine Approximation On Linear Algebraic Groups. Grundlehren Math. Wiss., vol. 326. Springer 2000
Wüstholz, G.: Algebraische punkte auf analytischen untergruppen algebraischer gruppen. Ann. Math. 129, 501–517 (1989)