
APPLICATIONS DU TH´
EOR`
EME D’AX-LINDEMANN HYPERBOLIQUE. 3
Cette conjecture est connu quand Sest un produit de courbes mo-
dulaires [11], quand Sest le module des surfaces ab´eliennes principa-
lement polaris´ees ([13] thm 1.2) et quand Sest une vari´et´e projective
(autrement dit quand Sest d´efini `a l’aide d’une donn´ee de Shimura
(G, X) avec Ganisotrope sur Q). C’est le r´esultat principal de [21].
Les principales ´etapes de la strat´egie de Pila pour la conjecture
d’Andr´e-Oort peuvent ˆetre d´ecrites informellement de la mani`ere sui-
vante. On fixe un domaine fondamental Fpour l’action de Γ sur X+.
On fixe une sous-vari´et´es Vde Set on cherche `a montrer la conjecture
d’Andr´e-Oort pour V. On fait deux hypoth`eses sur V6=Squi sont suf-
fisantes pour les applications. On suppose que Vest Hodge g´en´erique
dans S. Cela signifie que Vn’est pas contenu dans une sous-vari´et´e
sp´eciale S0de Savec S06=S. Dans le cas contraire on remplace Spar
S0. Si S=S1×S2est un produit de vari´et´es de Shimura, on suppose
que Vn’est pas de la forme V=S1×V0pour une sous-vari´et´e V0de
S2. Dans le cas contraire on remplace Vpar V0et Spar S2. Il y a alors
les ´etapes suivantes :
(i) Montrer que pour un choix convenable de F, l’application
π:F −→ Sest d´efinissable dans la structure o-minimale Ran,exp.
Quand ce r´esultat est connu, on dira que la condition (i) est v´erifi´ee.
(ii) Minoration de la taille des orbites sous Galois des points sp´eciaux
de S.
(iii) Estimation de la hauteur H(x) des points x∈ F tels que π(x)
est sp´ecial dans S.
(iv) La conjecture d’Ax-Lindemann hyperbolique pour V.
Quand des versions pr´ecises (que nous discutons dans la section 2)
de ces quatre ´etapes sont connues, une utilisation du th´eor`eme de Pila-
Wilkie [12] assure qu’il n’y a qu’un nombre fini de sous-vari´et´es sp´eciales
maximales de Vqui sont de dimension 0. Autrement dit les points
sp´eciaux de Vsauf un nombre fini d’entre eux sont contenus dans des
sous-vari´et´es sp´eciales de Vde dimension positive.
Le but de ce texte est de montrer que les ´etapes pr´ec´edentes suffisent
en fait pour une preuve de la conjecture d’Andr´e-Oort. Le r´esultat
principal est le th´eor`eme suivant (c.f. thm 4.1).
Th´eor`eme 1.3. Soit Vune sous-vari´et´e Hodge g´en´erique stricte de
S. Si S=S1×S2est un produit de vari´et´es de Shimura, on suppose
que Vn’est pas de la forme V=S1×V0pour une sous-vari´et´e V0de
S2. On suppose que la conjecture d’Ax-Lindemann hyperbolique pour V
est v´erifi´ee ainsi que la condition (i) alors l’ensemble des sous-vari´et´es
faiblement sp´eciales de dimension positive contenues dans Vn’est pas
Zariski dense dans V.