arXiv:1802.02910v1 [math.GR] 8 Feb 2018

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA
ANNE LONJOU

Résumé. Poursuivant l’analogie déjà existante entre le mapping class group et
le groupe de Cremona de rang 2 sur un corps algébriquement clos, nous cherchons un graphe sur lequel le groupe de Cremona agit de façon non triviale et
qui est un analogue au graphe des courbes. Le premier candidat est un graphe
introduit par D. Wright. Cependant, nous démontrons que celui-ci n’est pas
Gromov-hyperbolique. Nous construisons alors deux graphes associés naturellement au pavage de Voronoï. Nous montrons que l’un est quasi-isométrique
au graphe de Wright et n’est par conséquent pas Gromov-hyperbolique. Nous
prouvons que le second, quant à lui, est Gromov-hyperbolique.

Abstract. To reinforce the analogy between the mapping class group and
the Cremona group of rank 2 over an algebraic closed field, we look for a
graph analoguous to the curve graph and such that the Cremona group acts
on it non-trivially. The first candidate is a graph introduced by D. Wright.
However, we demonstrate that it’s not Gromov-hyperbolic. Then, we construct
two other graphs associated to the Voronoï tesselation. We show that one is
quasi-isometric to the Wright’s graph and so it’s not Gromov-hyperbolic. We
prove that the other one is Gromov-hyperbolic.

Introduction
Dans cet article, le corps de base, noté k, est algébriquement clos. Les surfaces
considérées sont projectives et lisses. Les graphes étudiés sont munis de la métrique
standard qui rend chaque arête isométrique à l’intervalle fermé réel [0, 1].
Nous nous intéressons au groupe de Cremona de rang 2 sur un corps k, noté
Bir(P2 ), qui est le groupe des transformations birationnelles du plan projectif (pour
alléger l’écriture nous notons le plan projectif P2 au lieu de P2k ). Il existe des analogies entre le groupe de Cremona, le groupe modulaire PSL(2, Z) et le mapping class
group d’une surface hyperbolique (le groupe des homéomorphismes d’une surface
hyperbolique préservant l’orientation à homotopie près). Le groupe modulaire et
le mapping class group agissent sur des espaces combinatoires qui sont Gromovhyperboliques, c’est-à-dire des espaces dont les triangles sont uniformément fins. Le
groupe modulaire agit sur son arbre de Bass-Serre. Le mapping class group d’une
surface hyperbolique compacte S agit sur le complexe des courbes dont les sommets
sont les classes d’isotopies de lacets simples et essentiels sur S et dont les simplexes
de dimension n sont donnés par n + 1 classes d’isotopies de lacets simples et essentiels de S admettant des représentants deux à deux disjoints. Ces deux groupes ont
Date: 9 février 2018.
2010 Mathematics Subject Classification. 14E07, 20F65.
Key words and phrases. groupe de Cremona, espace hyperbolique, graphe Gromovhyperbolique, graphe de Cayley, pavage de Voronoï.
1

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

2

été une source d’inspiration pour l’étude du groupe Out(Fn ), le groupe des automorphismes extérieurs du groupe libre à n générateurs (le quotient du groupe des
automorphismes de Fn par le sous-groupe distingué des automorphismes intérieurs
de Fn ). Ainsi, des complexes simpliciaux sur lesquels le groupe Out(Fn ) agit de
façon non triviale et étant candidats à être analogue au complexe des courbes, ont
été construits (voir [BF14] et [HM13]).
Nous voulons faire de même pour le groupe de Cremona. Le but de cet article est
de construire un graphe Gromov-hyperbolique sur lequel le groupe de Cremona agit
de façon non triviale et étant candidat à être analogue à l’arbre de Bass-Serre dans
le cadre du groupe modulaire et au graphe des courbes dans le cadre du mapping
class group.
Graphe de Wright. Le complexe de Wright [Wri92] est un complexe simplicial, de
dimension 2 et simplement connexe sur lequel le groupe de Cremona agit. Il permet
de voir le groupe de Cremona sur un corps algébriquement clos comme le produit
amalgamé de trois de ses sous-groupes le long de leurs intersections respectives.
Comme nous nous intéressons à la propriété de Gromov-hyperbolicité, seul le 1squelette nous intéresse. Nous montrons que ce graphe non localement fini est de
diamètre infini, ce qui n’était pas évident à priori. Nous nous demandons ensuite si
ce graphe est Gromov-hyperbolique. Cette question a été posée par A. Minasyan et
D. Osin dans [MO15, Problem 8.5]. Leur motivation était, dans le cas où la réponse
est positive, de trouver une nouvelle manière de montrer que le groupe de Cremona
n’est pas simple en utilisant les résultats de [DGO17]. En fait, la réponse à cette
question est négative.
Théorème A. Le graphe de Wright n’est pas hyperbolique au sens de Gromov.
Le premier point dans la preuve est de remarquer que le graphe de Wright est
quasi-isométrique à un graphe lié au système de générateurs du groupe de Cremona
donné par PGL(3, k) et les applications de Jonquières. C’est un analogue du graphe
de Cayley dans le cas d’un groupe de type fini. Nous appelons ce graphe « le graphe
de Wright modifié ». Les sommets de ce graphe sont les éléments du groupe de
Cremona modulo pré-composition par un élément de PGL(3, k). Une arête relie
deux sommets s’il existe une application de Jonquières envoyant un sommet sur
l’autre. Ici, une application de Jonquières signifie une application du groupe de
Jonquières conjuguée par un automorphisme de P2 . La distance entre deux sommets
f, g ∈ Bir(P2 ) correspond au nombre minimal d’applications de Jonquières qu’il faut
pour décomposer l’application g −1 ◦f . Un algorithme pour déterminer cette distance
a été conçu par J. Blanc et J-P. Furter dans un travail en cours de rédaction. Ils
obtiennent comme corollaire que l’algorithme proposé dans [AC02] donne aussi le
nombre minimal de Jonquières.
Le second point est de montrer que ce graphe contient un sous-graphe quasiisométrique à Z2 . Nous utilisons pour cela deux éléments du groupe de Cremona,
appelés twists de Halphen, qui sont d’ordre infini et qui commutent. Ils engendrent
un sous-groupe isomorphe à Z2 . Il reste encore à montrer que l’action de ce sousgroupe sur un des sommets du graphe induit le sous-graphe recherché. Nous utilisons
pour cela des résultats de J. Blanc et J-P Furter. Nous employons la même stratégie
que celle qui permet de montrer que le graphe de Cayley du mapping class group
d’une surface hyperbolique n’est pas Gromov-hyperbolique. En effet, ce groupe
possède également des sous-groupes isomorphes à Z2 . Par exemple, le sous-groupe

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

3

