F-Expansions of rationals.
We prove that there are only finitely many odd perfect powers in having precisely four nonzero digits in their binary expansion. The proofs in fact lead to more general results, but we have preferred to limit ourselves to the present statement for the sake of simplicity and clarity of illustration of the methods. These methods combine various ingredients: results (derived from the Subspace Theorem) on integer values of analytic series at -unit points (in a suitable -adic convergence), Roth’s...
Carlitz a défini sur une fonction et une série formelle , analogues respectivement à la fonction de Riemann et au réel . Yu a montré, en utilisant les modules de Drinfeld, que est transcendant pour tout non divisible par . Nous donnons ici une preuve «automatique» de la transcendance de pour , en utilisant le théorème de Christol, Kamae, Mendès France et Rauzy.
Nous obtenons une minoration d’une forme linéaire de logarithmes elliptiques de points algébriques d’une courbe elliptique à multiplication complexe définie sur . Cette minoration est optimale (à constante près) en la hauteur de la forme linéaire considérée.