Cette rédaction contient l'exposé fait aux Journées Arithmétiques 97 et une annexe concernant la méthode de Mahler. Le début de l'exposé présente les notions mises en jeu dans le cœur du sujet (courbes elliptiques et formes modulaires). Pour un traitement complet de ces notions on peut se référer à [Ser], [Lan1] et [Lan2]. Une preuve complète du théorème de Yuri Nesterenko se trouve, en dehors de l'article original ([Nes1] pour l'annonce et [Nes2] pour les démonstrations), dans les exposés de Michel Waldschmidt au Séminaire Bourbaki [Wal1] et à Carleton [Wal2]. Pour les résultats quantitatifs les plus récents, on pourra consulter [Nes3].
After recalling links between elliptic curves and modular functions, we present, with numerous corollaries (in particular the algebraic independence of and ), the theorem obtained by Yuri Nesterenko in 1996 : \emph{if and are the three first Eisenstein series and if satisfies > (in both complex and -adic cases), then the field has transcendence degree at least over} . The origin of Nesterenko's work is the proof, in 1995 by a team of Saint-Étienne, of Mahler-Manin conjecture about the modular invariant : if or satisfies > , then and are not both algebraic}. An annex describes the transcendence method of Mahler and why it does not work in this case.
@article{JTNB_1999__11_1_73_0, author = {Gramain, Fran\c{c}ois}, title = {Transcendance et fonctions modulaires}, journal = {Journal de th\'eorie des nombres de Bordeaux}, pages = {73--90}, publisher = {Universit\'e Bordeaux I}, volume = {11}, number = {1}, year = {1999}, mrnumber = {1730433}, zbl = {0959.11034}, language = {fr}, url = {http://www.numdam.org/item/JTNB_1999__11_1_73_0/} }
Gramain, François. Transcendance et fonctions modulaires. Journal de théorie des nombres de Bordeaux, Tome 11 (1999) no. 1, pp. 73-90. http://www.numdam.org/item/JTNB_1999__11_1_73_0/
[Bar1] Propriétés de transcendance des séries d'Eisenstein. Séminaire de Théorie des nombres de Paris 1994-1995 (à paraître).
,[Bar2] Mesure d'approximation simultanée de q et J(q). J. Number Th. 66 (1997), 102-128. | MR | Zbl
,[BDGP] Une preuve de la conjecture de Mahler-Manin. Invent. Math. 124 (1996), 1-9. | MR | Zbl
, , et ,[Ber1] Séries d'Eisenstein et transcendance. Bull. Soc. Math. France 104 (1976), 309-321. | Numdam | MR | Zbl
,[Ber2] Fonctions modulaires, courbes de Tate et indépendance algébrique. Séminaire Delange-Pisot-Poitou, Paris, 19ème année (1977/78), exposé 36, 11p. | Numdam | MR | Zbl
,[Ber3] Theta functions and transcendence. Madras Number Theory Symposium 1996, The Ramanujan J. Math. 1 (1997), 339-350. | MR | Zbl
,[Chu] Contributions to the theory of transcendental numbers. Math. Surveys and Monographs 19, Amer. Math. Soc., (1984), 450p. | MR | Zbl
,[Coh] On the coefficients of the transformation polynomials for the elliptic modular function. Math. Proc. Camb. Phil. Soc. 95 (1984), 389-402. | MR | Zbl
,[Dia] La conjecture des quatre exponentielles et les conjectures de D. Bertrand sur la fonction modulaire. J. Théor. Nombres Bordeaux 9 (1997), 229-245. | Numdam | MR | Zbl
,[DNNS] Transcendence of Jacobi's theta series and related results. Number Theory - Diophantine, Computational and Algebraic Aspects, K. Gyôry, A. Pethö and V.T. Sôs eds, Proc. Conf. Number Theory Eger 1996, de Gruyter, Berlin (à paraître). | Zbl
, , and ,[GPhi1] Une mesure d'indépendance algébrique. Ann. Inst. Fourier (Grenoble), 38 (1988), 85-103. | Numdam | MR | Zbl
,[GPhi2] Un lemme de zéros modulaire. J. Number Theory 66 (1997), 306-313. | MR | Zbl
,[Lan1] Elliptic functions. Addison-Wesley, Reading, MA, (1973). seconde édition, GTM 112, Springer-Verlag, New York..., (1987). | MR | Zbl
,[Lan2] Introduction to Modular Forms. Grundlehren 222, Springer-Verlag, Berlin..., (1976). | MR | Zbl
,[Mah1] Remarks on a paper by Wolfgang Schwarz. J. Number Theory 1 (1969), 512-521. | MR | Zbl
,[Mah2] On algebraic differential equations satisfied by automorphic functions. J. Austral. Math. Soc. 10 (1969), 445-450. | MR | Zbl
,[Mah3] Arithmetische Eigenschaften der Lösungen einer Klasse von funktional Gleichungen. Math. Ann. 101 (1929), 342-366. | JFM | MR
,[Mah4] On the coefficients of the 2n-th transformation polynomial for j(ω). Acta Arith. XXI (1972), 89-97. | Zbl
,[Man] Cyclotomic fields and modular curves. Uspekhi Mat. Nauk 26 (1971), 7-71 [en russe]. trad. angl.: Russian Math. Surveys 26 (1971), 7-78. | MR | Zbl
,[Mas] Elliptic Functions and Transcendence. L. N. in Math. 437, Springer-Verlag, Berlin..., (1975). | MR | Zbl
,[Nes1] Modular functions and transcendence problems - Un théorème de transcendance sur les fonctions modulaires. C. R. Acad. Sci. Paris, Série I, 322 (1996), 909-914. | MR | Zbl
,[Nes2] Modular functions and transcendence questions. Math. Sb. 187 (1996), 65-96 [en russe]. trad. angl.: Math. USSR Sb. 187 (1996) 1319-1348. | MR | Zbl
,[Nes3] On a measure of algebraic independence of values of Ramanujan's functions. Trudy Math. Inst. Steklov, 218, (1997), 299-334. trad. angl.: Proc. Steklov Inst. Math., 218, (1997), 294-331. | MR | Zbl
,[Nis] Mahler Functions and Transcendence. L. N. in Math. 1631, Springer-Verlag, Berlin..., (1996). | MR | Zbl
,[Phi1] Critères pour l'indépendance algébrique. Inst. Hautes Études Sci. Publ. Math. 64 (1987), 5-52. | Numdam | MR | Zbl
,[Phi2] Une approche méthodique pour la transcendance et l'indépendance algébrique de valeurs de fonctions analytiques. J. Number Theory 64 (1997), 291-338. | MR | Zbl
,[Phi3] Indépendance algébrique et K-fonctions. J. reine angew. Math. 497 (1998), 1-15. | MR | Zbl
,[Phi4] Mesures d'approximation de valeurs de fonctions analytiques. Acta Arith. 88 (1999), 113-127. | MR | Zbl
,[Sch] Einführung in die transzendenten Zahlen. Springer-Verlag, Berlin... (1957) ; trad. franç.: Introduction aux nombres transcendants, Gauthier-Villars, Paris, (1959). | MR | Zbl
,[Ser] Cours d'arithmétique. Presses Univ. France, Paris, (1970) ; trad. angl.: A course in arithmetic, GTM 7, Springer-Verlag, New York..., (1973). | Zbl
,[Wal1] Sur la nature arithmétique des valeurs de fonctions modulaires. Sém. Bourbaki, 49ème année, (1996 /97), n° 824; Soc. Math. France, Astérisque 245 (1997), 105-140. | Numdam | MR | Zbl
,[Wal2] Transcendance et indépendance algébrique de valeurs de fonctions modulaires. CNTA5, Carleton 1996; Proceedings of the fifth Conference of the Canadian Number Theory Association, éd.: R. Gupta et K. Williams, CRM Proceedings and Lecture Notes (AMS) Vol. 19 (1999), 353-375. | MR | Zbl
,