engendré par deux twists de Dehn le long de deux lacets disjoints. Il faut alors
montrer qu’il génère un sous-graphe isométrique au graphe de Cayley de Z2 .
Graphes associés au pavage de Voronoï. Un espace très utile dans l’étude du groupe
de Cremona est l’espace hyperbolique de dimension infinie, noté H∞ , qui est un analogue du modèle de l’hyperboloïde de l’espace hyperbolique de dimension n. Il vit
dans l’espace de Picard-Manin qui est le complété ℓ2 de la limite projective des
groupes de Néron-Severi, à coefficients réels, des surfaces dominant P2 . L’espace de
Picard-Manin est muni d’une forme bilinéaire de signature (1, ∞) qui provient de la
forme d’intersection. L’espace H∞ est la nappe supérieure de l’hyperboloïde défini
comme le niveau 1 de la forme bilinéaire. Dans [Lon17b], nous nous sommes intéressés à un sous-domaine convexe de H∞ , noté E, et contenant l’enveloppe convexe
de l’orbite de la classe de la droite ℓ ∈ H∞ sous l’action du groupe de Cremona.
Nous avons construit un domaine fondamental pour l’action du groupe de Cremona
modulo PGL(3, k) sur E. L’outil clé est la notion de cellules de Voronoï associées à
cette orbite discrète de points qui découpent l’espace E en zones d’influence déterminées par les points de l’orbite. À chaque point de l’orbite f# (ℓ), nous associons
la cellule donnée par :
V(f ) = {c ∈ E | pour tout g ∈ Bir(P2 ), d(c, f# (ℓ)) ≤ d(c, g# (ℓ))}.
Remarquons que pour tout a ∈ PGL(3, k), f et f ◦ a agissent similairement sur ℓ
et par conséquent déterminent la même cellule de Voronoï. Ces applications sont
appelées les germes de la cellules V(f ).
Nous avons également étudié la géométrie de ce pavage en déterminant notamment les cellules non disjointes de la cellule V(id) appelées « cellules adjacentes ».
Les germes de telles cellules sont de deux types. Ceux qui sont de caractéristique
Jonquières, c’est-à-dire les applications du groupe de Cremona telles qu’il existe
deux points p et q dans P2 et qui envoient le pinceau de droites passant par le
point p sur le pinceau de droites passant par le point q. L’autre type de germes des
cellules adjacentes à la cellule V(id) sont les applications du groupe de Cremona
qui possèdent au plus huit points-base en position presque générale. Un ensemble
de points {p0 , p1 , . . . , pr } est dit en position presque générale si d’une part pour
chaque 0 ≤ i ≤ r le point pi vit soit dans P2 soit dans une surface dominant P2
qui est obtenue en éclatant seulement un sous-ensemble de points de {p0 , . . . , pr }
et si d’autre part aucune des trois conditions suivantes n’est satisfaite : quatre des
points de cet ensemble sont alignés, sept des points de cet ensemble sont sur une
conique, deux des points de cet ensemble sont adhérents à un troisième point de
cet ensemble (c-à-d ils appartiennent à la transformée stricte du diviseur obtenu en
éclatant un point de cet ensemble).
Théorème 0.1 ([Lon17b, Corollaire 4.7]). L’ensemble des germes des cellules adjacentes à la cellule V(id) est constitué de toutes :
•
•

les applications de caractéristique Jonquières,
les applications qui possèdent au plus 8 points-base en position presque géné-

rale.
Dans [Lon17b], les cellules partageant une classe dans le bord à l’infini avec une
cellule donnée sont appelées « cellules quasi-adjacentes ». Dans ce cas, le résultat
est :

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

4

Théorème 0.2 ([Lon17b, Corollaire 5.17]). L’ensemble des germes des cellules
quasi-adjacentes à la cellule V(id) est constitué de toutes :
• les applications de caractéristique Jonquières,
• les applications qui possèdent au plus 9 points-base en position presque générale.
À partir de cette étude du pavage de Voronoï, nous construisons ici un graphe
appelé « graphe d’adjacence ». Les sommets de ce graphe sont les centres des
cellules et il y a une arête entre deux sommets lorsque les cellules correspondantes
sont adjacentes. Nous obtenons une manière de retrouver le graphe de Wright dans
H∞ puisque nous montrons que le graphe d’adjacence et le graphe de Wright sont
quasi-isométriques. La Gromov-hyperbolicité étant une propriété stable par quasiisométrie, cela implique que le graphe dual n’est pas Gromov-hyperbolique.
Un autre graphe naturel à considérer est le « graphe de quasi-adjacence ». Il
est construit en considérant la combinatoire des cellules de Voronoï à l’infini. Le
graphe de quasi-adjacence possède les mêmes sommets que le graphe d’adjacence.
Nous mettons une arête entre deux sommets lorsque les cellules associées sont quasiadjacentes.
Remarque 0.3. Comme deux cellules qui ont une intersection non vide possèdent
également une classe commune à l’infini ([Lon17b, Corollaire 5.6]), le graphe de
quasi-adjacence est en fait obtenu en ajoutant des arêtes au graphe d’adjacence.
Nous montrons que ce graphe est toujours de diamètre infini et qu’il est Gromovhyperbolique en utilisant un critère dû à B. Bowditch [Bow14] et en utilisant la
Gromov-hyperbolicité de l’espace ambiant E.

Théorème B. Le graphe de quasi-adjacence est hyperbolique au sens de Gromov.

De ce point de vue, le graphe de quasi-adjacence est analogue à l’arbre de BassSerre et au graphe des courbes.
Ajouter des arêtes au graphe d’adjacence a rendu Gromov-hyperbolique un
graphe non Gromov-hyperbolique. Cette construction est similaire à celle du complexe des scindements libres qui peut-être obtenu en ajoutant des simplexes à
l’outre-espace, dans le cadre du groupe Out(Fn ). Le complexe des scindements
libres est Gromov-hyperbolique ([HM13]) contrairement à l’outre-espace (voir par
exemple [Vog15]). L’outre-espace peut-être défini de la façon suivante. Soient Rn
le graphe composé d’un sommet et de n lacets partant de ce sommet et Γ un
graphe métrique (chaque arête est munie d’une longueur strictement positive) dont
le groupe fondamental est Fn , le groupe libre à n générateurs. Un marquage pour
Γ est une équivalence d’homotopie g : Rn → Γ. Deux graphes métriques marqués
(g, Γ) et (g ′ , Γ′ ) sont équivalents s’il existe une homothétie h : Γ → Γ′ telle que
h ◦ g soit homotope à g ′ . L’outre-espace est l’ensemble de ces classes d’équivalences.
Nous pouvons décomposer l’outre-espace comme une union de simplexes ouverts.
Pour chaque graphe marqué (g, Γ) muni de k arêtes nous associons un simplexe de
taille k − 1 en faisant varier les longueurs des arêtes de sorte que la somme totale
des longueurs des arêtes soit égale à 1. Une face de ce simplexe est déterminée par
une longueur nulle (cela identifie une arête du graphe à un point). Si en faisant cela,
le groupe fondamental de Γ change alors la face n’appartient pas à l’outre-espace.
En ajoutant les simplexes manquants, nous obtenons le complexe des scindements
libres ([Vog15]).

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

5

Après avoir introduit les notations utiles et rappelé des résultats que nous utiliserons dans cet article, nous définissons dans la section 2 le graphe de Wright et
le graphe de Wright modifié. Nous montrons qu’ils sont quasi-isométriques et de
diamètre infini mais qu’ils ne sont pas Gromov-hyperboliques. Dans la section 3,
nous construisons le graphe d’adjacence et le graphe de quasi-adjacence. Puis, nous
montrons que le premier n’est pas Gromov-hyperbolique mais que le second l’est
tout en restant de diamètre infini.
Remerciements
Je remercie vivement Stéphane Lamy, pour sa grande disponibilité et ses relectures minutieuses. Je remercie également les rapporteurs de ma thèse, Charles
Favre et Yves de Cornulier, pour leurs remarques qui ont permis de rendre certains passages plus clairs. Je remercie J. Blanc et J-P. Furter pour des discussions
concernant la longueur des applications du groupe de Cremona. Enfin, je remercie le
Fonds National Suisse de la Recherche Scientifique qui m’a supporté financièrement
à travers le projet « Algebraic subgroups of the Cremona groups » 200021_159921.
1. Préliminaires
Nous rappelons rapidement ici les notions dont nous avons besoin. Pour plus de
détails voir [Lon17a].
1.1. Action du groupe de Cremona sur H∞ . Un espace essentiel dans l’étude
du groupe des transformations birationnelles du plan projectif, Bir(P2 ), est l’espace
hyperbolique de dimension infinie vivant dans l’espace de Picard-Manin. Plus de
précisions se trouvent dans [BC16, Section 4], [CL13, Part II.4], [Can11, Section 3]
et [Lon17a, Section 1.2.3].
Soit S une surface. Une surface S ′ domine S s’il existe un morphisme birationnel
allant de S ′ vers S. Considérons S1 et S2 deux surfaces dominant S et pour i ∈
{1, 2}, πi : Si → S leurs morphismes respectifs vers S. Nous disons que deux points
p1 ∈ S1 et p2 ∈ S2 sont équivalents si π1−1 ◦ π2 est un isomorphisme local sur un
voisinage de p2 et envoie p2 sur p1 . L’espace des bulles (« Bubble space » en anglais),
noté B(S), est l’union de tous les points de toutes les surfaces dominant S modulo
cette relation d’équivalence.
1.1.1. Espace de Picard-Manin. Nous considérons le groupe de Néron-Severi associé
à S et tensorisé par R. Nous le notons encore N1 (S). C’est donc le groupe des
diviseurs à coefficients réels sur S à équivalence numérique près. Il est muni d’une
forme bilinéaire symétrique, la forme d’intersection. Pour tout diviseur D sur S
nous notons {D}S sa classe de Néron-Severi ou {D} s’il n’y a pas d’ambiguïté sur
la surface. Si π : S ′ −→ S est un morphisme birationnel entre deux surfaces, alors
le tiré en arrière
π ∗ : N1 (S) ֒→ N1 (S ′ )
qui à la classe d’un diviseur associe la classe de sa transformée totale, est un morphisme injectif qui préserve la forme d’intersection. Considérons la limite inductive
des groupes de Néron-Severi des surfaces S ′ dominant S :
Z C (S) = lim N1 (S ′ ),
−→

S ′ →S

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

6

où l’indice C fait référence aux b-diviseurs de Cartier (pour plus de précisions voir
[Fav10]).
Soit Ep le diviseur exceptionnel obtenu lors de l’éclatement de la surface S au
point p. Notons Sp la surface obtenue. Nous notons ep la classe du diviseur Ep dans
Z C (S), c’est-à-dire sur toute surface dominant Sp , ep correspond à la transformée
totale de Ep sur cette surface. Par la suite, nous nous intéressons au complété L2
de Z C (S) :
X
X
λ2p < ∞ et {D0 }S ∈ N1 (S)},
λp ep | λp ∈ R,
Z(S) = {{D0 }S +
p∈B(S)

p∈B(S)

que nous appelons l’espace de Picard-Manin (voir [CL13] et [Can11] ou encore
[BFJ08]). Ses éléments sont appelés « classes de Picard-Manin » ou plus simplement
« classes ». Les classes ep où p est un point de S ou d’une surface dominant S, sont
d’auto-intersection −1, orthogonales deux à deux et orthogonales à N1 (S). La forme
d’intersection est bien définie sur Z(S) et elle est de signature (1, ∞).
Dans le cas où la surface considérée est P2 , nous notons simplement Z l’espace
de Picard-Manin associé :
X
X
λ2p < ∞},
λp ep | n, λp ∈ R,
Z = {nℓ +
p∈B(P2 )

p∈B(P2 )

où ℓ est la classe de la droite dans P2 .
1.1.2. Espace hyperbolique. Considérons l’espace
H∞ (S) = {c ∈ Z(S) | c · c = 1 et c · d0 > 0},

où d0 ∈ N1 (S) est une classe ample. Muni de la distance définie par d(c, c′ ) =
argcosh(c · c′ ) pour tous c, c′ ∈ H∞ (S), c’est un espace hyperbolique de dimension
infinie. Nous nous intéressons plus particulièrement à H∞ (P2 ) que nous notons H∞ .
Tout élément de H∞ est de la forme
X
X
λ2p = 1.
λp ep où n > 0 et n2 −
nℓ +
p∈B(P2 )

p∈B(P2 )

1.1.3. Action du groupe de Cremona sur l’espace de Picard-Manin. Considérons
une résolution de f ∈ Bir(P2 ) :
S
π

P2

σ
f

P2 .

Le groupe Bir(P2 ) agit sur Z (et en particulier sur H∞ ) via l’application (f, c) 7→
f# (c) où f# est définie par
f# = σ# ◦ (π# )−1 .

Plus précisément, soit d le degré de f et notons p0 , p1 , . . . , pr−1 ses points-base
de multiplicité respective {mi }0≤i≤r−1 et q0 , q1 , . . . qr−1 ceux de f −1 de multiplicité
{m′i }0≤i≤r−1 et ai,j le nombre d’intersection des transformées totales des diviseurs
exceptionnels obtenus en éclatant respectivement les points pj et qi , dans la résolution de f . Notons également Bs(f ) l’ensemble des points base de f . Considérons

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

7

une classe c de l’espace de Picard-Manin Z :
c = nℓ −

r−1
X
i=0

λi epi −

X

λp ep .

p∈B(P2 )
p∈Bs(f
/
)

L’action de f sur c est donnée par la formule :




r−1
r−1
r−1
X
X
X
X
nm′i −
λp f# (ep ). (1.1)
λj ai,j  eqi −
λj mj  ℓ−
f# (c) = nd −
j=0

j=0

i=0

p∈B(P2 )
p∈Bs(f
/
)

1.1.4. Bord à l’infini de l’espace hyperbolique. L’espace H∞ étant un espace métrique complet CAT(0), il existe une notion de bord à l’infini qui généralise celle de
bord des variétés de Riemann de dimension finie qui sont complètes, simplement
connexes et à courbure négative ou nulle. Plus de détails se trouvent par exemple
dans [BH99, Chapter II.8]. Le bord de H∞ peut être défini comme suit.
∂∞ H∞ = {x ∈ H | B(x, x) = 0 et B(x, u) > 0}.

Un point appartenant au bord de H∞ est parfois appelé un point à l’infini. Les
isométries de H∞ s’étendent de façon unique en des homéomorphismes de H∞ ∪
∂∞ H∞ .
1.2. Pavage de Voronoï. Nous rappelons brièvement ici la construction du pavage de Voronoï que nous avons faite dans [Lon17b]. Nous en aurons besoin dans la
section 3 où nous construisons des graphes associés à ce pavage. Nous nous sommes
dans un premier temps restreint à un sous-espace, noté E, de H∞ contenant l’enveloppe convexe de l’orbite de ℓ sous l’action du groupe de Cremona.
Définition 1.2 ([Lon17b, Définition 2.1]). L’ensemble E est le sous-espace de H∞
constitué des classes
X
λp ep (n réel ≥ 1)
c = nℓ −
p∈B(P2 )

satisfaisant :
1) λp ≥ 0 pour tout p ∈ B(P2 ),
2) la positivité contre la classe anti-canonique :
X
λp ≥ 0,
3n −
p∈B(P2 )

3) la positivité des excès de tout point p ∈ B(P2 ) :
X
λp −
λq ≥ 0,
q∈B(P2 )
q→p

4) la condition de Bézout : pour toute courbe de P2 de degré d passant avec
multiplicité µp en chaque point p ∈ B(P2 ) :
X
λp µp ≥ 0.
nd −
p∈B(P2 )

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

8

Le groupe de Cremona agit sur E. Nous avons montré que les cellules de Voronoï
recouvrent l’espace E ([Lon17b, Corollaire 2.11]) et forment ainsi un pavage. Nous
avons ensuite étudié la géométrie de ce pavage en caractérisant les germes des
cellules adjacentes et quasi-adjacentes (Théorèmes 0.1 et 0.2).
1.3. Longueur d’une application du groupe de Cremona. J. Blanc et J-P.
Furter construisent dans [BF02] un algorithme pour décomposer une application
f du groupe de Cremona en un nombre minimal d’applications de caractéristique
Jonquières (ou de « Jonquières généralisées » dans leur terminologie). Ce nombre
est appelé « la longueur » de l’application f et est noté ℓg(f ). Ils appellent « prédécesseur » de f une application de caractéristique Jonquières j1 telle que f ◦ j1 est
de degré minimal : pour toute application de caractéristique Jonquières j,
deg(f ◦ j1 ) ≤ deg(f ◦ j).

Ils montrent que composer une application avec un prédécesseur fait strictement
diminuer le degré et que la longueur d’une application peut-être réalisée à l’aide de
prédécesseurs.
Théorème 1.3 ([BF18, Theorem 1 and Lemma 1.3]). Pour tout f ∈ Bir(P2 ), il
existe une décomposition minimale en applications de caractéristique Jonquières :
f = jn ◦ · ◦ j1

telle que pour tout 1 ≤ i ≤ n les points-base de ji sont inclus dans les points-base
−1
de f ◦ j−1
1 ◦ · · · ◦ ji−1 . De plus, pour tout 1 ≤ i ≤ n,
où j0 = id.

−1
−1
−1
deg(f ◦ j−1
1 ◦ · · · ◦ ji ) < deg(f ◦ j1 ◦ · · · ◦ ji−1 ),

1.4. Critère de Gromov-hyperbolicité. Le théorème suivant est un critère pratique pour montrer qu’un graphe est Gromov-hyperbolique, notamment lorsque
nous ne connaissons pas les géodésiques du graphe étudié (comme c’est le cas dans
la sous-section 3.3 ).
Théorème 1.4 (Critère de Bowditch [Bow14]). Soient h ≥ 0 et Γ un graphe
connexe muni de la distance standard. Supposons que pour tous x et y appartenant
à l’ensemble des sommets S(Γ), il existe un sous-graphe Γ(x, y) de Γ connexe par
arcs vérifiant :
1) Pour tout x, y ∈ S(Γ), x, y ∈ Γ(x, y).
2) Pour tout x, y, z ∈ S(Γ), Γ(x, y) ⊆ Nh (Γ(x, z) ∪ Γ(y, z)) où Nh signifie le
h-voisinage tubulaire.
3) Pour tout x, y ∈ S(Γ) tels que d(x, y) ≤ 1, le diamètre de Γ(x, y) dans Γ
est au plus h.
Alors Γ est δ-hyperbolique avec δ dépendant de h.
Cette propriété est stable par quasi-isométrie.
Définition. [BH99, Definition 8.14] Soient deux espaces métriques (X, dX ) et
(X ′ , dX ′ ). Une application g : X → X ′ est un plongement quasi-isométrique s’il
existe deux constantes K ≥ 1 et L ≥ 0 telles que pour tout x, y ∈ X :
1
dX (x, y) − L ≤ dX ′ (g(x), g(y)) ≤ K dX (x, y) + L.
K

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

9

Si de plus il existe une constante C telle que tout élément de X ′ appartient au
C-voisinage de l’image de g, g est une quasi-isométrie. Dans ce cas les espaces
métriques X et X ′ sont dits quasi-isométriques.
Théorème 1.5 (voir par exemple [GdlH90, Théorème p.88]). Soient (X, dX ) et
(X ′ , dX ′ ) deux espaces métriques géodésiques quasi-isométriques. L’espace X est
Gromov-hyperbolique si et seulement si l’espace X ′ est Gromov-hyperbolique.
2. Graphe de Wright
En 1992, D. Wright a introduit dans son article [Wri92] un complexe simplicial
simplement connexe de dimension 2 sur lequel le groupe de Cremona de rang 2
sur un corps algébriquement clos agit. Il permet de voir ce groupe comme un produit amalgamé de trois de ses sous-groupes le long de leurs intersections. Dans ce
chapitre, nous définissons ce complexe et montrons que le graphe sous-jacent n’est
pas Gromov-hyperbolique. Ceci répond par la négative à une question posée par
A. Minasyan et D. Osin dans [MO15]. Par conséquent, ce n’est pas un analogue du
complexe des courbes ou de l’arbre de Bass-Serre.
2.1. Définition. Nous appelons surface rationnelle marquée un couple (S, ϕ) où
S est une surface rationnelle et ϕ : S 99K P2 est une application birationnelle.
L’application ϕ est appelée marquage. Soit n ≥ 0, une surface de Hirzebruch Fn est
une fibration au-dessus de P1 dont les fibres sont isomorphes à P1 et sont d’autointersection 0, telle qu’il existe une section appelée section exceptionnelle d’autointersection −n. Lorsque n > 0, cette dernière est unique. Considérons les surfaces
rationnelles marquées (S, φ) où S est isomorphe à P2 ou à une surface de Hirzebruch
Fn , pour n ≥ 0. Nous disons que deux telles surfaces rationnelles marquées (S1 , φ1 )
et (S2 , φ2 ) sont équivalentes si elles satisfont l’une des deux conditions suivantes
(voir Figure 1) :
P1

S1

S1

φ1

φ1

P2

≃
φ−1
2 ◦φ1

≃

P2

φ−1
2 ◦φ1

φ2

φ2

P1

S2

S2

Figure 1. Paires équivalentes

1) φ−1
2 ◦ φ1 est un isomorphisme,
2) S1 et S2 sont des surfaces de Hirzebruch d’indices n1 , n2 > 0 et φ−1
2 ◦ φ1
préserve la fibration.
Nous notons (S, φ) une telle classe d’équivalence. Ce sont les sommets du complexe de Wright. Il y a trois types de sommets dépendant de la surface S :
•
•
•

S est isomorphe à P2 ,
S est isomorphe à Fn , pour n ≥ 1,
S est isomorphe à F0 .

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

10

Tout sommet dont la surface S est isomorphe à Fn pour n ≥ 1 possède un représentant ayant F1 comme surface. Remarquons que si deux paires (F1 , φ1 ) et (F1 , φ2 )
sont équivalentes alors φ−1
2 ◦ φ1 est soit un automorphisme, soit vérifie :
−1
φ−1
◦ jonq ◦π
2 ◦ φ1 = π

où jonq est une application de Jonquières préservant le pinceau de droites passant
par le point éclaté par l’application π −1 .
Trois sommets de type respectivement P2 , Fn avec n > 0 et F0 forment un triangle s’il existe des représentants respectifs (P2 , φ1 ), (F1 , φ2 ) et (F0 , φ3 ) qui vérifient
les conditions (voir le diagramme commutatif 2) :
a) φ−1
1 ◦ φ2 est un éclatement,
b) φ−1
3 ◦ φ2 est la composée de l’inverse de l’éclatement d’un point hors de la
section exceptionnelle par la contraction de la fibre passant par ce point,
2
c) φ−1
3 ◦ φ1 est la composée des inverses de deux éclatements de points de P
par la contraction de la droite passant par ces deux points.

P2
φ1
φ−1
1 ◦φ2

φ−1
3 ◦φ1

F0

φ3

P2

φ−1
3 ◦φ2
φ2

F1
Figure 2. Sommets réalisant un triangle.

Ce complexe de dimension 2 est simplement connexe ([Wri92, Theorem 5.5])
mais il n’est pas contractile puisqu’il contient des sphères de dimension 2 comme
par exemple celle de la figure 3 où σ est l’involution standard de Cremona, πp est
l’éclatement du point p ∈ P2 et τp,q éclate les points p ∈ P2 et q ∈ P2 puis contracte
la droite passant par ces deux points.
Le groupe de Cremona agit sur les sommets du complexe de Wright par postcomposition : pour toute application f ∈ Bir(P2 ) et pour tous représentant (S, φ)
d’un sommet
f · (S, φ) = (S, f ◦ φ).
Remarquons que l’action de f préserve la relation d’équivalence sur les sommets et
ainsi l’action sur les sommets est bien définie. De plus, le groupe de Cremona agit
par isométries et conserve la structure du complexe. Le domaine fondamental de
cette action sur le complexe de Wright est un triangle. Le graphe de Wright est le
1-squelette de ce complexe. Il est muni de la métrique standard où les arêtes sont
isométriques au segment réel [0, 1]. Nous le notons W.
2.2. Graphe de Wright modifié. Considérons le graphe G défini comme suit
et appelé graphe de Wright modifié. Ses sommets sont les sommets de type P2
du graphe de Wright et nous relions deux sommets s’ils étaient à distance deux
dans le graphe de Wright. Comme nous n’avons plus qu’un type de sommet, nous
pouvons oublier la surface et ne considérer que le marquage. Ainsi, les sommets

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

11

(P2, id)

(F0, τ[1:0:0],[0:1:0])

(F1, π[1:0:0])

(F1, π[0:1:0])

(F0, τ[1:0:0],[0:0:1])

(F0, τ[0:1:0],[0:0:1])

(F1, π[0:0:1])

(P2, σ)

Figure 3. Une sphère de dimension 2 dans le complexe.

de ce graphe correspondent aux applications du groupe de Cremona munies de la
relation d’équivalence définie pour le complexe de Wright, c’est-à-dire :
f ∼ g ⇔ il existe a ∈ PGL(3, k) tel que f = g ◦ a.
Une telle classe est notée f .
Dans le graphe de Wright, si deux sommets de type P2 sont à distance deux
parce qu’il existe un sommet de type F0 à distance un de chacun d’eux, alors il
existe également deux sommets distincts de type Fn possédant cette propriété. Il
est donc suffisant de s’intéresser aux applications stabilisant les sommets de type
Fn . Le stabilisateur d’un sommet de type Fn dans le graphe de Wright est un
conjugué du groupe de Jonquières. Ainsi, dans le graphe de Wright modifié il existe
une arête entre deux sommets f et g si et seulement si il existe deux représentants
f et g de f et g tels que l’un soit obtenu en pré-composant l’autre par un élément
j appartenant à la classe d’une application de Jonquières :
g = f ◦ j.
Montrons que cette définition est indépendante du choix des représentants. En effet,
considérons deux autres représentants f ◦ a et g ◦ b où a, b ∈ PGL(3, k) de f et g.
Nous avons alors :
g ◦ b = (f ◦ a) ◦ a−1 ◦ j ◦ b = (f ◦ a) ◦ (a−1 ◦ j ◦ a) ◦ (a−1 ◦ b).
Comme a−1 ◦ b est un automorphisme et que a−1 ◦ j ◦ a est une application de
Jonquières, la composée (a−1 ◦j◦a)◦(a−1 ◦b) appartient à la classe d’une application
de Jonquières comme annoncé.
Remarque 2.1. La distance entre deux sommets f¯ et ḡ est donnée par la longueur
de l’application f −1 ◦ g introduit par J. Blanc et J-P. Furter dans [BF02].

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

12

Remarquons que le graphe de Wright modifié est quasi-isométrique au graphe
de Cayley du groupe de Cremona pour la famille de générateurs constituée des
transformations de Jonquières et des automorphismes de P2 .
La proposition suivante justifie le fait que nous nous concentrons sur le graphe
de Wright modifié plutôt que sur le graphe de Wright.
Proposition 2.2. L’inclusion du graphe de Wright modifié dans le graphe de
Wright donnée par l’application id : f 7→ (P2 , f ) est une quasi-isométrie.
Démonstration. Notons S(G) et S(W) les ensembles des sommets des graphes G
et W. Remarquons que dans le cas de graphes, il suffit de montrer qu’il existe une
quasi-isométrie entre les sommets. En effet, tout point d’une arête est à distance
au plus 12 d’un sommet. Considérons l’application :
id : S(G)
f

→ S(W)
7→ (P2 , f ).

Par définition des sommets des deux graphes, elle est bien définie. Montrons que
c’est un plongement quasi-isométrique. Pour tous f, g ∈ Bir(P2 ), nous avons :
1
dG (f , g) ≤ dW ((P2 , f ), (P2 , g)) = 2 dG (f , g).
2
De plus, par construction tout sommet dans le graphe de Wright est à distance
au plus 1 d’un sommet de type P2 donc tout sommet du graphe de Wright est à
distance 1 de l’image de id. Ceci achève la preuve.


2.3. Diamètre infini. Une première question est de savoir si le diamètre du graphe
modifié est infini ou non. S’il était de diamètre fini alors il serait trivialement δhyperbolique avec δ égal au diamètre. Dans cette section, nous montrons que le
graphe de Wright modifié est de diamètre infini. Pour toute application f ∈ Bir(P2 ),
nous notons #md (f ) le nombre de multiplicités distinctes des points-base de f .
Lemme 2.3. Soient g ∈ Bir(P2 ) et j une application de caractéristique Jonquières.
Le nombre de multiplicités distinctes des points-base de g ◦ j est inférieur ou égal à
#md (g ◦ j) ≤ 2 #md(g) + 2.

Démonstration. Les points-base de g ◦ j sont inclus dans l’ensemble des points suivants :
1) l’image par j−1 des points-base de g qui ne sont pas des points-base de j−1 ,
2) les points-base de j.
Dans le cas 1), appliquer j−1 ne modifie pas le nombre de multiplicités distinctes
de ces points. En effet, la multiplicité de chacun de ces points-là est la même pour
l’application j ou pour l’application g ◦ j. Ce n’est pas le cas des points de 2) qui
ne possèdent pas la même multiplicité en tant que points-base de j ou de g ◦ j.
Notons mp (f ) la multiplicité du point p en tant que point-base de f ∈ Bir(P2 )
avec pour convention qu’elle est égale à 0 si p n’est pas un point-base de f . Notons
p0 le point-base de multiplicité maximale de j qui est également celui de j−1 , et
p1 , . . . , p2d−2 et q1 , . . . , q2d−2 les petits points-base respectifs de j et j−1 . Alors, en
utilisant la formule 1.1 (l’application f de la formule est remplacée par j−1 et c par
−1
g#
(ℓ)), nous obtenons pour tout 1 ≤ i ≤ 2d − 2 :
mpi (g ◦ j) = deg(g) − mp0 (g) − mqi (g).

(2.4)

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

13

C’est la position des points-base de j−1 par rapport aux points-base de g qui va
déterminer le nombre de multiplicités différentes pour les points-base de g ◦ j. Nous
allons avoir au maximum :
une multiplicité qui correspond au point-base maximal de j,
une autre qui correspond au fait que certains petits points-base de j−1 ne sont
pas des points-base de g (d’après la formule (2.4), cette multiplicité est égale au
degré de g si p0 n’est pas un point-base de g et à deg(g) − mp0 (g) sinon),
• #md (g) multiplicités différentes qui correspondent aux petits points-base de
j−1 qui sont aussi des points-base de g dont les multiplicités sont données par la
formule (2.4),
• #md (g) multiplicités différentes qui correspondent aux points-base de g ◦ j
qui sont images par j−1 des points-base de g (qui ne sont pas des points-base de
j). Remarquons que pour ces points-là leur multiplicité pour g ou pour g ◦ j est
identique.
•
•

Ainsi, l’ensemble des points-base de l’application g ◦ j possède au plus 2 #md (g) + 2
multiplicités différentes.

Lemme 2.5. Soit {jn }n∈N une suite d’applications de Jonquières. Pour tout n ∈ N
le nombre de multiplicités distinctes des points-base de j1 ◦ j2 ◦ · · · ◦ jn est inférieur
ou égal à 2n+1 − 2.
Démonstration. Raisonnons par récurrence. Une application de Jonquières ne possède que deux multiplicités distinctes donc le cas n = 1 est vérifié. Supposons que
le résultat soit vrai pour la composée de n applications de Jonquières, montrons
qu’il reste vrai pour la composée de n + 1 applications de Jonquières : j1 ◦ · · · ◦ jn+1 .
Notons g = j1 ◦ · · · ◦ jn . Par hypothèse de récurrence et par le lemme 2.3, nous
avons au maximum 2 + 2(2n+1 − 2) = 2n+2 − 2 multiplicités différentes comme
annoncé.

Proposition 2.6. Le graphe de Wright modifié est de diamètre infini.
Démonstration. Nous allons montrer par l’absurde que le graphe de Wright modifié est de diamètre infini. Supposons que le diamètre D de G soit fini. Choisissons
un entier n tel que n > 2D+1 − 2. Considérons une suite d’applications quadratiques {qi }1≤i≤n telle que pour tout i ∈ {2, . . . , n}, les points-base de q−1
sont
i
disjoints des points-base de q1 ◦ · · · ◦ qi−1 . La caractéristique de cette application
est (2n ; m3n , . . . , m31 ) où mi = 2i . Cela découle du fait que si les points-base de f −1
sont disjoints des points-base de g alors les points-base de g ◦ f sont les points-base
de f dont la multiplicité a été multipliée par deg(g) et l’image par f −1 des pointsbase de g qui conservent la même multiplicité. De plus, le degré de g ◦ f est égal au
produit des degrés de f et de g. En particulier, l’application q1 ◦ · · · ◦ qn possède n
multiplicités distinctes. D’après le lemme 2.5, cela signifie que le nombre minimal
d’applications de Jonquières permettant de décomposer q1 ◦ · · · ◦ qn est strictement
supérieur à D. Ceci implique que dG (id, q1 ◦ · · · ◦ qn ) > D ce qui contredit le fait
que le diamètre est borné.

Le corollaire suivant est dû à la quasi-isométrie du graphe de Wright et du graphe
de Wright modifié.
Corollaire 2.7. Le graphe de Wright est de diamètre infini.

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

14

2.4. Non-hyperbolicité. Nous montrons dans cette section que le graphe de Wright
modifié n’est pas Gromov-hyperbolique. Pour cela, nous montrons qu’il existe un
plongement quasi-isométrique du graphe de Cayley de Z2 dans le graphe de Wright
modifié. Nous utilisons un sous-groupe du groupe de Cremona isomorphe à Z2 ,
constitué de deux applications particulières de la famille des twists d’Halphen.
2.4.1. Construction d’un sous-groupe abélien libre de rang huit. Les surfaces de
Halphen sont construites de la façon suivante (voir [Can17, p.24] ou encore [Lon17a,
Section 3.4.1]). Soit C0 une cubique lisse de P2 . Fixons la loi de groupe sur C0 de
sorte que le neutre soit un point d’inflexion. Choisissons 9 points sur cette courbe de
sorte que la somme de ces points soit égale au neutre. Ainsi, nous avons un pinceau
de courbes elliptiques passant par ces 9 points. En les éclatant, nous obtenons une
fibration sur P1 et dont les fibres sont les transformées strictes de ce pinceau. La
surface obtenue est appelée « surface de Halphen ».
Soit X une surface de Halphen obtenue en éclatant les points p0 , . . . , p8 de P2 .
Le groupe de Néron-Severi de X est engendré dans l’espace de Picard-Manin par :
Pic(X) = hℓ, ep0 , . . . , ep8 i.
La classe du diviseur canonique de la surface X est égale à
KX = −3ℓ + ep0 + · · · + ep8 .
De plus,
8
K⊥
X /hKX i = hep1 − ep0 , ep2 − ep0 . . . , ep8 − ep0 i ≃ Z .

D’après [CD12, Theorem 2.10], le groupe des automorphismes de X contient un
sous-groupe isomorphe à Z8 . Notons {fi }1≤i≤8 un système générateur de ce sousgroupe. Soit π : X → P2 l’éclatement des points p0 , . . . , p8 , les applications du
groupe de Cremona {π ◦ fi ◦ π −1 }1≤i≤8 génèrent un sous-groupe du groupe de
Cremona isomorphe à Z8 . Remarquons que pour 1 ≤ i ≤ 8, les applications π ◦ fi ◦
π −1 notées gi possèdent au plus 9 points-base. C’est également le cas de toutes les
applications de ce Z8 .
2.4.2. Non-hyperbolicité du graphe de Wright. Dans cette sous-section, nous considérons deux générateurs du sous-groupe abélien de rang 8 construit précédemment.
Nous montrons que le graphe de Cayley du sous-groupe Z2 obtenu se plonge quasiisométriquement dans le graphe de Wright modifié.
Nous avons besoin de la proposition suivante tirée de [CD12, (11) p.874].
Proposition 2.8. À chaque élément de a ∈ K⊥
X /hKX i est associé un automorphisme de X, et donc une isométrie τa de Pic(X) via la formule :
τa :

Pic(X) →
Pic(X)
.
d
7→ d − (KX · d)a + (a · d − 12 (KX · d)(a · a)) KX

En fait, les applications fi du paragraphe précédent peuvent être choisies de
façon à correspondent à la translation τepi −ep0 .
Corollaire 2.9. Soient g1 et g2 les deux applications construites précédemment.
Alors pour tous n, m ∈ Z nous avons :
deg(g1n ◦ g2m ) = 9(n2 + m2 + mn) + 1.

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

15

Démonstration. Les deux applications g1 et g2 se relèvent en des automorphismes
de X correspondant respectivement aux translations τep1 −ep0 et τep2 −ep0 . L’itérée
de g1 se relève en l’itérée de la translation correspondante. De plus, translater n
fois par ep1 − ep0 revient à translater une fois par n(ep1 − ep0 ), ainsi :
τenp1 −ep0 = τn(ep1 −ep0 ) .

De même, pour tous n, m ∈ N, la translation correspondant à g1n ◦ g2m est égale à
τenp1 −ep0 ◦ τemp2 −ep0 = τnep1 +mep2 −(m+n)ep0 .

De plus, la surface X domine la surface de résolution minimale de g1n ◦ g2m ainsi
l’action de g1n ◦ g2m et de τenp1 −ep0 ◦ τemp2 −ep0 sur l’espace de Picard-Manin coïncident.
Par conséquent, pour tous n, m ∈ N,
deg(g1n ◦ g2m ) = τnep1 +mep2 −(m+n)ep0 (ℓ) · ℓ.

Par la proposition 2.8, nous avons :

τnep1 +mep2 −(m+n)ep0 (ℓ) = ℓ + 3(nep1 + mep2 − (n + m)ep0 ) − 3(n2 + m2 + nm) KX .
Ainsi nous obtenons que le degré de g1n ◦ g2m est égal à
comme annoncé.

deg(g1n ◦ g2m ) = 9(n2 + m2 + nm) + 1,


Le lemme suivant est une adaptation du lemme de J. Blanc et S. Cantat ([BC16,
Lemma 5.10]). Je remercie J. Blanc de m’avoir fait remarquer qu’il s’adaptait dans
ce cas-là. Dans leur preuve, il suffit de considérer le diviseur canonique associé à la
surface obtenue en éclatant 9 points contenant l’ensemble Bs(f2 ) ∪ Bs(f1−1 ).

Lemme 2.10. Si f1 et f2 sont deux applications du groupe de Cremona telles
que le cardinal de Bs(f2 ) ∪ Bs(f1−1 ) est inférieur ou égal à 9 alors elles satisfont
l’inégalité :
p
p
p
deg(f2 ◦ f1 ) ≤ deg(f2 ) + deg(f1 ).
Le lemme suivant est extrait de [BF02, Lemme 4.22].

Lemme 2.11. Soit h ∈ Bir(P2 ) telle que h possède au plus 9 points-base. Nous
avons alors :
deg(h) ≤ 5 ℓg(h)2 .

Démonstration. Montrons ce résultat par récurrence sur la longueur de l’application. Supposons que h soit de longueur 1, ce qui signifie que h est une application de
caractéristique Jonquières qui possède au plus 9 points-base. Par conséquent h est
de degré inférieur ou égal à 5. Supposons le résultat vrai pour toute application de
longueur inférieure ou égale à k − 1 et possédant au plus 9 points-base. Montrons le
résultat pour une application h de longueur k et ayant au plus 9 points-base. D’après
le théorème 1.3, nous pouvons décomposer h de façon minimale h = jk ◦ · · · ◦ j1 à
l’aide d’applications de caractéristique Jonquières j1 , . . . , jk de sorte que les pointsbase de j1 sont inclus dans les points-base de h. Notons h2 = a ◦ jk ◦ · · · ◦ j2 .
Cette application est de longueur k − 1 et se réécrit : h2 = h ◦ j1−1 . L’ensemble des
points-base de h2 est inclus dans l’ensemble E de points suivant :
−1
• l’ensemble des points-base de j1 ,
• l’image par j1 des points-base de h qui ne sont pas des points-base de j1 .

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

16

L’ensemble des points-base de j1 étant inclus dans celui des points-base de h, le
cardinal de E est majoré par :
Card(E) ≤ Card(Bs(j1−1 )) + Card({p ∈ Bs(h) | p ∈
/ Bs(j1 )}) = Card(h) ≤ 9.

Par conséquent le cardinal de l’ensemble Bs(h2 ) ∪ Bs(j1−1 ) est inférieur ou égal à 9.
D’après le lemme 2.10, le degré de la composée satisfait :
p
p
p
deg(h2 ◦ j1 ) ≤ deg(h2 ) + deg(j1 ).

Comme les applications j1 et h2 ont toutes deux au plus 9 points-base, nous
concluons en utilisant le fait que le degré de j1 est inférieur ou égal à 5 et par
hypothèse de récurrence.


Théorème 2.12. Le graphe de Wright modifié possède un sous-graphe quasi-isométrique
au graphe de Cayley de Z2 , noté GC(Z2 ). Plus précisément, en considérant les applications g1 , g2 ∈ Bir(P2 ) construites précédemment, l’inclusion :
I : GC(< g1 , g2 >) → G
f
f
7
→

est une quasi-isométrie sur son image.

Démonstration. Un élément du groupe < g1 , g2 > s’écrit g1m ◦g2n où m, n ∈ Z. Prouvons que c’est une quasi-isométrie plongée. Par transitivité du groupe < g1 , g2 >,
nous pouvons supposer
 qu’un des sommets est id. Pour tous m, n ∈ Z, la distance
dG (g1m ◦ g2n )(id), id correspond à la longueur de l’application g1m ◦ g2n . Ces applications ont au plus 9 points-base, par conséquent nous pouvons leur appliquer le
lemme 2.11 :
deg(g1m ◦ g2n ) ≤ 5 ℓg(g1m ◦ g2n )2 .
(2.13)
∗
D’après le corollaire 2.9, pour tout m ∈ N et pour tout n ∈ Z,
5(n + m)2 ≤ 9(n2 + m2 + mn) + 1 = deg(g1m ◦ g2n ).

