Graphe de groupes

En théorie géométrique des groupes, un graphe de groupes est une famille de groupes, indexée par les arêtes et les sommets d'un graphe, et munie de morphismes injectifs des groupes d'arêtes dans les groupes de sommets. Le groupe fondamental d'un graphe de groupes connexe fini agit sur un arbre, et l'on peut reconstituer le graphe de groupes à partir de l'espace des orbites et des groupes d'isotropie de cette action : c'est la théorie de Bass-Serre (en), due à Hyman Bass et Jean-Pierre Serre.

Définition modifier

Un graphe de groupes sur un graphe non orienté connexe (non nécessairement simple) est la donnée d'un groupe $G_{s}$ pour chaque sommet $s$ et, pour chaque arête $a$ , d'un groupe $G_{a}$ et de deux morphismes injectifs, de $G_{a}$ dans $G_{s}$ et $G_{s'}$ si $s$ et $s'$ sont les deux extrémités de $a$ .

Plus formellement et avec les notations de Serre, un graphe $Y$ est constitué d'un ensemble $S$ de sommets, d'un ensemble $A$ d'arêtes, d'une involution « arête opposée » : $A\to A,a\mapsto {\bar {a}}$ telle que ${\bar {a}}\neq a$ et d'une application « origine » : $A\to S,a\mapsto o(a)$ . Un graphe de groupes $G$ sur ce graphe $Y$ est alors la donnée d'un groupe $G_{s}$ pour chaque élément $s$ de $S$ et, pour chaque élément $a$ de $A$ , d'un groupe $G_{a}=G_{\bar {a}}$ et d'un morphisme injectif $\varphi _{a}:G_{a}\to G_{o(a)}$ .

Groupe fondamental modifier

Soit $T$ un arbre couvrant pour le graphe $Y$ . Le groupe fondamental $\Gamma$ du graphe de groupes $G$ sur $Y$ est le groupe défini par :

$\Gamma$ est engendré par les groupes de sommets $G_{s}$ et un générateur $a$ par arête;
${\bar {a}}=a^{-1}$ pour toute arête $a$ ;
$a\varphi _{a}(x)a^{-1}=\varphi _{\bar {a}}(x)$ pour toute arête $a$ et tout élément $x$ de $G_{a}$ ;
toute arête de $T$ est égale au neutre.

On démontre que cette définition ne dépend pas du choix de $T$ .

On peut avantageusement définir plutôt le groupoïde fondamental de $G$ ^[1], car il ne dépend pas d'un point de base ni d'un arbre. De plus, ses éléments possèdent une forme normale agréable, généralisant les cas d'un produit libre amalgamé ou d'une extension HNN^[2].

Théorème de structure modifier

Soient $Y$ , $G$ , $T$ , $\Gamma$ comme ci-dessus. On identifie les groupes de sommets et d'arêtes à leurs images dans $\Gamma$ . On peut alors définir un graphe dont l'ensemble de sommets (resp. des arêtes) est l'union disjointe de tous les ensembles quotients $\Gamma /G_{s}$ (resp. $\Gamma /G_{a}$ ). Ce graphe est un arbre, appelé l'« arbre revêtement universel », sur lequel $\Gamma$ agit avec $Y$ comme domaine fondamental. On retrouve $G$ comme le graphe de groupes donné par les sous-groupes stabilisateurs sur ce domaine fondamental.

Exemples modifier

Un graphe de groupes sur un graphe à une arête et deux sommets correspond à un produit libre amalgamé.
Un graphe de groupes sur un graphe à un seul sommet et une arête qui boucle sur ce sommet correspond à une extension HNN.

Généralisations modifier

La généralisation la plus simple de la notion de graphe de groupes est celle de complexe de groupes de dimension 2. Les prototypes sont les orbifolds issus d'une action proprement discontinue et cocompacte d'un groupe discret sur un complexe simplicial de dimension 2 ayant la structure d'un espace CAT(0), c'est-à-dire d'un espace de Hadamard (en). Le quotient pour cette action comporte un stabilisateur fini pour chaque sommet, chaque arête et chaque triangle, ainsi qu'un morphisme injectif pour chaque inclusion de simplexes. Un complexe de groupes de dimension 2 est dit développable s'il peut être obtenu de cette façon. C'est une condition de courbure négative, donc locale : elle est vérifiée si tous les cycles qui apparaissent dans les links (en) de sommets sont de longueur au moins 6. Ce type de complexe est apparu initialement dans la théorie des immeubles de Bruhat-Tits de dimension 2 ; leur définition générale et la poursuite de leur étude ont été inspirées par les idées de Gromov.

Notes et références modifier

↑ (en) P. J. Higgins, « The fundamental groupoid of a graph of groups », J. London Math. Soc., 2^e série, vol. 13, n^o 1,‎ 1976, p. 145–149 (DOI 10.1112/jlms/s2-13.1.145)
↑ (en) Hyman Bass, « Covering theory for graphs of groups », Journal of Pure and Applied Algebra, vol. 89, n^os 1-2,‎ 1993, p. 3–47 (DOI 10.1016/0022-4049(93)90085-8)

(en) Cet article est partiellement ou en totalité issu de l’article de Wikipédia en anglais intitulé « Graph of groups » (voir la liste des auteurs).
(en) Martin R. Bridson et André Haefliger, Metric Spaces of Non-Positive Curvature, Springer, coll. « GMW » (n^o 319), 1999 (ISBN 978-3-642-08399-0)
(en) Warren Dicks et M. J. Dunwoody, Groups Acting on Graphs, CUP, coll. « Cambridge Studies in Advanced Mathematics » (n^o 17), 1989 (ISBN 978-0-521-18000-9)
André Haefliger, « Orbi-espaces », dans Sur les groupes hyperboliques d'après Mikhael Gromov (Bern, 1988), Birkhäuser, coll. « Progress in Mathematics » (n^o 83), 1990 (ISBN 978-3-76433508-3), p. 203–213
Jean-Pierre Serre, Arbres, amalgames, SL(2), Astérisque, vol. 46, SMF, Paris, 1977

Portail des mathématiques

[1] (en) P. J. Higgins, « The fundamental groupoid of a graph of groups », J. London Math. Soc., 2^e série, vol. 13, n^o 1,‎ 1976, p. 145–149 (DOI 10.1112/jlms/s2-13.1.145)

[2] (en) Hyman Bass, « Covering theory for graphs of groups », Journal of Pure and Applied Algebra, vol. 89, n^os 1-2,‎ 1993, p. 3–47 (DOI 10.1016/0022-4049(93)90085-8)

[1]

[2]