Transcendance et fonctions modulaires

François Gramain

François Gramain

Journal de théorie des nombres de Bordeaux, Tome 11 (1999) no. 1, pp. 73-90.

Résumé
Abstract

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 $π, e^{π}$ and $Γ (1 / 4)$ ), the theorem obtained by Yuri Nesterenko in 1996 : \emph{if $E_{2}, E_{1}$ and $E_{6}$ are the three first Eisenstein series and if $q$ satisfies $0$ > $| q | > 1$ (in both complex and $p$ -adic cases), then the field $ℚ (q, E_{2} (q), E_{4} (q), E_{6} (q))$ has transcendence degree at least $3$ over} $Q$ . 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 $J - 1728 \frac{E_{4}^{3}}{E_{4}^{3} - E_{6}^{2}}$ : if $q \in ℂ$ or $q \in ℂ_{p}$ satisfies $0 > | q |$ > $1$ , then $q$ and $J (q)$ are not both algebraic}. An annex describes the transcendence method of Mahler and why it does not work in this case.

MR Zbl

@article{JTNB_1999__11_1_73_0,
     author = {Fran\c{c}ois Gramain},
     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},
     zbl = {0959.11034},
     mrnumber = {1730433},
     language = {fr},
     url = {https://jtnb.centre-mersenne.org/item/JTNB_1999__11_1_73_0/}
}

TY  - JOUR
AU  - François Gramain
TI  - Transcendance et fonctions modulaires
JO  - Journal de théorie des nombres de Bordeaux
PY  - 1999
SP  - 73
EP  - 90
VL  - 11
IS  - 1
PB  - Université Bordeaux I
UR  - https://jtnb.centre-mersenne.org/item/JTNB_1999__11_1_73_0/
LA  - fr
ID  - JTNB_1999__11_1_73_0
ER  -

%0 Journal Article
%A François Gramain
%T Transcendance et fonctions modulaires
%J Journal de théorie des nombres de Bordeaux
%D 1999
%P 73-90
%V 11
%N 1
%I Université Bordeaux I
%U https://jtnb.centre-mersenne.org/item/JTNB_1999__11_1_73_0/
%G fr
%F JTNB_1999__11_1_73_0

François Gramain. Transcendance et fonctions modulaires. Journal de théorie des nombres de Bordeaux, Tome 11 (1999) no. 1, pp. 73-90. https://jtnb.centre-mersenne.org/item/JTNB_1999__11_1_73_0/

Bibliographie
Cité par

[Bar1] K. Barré, Propriétés de transcendance des séries d'Eisenstein. Séminaire de Théorie des nombres de Paris 1994-1995 (à paraître).

[Bar2] K. Barré, Mesure d'approximation simultanée de q et J(q). J. Number Th. 66 (1997), 102-128. | MR | Zbl

[BDGP] K. Barré-Sirieix, G. Diaz, F. Gramain et G. Philibert, Une preuve de la conjecture de Mahler-Manin. Invent. Math. 124 (1996), 1-9. | MR | Zbl

[Ber1] D. Bertrand, Séries d'Eisenstein et transcendance. Bull. Soc. Math. France 104 (1976), 309-321. | Numdam | MR | Zbl

[Ber2] D. Bertrand, 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] D. Bertrand, Theta functions and transcendence. Madras Number Theory Symposium 1996, The Ramanujan J. Math. 1 (1997), 339-350. | MR | Zbl

[Chu] G.V. Chudnovsky, Contributions to the theory of transcendental numbers. Math. Surveys and Monographs 19, Amer. Math. Soc., (1984), 450p. | MR | Zbl

[Coh] P. Cohen, On the coefficients of the transformation polynomials for the elliptic modular function. Math. Proc. Camb. Phil. Soc. 95 (1984), 389-402. | MR | Zbl

[Dia] G. Diaz, 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] D. Duverney, K. Nishioka, K. Nishioka and I. Shiokawa, 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

[GPhi1] G. Philibert, Une mesure d'indépendance algébrique. Ann. Inst. Fourier (Grenoble), 38 (1988), 85-103. | Numdam | MR | Zbl

[GPhi2] G. Philibert, Un lemme de zéros modulaire. J. Number Theory 66 (1997), 306-313. | MR | Zbl

[Lan1] S. Lang, Elliptic functions. Addison-Wesley, Reading, MA, (1973). seconde édition, GTM 112, Springer-Verlag, New York..., (1987). | MR | Zbl

[Lan2] S. Lang, Introduction to Modular Forms. Grundlehren 222, Springer-Verlag, Berlin..., (1976). | MR | Zbl

[Mah1] K. Mahler, Remarks on a paper by Wolfgang Schwarz. J. Number Theory 1 (1969), 512-521. | MR | Zbl

[Mah2] K. Mahler, On algebraic differential equations satisfied by automorphic functions. J. Austral. Math. Soc. 10 (1969), 445-450. | MR | Zbl

[Mah3] K. Mahler, Arithmetische Eigenschaften der Lösungen einer Klasse von funktional Gleichungen. Math. Ann. 101 (1929), 342-366. | JFM | MR

[Mah4] K. Mahler, On the coefficients of the 2n-th transformation polynomial for j(ω). Acta Arith. XXI (1972), 89-97. | Zbl

[Man] Yu. I. Manin, 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] D.W. Masser, Elliptic Functions and Transcendence. L. N. in Math. 437, Springer-Verlag, Berlin..., (1975). | MR | Zbl

[Nes1] Yu.V. Nesterenko, 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] Yu.V. Nesterenko, 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] Yu.V. Nesterenko, 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] K. Nishioka, Mahler Functions and Transcendence. L. N. in Math. 1631, Springer-Verlag, Berlin..., (1996). | MR | Zbl

[Phi1] P. Philippon, Critères pour l'indépendance algébrique. Inst. Hautes Études Sci. Publ. Math. 64 (1987), 5-52. | Numdam | MR | Zbl

[Phi2] P. Philippon, 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] P. Philippon, Indépendance algébrique et K-fonctions. J. reine angew. Math. 497 (1998), 1-15. | MR | Zbl

[Phi4] P. Philippon, Mesures d'approximation de valeurs de fonctions analytiques. Acta Arith. 88 (1999), 113-127. | MR | Zbl

[Sch] Th. Schneider, Einführung in die transzendenten Zahlen. Springer-Verlag, Berlin... (1957) ; trad. franç.: Introduction aux nombres transcendants, Gauthier-Villars, Paris, (1959). | MR | Zbl

[Ser] J.-P. Serre, Cours d'arithmétique. Presses Univ. France, Paris, (1970) ; trad. angl.: A course in arithmetic, GTM 7, Springer-Verlag, New York..., (1973). | Zbl

[Wal1] M. Waldschmidt, 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] M. Waldschmidt, 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