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:XXtels 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 π:XP2, 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
AM(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:XXtels que ϕse rel`
eve `
aXet devient AS.
Lorsque le spectre de Aest non r´
eel, ses deux valeurs propres s’´
ecrivent exp(2θ)
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
π:XP2telle 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π:XP1×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 NR2et on note son dual M:= Hom(N, Z). On pose
NR:= NR, et MR:= MR. Un ´eventail est la donn´ee du singleton {0}et d’une
collection finie de semi-droites R+v1,···,R+vsavec viNet 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 ˇσ:= {mMR, < m, n >>0pour tout nσ}et notons Sσ:= ˇσM=
LES APPLICATIONS MONOMIALES EN DEUX DIMENSIONS. 3
{mM, < 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 uUσ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 uUσ1induit par restriction sur
Sσ2⊂ Sσ1un point uUσ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) = NZC
=(C)2.
Si tTNet uUσ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σChomo. de groupes }. C’est
un tore alg´ebrique complexe de dimension 2dim(σ). Un point uorb (σ)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 tTN1, 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 N1N2que l’on note encore φ. L’application ϕest alors
holomorphe ssi pour tout ´el´ement de l’´eventail σ11, on a φ(σ1)σ2pour un σ2
2.
4 CHARLES FAVRE
L’int´erieur relatif d’un cˆone σiiest 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:N1N2. 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 φ:NNi.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 : NNinduit 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 NR2, et φ:NNune 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, ρ2R). 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 NNdans lequel devient r´
egulier.
Le reste de cette partie est consacr´ee `a la preuve de ce r´esultat. On posera κ:= ρ21
(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+w1R+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+w1R+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 C1C2=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 linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !