No label defined (Q4249719)

The paper gives new and simpler proofs for two important recent transcendence results: (1) the ``théorème stéphanois'' that \(q=e^{2\pi i\tau}\) or \(J(q)\) is transcendent for the elliptic modular function \(J\) [\textit{K. Barré-Sirieix}, \textit{G. Diaz} \textit{F. Gramain} and \textit{G. Philibert}, Invent. Math. 124, 1-9 (1996; Zbl 0853.11059)], using ideas of D. Bertrand; (2) Nesterenko's result about the algebraic independence of \(q\), \(P(q)\) and \(\Delta(q)\), here under the additional hypothesis that \(J(q)\) is algebraic where \(\Delta\) denotes Dedekind's discriminant and \(P\) Ramanujan's Eisenstein series of weight 2. As a third point, the author discusses highly interesting consequences of the four exponential conjecture and its elliptic counterpart. For example, \(w=1\) should be the only algebraic point on the curve \(w=e^{2\pi iz}\), \(|z|=1\). For the entire collection see [Zbl 0910.00037].