Groups acting on products of locally finite trees

Cet article examine les groupes finiment générés agissant proprement sur des produits finis d'arbres simpliciaux localement finis, en apportant des arguments en faveur de l'action des groupes de surfaces hyperboliques et en présentant une plongement explicite du groupe de surface hyperbolique de genre 2 dans $SL_2(\F_p(x,y))$.

L'essentiel

Imaginez que vous êtes un architecte de l'univers des groupes mathématiques. Votre mission est de comprendre comment ces groupes (qui sont comme des équipes d'ouvriers invisibles) peuvent se déplacer et interagir dans différents espaces géométriques.

Ce papier, écrit par J.O. Button, pose une question fascinante : Comment faire en sorte qu'une équipe complexe (un "groupe") puisse se promener proprement et sans heurts dans un espace fait de plusieurs arbres géants ?

Voici une explication simple, imagée, de ce que l'auteur a découvert.

1. Le décor : Des forêts et des grilles

Pour comprendre un groupe mathématique, les mathématiciens aiment le faire agir sur un "terrain de jeu".

• Le terrain idéal : Un seul arbre (au sens mathématique, un réseau de branches sans boucles). Si un groupe peut se déplacer librement sur un seul arbre, c'est qu'il est assez simple (comme une équipe de "groupes libres").
• Le défi : Certains groupes sont trop complexes pour un seul arbre. Ils ont besoin de plusieurs arbres reliés ensemble, comme un immeuble où chaque étage est un arbre différent. L'auteur s'intéresse aux groupes qui peuvent se déplacer sur un produit fini d'arbres (un espace multidimensionnel fait de branches).

Le problème est que l'auteur impose une règle stricte : les arbres doivent être localement finis.

• L'analogie : Imaginez un arbre où chaque nœud a un nombre fini de branches (disons 3 ou 4). C'est un arbre "normal". Si un nœud avait une infinité de branches, ce serait un arbre "sauvage" et infini. L'auteur veut savoir si les groupes complexes peuvent jouer sur des arbres "normaux" (localement finis) et non sur des arbres "sauvages".

2. Le problème des "Lampadaires" et des "Houghton"

L'auteur commence par tester différents types d'équipes (groupes) pour voir qui peut jouer sur ces forêts d'arbres.

• Les équipes qui réussissent : Les groupes "virtuellement libres" (des équipes qui ressemblent à des groupes simples) et certains groupes très exotiques comme les groupes de Burger-Mozes. Ils savent se faufiler entre les branches sans jamais se coincer.
• Les équipes qui échouent (Les Lampadaires) : Il y a un groupe célèbre appelé le "groupe des lampadaires" (lamplighter group). Imaginez un lampadaire qui peut s'allumer ou s'éteindre à l'infini le long d'une route. Ce groupe peut jouer sur un seul arbre "sauvage" (avec des branches infinies), mais il échoue totalement sur des arbres "normaux" (localement finis). C'est comme essayer de faire tenir un éléphant dans une boîte aux lettres : ça ne rentre pas.
• Les équipes de Houghton : Ce sont des groupes de permutations d'entiers. L'auteur montre qu'ils peuvent jouer sur un produit d'arbres, mais seulement si ces arbres sont "sauvages". Si on les force à jouer sur des arbres "normaux", ils se bloquent. C'est une preuve qu'il existe des limites strictes.

3. Le grand mystère : Les Surfaces Hyperboliques

Le cœur du papier concerne un groupe très spécial : le groupe fondamental d'une surface hyperbolique (comme un tore avec plusieurs trous, ou une "tarte à la pomme" avec des trous).

• Le mystère : On sait que ces groupes (appelons-les $S_g$) sont très puissants. On sait qu'ils peuvent jouer sur un seul arbre "sauvage" ou sur un produit d'arbres "sauvages". Mais peuvent-ils jouer sur un produit d'arbres "normaux" (localement finis) ?
• C'est une question ouverte depuis longtemps. Si la réponse est "oui", cela prouverait que ces groupes complexes ont une structure géométrique très élégante.

4. La solution : La magie des champs de nombres

L'auteur ne donne pas une réponse définitive "Oui" ou "Non" (le problème reste ouvert), mais il apporte des preuves très fortes que la réponse est probablement "Oui".

Comment ? En utilisant une astuce de "magie mathématique" :

1. Le terrain de jeu : Il utilise des arbres appelés "arbres de Bruhat-Tits". Ce sont des arbres spéciaux qui apparaissent quand on travaille avec des nombres dans des champs de caractéristique positive (des systèmes de nombres basés sur des nombres premiers, comme le système binaire mais avec des polynômes).
2. L'ingénierie : L'auteur construit une représentation explicite (une recette de cuisine mathématique) pour faire entrer le groupe de la surface ($S_2$, une surface à 2 trous) dans une matrice de nombres.
   • Imaginez que vous devez faire passer un éléphant (le groupe complexe) à travers une porte étroite (la matrice). L'auteur a trouvé la clé exacte pour le faire passer sans le coincer.