Ceci prouve que


dGC(Z2 ) (g1m ◦ g2n , id) ≤ dG (g1m ◦ g2n )(id), id .

De plus, en notant K = max(lg(g1 ), lg(g2 )) le maximum entre la longueur de g1 et
la longueur de g2 nous obtenons :

1
dG (g1m ◦ g2n )(id), id ≤ dGC(Z2 ) (g1m ◦ g2n , id).
K
Enfin sur son image, l’application I est une quasi-isométrie.

Corollaire 2.14. Le graphe de Wright modifié n’est pas Gromov-hyperbolique.
Le théorème A découle de la proposition 2.2 et du corollaire précédent.
3. Graphes associés au pavage de Voronoï
Le but de cette partie est d’exhiber un graphe Gromov-hyperbolique naturel sur
lequel le groupe de Cremona agit. Le premier candidat est « le graphe d’adjacence »
qui est une sorte de graphe dual au pavage de Voronoï, codant la géométrie des
cellules adjacentes. Nous montrons qu’il est quasi-isométrique au graphe de Wright
modifié. Par conséquent, il est également quasi-isométrique au graphe de Wright.
Cela permet de retrouver le graphe de Wright dans l’espace hyperbolique H∞ . Mais
cela implique qu’il n’est pas Gromov-hyperbolique puisque nous avons montré que

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

17

le graphe de Wright modifié ne l’est pas. Nous nous intéressons ensuite au graphe
« quasi-adjacent » lié à la géométrie des cellules quasi-adjacentes. Nous montrons
qu’il reste de diamètre infini et qu’il est Gromov-hyperbolique. Il peut ainsi être vu
comme un analogue du graphe des courbes.
3.1. Graphe d’adjacence. Construisons le graphe d’adjacence. Les sommets de
ce graphe sont les centres des cellules de Voronoï, c’est-à-dire l’orbite de ℓ sous
l’action du groupe de Cremona :
{f#(ℓ) | f ∈ Bir(P2 )}.

Remarquons que comme le groupe PGL(3, k) stabilise la classe ℓ, les sommets du
graphe d’adjacence sont en bijection avec les classes à gauche du groupe de Cremona
modulo PGL(3, k). Nous relions deux sommets par une arête si les deux cellules
de Voronoï correspondantes sont adjacentes entre elles. Ce graphe est muni de
la métrique standard et nous le notons A. D’après le corollaire 0.1, les germes
des cellules adjacentes à la cellule V(id) sont des applications de caractéristiques
Jonquières ou sont des applications dont les points-base de l’inverse sont en position
presque générale. Par conséquent la distance entre les sommets f# (ℓ) et ℓ du graphe
d’adjacence correspond au nombre minimal d’applications de ces deux types qu’il
faut pour décomposer l’application f .
Remarque 3.1. Le graphe d’adjacence est quasi-isométrique au graphe de Cayley
du groupe de Cremona avec pour famille de générateurs PGL(3, k), les applications
de Jonquières et les applications ayant au plus 8 points-base en position presque
générale.
Proposition 3.2. L’application
I:

S(A) → S(G)
f# (ℓ) 7→
f¯

entre les sommets du graphe d’adjacence S(A) et les sommets du graphe de Wright
modifié S(G) est une quasi-isométrie. En particulier, le graphe de Wright W, le
graphe de Wright modifié G et le graphe d’adjacence A sont quasi-isométriques.

Démonstration. L’application I est bien définie car les deux ensembles de sommets
sont définis par les classes à gauche du groupe de Cremona modulo PGL(3, k).
Prouvons dans un premier temps que c’est un plongement quasi-isométrique. Le
groupe de Cremona agissant transitivement sur les sommets des deux graphes, il
suffit de montrer les deux inégalités sur les paires (f# (ℓ), ℓ) où f ∈ Bir(P2 ).
Rappelons que la distance d’un sommet f¯ du graphe de Wright modifié au som¯ est donnée par la longueur de l’application f (voir remarque 2.1). Ainsi,
met id
nous avons :
dA (f# (ℓ), id# (ℓ)) ≤ dG (f , id).
Les applications correspondant aux cellules adjacentes qui ne sont pas des applications de caractéristiques Jonquières sont de degré au plus 17 ([Lon17b, Corollaire
4.9]). D’après le théorème 1.3, la longueur minimale d’une application peut être
atteinte en composant des applications de caractéristique Jonquières de sorte que
le degré augmente strictement à chaque étape. Ainsi, toute application de degré
inférieur ou égal à 17 est la composée d’au plus 16 applications de caractéristique
Jonquières. Par conséquent, nous avons :
dG (f , id) ≤ 16 dA (f# (ℓ), id# (ℓ)).

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

18

Ceci achève de montrer que l’application I est un plongement quasi-isométrique. De
plus, les sommets des deux graphes sont en bijection donc I est une quasi-isométrie.
Cela implique que les graphes A et G sont quasi-isométriques. De plus, nous avons
déjà montré que les graphes W et G sont quasi-isométriques (Proposition 2.2). 
Cette proposition implique d’une part que le graphe d’adjacence construit est
de diamètre infini et d’autre part qu’il n’est pas hyperbolique au sens de Gromov
puisque le graphe de Wright modifié ne l’est pas (Théorème 1.5 et Corollaire 2.14).

3.2. Graphe de quasi-adjacence. Les sommets du graphe de quasi-adjacence A
sont les centres des cellules de Voronoï et nous relions deux sommets par une arête
lorsque les cellules correspondantes sont quasi-adjacentes. Dans cette partie, nous
étudions la Gromov-hyperbolicité du graphe de quasi-adjacence.
Par la remarque 0.3, le graphe d’adjacence est un sous-graphe du graphe de quasiadjacence. D’après les théorèmes 0.1 et 0.2, les germes des cellules qui deviennent
à distance un de la cellule V(id) sont les applications birationnelles qui ne sont pas
de caractéristique Jonquières et qui possèdent exactement 9 points-base en position
presque générale.
applications fixent ou échangent les classes au bord de H∞
PCes
8
de la forme 3ℓ − i=0 epi où les points pi sont en position presque générale (Lemme
[Lon17b, Lemme 5.15]). Ainsi, les éléments qui nous gênaient pour l’hyperbolicité du
graphe d’adjacence deviennent elliptiques dans le graphe de quasi-adjacence. Il est
par conséquent un bon candidat à être hyperbolique. Afin que cela soit intéressant,
nous devons montrer qu’il reste de diamètre infini.
3.2.1. Diamètre infini. Nous avons vu que le graphe d’adjacence est de diamètre
infini. Nous montrons que cela reste le cas pour le graphe de quasi-adjacence.
Proposition 3.3. Le graphe de quasi-adjacence est de diamètre infini.
Pour montrer cette proposition nous modifions légèrement la preuve faite pour
montrer que le graphe de Wright modifié est de diamètre infini (Proposition 2.6).
Le lemme suivant est l’analogue du lemme 2.5.
Lemme 3.4. Soit {fn }n∈N∗ une suite d’applications telle que pour tout n, fn est
soit une application de caractéristique Jonquières soit une application ayant au
plus 9 points-base. Pour tout n ∈ N∗ , le nombre de multiplicités différentes de
f1 ◦ f2 ◦ · · · ◦ fn est inférieur ou égal à 2n+3 − 2.

Démonstration. Raisonnons par récurrence. Si n = 1, alors f est soit une application de caractéristique Jonquières soit une application ayant au plus 9 points-base.
Dans le premier cas elle possède deux multiplicités différentes et dans le second cas
elle en possède au plus 9. Dans les deux cas elle en possède moins de 14.
Supposons le résultat vrai pour f1 ◦ f2 ◦ · · · ◦ fn . Montrons qu’il reste vrai pour
l’application f1 ◦ · · · ◦ fn+1 . Notons g = f1 ◦ · · · ◦ fn . Si fn+1 est une application de
caractéristique Jonquières alors d’après le lemme 2.3 et par hypothèse de récurrence,
l’application g ◦ fn+1 possède au plus
2 + 2(2n+3 − 2) = 2n+4 − 2

multiplicités différentes.
Sinon fn+1 possède au plus 9 points-base et l’ensemble des points-base de g◦fn+1
est inclus dans l’ensemble de points suivant :
−1
−1
1) l’image par fn+1
des points-base de g qui ne sont pas des points-base de fn+1
,

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

19

2) ainsi que des points-base de fn+1 .
La multiplicité des points du cas 1) est la même pour l’application fn+1 et pour
l’application g◦fn+1. Par hypothèse de récurrence, il y a au maximum 9 multiplicités
distinctes correspondant aux points-base de fn+1 et 2n+3 −2 multiplicités différentes
−1
en plus correspondant aux points-base de g qui ne sont pas des points-base de fn+1
.
Cela implique que f1 ◦ · · · ◦ fn+1 possède au plus
2n+3 − 2 + 9 = 2n+3 − 7 ≤ 2n+4 − 2

multiplicités différentes. Le résultat est ainsi démontré.



Preuve de la Proposition 3.3. Nous allons montrer par l’absurde que le graphe de
quasi-adjacence est de diamètre infini. Supposons que le diamètre de Ā soit de
diamètre D borné. Choisissons un entier n strictement supérieur à 2D+3 − 2 :
n > 2D+3 − 2.

Considérons une suite d’applications quadratiques {qi }1≤i≤n telle que pour tout
i ∈ {2, . . . , n}, les points-base de q−1
sont disjoints des points-bases de q1 ◦ · · · ◦
i
qi−1 . Ainsi l’application q1 ◦ · · · ◦ qn possède n multiplicités différentes (voir la
preuve de la proposition 2.6). D’après le lemme 3.4, cela signifie que l’application
q1 ◦ · · · ◦ qn se décompose en strictement plus de D applications qui sont ou de
caractéristique Jonquières ou qui possèdent au plus 9 points-base. Ceci implique
que dĀ id# (ℓ), (q1 ◦ · · · ◦ qn )# (ℓ) > D ce qui contredit le fait que le diamètre est
borné.

3.3. Hyperbolicité du graphe de quasi-adjacence. Pour montrer que le graphe
de quasi-adjacence est Gromov-hyperbolique nous utilisons le critère de Bowditch
1.4 et le fait que l’espace E est Gromov-hyperbolique.
3.3.1. Construction de sous-graphes. Nous construisons des sous-graphes dont nous
montrons qu’ils vérifient le critère de Bowditch.
Dans un premier temps, nous associons à tout élément de E un sous-graphe du
graphe de quasi-adjacence. Un choix naturel du point de vue du pavage de Voronoï
est de faire correspondre à c ∈ E tous les sommets du graphe de quasi-adjacence
correspondant aux cellules de Voronoï auxquelles c appartient :
Sc := {f# (ℓ) | c ∈ V(f )}.

Notons Āc le graphe complet associé aux sommets de Sc . C’est un sous-graphe de
Ā. L’application qui à c associe Āc est Bir(P2 )-équivariante : pour tout f ∈ Bir(P2 ),
pour tout c ∈ E :
f · Āc = Āf# (c) .

Remarquons que pour toute classe c ∈ E, le sous-graphe Āc est connexe par arc et
de diamètre au plus 1, 5 puisque tous les sommets sont deux à deux reliés par une
arête. Plus généralement à tout segment géodésique [c, c′ ] de E nous associons un
sous graphe défini de la manière suivante :
[
Āx .
Ā[c,c′ ] :=
x∈[c,c′ ]

Proposition 3.5. Pour tous c, c′ ∈ E, il existe une suite finie {ci }0≤i≤n telle que
[
Ā[c,c′ ] =
Āci ,
1≤i≤n

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

20

où pour tout 0 ≤ i ≤ n − 1 les sous-graphes Āci et Āci+1 sont non-disjoints :
Āci ∩ Āci+1 6= ∅.

Démonstration. Paramétrons le segment géodésique [c, c′ ] par γ : [0, 1] → [c, c′ ].
Construisons une suite ti de points de [0, 1] de la manière suivante. Soit t0 = 0.
Supposons le point ti−1 construit. Si pour tout t ∈ [ti−1 , 1], Sγ(t) est inclus dans
Sγ(ti−1 ) , le procédé s’arrête. Sinon, posons :
ti = inf{t ∈ ]ti−1 , 1] | Sγ(t) * Sγ(ti−1 ) }.

La suite γ(ti ) construite satisfait le corollaire [Lon17b, Corollaire 2.13]. Par conséquent, cette suite est finie. Notons n + 1 le nombre d’éléments de cette suite. Posons
pour tout 0 ≤ i ≤ n, ci = γ(ti ). Nous avons alors :
[
Ā[c,c′ ] =
Āci .
1≤i≤n

Montrons à présent que pour tout 0 ≤ i ≤ n − 1, l’intersection entre les sousgraphes Āci et Āci+1 est non-vide. Fixons i et considérons le point ci+1 . D’après la
proposition [Lon17b, Proposition 2.12], il existe une constante ε > 0 dépendant de
la classe ci+1 telle que pour toute application f , soit ci+1 appartient à V(f ), soit la
distance entre ci+1 et V(f ) est strictement supérieure à ε. Cela implique que pour
toute classe c du segment géodésique [ci , ci+1 [ à distance inférieure ou égale à ε de
ci+1 , Āc est inclus dans Āci+1 . Comme les cellules de Voronoï pavent l’espace E, Āc
est non-vide. Notons fc # (ℓ) un sommet de ce sous-graphe. Par définition des points
{ci }0≤i≤n , ce sommet appartient également au sous-graphe Āci . Nous avons ainsi
montré que l’intersection entre les deux sous-graphes Āci et Āci+1 est non-vide. 
Soient f# (ℓ) et g# (ℓ) deux sommets de Ā. Construisons Ā(f# (ℓ), g# (ℓ)). Pour
cela, considérons le segment géodésique associé aux classes f# (ℓ) et g# (ℓ). Les sommets de Ā(f# (ℓ), g# (ℓ)) correspondent aux sommets associés aux cellules de Voronoï
ayant une intersection non vide avec ce segment :
Ā(f# (ℓ), g# (ℓ)) := Ā[f# (ℓ),g# (ℓ)] .
Corollaire 3.6. Pour tous c, c′ ∈ E, le sous-graphe Ā[c,c′ ] est connexe par arcs. En
particulier, c’est le cas de Ā(f# (ℓ), g# (ℓ)) pour tous f, g ∈ Bir(P2 ).
Démonstration. Par la proposition 3.5, il existe une suite finie de classe {ci }0≤i≤n
telle que :
[
Ā[c,c′ ] =
Āci ,
1≤i≤n

où l’intersection entre Āci et Āci+1 est non-vide pour tout 0 ≤ i ≤ n − 1. De plus,

chacun des Āci est connexe par arcs.
Corollaire 3.7. Pour tous c, c′ ∈ E, le diamètre de Ā[c,c′ ] est fini.
3.3.2. Borne pour le diamètre du sous-graphe associé à un segment de taille fixée.
Lors du corollaire 3.7, nous avons montré que pour toutes classes c, c′ ∈ E, le
diamètre du sous-graphe associé Ā[c,c′ ] est fini. Nous montrons ici que nous pouvons
borner le diamètre du sous-graphe Ā[c,c′ ] dans Ā en fonction de la longueur du
segment [c, c′ ] dans H∞ .

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

Nous reprenons les notations introduites dans [Lon17b]. Soit c = nℓ−

21

P

p∈B(P2 )

λp ep

une classe de E. Le nombre réel n est supérieur ou égal à 1 et est appelé le « degré »
de c. Pour tout p ∈ B(P2 ), le nombre réel positif ou nul λp est appelé « la multiplicité » de c associée au point p. Le « support » de c est l’ensemble des points p de
B(P2 ) tels que λp est non-nulle. Par construction, c’est un ensemble dénombrable.
Notons p0 , p1 et p2 trois points de B(P2 ) de sorte que λp0 ≥ λp1 ≥ λp2 ≥ λp pour
tout p ∈ B(P2 ) \ {p0 , p1 , p2 }. La classe c est appelée « spéciale » si les points p1 et
p2 sont adhérents à p0 et si n − λp0 − λp1 − λp2 < 0. Ceci implique par positivité
des excès (Définition 1.2.3)) que λp0 > n2 . Dans ce cas, par l’inégalité de Bézout
(Définition 1.2.4)), p0 est l’unique point de c de multiplicité maximale.
Dans la suite, nous notons p0 un point du support de c de multiplicité maximale :
λp0 ≥ λp , pour tout p ∈ B(P2 ).
P
Lemme 3.8. Soit c = nℓ − p∈B(P2 ) λp ep ∈ V(id) une classe spéciale. Soient deux
points r et q distincts de p0 vérifiant λp ≤ λq . Si p0 , q et r sont alignés ou le support
d’une application quadratique, alors :
n
λr < .
4
Démonstration. Comme c est une classe spéciale, nous avons d’après la remarque
[Lon17b, Remarque 3.4] l’inégalité : λ0 > n2 . Par hypothèse, c appartient à V(id)
et les points p0 , r et q sont soit alignés, soit forment le support d’une application
quadratique ou sont alignés, ainsi d’après la proposition [Lon17b, Proposition 3.6]
nous avons 0 ≤ n − λp0 − λr − λq . Cela implique que :
n
2λr ≤ λq + λr ≤ n − λp0 < .

2
Le lemme suivant est le point clé technique qui nous sera utile pour montrer la
Gromov-hyperbolicité du graphe de quasi-adjacence. Une des difficultés vient du
fait que la distance entre V(f1 ) et V(f2 ), deux cellules adjacentes à la cellule V(id)
mais pas quasi-adjacente entres elles, n’est pas forcément réalisée par la distance
entre deux classes c1 ∈ V(id) ∩ V(f1 ) et c2 ∈ V(id) ∩ V(f2 ).

Lemme 3.9. Il existe K > 1 telle que pour toute classe c1 ∈ V(f1 ) ∩ V(id) de
degré n et pour toute application f2 ∈ Bir(P2 ) telle que dĀ (id# (ℓ), f2 # (ℓ)) = 1 et
dĀ (f1 # (ℓ), f2 # (ℓ)) ≥ 2, nous avons l’inégalité :
c1 · f2 # (ℓ) ≥ Kn.

Démonstration. Par hypothèse, les cellules V(f1 ) et V(f2 ) ne sont pas quasi-adjacentes.
Ceci implique que les cellules V(id), V(f1 ) et V(f2 ) n’ont pas une classe en commun
à l’infini. D’après le corollaire [Lon17b, Corollaire 5.18] cela implique que
1) si les applications f1 et f2 sont des applications de caractéristiques Jonquières alors le ou les (dans le cas quadratique) point(s)-base de multiplicité
maximale de ces applications sont disjoints,
2) l’union des points-base de f1−1 et de f2−1 :
a) est ou bien de cardinal supérieur ou égal à 9,
b) ou bien contient 4 points alignés,
c) ou bien contient 7 points sur une conique,
d) ou bien contient deux points adhérents à un troisième point de cet
ensemble.

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

22

Notons d le degré de f2 et {mp }p∈Bs(f −1 ) les multiplicités des points-base de f2−1 .
2
Rappelons que
X
c1 · f2 # (ℓ) = dn −
mp λp .
p∈Bs(f2−1 )

D’après les équations de Noether, nous avons l’égalité 3(d − 1) =

P

mp . Par

p∈Bs(f2−1 )

conséquent, nous pouvons partitionner le multi-ensemble composé des points-base
de f2−1 comptés avec leur multiplicité en d − 1 triplets de sorte que chaque triplet
soit composé de points deux à deux disjoints ([Lon17b, Lemme 3.2]). Notons T une
telle partition. Nous avons alors l’égalité suivante :
X
(3.10)
(n − λpi − λpj − λpk ).
c1 · f2 # (ℓ) = n +
{{pi ,pj ,pk }}∈T

Différencions deux cas selon si la classe c1 est spéciale ou non.
• Plaçons-nous dans le cas où la classe c1 n’est pas spéciale.
Fait 3.11. S’il existe un point-base p de f2−1 tel que λp ≤

5n
16

alors c1 · f2 # (ℓ) ≥

49
48 n.

Démonstration. Comme la classe c1 n’est pas spéciale et qu’elle appartient à la
cellule V(id) la somme de ses trois plus grandes multiplicités (notées λp0 ≥ λp1 ≥
λp2 ) est inférieure ou égale à son degré ([Lon17b, Remarque 3.7]). Par conséquent,
pour tout triplet {{pi , pj , pk }} ∈ T nous avons :
n − λpi − λpj − λpk ≥ n − λp0 − λp1 − λp2 ≥ 0.

Ainsi, pour tout triplet {{pi , pj , pk }} ∈ T l’inégalité suivante est satisfaite :
c1 · f2 # (ℓ) ≥ n + (n − λpi − λpj − λpk ).
f2−1

(3.12)

Par hypothèse, il existe un point-base de
tel que sa multiplicité pour c soit
.
Notons
ce
point
q.
Considérons
deux cas selon si f1 est
inférieure ou égale à 5n
16
une application de caractéristique Jonquières ou pas.
∗ Si f1 n’est pas de caractéristique Jonquières, d’après le théorème [Lon17b,
Théorème 4.1] toutes les multiplicités de c sont inférieures ou égales à n3 . Par conséquent, en considérant un triplet de T où le point q apparaît nous avons d’après
l’équation 3.12 la minoration suivante :
49
n 5n
)=
n.
c1 · f2 # (ℓ) ≥ n + (n − 2 −
3
16
48
∗ Si f1 est de caractéristique Jonquières de degré supérieur ou égal à 3, tout
point distinct du point-base maximal p0 de f1−1 a une multiplicité pour c inférieure
ou égale à n3 (voir [Lon17b, Théorème 4.1]). De plus, par le point 1), f2 ne peut pas
être une application de caractéristique Jonquières en ce point-là et ainsi m0 < d−1.
Ceci signifie qu’il existe un triplet t1 ne contenant pas le point p0 . Quitte à échanger
le point q avec un point du triplet t1 qui n’apparaît pas dans un triplet contenant
le point q, nous pouvons supposer qu’il existe un triplet contenant le point q et
ne contenant pas le point p0 . Nous obtenons la même minoration que dans le cas
précédent. Si f1 est une application quadratique alors par [Lon17b, Théorème 4.1]
toutes les multiplicités de c autres que λp0 et λp1 sont inférieures ou égales à n3 . En
modifiant les triplets, nous pouvons supposer qu’il existe un triplet ne contenant
pas les points p0 et p1 et contenant le point q, tels que tous les autres triplets ne
contiennent pas deux fois le point p0 ou deux fois le point p1 . Ainsi tous les triplets
sont positifs et nous obtenons la même majoration que dans le cas précédent. 

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

