Sur l’hyperbolicité de graphes associés au groupe de Cremona

main_thm_Wright_nonhyperbolique Le graphe de Wright n’est pas hyperbolique au sens de Gromov.

cor_cellule_adjacente L’ensemble des germes des cellules adjacentes à la cellule \mathcal{V}(\operatorname{id}) est constitué de toutes :

1. \bullet les applications de caractéristique Jonquières,

2. \bullet les applications qui possèdent au plus 8 points-base en position presque générale.

cor_cellules_quasi_adjacentes L’ensemble des germes des cellules quasi-adjacentes à la cellule \mathcal{V}(\operatorname{id}) est constitué de toutes :

1. \bullet les applications de caractéristique Jonquières,

2. \bullet les applications qui possèdent au plus 9 points-base en position presque générale.

Le graphe de quasi-adjacence est hyperbolique au sens de Gromov.

thm_longueur_application Pour tout f\in\operatorname{Bir}(\mathbb{P}^2), il existe une décomposition minimale en applications de caractéristique Jonquières:

telle que pour tout 1\leq i\leq n les points-base de \mathfrak{j}_i sont inclus dans les points-base de f\circ\mathfrak{j}_{1}^{-1} \circ\cdots\circ\mathfrak{j}_{i-1}^{-1}. De plus, pour tout 1\leq i\leq n,

où \mathfrak{j}_0=\operatorname{id}.

thm_bow Soient h\geq 0 et \Gamma un graphe connexe muni de la distance standard. Supposons que pour tous x et y appartenant à l’ensemble des sommets S(\Gamma), il existe un sous-graphe \Gamma(x,y) de \Gamma connexe par arcs vérifiant :

1. 1) critere_bow1 Pour tout x, y\in S(\Gamma), x, y\in\Gamma(x,y).

2. 2) critere_bow2 Pour tout x, y, z\in S(\Gamma), \Gamma(x,y)\subseteq \mathcal{N}_h(\Gamma(x,z)\cup\Gamma(y,z)) où \mathcal{N}_h signifie le h-voisinage tubulaire.

3. 3) critere_bow3 Pour tout x, y\in S(\Gamma) tels que \operatorname{d}(x,y)\leq 1, le diamètre de \Gamma(x,y) dans \Gamma est au plus h.

Alors \Gamma est \delta-hyperbolique avec \delta dépendant de h.

thm_quasi_isom_hyper Soient (X,\operatorname{d}_X) et (X',\operatorname{d}_{X'}) 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.

prop_quasiisom L’inclusion du graphe de Wright modifié dans le graphe de Wright donnée par l’application \operatorname{id} : \overline{f} \mapsto \overline{(\mathbb{P}^2,f)} est une quasi-isométrie.

lemme_mult_pt_base_comp_jonq Soient g\in\operatorname{Bir}(\mathbb{P}^2) et \mathfrak{j} une application de caractéristique Jonquières. Le nombre de multiplicités distinctes des points-base de g\circ\mathfrak{j} est inférieur ou égal à

lemme_ptbase_compose_jonquieres Soit \{\mathfrak{j}_n\}_{n\in\mathbb{N}^*} une suite d’applications de Jonquières. Pour tout n\in\mathbb{N}^* le nombre de multiplicités distinctes des points-base de \mathfrak{j}_1\circ\mathfrak{j}_2\circ\dots\circ \mathfrak{j}_n est inférieur ou égal à 2^{n+1}-2.

prop_diam_infini Le graphe de Wright modifié est de diamètre infini.

cor_Wright_infini Le graphe de Wright est de diamètre infini.

prop_formule_action_halphen À chaque élément de a\in\operatorname{K}_X^{\perp}/\langle\operatorname{K}_X\rangle est associé un automorphisme de X, et donc une isométrie \tau_a de \operatorname{Pic}(X) via la formule :

cor_degre_halphen Soient g_1 et g_2 les deux applications construites précédemment. Alors pour tous n,m\in\mathbb{Z} nous avons :

lemme_quadratique Si f_1 et f_2 sont deux applications du groupe de Cremona telles que le cardinal de \operatorname{Bs}(f_2)\cup\operatorname{Bs}(f_1^{-1}) est inférieur ou égal à 9 alors elles satisfont l’inégalité :

lemme_deg_fonction_longueur Soit h\in\operatorname{Bir}(\mathbb{P}^2) telle que h possède au plus 9 points-base. Nous avons alors :

thm_qi_gc_z2 Le graphe de Wright modifié possède un sous-graphe quasi-isométrique au graphe de Cayley de \mathbb{Z}^2, noté \mathcal{GC}(\mathbb{Z}^2). Plus précisément, en considérant les applications g_1,g_2\in\operatorname{Bir}(\mathbb{P}^2) construites précédemment, l’inclusion :

est une quasi-isométrie sur son image.

cor_wright_modif_pas_hyperbolique Le graphe de Wright modifié n’est pas Gromov-hyperbolique.

prop_qi_graphes L’application

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

prop_diam_infini_adjacent_etendu Le graphe de quasi-adjacence est de diamètre infini.