3. Le résultat : Il montre que pour n'importe quel nombre premier $p$, on peut faire entrer ce groupe dans un système de nombres $F_p(x, y)$.
   • L'analogie : C'est comme si on prouvait que l'éléphant peut entrer dans la boîte aux lettres, à condition de le plier d'une manière très précise et de changer la nature de la boîte (en utilisant des nombres "polynomiaux").

5. Pourquoi est-ce important ?

L'auteur dit : "Regardez ! J'ai réussi à faire entrer ce groupe complexe dans un système de nombres très économique (deux variables seulement). C'est la preuve la plus proche possible du fait qu'il peut jouer sur des arbres normaux."

• La conclusion : Bien qu'il n'ait pas encore construit l'action directe sur les arbres, il a construit les "plans d'architecte" (les matrices) qui rendent cette action extrêmement probable.
• L'implication : Si ce groupe peut jouer sur des arbres normaux, cela signifie que l'univers des groupes mathématiques est plus connecté et plus régulier qu'on ne le pensait. Cela pourrait aussi aider à résoudre d'autres énigmes, comme la question de savoir si tous les groupes "hyperboliques" contiennent une surface cachée à l'intérieur (une question célèbre de Gromov).

En résumé

C'est une histoire de puzzle géométrique.

• Le défi : Faire entrer des équipes mathématiques complexes dans des forêts d'arbres "normaux".
• L'obstacle : Certaines équipes (comme les lampadaires) sont trop grosses pour ces forêts.
• La découverte : Pour les équipes de surfaces (les plus mystérieuses), l'auteur a trouvé une clé mathématique (des matrices précises) qui suggère fortement qu'elles peuvent entrer dans la forêt, même si on ne l'a pas encore vu de ses propres yeux. C'est une preuve par l'ingéniosité numérique qui ouvre la voie vers une solution complète.

Résumé technique

Voici un résumé technique détaillé de l'article « Groups Acting on Products of Locally Finite Trees » de J.O. Button, rédigé en français.

1. Problématique et Contexte

L'article s'intéresse à la question fondamentale de la théorie des groupes géométriques : quels groupes finiment engendrés agissent proprement sur un produit fini d'arbres simpliciaux localement finis ?

• Contexte géométrique : Agir proprement et cocompactement sur un espace métrique géodésique bien comporté (comme un espace hyperbolique ou un espace CAT(0)) permet de déduire des propriétés algébriques fortes du groupe. Cependant, l'exigence de cocompactitude est très restrictive (elle implique que le groupe est de présentation finie).
• L'approche de l'auteur : L'auteur relâche la condition de cocompactitude pour ne demander qu'une action propre (les stabilisateurs des points sont finis). Cela permet d'étudier des groupes qui ne sont pas de présentation finie (comme les groupes de lamplighter) ou des sous-groupes de groupes agissant proprement.
• La contrainte spécifique : L'étude se concentre sur les arbres localement finis. Si l'on autorise des arbres quelconques, de nombreux groupes agissent proprement. La restriction aux arbres localement finis rend le problème beaucoup plus difficile et restreint la classe des groupes candidats.
• Question centrale : Le groupe fondamental $S_g$ d'une surface hyperbolique fermée de genre $g \ge 2$ (un groupe d'hyperbolique torsion-free) admet-il une action propre sur un produit fini d'arbres localement finis ? Ce problème a été soulevé dans des travaux antérieurs (notamment [11]) et reste ouvert.

2. Méthodologie

L'auteur utilise une combinaison d'outils de la théorie des groupes agissant sur les arbres (théorie de Bass-Serre), de la géométrie des espaces CAT(0) et de la théorie des représentations linéaires sur des corps de caractéristique positive.

1. Analyse des obstructions :

   • Utilisation des propriétés de point fixe (FA, FAlf, FAbv) pour identifier des groupes qui ne peuvent pas agir proprement (ex: groupes contenant des sous-groupes infinis avec la propriété FA).
   • Étude de la dimension asymptotique et des groupes de type "wreath product" ($F \wr \mathbb{Z}^n$).
   • Analyse des actions sur les produits d'arbres via les projections sur chaque facteur et l'intersection des stabilisateurs.

2. Construction d'actions via les arbres de Bass-Serre :

   • Utilisation de constructions de type "coset" et d'extensions HNN strictement ascendantes pour créer des actions sur des arbres (paraboliques ou focales) et les combiner pour obtenir des actions propres sur des produits.

3. Représentations linéaires et Arbres de Bruhat-Tits :

   • Lien crucial établi par la littérature : si un groupe $G$ s'injecte dans $PGL(2, K)$ où $K$ est un corps global de caractéristique positive, alors $G$ agit proprement sur un produit fini d'arbres de Bruhat-Tits associés aux valuations de $K$.
   • L'objectif devient donc de trouver une représentation fidèle explicite de $S_g$ dans $SL(2, K)$ pour un corps $K$ de la forme $\mathbb{F}_p(x, y)$.