23

Il nous reste maintenant à montrer qu’il existe toujours un point-base de f2−1
dont la multiplicité associée est inférieure ou égale à 5n
16 .
Fait 3.13. Si λp0 ≥

3n
8

alors il existe un point-base p de f2−1 tel que λp ≤

5n
16 .

Démonstration. Dans ce cas, par le théorème [Lon17b, Théorème 4.1], f1 est une
application de caractéristique Jonquières dont l’inverse a pour base maximal le point
p0 . Si f1 est de degré supérieur ou égal à 3, toujours d’après le même théorème nous
obtenons la majoration attendue pour tout point p ∈ B(P2 ) différent de p0 :
n − λp0
5n
λp ≤
≤
.
2
16
Si f1 est de degré 2, d’après [Lon17b, Théorème 4.1], nous avons n = λp0 +λp1 +λp2 .
Ainsi, pour tout point p ∈ B(P2 ) différent de p0 et de p1 nous obtenons :
n − λp0
5n
λp + λp1
=
≤
.
λp ≤ λp2 ≤ 2
2
2
16
Par conséquent, tout point-base de f2−1 différent de p0 et de p1 possède la propriété
attendue.

Dans le cas où λp0 est strictement inférieur à 3n
,
nous
distinguons
les
4
possibi8
lités : a), b), c), d). D’après [Lon17b, Théorème 4.1], nous avons l’inégalité :
pour tout p ∈ Bs(f1−1 ) et pour tout q ∈ Bs(f2−1 ).

λp ≥ λq ,

(3.14)

3n
8

