Theta functions and transcendence (Q1127595): Difference between revisions

Des résultats de transcendance et d'indépendance algébrique concernant les valeurs de fonctions modulaires ont été récemment obtenus (travaux de K. Barré et al., Yu. Nesterenko, P. Philippon). Dans cet article, l'A. propose une relecture de ces résultats et d'autres, plus anciens, à l'aide des fonctions thêta de Jacobi \[ \begin{aligned} \theta_2(q) & = \theta_{1,0}(q)= 2q^{1/4} \sum_{n\geq 0} q^{n(n+1)},\\ \theta_3(q) & = \theta_{0,0}(q)= 1+ 2\sum_{n\geq 1} q^{n^2}\quad\text{et}\\ \theta_4(q) & = \theta_{0,1}(q)= 1+ 2\sum_{n\geq 1}(-1)^n q^{n^2}\end{aligned} \] (où \(q\) est un nombre complexe ou \(p\)-adique tel que \(| q|<1\)) et de leurs dérivées \(D\theta_2\), \(D\theta_3\), \(D\theta_4\), où \(D\) est l'opérateur \(q(d/dq)\). En suivant l'ordre chronologique, l'A. s'intéresse à (1) un résultat de \textit{Th. Schneider}, d'origine elliptique [J. Reine Angew. Math. 172, 65--69 (1934; Zbl 0010.10601)]; (2) un résultat de G. V. Chudnovsky, d'origine elliptique aussi (1975); (3) un résultat de \textit{K. Barré-Sirieix}, \textit{G. Diaz}, \textit{F. Gramain} et \textit{G. Philibert} [Invent. Math. 124, 1--9 (1996; Zbl 0853.11059)]; (4) un résultat de \textit{Yu. Nesterenko} [C. R. Acad. Sci., Paris, Sér. I 322, 909--914 (1996; Zbl 0887.11032)] ce qui donne successivement les traductions suivantes: (1) si \(q\) n'est pas nul, un au moins des nombres \(\theta_\alpha(q)\) et \(\theta_\beta(q)\) (où \(2\leq \alpha<\beta\leq 4)\) est transcendant; (2) si \(q\) n'est pas nul, deux au moins des trois nombres \(\theta_\alpha(q)\), \(\theta_\beta(q)\) et \(D\theta_\gamma(q)\) sont algébriquement indépendants (où \(\alpha,\beta,\gamma\in \{2,3,4\}\) et \(\alpha\neq\beta\)); (3) si \(q\) est algébrique non nul, les nombres \(\theta_\alpha(q)/\theta_\beta(q)\) (où \(2\leq \alpha<\beta\leq 4\)) sont transcendants; (4) si \(q\) n'est pas nul, trois au moins des quatre nombres \(q\), \(\theta_\alpha(q)\), \(\theta_\beta(q)\), \(D\theta_\gamma(q)\) sont algébriquement indépendants (où \(\alpha,\beta,\gamma\in \{2,3,4\}\) et \(\alpha\neq \beta\)). Pour obtenir ces traductions, l'A. explicite les liens (plus ou moins classiques) qui existent entre \(\theta_2\), \(\theta_3\), \(\theta_4\) et les fonctions elliptiques, hypergéométriques et modulaires. Le dernier paragraphe est consacré à deux conjectures portant sur l'invariant modulaire \(J\); la seconde contient un cas particulier de la célèbre ``conjecture des quatre exponentielles''. Cet article a un prolongement dans le texte de \textit{D. Bertrand} [\(\Theta(\tau, z)\) and transcendence, in Introduction to algebraic independence theory, Yu. Nesterenko and P. Philippon (eds.), Lect. Notes Math. 1752, 1--11 (2001; Zbl 0966.11032)].