4. Outils algébriques :

   • Utilisation du théorème de Shalen ([18]) sur les produits amalgamés pour construire des représentations fidèles de $S_2$ (qui est un produit amalgamé $F_2 *_{\mathbb{Z}} F_2$) à partir de représentations de groupes libres.
   • Analyse des valuations discrètes sur les corps de fonctions rationnelles pour garantir que les matrices générées agissent de manière loxodromique (et donc librement) sur les arbres de Bruhat-Tits.

3. Résultats Clés et Contributions

A. Obstructions et Exemples (Sections 2 et 3)

• Équivalence Localement Fini / Valence Bornée : Pour les groupes finiment engendrés, agir proprement sur un produit d'arbres localement finis est équivalent à agir proprement sur un produit d'arbres de valence bornée (Lemme 2.7).
• Contre-exemples :
  • Les groupes de Houghton ($H_n$) agissent proprement sur un produit de $n$ arbres, mais pas sur un produit d'arbres localement finis (Théorème 2.9).
  • Le groupe $F \wr \mathbb{Z}^2$ (produit en couronne) agit proprement sur un produit de 4 arbres, mais pas sur un produit d'arbres localement finis (Théorème 3.1). Cela contraste avec $F \wr \mathbb{Z}$ qui agit proprement sur un produit de 2 arbres localement finis.
• Obstruction pour les groupes hyperboliques : Le Théorème 4.4 établit une condition nécessaire forte : si un groupe $G$ (sans torsion, sans $\mathbb{Z} \times \mathbb{Z}$) agit proprement sur un produit d'arbres localement finis, alors pour tout élément non trivial $g$, il existe une action fidèle et minimale de $G$ sur un arbre localement fini où $g$ agit comme un élément loxodromique.

B. Représentations Explicites pour les Groupes de Surface (Section 5)

C'est la contribution majeure de l'article. L'auteur répond partiellement à la question de l'action de $S_g$ en construisant des représentations explicites.

• Théorème 5.4 : Pour tout nombre premier $p$ impair, le groupe de surface de genre 2 ($S_2$) admet une représentation fidèle explicite dans $SL(2, \mathbb{F}_p(x, y))$. L'auteur fournit les matrices $A, B, C, D$ générant ce groupe, satisfaisant la relation de surface $ABA^{-1}B^{-1} = DCD^{-1}C^{-1}$.
• Corollaire 5.5 : Extension du résultat au cas $p=2$ (caractéristique 2), avec des matrices explicites différentes adaptées aux contraintes de valuation dans ce corps.
• Corollaire 5.6 (Preuve de la condition nécessaire) : En utilisant ces représentations et la théorie des arbres de Bruhat-Tits, l'auteur montre que pour tout ensemble fini d'éléments non triviaux $\gamma_1, \dots, \gamma_m$ de $S_g$, il existe une action fidèle et minimale de $S_g$ sur un arbre localement fini où tous les $\gamma_i$ agissent de manière loxodromique.

4. Signification et Implications

1. Preuve en faveur de l'existence d'une action propre : Bien que l'article ne prouve pas définitivement que $S_g$ agit proprement sur un produit fini d'arbres localement finis, il fournit des preuves très fortes en ce sens. La construction d'une représentation fidèle dans $SL(2, \mathbb{F}_p(x, y))$ est l'étape la plus "économique" possible (corps de dimension de transcendance minimale) avant d'obtenir l'action propre.
2. Lien avec la conjecture de Gromov : La question de l'action de $S_g$ est liée à la célèbre question ouverte de Gromov : tout groupe hyperbolique non virtuellement libre contient-il un sous-groupe de surface ? Si un groupe hyperbolique agissait proprement sur un tel produit sans contenir de sous-groupe de surface, cela constituerait un contre-exemple à la conjecture de Gromov.
3. Méthodologie constructive : L'article démontre la puissance de combiner la théorie des groupes agissant sur les arbres avec les représentations linéaires sur des corps de fonctions. Les matrices explicites fournies permettent des vérifications computationnelles et ouvrent la voie à d'autres constructions.
4. Distinction des classes de groupes : L'article clarifie la frontière entre les groupes qui agissent proprement sur des produits d'arbres localement finis (comme les groupes de surface, les groupes de Coxeter virtuellement) et ceux qui ne le peuvent pas (comme certains produits en couronne ou groupes de Houghton), en reliant ces propriétés à la structure des sous-groupes et aux propriétés de point fixe.

En résumé, J.O. Button avance considérablement la compréhension de l'action des groupes hyperboliques sur les produits d'arbres en fournissant des obstructions claires et en construisant des représentations explicites pour les groupes de surface, suggérant fortement que ces groupes possèdent bien les actions propres recherchées.