arXiv:math/0210025v1 [math.CV] 2 Oct 2002
LES APPLICATIONS MONOMIALES EN DEUX DIMENSIONS.
CHARLES FAVRE
R´
ESUM ´
E. En utilisant le formalisme des vari´et´es toriques, on d´ecrit comment rendre une
application monomiale alg´ebriquement stable.
ABSTRACT. Using the formalism of toric varieties, we describe how to make a mono-
mial application algebraically stable.
INTRODUCTION
Soit ϕ:P2une application rationnelle de l’espace projectif, de degr´e topologique
e>1, et dont l’action sur le groupe de Picard est donn´ee par un entier deg(ϕ)que l’on
supposera toujours plus grand que 2. On v´erifie que la suite des degr´es deg(ϕn)est sous-
multiplicative; on notera l1= limndeg (ϕn)1/n le premier degr´e dynamique de ϕ(voir
[5]). Les principales propri´et´es ergodiques de ϕd´ependent ´etroitement du rapport l1/e
(voir [4]). Lorsque l1> e (resp. l1< e), il est ainsi conjectur´e que la plupart des points
p´eriodiques sont de type hyperboliques selles (resp. r´epulsifs). Il apparaˆıt donc important
de comprendre pr´ecis´ement la nature de la suite deg (ϕn). De mani`ere g´en´erique, cette
suite est multiplicative deg (ϕn) = deg (ϕ)n, et par suite l1=deg (ϕ). En g´en´eral cepen-
dant, la situation est perturb´ee par l’existence de courbes contract´ees par ϕou l’un de ses
it´er´es sur un point d’ind´etermination. On est donc amen´e `a introduire la d´efinition suivante
([2]).
D´
efinition.Une application ϕ:Xd’une surface rationnelle est dite Alg´
ebriquement
Stable (AS en abr´
eg´
e) si ∪k>0ϕ−kI(ϕ)est une union d´
enombrable de points, o`
uI(ϕ)
d´
enote l’ensemble d’ind´
etermination de ϕ.
Il est ´equivalent de supposer que l’action naturelle ϕ∗de ϕsur Pic (X)est compos-
able au sens o`u ϕn∗=ϕ∗npour tout n>1. Lorsque ϕest AS, l1s’identifie au rayon
spectral de ϕ∗(voir par exemple [1]), le type de croissance des degr´es se ram`ene alors `a la
description du spectre de ϕ∗. Pour les applications birationnelles de surfaces, on peut mon-
trer l’existence d’un mod`ele birationnel de P2dans lequel ϕdevient AS, et ainsi d´ecrire
pr´ecis´ement la nature de deg (ϕn)([1]). Nous nous proposons de d´ecrire des exemples
simples d’applications rationnelles pour lesquels il est impossible de trouver un mod`ele
birationnel dans lequel celles-ci deviennent AS. Cependant la croissance des degr´es de ces
applications est compl`etement ´el´ementaire `a d´ecrire, et confirme les conjectures suivantes.
Conjecture A. Soit ϕ:P2une application rationnelle telle que e2< l1. Alors il existe
un mod`
ele birationnel Xde P2, et un revˆ
etement ramifi´
eh:X→Xtels que ϕse rel`
eve
`
aXet devient AS.
Date: 1er f´evrier 2008.
1991 Mathematics Subject Classification. 32F50.
Key words and phrases. Applications monomiales, alg´ebriquement stable.
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=
LES APPLICATIONS MONOMIALES EN DEUX DIMENSIONS. 3
{m∈M, < m, n >>0pour tout n∈σ}, l’ensemble des points de ce cˆone appar-
tenant au r´eseau M. C’est un semi-groupe pour la loi additive engendr´e par un nombre fini
d’´el´ements par le Lemme de Gordon. On pose Uσ:= Spec C[Sσ]. De mani`ere concr`ete,
un point u∈Uσest d´efini par un morphisme
u:Sσ−→ Ctel que u(0) = 1 et u(m+m′) = u(m)u(m′)pour tout m, m′∈ Sσ.
Si (m1,···, mp)est une partie g´en´eratrice de Sσ, l’application de Uσ`a valeurs dans Cp
donn´ee par u7→ (u(m1),···, u(mp)) induit un plongement de Uσdans Cp. Lorsque
dim(σ) = 0,1, la surface Uσest lisse. Lorsque dim(σ) = 2, la surface Uσest lisse ssi
σ=R+v1+R+v2o`u (v1, v2)engendre le r´eseau N. Lorsque Uσest lisse, on dit que σ
est un cˆone r´egulier.
Lorsque σ1⊂σ2sont deux cˆones de ∆, le point u∈Uσ1induit par restriction sur
Sσ2⊂ Sσ1un point u∈Uσ2. Le morphismeainsi construitest un plongement Uσ1֒→Uσ2
et Uσ1forme un ouvert de Zariski dense dans Uσ2. En particulier, tout cˆone contient {0}
donc Uσcontient le tore alg´ebrique complexe U{0}= Hom(M, C∗)∼
=(C∗)2comme ou-
vert dense. On construit alors la vari´et´e TNemb(∆) := ∪σ∈∆Uσen recollant chaque cou-
ple (Uσ1, Uσ2)le long de Uσ1∩σ2. On v´erifie que TNemb(∆) est compacte ssi le support
de l’´eventail est R2. On dira alors que ∆est complet. Notons par ailleurs que TNemb(∆)
contient (C∗)2comme ouvert dense et est donc toujours une surface rationnelle.
Les surfaces toriques supportent une action naturelle du tore alg´ebrique complexe
TN:= Hom(M, C∗) = N⊗ZC∗∼
=(C∗)2.
Si t∈TNet u∈Uσ⊂TNemb(∆), on pose (t.u)(m) := t(m)×u(m)∈Uσ. Notons
que le tore TNagit sur U{0}=TN, par translation.
Il est important de comprendre la d´ecomposition en orbite de TNemb(∆) sous l’action
de TN. Chaque cˆone σ∈∆correspond de mani`ere biunivoque `a une orbite orb (σ)de
dimension dim(σ) + dim(orb (σ)) = 2. Au singleton {0}, correspond le tore TN; `a une
semi-droite R+vcorrespond une courbe isomorphe `a C∗; `a un cˆone Cde dimension 2
correspond un point.
Plus pr´ecis´ement,on d´efinit orb (σ) := {u:M∩σ⊥−→ C∗homo. de groupes }. C’est
un tore alg´ebrique complexe de dimension 2−dim(σ). Un point u∈orb (σ)s’identifie
`a un point de Uσnaturellement eu:Sσ−→ Cen posant eu(m) = 0 si m∈ Sσ\σ⊥et
eu(m) = u(m)si m∈σ⊥. On v´erifie que sous cette identification orb (σ)est l’orbite d’un
point de Uσet que les TN-orbites sont toutes de cette forme.
D´ecrivons maintenant les morphismes de surfaces toriques pr´eservant cette structure.
Soient ∆1,∆2deux ´eventails d´efinis respectivement sur des r´eseaux N1, N2. Une appli-
cation holomorphe ϕ:TN1emb(∆1)→TN2emb(∆2)est dite torique si elle pr´eserve
l’action du tore i.e. ssi pour tout t∈TN1, u ∈TN1emb(∆1), on a
(1) ϕ(t.u) = φ(t).ϕ(u),
pour un morphisme de groupe φ∈Hom(TN1,TN2). Ce morphisme est d´etermin´e par
une application Z-lin´eaire N1→N2que l’on note encore φ. L’application ϕest alors
holomorphe ssi pour tout ´el´ement de l’´eventail σ1∈∆1, on a φ(σ1)⊂σ2pour un σ2∈
∆2.
4 CHARLES FAVRE
L’int´erieur relatif d’un cˆone σi∈∆iest par d´efinition Int (σi) = σi\ ∪{τface de σ}.
L’int´erieur relatif d’un cˆone Cde dimension 2co¨ıncide avec son int´erieur; Int (R+v) =
R∗
+v, et Int ({0}) = ({0}.
On v´erifie alors que ϕ(orb (σ)) = Sorb (τ)o`u τparcourt l’ensemble des cˆones tels
que Int (τ)∩φ(σ)6=∅. De mˆeme, on a ϕ−1(orb (σ)) = Sorb (τ)pour Int (σ)∩φ(τ)6=∅.
Notons que le degr´e topologique de ϕest donn´e par son degr´e sur le tore i.e. e=
|det(φ)|.
Une application m´eromorphe ϕ:TN1emb(∆1)99K TN2emb(∆2)est dite torique
si Γle graphe de ϕest une vari´et´e torique et si les projections naturelles πi: Γ −→
TNiemb(∆i)pour i= 1,2sont des applications toriques. Notons NΓle r´eseau sur lequel
l’´eventail ∆Γd´efinissant Γest construit; et φi:NΓ−→ Nipour i= 1,2les applications
Z-lin´eaire induisant π1, π2. L’application π1est une modification propre donc |det(φ1)|=
1et on peut poser φ:= φ2◦φ−1
1:N1→N2. En particulier dans le cas o`u ∆ := ∆1= ∆2
et N:= N1=N2on obtient le fait suivant.
Un morphisme m´
eromorphe f:TNemb(∆) est d´
etermin´
e de mani`
ere unique par
une application Z-lin´
eaire de φ:N→Ni.e. dans une base de Npar une matrice 2×2
`
a coefficients entiers relatifs.
Notons que l’´equation (1) appliqu´e au point u= (1,1) montre qu’un morphisme torique
ϕinduit une application monomiale sur le tore TN.
On d´eduit ais´ement des remarques pr´ec´edentes :
– une courbe C=orb (R+v)est contract´ee sur un point ssi φ(v)est dans l’int´erieur
relatif d’un cˆone de ∆de dimension 2;
– un point p=orb (C)est d’ind´etermination ssi φ(Int C)contient une semi-droite
R+v∈∆.
Supposons que ∆soit r´egulier (i.e. TNemb(∆) est lisse) et prenons un cˆone de dimen-
sion 2dans ∆donn´e par C=R+v1+R+v2. Soit v:= v1+v2et consid´erons ∆′le
raffinement de ∆obtenu en remplac¸ant Cpar les deux cˆones R+v1+R+v,R+v+R+v2.
L’application lin´eaire id : N→Ninduit une modification propre π:TNemb(∆′)→
TNemb(∆) qui s’identifie `a l’´eclatement de TNemb(∆) au point orb (C).
Nous utiliserons un autre exemple de morphismes toriques. Pour un sous-r´eseau N1⊂
Nd’indice fini, l’injection canonique N1֒→Ninduit un revˆetement
φ:TN1emb(∆) →TNemb(∆)
de degr´e l’indice [N1:N].
Dans toute la suite, on se place dans le cadre suivant : ∆est un ´eventail r´egulier complet
d´efini sur un r´eseau N⊂R2, et φ:N→Nune application Z-lin´eaire. On notera toujours
ϕl’application m´eromorphe induite sur TNemb(∆). On notera de plus |ρ1|>|ρ2|les
deux valeurs propres de φ. On a l1=|ρ1|et e=|ρ1×ρ2|. En particulier, on a toujours
l2
1>eet l2
1=essi |ρ1|=|ρ2|.
2. LE CAS l2
1> e
Dans cette section, on suppose que |ρ1|>|ρ2|(en particulier ρ1, ρ2∈R). Cette
in´egalit´e est ´equivalente `a l2
1> e. On notera w1et w2les deux vecteurs propres associ´es
`a ces valeurs propres. En g´en´eral, ils ne sont pas `a coordonn´ees enti`eres mais sont d´efinis
sur une extension quadratique de Q.
LES APPLICATIONS MONOMIALES EN DEUX DIMENSIONS. 5
Montrons la
Proposition 1.
On peut raffiner ∆en un ´
eventail ∆′de telle sorte que ϕ:TNemb(∆′)soit AS. De
plus, il existe un sous-r´
eseau N′⊂Ndans lequel ∆′devient r´
egulier.
Le reste de cette partie est consacr´ee `a la preuve de ce r´esultat. On posera κ:= ρ2/ρ1∈
(−1,1).
On raffine tout d’abord ∆en lui ajoutant les semi-droites R+(−v)d`es que R+vappar-
tient `a ∆. L’´eventail ainsi obtenu n’est pas n´ecessairement r´egulier, mais il est sym´etrique
par rapport `a l’origine ce qui permet de raisonner sur les droites de R2de pentes ra-
tionnelles au lieu de semi-droites.
Consid´erons alors les droites D1et D2de ∆(distinctes de Rw1) les plus proches de
Rw1respectivement dans le quadrant R+w1+R+w2et R+w1−R+w2. Quitte `a raffiner
∆ces droites existent, et on note Cl’union des deux cˆones convexes qu’elles d´efinissent.
Par construction celui-ci contient Rw1.
On peut raffiner ∆de telle sorte que le cˆone Cs’envoit strictement dans lui-mˆeme
φ(C)(C. En g´en´eral, il n’est pas cependant possible de choisir ce nouvel ´eventail r´egulier.
Si 1> κ > 0, cette propri´et´e est automatiquement v´erifi´ee. Sinon −1< κ < 0ce qui
´equivaut `a det φ < 0. Dans la base (w1, w2)de NR, on ´ecritD1=R(1,a),D2=R(1,−b)
avec a,b>0. La condition ci-dessus φ(C)(Cest alors ´equivalente `a l’in´egalit´e
(2) |κ|a<b<|κ|−1a.
On raffine ∆en lui ajoutant deux droites R(1, a′)et R(1,−b′)avec a′< a,b′< b de telle
sorte que le couple (a′, b′)satisfasse `a (2). Pour ce nouvel ´eventail φ(C)(C.
De mˆeme, consid´erons les deux droites D′
1et D′
2de ∆(distinctes de Rw2) les plus
proches de Rw2respectivement dans le quadrant R+w1+R+w2et R+w1−R+w2, et D
l’union des deux cˆones convexes engendr´es par celles-ci. Le mˆeme argument montre que
quitte `a raffiner ∆on a φ(D))D.
Pour conclure, on ajoute `a ∆toutes les droites D6⊂ D telles que φk(D)∈∆pour un
entier k>0. Dans la surface torique associ´ee `a cet ´eventail, le morphisme torique ϕinduit
par φposs`ede au plus deux points d’ind´etermination orb (D1), orb (D2)o`u D1,D2sont
les deux cˆones convexes d’union D. Les courbes contract´ees par un it´er´e de ϕsont orb (D)
pour Dune semidroite de ∆, et sont donc ´eventuellement envoy´ees sur un des deux points
orb (C1), orb (C2)o`u C1∪C2=C. Ceux-ci sont fixes si det φ > 0et permut´es si det φ < 0.
En g´en´eral, l’´eventail n’est pas r´egulier, mais on peut toujours trouver un sous-r´eseau de
Ndans lequel ∆devient r´egulier.
Ceci conclut la preuve de la proposition 1.
3. LE CAS l2
1=e
Le cas |ρ1|=|ρ2|se s´epare en 5 sous-cas.
(1) :φ=ρid avec ρ=ρ1=ρ2. Pour n’importe quel ´eventail ∆, l’application φ:
TNemb(∆) est holomorphe.
(2) :ρ:= ρ1=ρ2mais φn’est pas diagonalisable.
1 / 8 100%
La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans l'interface ou les textes ? Ou savez-vous comment améliorer l'interface utilisateur de StudyLib ? N'hésitez pas à envoyer vos suggestions. C'est très important pour nous!