et si nous sommes dans le cas a) alors il existe un point-base
Fait 3.15. Si λp0 <
p de f2−1 tel que λp ≤ 5n
16 .

Démonstration. Notons λmin la plus petite multiplicité pour c correspondant à un
point-base de l’union des points-base de f1−1 et de f2−1 . D’après l’inégalité 3.14,
elle correspond à la multiplicité d’un point-base de f2−1 . Si l’union des points-base
de f1−1 et de f2−1 est de cardinal supérieur ou égal à 10 alors par l’inégalité contre
l’anti-canonique 1.2.2), nous avons :
X
X
λp ≤ 3n.
10λmin ≤
λp ≤
p∈Bs(f1−1 )∪Bs(f2−1 )

Ainsi, λmin ≤

3n
10

≤

5n
16

p∈B(P2 )

et cette multiplicité est associée à un point-base de f2−1 . 

Fait 3.16. Si λp0 < 3n
8 et si nous sommes dans le cas b) alors il existe un point-base
p de f2−1 tel que λp ≤ 5n
16 .

Démonstration. Si 4 des points de l’union des points-base de f1−1 et de f2−1 sont alignés alors en notant λmin la plus petite des 4 multiplicités, nous avons par l’inégalité
de Bézout 1.2.4) :
4λmin ≤ n.
Par conséquent, λmin ≤ n4 ≤ 5n
.
D’après
l’inégalité 3.14, il existe un point-base de
16
−1
f2 ayant également cette propriété comme attendu.

Le cas où 7 points sont une conique se prouve de façon similaire.

Fait 3.17. Si λp0 < 3n
8 et si nous sommes dans le cas c) alors il existe un point-base
p de f2−1 tel que λp ≤ 5n
16 .

Fait 3.18. Si λp0 < 3n
8 et si nous sommes dans le cas d) alors il existe un point-base
p de f2−1 tel que λp ≤ 5n
16 .

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

24

Démonstration.
Considérons le cas où 2 points q1 et q2 de l’ensemble de l’union de points-base de
f1−1 et de f2−1 sont adhérents à un troisième point q0 . En notant λmin la plus petite
des deux multiplicités associées à ces points pour c, nous avons par positivité des
excès :
3n
2λmin ≤ λq1 + λq2 ≤ λq0 ≤
.
8
−1

Par l’inégalité 3.14, il existe un point-base de f2 ayant cette propriété.
Ceci achève la preuve du lemme 3.9 dans le cas où la classe c1 n’est pas spéciale.
• Intéressons-nous maintenant au cas où la classe c1 est spéciale. Cela implique
par le théorème [Lon17b, Théorème 4.1] que l’application f1 est une application de
caractéristique Jonquières et le point-base maximal de f1−1 est p0 . De plus, notons
p1 et p2 deux points adhérents au point p0 tels que λp0 ≥ λp1 ≥ λp2 ≥ λp pour tout
p ∈ B(P2 ) \ {p0 , p1 , p2 }.
Comme f2 est le germe d’une cellule quasi-adjacente à V(id) soit elle est de
caractéristique Jonquières soit elle ne possède pas deux points-base adhérents à un
même troisième de ses points-base (Corollaire 0.2). Si elle est de caractéristique
Jonquières, d’après 1), le point p0 n’est pas le point-base de multiplicité maximal
de f2−1 (ou l’un des dans le cas où f2 est quadratique). Par conséquent, f2−1 ne
peut pas posséder deux points-base adhérents au point p0 . Ainsi, quelque soit f2 ,
l’application f2−1 ne possède pas deux points adhérents au point p0 .
Parmi les points-base de f2−1 différents de p0 (si ce dernier appartient à Bs(f2−1 )),
considérons-en deux de multiplicités maximales pour c. Notons-les q et r avec λq ≥
λr . Comme ces deux points ne sont pas adhérents au point p0 et par positivité des
excès pour c 1.2.3), les trois points p0 , q et r sont alignés ou forment le support
d’une application quadratique. Comme c appartient à V (id) nous obtenons par la
proposition [Lon17b, Proposition 3.6] que pour tout triplet (pi , pj , pk ) de pointsbase de f2−1 ne contenant pas deux fois le point p0 ni deux fois le point q :
n − λpi − λpj − λpk ≥ n − λp0 − λq − λr ≥ 0.

(3.19)

De plus, par le lemme 3.8, λr ≤ n4 et c’est le cas de toutes les multiplicités pour c
associées aux points-base de f2−1 hors p0 et pq .
Si l’application f2−1 n’est pas une application de caractéristique Jonquières de
point-base maximal le point q alors les multiplicités mp0 et mq sont strictement
inférieures à d − 1. Par conséquent, nous pouvons partitionner le multi-ensemble
des points-base de f2−1 comptés avec multiplicité en d − 1 triplets de sorte qu’un
triplet ne contienne pas p0 et q et que tous les autres contiennent au plus une fois
le point p0 et une fois le point q. Par l’équation (3.19), les termes de la somme
(3.10) associés à ces triplets sont tous positifs. De plus, le terme associé au triplet
n
ne contenant pas les points p0 et q est minoré par : n − 3n
4 = 4 . Ainsi,

5
n.
4
Si maintenant le point q est le point-base maximal de l’application f2−1 de caractéristique Jonquières alors le point q est dans P2 et les points p0 , p1 et q sont soit
alignés soit le support d’une application quadratique. Le lemme 3.8 implique que
λq ≤ n4 et c’est le cas de tous les points-base de f2−1 excepté p0 si c’est un point-base
de f2−1 . Comme précédemment, la multiplicité mp0 est strictement inférieure à d−1
et il existe donc au moins un triplet où le point p0 n’apparaît pas. Par conséquent,
c1 · f2 # (ℓ) ≥

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

25

le terme de la somme (3.10) correspondant au triplet où le point p0 n’apparaît pas
n
est minoré par : n − 3n
4 = 4 . Tous les autres triplets sont constitués d’indices deux
à deux disjoints ainsi d’après l’inégalité (3.19) ils sont tous positifs ou nuls. Par
conséquent dans ce cas-là nous obtenons la même minoration
5
c1 · f2 # (ℓ) ≥ n.
4
Ceci achève la preuve dans le cas où la classe c1 est spéciale et par conséquent celle
du lemme 3.9.

Lemme 3.20. Soient c1 ∈ V(id), c2 ∈ E et ε > 0 tels que d(c1 , c2 ) ≤ ε. Alors, pour
toute application f2 ∈ Bir(P2 ) telle que c2 ∈ V(f2 ), nous avons l’inégalité :
c1 · ℓ
≤ 2ε.
0≤1−
c1 · f2 # (ℓ)

