On a measure of algebraic independence of values of an elliptic function (Q4334952)

Let \(\wp\) be a Weierstraß elliptic function with algebraic invariants \(g_{2},g_{3}\). Denote by \(k\) the field of endomorphisms of the associated elliptic curve: \(k\) is an imaginary quadratic field in the CM case, \(k={\mathbb{Q}}\) otherwise. Let \(\alpha_{1},\ldots,\alpha_{n}\) be \(k\)-linearly independent algebraic numbers. The following elliptic analog to the Lindemann-Weierstraß theorem is known [\textit{P. Philippon}, Invent. Math. 72, 389-405 (1983; Zbl 0516.10026); \textit{G. Wüstholz}, Invent. Math. 72, 363-388 (1983; Zbl 0528.10024)]: the transcendence degree over \({\mathbb{Q}}\) of the field \({\mathbb{Q}}\bigl(\wp(\alpha_{1}),\ldots, \wp(\alpha_{n})\bigr)\) is \(n\) in the CM case, and \(\geq [n/2]\) otherwise. In the paper under review the author produces a quantitative strengthening to this result. For simplicity we state here his estimate in the CM case. Assume \([k:{\mathbb{Q}}]=2\). There exist two positive constants \(c_{1}\) and \(c_{2}\), depending only on \(g_{2}, g_{3}\), \(n\) and \(\alpha_{1},\ldots, \alpha_{n}\), with the following property: for any positive integers \(D\) and \(H\) satisfying \[ H\geq \exp\exp\{c_{1} D^{n}\log (D+1)\}, \] and for any non zero polynomial \(P\in{\mathbb{Z}}[X_{1},\ldots,X_{n}]\) of degree \(\leq D\) and usual height \(\leq H\), the estimate \[ \bigl|P\bigl(\wp(\alpha_{1}),\ldots, \wp(\alpha_{n})\bigr)\bigr|\geq H^{-c_{2}D^{n}} \] holds. This result improves earlier estimates of G. V. Chudnovsky and E. M. Jabbouri. The (complete) proof given here is simpler than the (sketch of) proof provided by the author in his earlier paper [Approximations diophantiennes et nombres transcendants, Luminy 1990, 239-248 (1992; Zbl 0786.11047)].