Minorations de formes linéaires de logarithmes elliptiques
1. Introduction. Dans un article célèbre, D. H. Lehmer posait la question suivante (voir [Le], §13, page 476): «The following problem arises immediately. If ε is a positive quantity, to find a polynomial of the form: where the a’s are integers, such that the absolute value of the product of those roots of f which lie outside the unit circle, lies between 1 and 1 + ε (...). Whether or not the problem has a solution for ε < 0.176 we do not know.» Cette question, toujours ouverte, est la source...
We prove a new lower bound for the height of points on a subvariety of a multiplicative torus, which lie outside the union of torsion subvarieties of . Although lower bounds for the heights of these points where already known (decreasing multi-exponential function of the degree for Scmhidt and Bombieri–Zannier, [Sch], [Bo-Za], and inverse monomial in the degree by the second author of this note and P. Philippon, [Da-Phi]), our method proves the sharpest conjectures that can be formulated.
Page 1