Démonstration. Par la définition des cellules de Voronoï, nous avons d’une part
d(c1 , ℓ) ≤ d(c1 , f2 # (ℓ)) et d(c2 , f2 # (ℓ)) ≤ d(c2 , ℓ)

et d’autre part par l’inégalité triangulaire nous obtenons :

d(c1 , f2 # (ℓ)) ≤ ε + d(c2 , f2 # (ℓ)) ≤ ε + d(c2 , ℓ) ≤ 2ε + d(c1 , ℓ).

(3.21)

Par conséquent nous avons l’encadrement suivant :

0 ≤ d(c1 , f2 # (ℓ)) − d(c1 , ℓ) ≤ 2ε.

En utilisant la majoration précédente et par concavité de la fonction argcosh
nous obtenons l’inégalité annoncée :
2ε ≥ d(c1 , f2 # (ℓ)) − d(c1 , ℓ) = argcosh(c1 · f2 # (ℓ)) − argcosh(c1 · ℓ)
c1 · f2 # (ℓ) − c1 · ℓ
≥p
(c1 · f2 # (ℓ))2 − 1
≥

c1 · f2 # (ℓ) − c1 · ℓ
c1 · ℓ
=1−
.
c1 · f2 # (ℓ)
c1 · f2 # (ℓ)



Soient E1 et E2 deux sous-ensembles de E. Nous définissons :
d(E1 , E2 ) = inf{d(c1 , c2 ) | x1 ∈ E1 , x2 ∈ E2 }.

Attention, bien que souvent appelée « distance » entre E1 et E2 ce n’est pas une
distance sur les sous-ensembles de E.

Lemme 3.22. Il existe M > 0 tel que pour toutes applications f1 , f2 ∈ Bir(P2 )
telles que dĀ (f1 # (ℓ), f2 # (ℓ)) = 2, nous avons :
d(V(f1 ), V(f2 )) ≥ M.

Démonstration. Soient c ∈ V(f1 ) et c′ ∈ V(f2 ). Montrons que d(c, c′ ) ≥ M . Considérons le segment [c, c′ ]. Quitte à faire agir le germe de la cellule traversée juste
après V(f1 ), nous pouvons supposer que c’est la cellule associée à l’identité et que
la cellule V(f1 ) est adjacente à la cellule V(id). Notons c1 la classe du segment [c, c′ ]
qui se trouve dans l’intersection V(id) ∩ V(f1 ) et n son degré.
Considérons dans un premier temps le cas où la cellule V(f2 ) est quasi-adjacente
à V(id). Notons c2 la classe de l’intersection [c, c′ ] ∩ V(f2 ) qui minimise la distance
àc:
d(c, c2 ) ≤ d(c, y) pour tout y ∈ V(f2 ) ∩ [c, c′ ].

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

26

Reprenons la constante K > 1 du lemme 3.9 et posons M = K−1
3K . Montrons que
la distance entre c1 et c2 est supérieure ou égale à M . Supposons le contraire alors
par le lemme 3.20, nous obtenons :
1−

c1 · ℓ
≤ 2M.
c1 · f2 # (ℓ)

Or d’après le lemme 3.9, nous avons Kn ≤ c1 · f2 # (ℓ), ce qui implique la contradic2(K−1)
tion suivante K−1
K ≤ 2M =
3K .
Plaçons-nous maintenant dans le cas où la cellule V(f2 ) n’est pas quasi-adjacente
à V(id). Montrons qu’il existe trois cellules traversées par le segment [c, c′ ] ayant la
configuration précédente. Considérons les cellules traversées par le segment [c, c′ ] et
considérons le premier germe g tel que les cellules V(f1 ) et V(g1 ) soient à distance
2 dans le graphe de quasi-adjacence dĀ (f1 # (ℓ), g1 # (ℓ)) = 2. Par conséquent, celle
juste avant notée V(g) est à distance 1 de V(f1 ). Alors, les cellules V(g) et V(g1 ) sont
adjacentes entre elles et V(g) et V(f1 ) sont quasi-adjacentes entre elles. Nous nous
retrouvons dans le cas précédent où g remplace id, g1 remplace f1 et f1 remplace
f2 . Ceci achève la preuve du lemme.

Proposition 3.23. Pour toute constante L > 0, il existe B(L) > 0 tel que pour
tous c, c′ ∈ E vérifiant d(c, c′ ) ≤ L, le diamètre du graphe associé au segment est
borné par B(L) :
Diam(Ā[c,c′ ] ) ≤ B(L).
Démonstration. Paramétrons le segment [c, c′ ] par γ : [0, 1] → [c, c′ ] avec γ(0) = c
et γ(1) = c′ . Nous construisons une suite de points {ti }, et une suite d’applications
fi ∈ Bir(P2 ), par le procédé de récurrence suivant. Initialisons en posant t0 = 0, et
en choisissant f0 ∈ Bir(P2 ) tel que c = γ(0) ∈ V(f0 ). Pour i ≥ 1, supposons le point
ti−1 ∈ [0, 1[ construit et l’application fi−1 choisie. Si pour tout t ∈ [ti−1 , 1], toute
application f ∈ Bir(P2 ) telle que γ(t) ∈ V(f ) satisfait dĀ (fi−1 # (ℓ), fi # (ℓ)) ≤ 1,
alors nous posons ti = 1 et le procédé s’arrête. Sinon nous posons :
o
n
ti = inf t ∈]ti−1 , 1] | ∃f ∈ Bir(P2 ), γ(t) ∈ V(f ) et dĀ (fi−1 # (ℓ), fi # (ℓ)) = 2 .
Ensuite, nous choisissons fi ∈ Bir(P2 ) satisfaisant dĀ (fi−1 # (ℓ), fi # (ℓ)) = 2 et
γ(ti ) ∈ V(fi ). Si ti < 1, le lemme 3.22 implique qu’il existe une constante universelle M > 0 telle que d(γ(ti ), γ(ti−1 )) ≥ M . En conséquence, après un nombre
L
fini d’étapes le procédé s’arrête. Plus précisément, la suite possède au plus ⌈ M
⌉+1
termes. Posons pour tout i, ci = γ(ti ). Pour tout i ≥ 0 les sommets du sous-graphe
Ā[ci ,ci+1 [ sont par construction à distance 1 du sommet f¯i . Ainsi, le diamètre de ce
sous-graphe est borné :
Nous obtenons finalement :

Diam(Ā[ci ,ci+1 [ ) ≤ 1, 5.

L
⌉−1
⌈M

Diam(Ā[c,c′ ] ) ≤

X
i=0

Diam(Ā[ci ,ci+1 [ ) + Diam(Āc′ ) ≤ 1, 5 ×



L
M




+1 ,

L
ce qui achève la preuve de la proposition en posant B(L) = 1, 5 × (⌈ M
⌉ + 1).



GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

27

3.3.3. Hyperbolicité du graphe de quasi-adjacence. Nous pouvons maintenant appliquer le critère de Bowditch (Théorème 1.4) pour obtenir notre résultat principal.
Théorème 3.24. Le graphe de quasi-adjacence est hyperbolique au sens de Gromov.
√
Démonstration. Soit h = max(B(δ), B(17)) où δ = ln(1 + 2) est la constante
de Gromov-hyperbolicité de H∞ et B est l’application de la proposition 3.23. À
tous sommets f# (ℓ) et g# (ℓ) nous associons les sous-graphes construits dans la
sous-section 3.3.1 :
Ā(f# (ℓ), g# (ℓ)).
Par construction, pour tous f, g ∈ Bir(P2 ), les sommets f# (ℓ) et g# (ℓ) appartiennent
au sous-graphe Ā(f# (ℓ), g# (ℓ)). De plus d’après le corollaire 3.6, ce sous-graphe
Ā(f# (ℓ), g# (ℓ)) est connexe par arcs. Ceci prouve le point 1) du critère.
Montrons que le point 2) est vérifié. Considérons trois sommets f1 # (ℓ), f2 # (ℓ) et
f3 # (ℓ) du graphe de quasi-adjacence. Soit f# (ℓ) un sommet de Ā(f1 # (ℓ), f2 # (ℓ)).
Par construction, il existe une classe cf ∈ [f1 # (ℓ), f2 # (ℓ)] telle que f# (ℓ) est un
sommet du sous-graphe Ācf associé à cf . L’espace E étant δ-hyperbolique, il existe
une classe c2 ∈ [f1 # (ℓ), f3 # (ℓ)] ∪ [f2 # (ℓ), f3 # (ℓ)] telle que d(c2 , cf ) ≤ δ. Pour tout
sommet g# (ℓ) ∈ Āc2 ⊂ Ā(f2 # (ℓ), f3 # (ℓ)) ∪ Ā(f1 # (ℓ), f3 # (ℓ)), nous avons d’après la
proposition 3.23 :
dĀ (f# (ℓ), g# (ℓ)) ≤ Diam(Ā[cf ,c2 ] ) ≤ B(δ).
3.23
Ceci prouve le point 2).
Intéressons nous à présent au point 3). Soient f1 # (ℓ) et f2 # (ℓ) deux sommets
de Āc à distance inférieure ou égale à 1. Si les deux sommets sont identiques, la
condition 3) est immédiatement vérifiée puisque le sous-graphe associé à ces deux
sommets est réduit au sommet f1 # (ℓ). Supposons à présent que les deux sommets
f1 # (ℓ) et f2 # (ℓ) sont à distance 1. Nous voulons montrer que Ā(f1 # (ℓ), f2 # (ℓ)) est
de diamètre borné. Quitte à faire agir f2−1 , nous pouvons supposer que f2 = id et
que f1 est le germe d’une cellule quasi-adjacente à V(id). D’après le corollaire 0.2,
l’application f1 est soit une application de caractéristique Jonquières, soit elle n’est
pas de caractéristique Jonquières mais son inverse possède au plus 8 points-base
en position presque générale, soit ce n’est pas une application de caractéristique
Jonquières et son inverse possède exactement 9 points-base en position presque
générale. Nous distinguons ces trois cas.
• Si l’application f1 est de caractéristique Jonquières alors par le lemme [Lon17b,
Lemme 4.11], nous avons l’inclusion :
qui implique que

[ℓ, f1 # (ℓ)] ⊂ V(id) ∪ V(f1 )


Diam Ā(f1 # (ℓ), id# (ℓ)) ≤ 1, 5.

• Considérons le cas où l’application f1 n’est pas de caractéristique Jonquières et
son inverse possède au plus 8 points-base en position presque générale. C’est donc
le germe d’une cellule adjacente à la cellule V(id) (Corollaire 0.1). D’après [Lon17b,
Corollaire 4.9] le degré de f1 est inférieur ou égal à 17, ainsi la longueur du segment
géodésique [ℓ, f1 # (ℓ)] est inférieure ou égale à 17. La proposition 3.23 implique que
le diamètre de Ā(f1 # (ℓ), id# (ℓ)) est inférieur ou égal à B(17). Comme h ≥ B(17),
le point 3) du critère de Bowditch est vérifié dans ce cas-là.

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

28

• Considérons le dernier cas, celui où l’application f1 n’est pas de caractéristique
Jonquières et son inverse possède exactement 9 points-base en position presque générale. C’est le germe d’une cellule quasi-adjacente non adjacente à V(id) (Corollaire
0.2). Le segment reliant ℓ et f1 # (ℓ) est constitué de classes ayant exactement les 9
points-base de f1−1 comme support. En particulier, les classes de ce segment géodésique ne sont pas spéciales. Montrons que pour tout sommet g# (ℓ) de Ā[ℓ,f1 # (ℓ)]
la cellule V(g) possède dans son bord à l’infini la classe
X
s = 3ℓ −
ep
p∈Bs(f1−1 )

et est par conséquent à distance 1 du sommet id# (ℓ) dans le graphe de quasiadjacence. Le diamètre de Ā(f1 # (ℓ), id# (ℓ)) sera ainsi inférieur ou égal à 1, 5.
D’après la proposition 3.5, il existe un entier n ∈ N et une suite finie {ci }0≤i≤n
de classes du segment [ℓ, f1 # (ℓ)] telle que c0 = ℓ, cn = f1 # (ℓ) et
[
Ā[ℓ,f1 # (ℓ)] =
Āci ,
1≤i≤n

où l’intersection Āci ∩ Āci+1 est non-vide pour tout 0 ≤ i ≤ n − 1. Montrons par
récurrence sur n que tous les sommets de Āci ont la classe s dans leur bord à l’infini.
C’est le cas pour id# (ℓ) et Āℓ = {id# (ℓ)}. Supposons que le résultat soit vrai pour
ci−1 et montrons-le pour ci .
Soit f ∈ Bir(P2 ) telle que f# (ℓ) ∈ Āci−1 ∩ Āci . Par hypothèse de récurrence,
la classe s est dans le bord à l’infini de la cellule V(f ). D’après la proposition
[Lon17b, Proposition 5.16] cela implique que Bs(f −1 ) est inclus dans le support de
s. En utilisant le lemme [Lon17b, Lemme 5.15], nous obtenons que
X
X
f#−1 (ep )
eq −
f#−1 (s) = 3ℓ −
q∈Bs(f )

p∈supp(s)
p∈Bs(f
/
)

est une classe 9-symétrique appartenant au bord à l’infini de la cellule V(id). Soit
g ∈ Āci . La classe f#−1 (ci ) appartient à l’intersection des cellules V(id) ∩ V(f −1 ◦ g).
De plus, les supports de ci et de s étant les mêmes il en est de même des supports
de f#−1 (ci ) et de f#−1 (s). Par conséquent, d’après le théorème [Lon17b, Théorème
4.1], les points-base de f −1 ◦g sont inclus dans le support de f#−1 (s), ce qui implique
par la proposition [Lon17b, Proposition 5.16] que la classe f#−1 (s) est dans le bord
à l’infini de la cellule V(f −1 ◦ g). En appliquant f nous obtenons que la classe s est
dans le bord à l’infini de la cellule V(g) comme attendu. Ceci achève la preuve. 
Références
[AC02]
[BC16]
[BF02]
[BF14]
[BF18]
[BFJ08]

M. Alberich-Carramiñana – Geometry of the plane Cremona maps, Lecture Notes in
Mathematics, vol. 1769, Springer-Verlag, Berlin, 2002.
J. Blanc & S. Cantat – « Dynamical degrees of birational transformations of projective
surfaces », J. Amer. Math. Soc. 29 (2016), no. 2, p. 415–471.
M. Bestvina & K. Fujiwara – « Bounded cohomology of subgroups of mapping class
groups », Geometry and Topology 6 (2002), p. 69–89 (electronic).
M. Bestvina & M. Feighn – « Hyperbolicity of the complex of free factors », Adv.
Math. 256 (2014), p. 104–155.
J. Blanc & J.-P. Furter – « Length in the Cremona group », En préparation (2018).
S. Boucksom, C. Favre & M. Jonsson – « Degree growth of meromorphic surface
maps », Duke Math. J. 141 (2008), no. 3, p. 519–538.

GRAPHES ASSOCIÉS AU GROUPE DE CREMONA

[BH99]

[Bow14]
[Can11]
[Can17]
[CD12]
[CL13]
[DGO17]

[Fav10]

[GdlH90]

[HM13]
[Lon17a]
[Lon17b]
[MO15]
[Vog15]
[Wri92]

29

M. R. Bridson & A. Haefliger – Metric spaces of non-positive curvature, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical
Sciences], vol. 319, Springer-Verlag, Berlin, 1999.
B. H. Bowditch – « Uniform hyperbolicity of the curve graphs », Pacific J. Math. 269
(2014), no. 2, p. 269–280.
S. Cantat – « Sur les groupes de transformations birationnelles des surfaces », Annals
of Mathematics. Second Series 174 (2011), p. 299–340.
, « The Cremona groups », À paraître dans Proceedings of 2015 Summer Institute
on Algebraic Geometry, AMS Proceedings of Symposia in Pure Mathematics (2017).
S. Cantat & I. Dolgachev – « Rational surfaces with a large group of automorphisms », J. Amer. Math. Soc. 25 (2012), no. 3, p. 863–905.
S. Cantat & S. Lamy – « Normal subgroups in the Cremona group », Acta Math. 210
(2013), p. 31–94.
F. Dahmani, V. Guirardel & D. Osin – « Hyperbolically embedded subgroups and
rotating families in groups acting on hyperbolic spaces », Mem. Amer. Math. Soc. 245
(2017), no. 1156, p. v+152.
C. Favre – « Le groupe de Cremona et ses sous-groupes de type fini », Astérisque (2010),
no. 332, p. Exp. No. 998, vii, 11–43, Séminaire Bourbaki. Volume 2008/2009. Exposés
997–1011.
E. Ghys & P. de la Harpe – « Quasi-isométries et quasi-géodésiques », in Sur les
groupes hyperboliques d’après Mikhael Gromov (Bern, 1988), Progr. Math., vol. 83,
Birkhäuser Boston, Boston, MA, 1990, p. 79–102.
M. Handel & L. Mosher – « The free splitting complex of a free group, I : hyperbolicity », Geom. Topol. 17 (2013), no. 3, p. 1581–1672.
A. Lonjou – « Groupe de Cremona et espaces hyperboliques », Thèse (2017).
, « Pavage de Voronoï associé au groupe de Cremona », arXiv:1710.01368 (2017).
A. Minasyan & D. Osin – « Acylindrical hyperbolicity of groups acting on trees »,
Math. Ann. 362 (2015), no. 3-4, p. 1055–1105.
K. Vogtmann – « On the geometry of outer space », Bull. Amer. Math. Soc. (N.S.)
52 (2015), no. 1, p. 27–46.
D. Wright – « Two-dimensional Cremona groups acting on simplicial complexes »,
Trans. Amer. Math. Soc. 331 (1992), p. 281–300.

Universität Basel, Departement Mathematik und Informatik, Spiegelgasse 1, 4051
Basel, Switzerland
E-mail address: anne.lonjou@unibas.ch

