Linear forms in elliptic logarithms (Q5895466)

The author studies lower bounds for linear forms in elliptic integrals in the case of complex multiplications, and related estimates for dependence relations of such numbers. His results considerably improves on the previous works of D. Masser and M. Anderson on these topics, the main feature being a sharp dependence on the heights of the corresponding points on the elliptic curve, similar to that obtained in the case of ordinary logarithms. Rather than Baker's method, the proof follows Schneider's as in the work of \textit{M. Waldschmidt} [Invent. Math. 63, 97-127 (1981; Zbl 0454.10020)]; see \textit{N. Sebti-Chaouni} [Le théorème de Baker par la méthode de Schneider, Thèse 3e Cycle, Univ. Paris VI, Juin 1981 (1981; Zbl 0519.10025)] for a similar approach in the multiplicative case. The proof ultimately relies on a zero estimate in a multihomogeneous situation, which is proven in the second half of the paper, following the methods of \textit{D. W. Maser} and \textit{G. Wüstholz} [Invent. Math. 64, 489-516 (1981; Zbl 0467.10025); ibid. 72, 407-464 (1983; Zbl 0516.10027)]. For a general multihomogeneous zero estimate, published since this paper was written, see \textit{D. W. Masser} and \textit{G. Wüstholz} [ibid. 80, 233-267 (1985)]. Remark: It would be interesting to study if the multiplicity estimates on group varieties obtained by Wüstholz provide a sharpening of the result of the author for the dependence on the heights of the coefficients of the linear form.