No label defined (Q4025978)

[For the entire collection see Zbl 0745.00060.] Let \(\wp(z)\) be a Weierstrass elliptic function with algebraic invariants \(g_ 2\), \(g_ 3\) and with complex multiplication over the field \(k=\mathbb{Q}(\tau)\). \textit{P. Philippon} [Invent. Math. 72, 389-405 (1983; Zbl 0516.10026)] and \textit{G. Wüstholz} [Invent. Math. 72, 363-388 (1983; Zbl 0528.10024)] proved the following elliptic analogue of Lindemann's theorem: If \(\alpha_ 1,\dots, \alpha_ m\) are algebraic numbers, linearly independent over \(k\), then the numbers \(\wp(\alpha_ 1),\dots, \wp(\alpha_ m)\) are algebraically independent over \(\mathbb{Q}\). Using the ideas of his earlier paper [Mat. Sb., Nov. Ser. 128(170), No. 4(12), 545-568 (1985; Zbl 0603.10033)] the author now obtains the following important quantitative improvement of the above result: Let \(H\), \(D\) be positive numbers such that \(\ln\ln H\geq c_ 1 D^ k\ln(D+1)\), \(D\geq 1\). Then for any polynomial \(P\in\mathbb{Z} [x_ 1,\dots, x_ m]\), \(P\not\equiv 0\), whose degree does not exceed \(D\) and whose coefficients are not greater than \(H\) in absolute value, the inequality \[ | P(\wp(\alpha_ 1),\dots, \wp(\alpha_ m))|\geq H^{-c_ 2 D^ m} \] holds. Here \(c_ 1\) and \(c_ 2\) are positive constants, depending only on \(\alpha_ 1,\dots, \alpha_ m\), \(g_ 2\) and \(g_ 3\). An analogous result with the exponent \(m+\varepsilon\) instead of \(m\) was announced in [Usp. Mat. Nauk 40, No. 4(244), 221-222 (1985; Zbl 0603.10034)] and proved by \textit{E. M. Jabbouri} [C. R. Acad. Sci., Paris, Sér. I 303, 375-378 (1986; Zbl 0598.10044)].