arXiv:math/0606207v1 [math.NT] 9 Jun 2006

Zurich Open Repository and
Archive
University of Zurich
Main Library
Strickhofstrasse 39
CH-8057 Zurich
www.zora.uzh.ch
Year: 2006
Valeurs algébriques de fonctions transcendantes
Surroca, A
Abstract: On étudie l’ensemble des nombres algébriques de hauteur et de degré bornés où une fonction
analytique transcendante prend des valeurs algébriques. We study the set of algebraic numbers of bounded
height and bounded degree where an analytic transcendental function takes algebraic values.
DOI: 10.1155/IMRN/2006/16834
Posted at the Zurich Open Repository and Archive, University of Zurich
ZORA URL: http://doi.org/10.5167/uzh-21643
Accepted Version
Originally published at:
Surroca, A (2006). Valeurs algébriques de fonctions transcendantes. International Mathematics Research
Notices, 2006:16834. DOI: 10.1155/IMRN/2006/16834

arXiv:math/0606207v1 [math.NT] 9 Jun 2006
Valeurs alg´ebriques de fonctions transcendantes
Andrea Surroca Ortiz
3 aoˆut 2005
Abstract. We study the set of algebraic numbers of bounded height and bounded degree
where an analytic transcendental function takes algebraic values.
R´esum´e. On ´etudie l’ensemble des nombres alg´ebriques de hauteur et de degr´e born´es
o`u une fonction analytique transcendante prend des valeurs alg´ebriques.
2000 Mathematics Subject Classification. Primary : 11J25 ; Secondary : 11J81.
1 Introduction.
´
Etant donn´ee une fonction fanalytique, on consid`ere l’ensemble Sfdes points alg´ebriques
en lesquels la fonction fprend des valeurs alg´ebriques. Ici, la fonction fsera transcendante
sur C(z), c’est-`a-dire qu’il n’existe pas de polynˆome non nul en 2 variables et `a coefficients
complexes, s’annulant sur tous les points (z, f (z)) pour les zo`u fest d´efinie.
Par exemple, d’apr`es le th´eor`eme de Hermite-Lindemann (th´eor`eme 1.2 [W]), la fonction
exponentielle prend des valeurs transcendantes en tout point alg´ebrique, sauf en 0.Donc pour
f(z) = ez,on a Sf={0}.Par la mˆeme raison, si on pose f(z) = eP(z)o`u P∈Q[X],alors
Sfest l’ensemble des z´eros de P. En supposant vraie la conjecture de Schanuel ([La2] p.30
ou [W]), pour f(z) = sin(πz)ezon a Sf=Z.Le th´eor`eme de Gel’fond-Schneider (th´eor`eme
1.4 [W]) nous fournit d’autres exemples : si f(z) = eλz o`u λ6= 0 est tel que eλsoit alg´ebrique
(par exemple, f(z) = 2zou f(z) = eiπz ), alors Sf=Q.
Dans une lettre de 1886 adress´ee `a Strauss [St1], Weierstrass sugg´erait l’existence de fonc-
tions enti`eres transcendantes prenant des valeurs alg´ebriques en tous les points alg´ebriques.
Apr`es un premier r´esultat de Strauss allant dans cette direction, St¨ackel (cf. [Gr] et [St1]),
´enonce le th´eor`eme suivant :
´
Etant donn´es un sous-ensemble Σd´enombrable de Cet un sous-ensemble Tdense de C,
il existe une fonction enti`ere transcendante envoyant Σdans T.
En prenant Σ = T=Q,on obtient une fonction fenti`ere et transcendante pour laquelle
l’ensemble Sfest Qtout entier. Par ailleurs, on en d´eduit, en posant Σ = Qet T=C\Q,
l’existence d’une fonction enti`ere transcendante prenant des valeurs transcendantes en tous
les points alg´ebriques, c’est-`a-dire, telle que Sf=∅. (Sous la conjecture de Schanuel, on peut
montrer que pour la fonction f(z) = eezon a Sf=∅.)
F. Gramain remarque dans [Gr], que si Σ est contenu dans R, la mˆeme d´emonstration
s’applique avec Tdense dans R. Ceci nous permet de prendre Σ = K, corps de nombres r´eel,
ou Σ = OK,S l’anneau des S-entiers d’un corps de nombres Kr´eel, et, dans les deux cas,
T=Z1
n, pour n’importe quel entier naturel n≥2.
En suivant une remarque de P. St¨ackel, qui construit [St2] une fonction alg´ebrique qui
prend, ainsi que toutes ses d´eriv´ees, des valeurs alg´ebriques en tous les points alg´ebriques,
1

G. Faber [Fa] construit une fonction Genti`ere et transcendante telle que, pour tout nombre
entier ket tout α∈Q,la valeur de la fonction d´eriv´ee G(k)en αest dans Q+iQ.
Dans la section 5, nous construisons une fonction fenti`ere et transcendante (th´eor`eme 1.2),
dont toutes ses d´eriv´ees, envoient tout corps de nombres dans lui-mˆeme (cf. aussi [VdP]), et
pour laquelle on contrˆole la hauteur des valeurs prises aux points alg´ebriques. On construit
aussi (th´eor`eme 5.4) une fonction genti`ere et transcendante, dont toutes ses d´eriv´ees, envoient
tout nombre alg´ebrique αdans Z1
2, α.
Afin d’´etudier l’ensemble Sf, filtrons l’ensemble d´enombrable des nombres alg´ebriques par
le degr´e et la hauteur logarithmique absolue (dont la d´efinition pr´ecise est rappel´ee dans la
section 2) : pour Dentier ≥1 et Nnombre r´eel ≥0, l’ensemble
ED,N ={α∈Q; [Q(α) : Q]≤D, h(α)≤N}
est fini et son cardinal ǫD,N v´erifie l’encadrement suivant.
Lemme 1.1. Encadrement du cardinal de ED,N .
Pour tout entier D≥1et tout nombre r´eel N≥0,le cardinal ǫD,N de ED,N v´erifie
eD(D+1)(N−1) < ǫD,N ≤eD(D+1)(N+1).
Dans ce texte, nous fixons une fonction ftranscendante et nous nous int´eressons `a l’ensem-
ble des αdans ED,N tels que f(α) appartienne `a ED,N .
Le probl`eme sera local. Pour tout couple de nombres r´eels (R, r) v´erifiant R > r > 0, pour
toute fonction fanalytique sur D(0, R) et `a valeurs complexes, pour tout entier D≥1 et tout
nombre r´eel N≥0,on note ΣD,N = ΣD,N (f, r) l’ensemble des nombres αdans Q∩D(0, r)
tels que
f(α)∈Q,[Q(α, f(α)) : Q]≤D, h(α)≤Net h(f(α)) ≤N.
Ainsi, Sfest la r´eunion des ΣD,N pour D≥1 et N≥0.
Dans le cas D= 1, J. Pila (th´eor`eme 9 de [Pi]) et N. Elkies (th´eor`eme 4 de [Elk]) obtiennent
le r´esultat suivant. Soit fune fonction r´eelle analytique sur un intervalle ferm´e, dont l’image
n’est pas contenue dans aucune courbe alg´ebrique. Pour tout ε > 0, il existe une constante
c(f, ε)telle que pour tout N≥1, le nombre de points rationnels du graphe de fde hauteur
inf´erieure `a N, est inf´erieur `a
c(f, ε)eεN .
Le r´esultat suivant montre, en particulier, que la borne du th´eor`eme de J. Pila et de N.
Elkies n’est pas loin d’ˆetre optimale.
Th´eor`eme 1.2. Soit φune fonction positive telle que φ(x)/x tende vers 0quand xtend vers
l’infini. Il existe une suite (Nδ)δ≥1de nombres r´eels, croissant vers l’infini, et une fonction f
enti`ere et transcendante sur C(z), v´erifiant
∀α∈Q,∀σ≥0, f(σ)(α)∈Q(α),(1)
et telle que, pour tout entier D≥1, pour tout k≥D,
card(ΣD,Nk(f, 1)) ≥eD(D+1)φ(Nk)−log 2.(2)
2

D’autre part, avec les m´ethodes classiques de transcendance, nous obtenons le r´esultat
suivant.
Th´eor`eme 1.3. Majoration du cardinal de ΣD,N (f, r).
Soient Ret rdeux nombres r´eels v´erifiant R > r > 0,c0= log R2+r2
2rR et δun nombre
r´eel tel que δ > 2 (6/c0)2. Soit fune fonction analytique sur D(0, R), continue sur D(0, R)
et transcendante sur C(z).
i) Pour tout entier D≥1, il existe une suite de nombres r´eels N≥0tendant vers l’infini
pour lesquels
card(ΣD,N )< δD3N2.
ii) Pour tout nombre r´eel N > 0, il existe une suite de nombres entiers D≥2tendant
vers l’infini pour lesquels
card(ΣD,N )< δD3N2.
Les nombres r´eels c0et δsont strictement positifs et d´ependent uniquement de ret R.
Pour Det Nfix´es, l’ensemble ΣD,N est fini, puisqu’il est contenu dans l’ensemble ED,N .
Le th´eor`eme 1.3 montre d’une part que, pour Dfix´e et une infinit´e d’entiers N, le cardinal
de ΣD,N est beaucoup plus petit que ǫD,N ; et, d’autre part que, pour Nfix´e et une infinit´e
d’entiers D, la mˆeme conclusion est valable.
Le th´eor`eme 1.2 montre qu’on ne peut pas remplacer, dans la partie i) du th´eor`eme 1.3, “il
existe une suite de nombres r´eels N≥0 tendant vers l’infini” par “pour tout Nassez grand”.
De mˆeme, la partie i) du th´eor`eme 1.3 montre qu’on ne peut pas remplacer, dans le th´eor`eme
1.2, la suite Nkpar “pour tout Nassez grand”.
Le r´esultat principal de ce travail, le th´eor`eme 3.1, g´en´eralise le th´eor`eme 1.3 au cas de
plusieurs fonctions analytiques alg´ebriquement ind´ependantes.
Dans le cas des fonctions r´eelles, J. Pila (th´eor`eme 8 de [Pi]) obtient un r´esultat uniforme
`a la fois en la borne du degr´e du corps de nombres et en la borne de la hauteur. Cependant,
la d´ependance en le degr´e n’est pas explicite. On peut d´eduire de son r´esultat le corollaire
suivant. Soit fune fonction analytique sur l’intervalle r´eel [−r, r]. Soient dun entier naturel
non nul et ε > 0un nombre r´eel. Il existe un nombre r´eel c(f, d, ε)tel que, pour tout corps
de nombres Kde degr´e [K:Q] = det tout r´eel N > 0, le cardinal de l’ensemble des xdans
[−r, r]∩Ktels que f(x)∈K, h(x)≤Net h(f(x)) ≤N, est inf´erieur `a
c(f, d, ε)eεdN .
D’autres r´esultats sur le cas rationnel, concernant des fonctions r´eelles, ainsi que des
g´en´eralisations, ont ´et´e obtenus pas J. Pila, E. Bombieri et J. Pila, et par J. Pila et A.J.
Wilkie. Les m´ethodes remontent, en partie, `a celles de [BP]. Le plus r´ecent, [PW], qui porte
sur des situations multidimensionnelles, fait intervenir la th´eorie de la o-minimalit´e.
Cet article est organis´e de la fa¸con suivante. On introduit les notations employ´ees dans la
section 2. Dans la section 3, on ´enonce et on d´emontre le th´eor`eme 3.1 qui concerne le nombre
de points alg´ebriques o`u prennent des valeurs alg´ebriques plusieurs fonctions analytiques
alg´ebriquement ind´ependantes. Le th´eor`eme 1.3 s’en d´eduit. Dans la section 4 on compte le
nombre de points alg´ebriques de hauteur et de degr´e born´es ; il s’agit du lemme 1.1. On y
fait r´ef´erence `a d’autres r´esultats sur le sujet. La construction explicite de la fonction dont
3

l’existence est assur´ee dans le th´eor`eme 1.2 est donn´ee dans la section 5 ; on y donne aussi la
construction d’une autre fonction transcendante genvoyant tout nombre alg´ebrique αdans
Z[1
2, α].
Le lemme 1.1, le th´eor`eme 1.2 et la partie i) du th´eor`eme 1.3 ont fait l’objet d’une annonce dans
[Su]. Les d´etails de leurs preuves sont donn´es ici. Ces r´esultats font partie de ma th`ese de doctorat,
r´ealis´ee `a l’Institut de Math´ematiques de Jussieu. Je remercie Marc Hindry et Michel Waldschmidt de
l’avoir dirig´ee, ainsi que Joseph Oesterl´e et Fran¸cois Gramain pour leurs commentaires.
2 Notations.
Pour un corps de nombres K, on note MKl’ensemble de classes d’´equivalence de ces valeurs
absolues dont la restriction `a Qest, soit la valeur absolue archim´edienne |.|∞, soit une des
valeurs absolues ultram´etriques, normalis´ees de la fa¸con suivante :
|x|∞=x, si x∈Q, x > 0,
|p|p=1
p,si pest un nombre premier.
La formule du produit pour un ´el´ement non nul xde Ks’´ecrit alors Qv∈MK|x|dv
v= 1, o`u dv
est le degr´e local en la place v.
Si αest un nombre alg´ebrique et Kun corps de nombres le contenant, on d´efinit sa hauteur
projective logarithmique absolue par
h(α) = 1
[K:Q]X
v∈MK
dvlog max{1,|α|v}.
Si α1,...,αnsont nnombres alg´ebriques, on a (cf. [W] chapitre 3) les in´egalit´es suivantes :
h(α1α2)≤h(α1) + h(α2) (3)
h(α1+···+αn)≤h(α1) + ···+h(αn) + log n. (4)
Si a0Xd+a1Xd−1+...+adest le polynˆome minimal sur Zde α(o`u d= [Q(α) : Q]) et
α1=α, . . . , αdses conjugu´es, on d´efinit la mesure de Mahler de αpar
M(α) = |a0|
d
Y
i=1
max{1,|αi|}.
Elle est reli´ee `a la hauteur logarithmique absolue par la relation ([W] lemma 3.10)
h(α) = 1
dlog M(α).(5)
La hauteur usuelle d’un polynˆome P∈C[X] est, par d´efinition, le maximum du module
de ses coefficients. La hauteur usuelle d’un nombre alg´ebrique αest d´efinie comme ´etant la
hauteur usuelle de son polynˆome minimal, `a savoir (en gardant les mˆemes notations),
H(α) = max{|a0|,...,|ad|}.
4