2 CHARLES FAVRE
Conjecture B. Si ϕ:P2est induit par une application polynomiale de C2, il existe une
suite d’´
eclatements π:X→P2, telle que ϕse rel`
eve `
aXen une application AS.
Conjecture C. Pour toute application rationnelle ϕ:P2, le premier degr´
e dynamique
est un entier alg´
ebrique.
Soit A:= a b
c d ∈M(2,Z),une matrice `a coefficients entiers. On lui associe
l’application monomiale ϕAd´efinie dans C2par
ϕA(z, w) = (zawb, zcwd).
Le degr´e topologique de ϕAest |det A|, son premier degr´e dynamique est le rayon spectral
de A. Si |ρ1|>|ρ2|sont les deux valeurs propres de A, notons que l’in´egalit´e l1>
e2´equivaut `a |ρ1|>|ρ2|. Lorsque |ρ1|=|ρ2|, soit ces deux nombres complexes sont
conjugu´es et non r´eels, soit ρ1=±ρ2.
Nous nous proposons de montrer le
Th´
eor`
eme principal. Soit ϕA:P2une application monomiale de matrice associ´
ee
A∈M(2,Z)de d´
eterminant non nul.
–Lorsque le spectre de Aest r´
eel, on peut trouver une suite d’´
eclatements π:X→
P2, et un revˆ
etement ramifi´
eh:X→Xtels que ϕse rel`
eve `
aXet devient AS.
–Lorsque le spectre de Aest non r´
eel, ses deux valeurs propres s’´
ecrivent exp(2iπθ)
avec θr´
eel (en particulier l1=e2).
- Si θest rationnel, la conclusion pr´
ec´
edente s’applique. Plus pr´
ecis´
ement, on
peut relever ϕen une application holomorphe de X.
- Si θest irrationnel, ϕAne se rel`
eve jamais de mani`
ere AS dans un mod`
ele
birationnel de P2. Plus g´
en´
eralement, si on se donne une application surjective
π:X→P2telle que φse rel`
eve `
aXen une application rationnelle ψ, alors
cette derni`
ere n’est pas AS.
Remarque. Lorsque le spectre de Aest r´
eel, la preuve du th´
eor`
eme montre que l’on peut
toujours trouver un morphisme birationnelπ:X→P1×P1de telle sorte que π◦ϕA◦π−1
devienne AS.
La preuve du th´eor`eme s’appuie sur des notions ´el´ementaires de g´eom´etrie torique
(voir [6], [3]). Nous faisons tout d’abord quelques rappels succints avant de pr´esenter la
d´emonstration de notre r´esultat. Nous concluons cet article par quelques exemples.
1. SURFACES TORIQUES ET MORPHISMES TORIQUES
On se donne un r´eseau N⊂R2et on note son dual M:= Hom(N, Z). On pose
NR:= N⊗R, et MR:= M⊗R. Un ´eventail ∆est la donn´ee du singleton {0}et d’une
collection finie de semi-droites R+v1,···,R+vsavec vi∈Net de cˆones C1,···,Cr
stricts (Ci∩ −Ci={0}) de dimension 2bord´es par des vecteurs dans {v1,···, vs}. On
notera l’´eventail ainsi d´efini
∆ := {{0},R+v1,···,R+vs,C1,···,Cs}.
On associe naturellement `a tout ´eventail une surface complexe que l’on note TNemb(∆).
Une surface de ce type sera dite torique.
Chaque cˆone σ∈∆d´efinit une vari´et´e torique affine comme suit. Consid´erons le cˆone
dual ˇσ:= {m∈MR, < m, n >>0pour tout n∈σ}et notons Sσ:= ˇσ∩M=