lemme_ptbase_compose_applibord_id Soit \{f_n\}_{n\in\mathbb{N}^*} une suite d’applications telle que pour tout n, f_n est soit une application de caractéristique Jonquières soit une application ayant au plus 9 points-base. Pour tout n\in\mathbb{N}^*, le nombre de multiplicités différentes de f_1\circ f_2\circ \dots\circ f_n est inférieur ou égal à 2^{n+3}-2.

prop_connexite Pour tous c,c'\in\mathcal{E}, il existe une suite finie \{c_i\}_{0\leq i\leq n} telle que

où pour tout 0\leq i\leq n-1 les sous-graphes \bar{\mathcal{A}}_{c_i} et \bar{\mathcal{A}}_{c_{i+1}} sont non-disjoints :

cor_connexite_par_arcs Pour tous c,c'\in\mathcal{E}, le sous-graphe \bar{\mathcal{A}}_{[c,c']} est connexe par arcs. En particulier, c’est le cas de \bar{\mathcal{A}}(f_{{\scriptscriptstyle{\#}}}(\ell),g_{{\scriptscriptstyle{\#}}}(\ell)) pour tous f,g\in\operatorname{Bir}(\mathbb{P}^2).

cor_sous-graphe_fini Pour tous c,c'\in\mathcal{E}, le diamètre de \bar{\mathcal{A}}_{[c,c']} est fini.

lemme_classe_speciale_mult Soit c=n\ell-\sum_{p\in\mathcal{B}(\mathbb{P}^2)}\lambda_pe_{p}\in \mathcal{V}(\operatorname{id}) une classe spéciale. Soient deux points r et q distincts de p_0 vérifiant \lambda_r \leq \lambda_q. Si p_0, q et r sont alignés ou le support d’une application quadratique, alors :

lemme_nbr_intersection Il existe K>1 telle que pour toute classe c_1\in\mathcal{V}(f_1)\cap\mathcal{V}(\operatorname{id}) de degré n et pour toute application f_2\in\operatorname{Bir}(\mathbb{P}^2) telle que \operatorname{d}_{\bar{\mathcal{A}}}(\operatorname{id}_{{\scriptscriptstyle{\#}}}(\ell),{f_2}_{{\scriptscriptstyle{\#}}}(\ell))=1 et \operatorname{d}_{\bar{\mathcal{A}}}({f_1}_{{\scriptscriptstyle{\#}}}(\ell),{f_2}_{{\scriptscriptstyle{\#}}}(\ell))\geq 2, nous avons l’inégalité :

S’il existe un point-base p de f_2^{-1} tel que \lambda_p\leq\frac{5n}{16} alors c_1\cdot {f_2}_{{\scriptscriptstyle{\#}}}(\ell)\geq \frac{49}{48}n.

Si \lambda_{p_0}\geq \frac{3n}{8} alors il existe un point-base p de f_2^{-1} tel que \lambda_p\leq\frac{5n}{16}.

fait_pt_min_f_2 Il existe un point-base de f_2^{-1}, p\in\operatorname{Bs}(f_2^{-1}), tel que pour tout point-base q\in\operatorname{Bs}(f_1^{-1}), les multiplicités associées satisfont : \lambda_p\leq \lambda_q.

Si \lambda_{p_0}< \frac{3n}{8} et si nous sommes dans le cas a) alors il existe un point-base p de f_2^{-1} tel que \lambda_p\leq\frac{5n}{16}.

Si \lambda_{p_0}< \frac{3n}{8} et si nous sommes dans le cas b) alors il existe un point-base p de f_2^{-1} tel que \lambda_p\leq\frac{5n}{16}.

Si \lambda_{p_0}< \frac{3n}{8} et si nous sommes dans le cas c) alors il existe un point-base p de f_2^{-1} tel que \lambda_p\leq\frac{5n}{16}.

Si \lambda_{p_0}< \frac{3n}{8} et si nous sommes dans le cas d) alors il existe un point-base p de f_2^{-1} tel que \lambda_p\leq\frac{5n}{16}.

lemme_dist_petite_nb_inter Soient c_1\in\mathcal{V}(\operatorname{id}), c_2\in\mathcal{E} et \varepsilon>0 tels que \operatorname{d}(c_1,c_2)\leq \varepsilon. Alors, pour toute application f_2\in\operatorname{Bir}(\mathbb{P}^2) telle que c_2\in\mathcal{V}(f_2), nous avons l’inégalité :

lemme_distance_cellules_disjointes Il existe M>0 tel que pour toutes applications f_1,f_2\in\operatorname{Bir}(\mathbb{P}^2) telles que \operatorname{d}_{\bar{\mathcal{A}}}({f_1}_{{\scriptscriptstyle{\#}}}(\ell),{f_2}_{{\scriptscriptstyle{\#}}}(\ell))= 2, nous avons :

prop_diam_borne_segment Pour toute constante L>0, il existe B(L)>0 tel que pour tous c,c'\in\mathcal{E} vérifiant \operatorname{d}(c,c')\leq L, le diamètre du graphe associé au segment est borné par B(L) :

Le graphe de quasi-adjacence est hyperbolique au sens de Gromov.