Malnormal Subgroups of Finitely Presented Groups

Cet article démontre un raffinement du théorème d'embedding de Higman établissant qu'un groupe de type fini est récursivement présenté si et seulement s'il admet un embedding malnormal quasi-isométrique dans un groupe de type fini possédant la propriété d'extension de congruence, tout en précisant les conditions de décidabilité du problème des mots et en généralisant un résultat d'Ol'shanskii sur la préservation de la géométrie des mots.

L'essentiel

Imaginez que les mathématiques, et plus particulièrement la théorie des groupes, sont comme un immense labyrinthe de règles. Certains labyrinthes sont simples et bien définis (ce sont les groupes finiment présentés), tandis que d'autres sont des dédales infinis où les règles sont énumérées par un ordinateur, mais sans fin (les groupes récursivement présentés).

Le problème historique, résolu par Higman dans les années 60, était de savoir si l'on pouvait prendre n'importe quel labyrinthe infini (mais "calculable") et le glisser à l'intérieur d'un labyrinthe fini, sans le casser. C'est comme si vous pouviez mettre une forêt entière dans une boîte à chaussures sans que les arbres ne se touchent.

Francis Wagner, dans cet article, a non seulement confirmé que c'est possible, mais il a fait beaucoup mieux : il a construit une boîte à chaussures magique qui respecte des règles très strictes de sécurité et de géométrie.

Voici les trois grandes innovations de cette "boîte magique", expliquées avec des analogies :

1. La règle de l'Isolation (Malnormalité)

Imaginez que votre forêt (le groupe original) est placée dans la boîte. Dans les constructions précédentes, si vous preniez un arbre de la forêt et que vous le déplaciez un tout petit peu à l'intérieur de la boîte, il finissait souvent par toucher un autre arbre de la forêt, créant un chaos.

Wagner a conçu une boîte où les arbres de la forêt sont isolés. Si vous prenez un arbre et que vous le déplacez n'importe où ailleurs dans la boîte, il ne touche jamais un autre arbre de la forêt, sauf s'il reste exactement à sa place. C'est ce qu'on appelle une propriété "malnormale".

• L'analogie : C'est comme si chaque arbre de votre forêt avait son propre champ de force personnel. Si vous essayez de le déplacer, le champ de force repousse tout ce qui n'est pas lui-même. Cela garantit que la forêt garde son identité pure, même à l'intérieur de la boîte.

2. La règle de la Géométrie Fidèle (Distortion)

Parfois, quand on met un objet dans une boîte, il se déforme. Un cercle peut devenir une ellipse, ou une ligne droite peut devenir une courbe sinueuse. En mathématiques, cela s'appelle la "distorsion".

Wagner a construit sa boîte de telle sorte que la distance entre deux points dans la forêt reste exactement la même, que vous la mesuriez dans la forêt elle-même ou à l'intérieur de la boîte.

• L'analogie : Imaginez que vous mettez une carte routière dans une boîte. Dans les anciennes boîtes, les routes s'étiraient ou se rétrécissaient bizarrement. Dans la boîte de Wagner, si vous marchez 10 pas dans la forêt, vous marchez exactement 10 pas dans la boîte. La géométrie est préservée à l'identique.

3. La règle du "Téléphone Arabe" (Propriété de Extension de Congruence)

C'est la partie la plus subtile. Imaginez que vous avez un code secret (un groupe) et que vous voulez le transmettre à quelqu'un d'autre, mais en passant par un intermédiaire (la boîte). Souvent, l'intermédiaire peut modifier le code ou empêcher certaines transmissions.

Wagner a prouvé que sa boîte permet de transmettre n'importe quel message (n'importe quelle relation mathématique) de la forêt vers l'extérieur sans le déformer. Si deux arbres de la forêt sont liés par une règle, cette règle reste vraie même si on la regarde à travers la boîte.

• L'analogie : C'est comme un traducteur parfait. Si vous chuchotez un secret dans la forêt, et que quelqu'un l'écoute à travers la boîte, il entend exactement le même secret, sans bruit ni erreur.

Le Secret de la Machine : Les "S-Machines Bruyantes"

Comment Wagner a-t-il réussi à construire cette boîte parfaite ? Il a utilisé une invention qu'il appelle des "S-machines bruyantes".

• Les S-machines classiques : Ce sont des robots mathématiques qui calculent des choses. Ils sont très précis, mais un peu rigides.
• Le "Bruit" : Wagner a ajouté un peu de "bruit" à ces robots. Imaginez que le robot tape sur un clavier, mais qu'en plus des lettres qu'il veut écrire, il ajoute parfois des lettres aléatoires (du bruit) autour d'elles.
• Pourquoi le bruit aide ? Paradoxalement, ce bruit est ce qui permet d'isoler la forêt (la malnormalité). Le bruit agit comme une barrière de sécurité qui empêche les éléments de la forêt de se mélanger avec le reste de la boîte. Mais Wagner a appris à contrôler ce bruit pour qu'il ne déforme pas la géométrie (la distance).

Pourquoi est-ce important ?

Avant ce travail, les mathématiciens savaient qu'on pouvait mettre ces groupes infinis dans des groupes finis, mais c'était comme mettre un diamant dans du béton : ça tenait, mais c'était sale et déformé.

Wagner a montré qu'on peut mettre ce diamant dans un écrin de velours parfaitement ajusté, où il brille exactement comme avant, où il est protégé par des champs de force invisibles, et où il peut communiquer parfaitement avec le monde extérieur.

De plus, il a prouvé que si le problème de départ était "décidable" (c'est-à-dire qu'un ordinateur pouvait trouver la réponse), alors la boîte finale le sera aussi. C'est une victoire majeure pour la logique et l'informatique théorique, car cela signifie que l'on peut transformer des problèmes complexes en problèmes finis sans perdre la capacité de les résoudre.

En résumé : Wagner a construit un pont mathématique parfait entre l'infini calculable et le fini, un pont où la structure, la distance et la sécurité sont préservées grâce à une astuce ingénieuse consistant à ajouter un peu de "bruit" contrôlé.

Résumé technique

Voici un résumé technique détaillé du papier de Francis Wagner, intitulé « Malnormal Subgroups of Finitely Presented Groups » (Sous-groupes malnormaux de groupes de type fini).

1. Problématique et Contexte

Le point de départ de ce travail est le célèbre théorème d'embedding de Higman, qui établit une équivalence fondamentale entre une propriété algébrique (être isomorphe à un sous-groupe d'un groupe de présentation finie) et une propriété algorithmique (posséder une présentation récursive).

Cependant, les constructions classiques de Higman ne préservent pas nécessairement d'autres propriétés géométriques ou algorithmiques importantes. Des raffinements antérieurs ont été proposés par Clapham (préservation de la décidabilité du problème du mot), Ol'shanskii (embedding bi-Lipschitz/quasi-isométrique), et d'autres pour le problème de conjugaison ou l'asphéricité.

La question ouverte adressée dans ce papier, posée par D. Osin (et mentionnée par Sapir), est la suivante : Existe-t-il un raffinement du théorème de Higman qui garantit que le sous-groupe plongé est malnormal ?

Un sous-groupe $G$ d'un groupe $H$ est dit malnormal si pour tout $h \in H \setminus G$, l'intersection $h^{-1}Gh \cap G$ est triviale. Cette propriété est cruciale dans l'étude des groupes hyperboliques, des groupes relativement hyperboliques et des groupes de courbure négative.

2. Méthodologie et Outils Principaux

L'auteur développe une construction complexe reposant sur une généralisation des machines S (S-machines), un modèle de calcul introduit par Sapir, Birget et Rips pour construire des groupes de présentation finie avec des propriétés géométriques spécifiques.

A. Les Machines S « Bruyantes » (Noisy S-machines)

La contribution méthodologique centrale est l'introduction des machines S bruyantes.

• Concept : Contrairement aux machines S classiques qui appliquent des règles de réécriture standard, les machines bruyantes permettent d'appliquer des automorphismes prédéfinis sur les mots écrits sur les bandes (tapes).
• Mécanisme du « bruit » : Lors d'une transition, le système introduit des « lettres de bruit » (notées $B$) à côté des lettres de la bande principale. Ces lettres sont encodées de manière à ce que les règles ne puissent pas conjuguer un mot sur la bande principale à un autre mot sans que le bruit ne s'annule, ce qui est impossible sauf si la séquence de règles est triviale.
• Objectif : Ce mécanisme de bruit force la malnormalité du sous-groupe plongé en empêchant les relations de conjugaison non triviales entre les éléments du sous-groupe et les éléments du groupe ambiant.

B. Architecture de la Construction

La construction s'effectue en plusieurs étapes hiérarchiques :

1. Préparation du groupe initial : Transformation d'un groupe $R$ récursivement présenté en un groupe $R_C$ avec des propriétés combinatoires favorables (Lemmes 3.1-3.5).
2. Construction des machines auxiliaires :
   • $M_A^1$ : Une machine bruyante conçue spécifiquement pour garantir la malnormalité via le mécanisme de bruit.
   • $M_L^2$ : Une machine simulant une machine de Turing non déterministe qui énumère les relations de $R$.
   • $M_L^3, M_L^4, M_L^5, M_L^6$ : Des compositions et symétries de ces machines (incluant des copies réfléchies et des structures cycliques) pour créer la machine principale $M_L$.
3. Groupe associé : Le groupe $G(ML)$ est défini à partir de la machine $M_L$ en ajoutant des relations de « disque » (disk relations) correspondant aux configurations acceptées par la machine.

C. Analyse Diagrammatique

L'auteur utilise intensivement les diagrammes de van Kampen et les diagrammes annulaires (Schupp diagrams) pour prouver les propriétés du groupe résultant.

• Technique de transposition : Une méthode clé pour déplacer des bandes ($\theta$-bands) à travers des cellules ($a$-cells) ou des disques, permettant de réduire la complexité des diagrammes.
• Fonctions de poids : Introduction de fonctions de poids sur les cellules des diagrammes pour borner l'aire (Dehn function) et prouver la décidabilité du problème du mot.
• Graphes auxiliaires : Construction de graphes planaires ($\Gamma_a(\Delta)$, $\Gamma(\Delta)$) reliant les cellules et les disques pour appliquer des arguments de caractéristique d'Euler et prouver l'absence de certaines configurations (comme les anneaux $\theta$).

3. Résultats Principaux

Le papier établit deux théorèmes majeurs :

Théorème A (Cas général)

Un groupe de type fini $G$ est récursivement présenté si et seulement s'il existe un plongement $G \hookrightarrow H$ tel que :

1. $H$ est un groupe de présentation finie.
2. $G$ est un sous-groupe malnormal de $H$.
3. $G$ satisfait la propriété d'extension de congruence (CEP) : pour tout épimorphisme $\epsilon: G \to G_1$, il existe un épimorphisme $\bar{\epsilon}: H \to H_1$ tel que $\bar{\epsilon}|_G = \epsilon$.
4. La restriction de la longueur du mot dans $H$ à $G$ est équivalente à la longueur du mot dans $G$ (plongement quasi-isométrique / non déformé).
5. Le problème du mot de $H$ est décidable si et seulement si celui de $G$ l'est.

Corollaire B (Cas des groupes dénombrables)

Pour tout groupe dénombrable $G$ et toute fonction de longueur calculable $\ell: G \to \mathbb{N}$ satisfaisant certaines conditions, il existe un plongement malnormal de $G$ dans un groupe de présentation finie $H$ tel que la restriction de la longueur dans $H$ soit équivalente à $\ell$. Cela affine un résultat d'Ol'shanskii.

4. Contributions Clés et Innovations

1. Résolution de la question d'Osin : Le papier répond positivement à la question de savoir si le théorème de Higman peut être raffiné pour inclure la malnormalité.
2. Première intégration de la CEP : C'est la première raffinement du théorème de Higman qui préserve simultanément la malnormalité et la propriété d'extension de congruence (CEP).
3. Contrôle de la déformation (Distortion) : La construction garantit que le sous-groupe est non déformé (quasi-isométrique), ce qui est non trivial dans les constructions de type Higman.
4. Nouveau modèle computationnel : L'introduction des « machines S bruyantes » offre un nouvel outil puissant pour contrôler la géométrie des groupes (notamment la malnormalité) tout en conservant la capacité de simuler des calculs complexes.
5. Décidabilité du problème du mot : L'auteur montre que si le problème du mot du groupe initial est décidable, celui du groupe ambiant l'est aussi, en fournissant une borne supérieure calculable pour la fonction de Dehn du groupe résultant.

5. Signification et Impact

Ce travail représente une avancée significative dans la théorie géométrique des groupes et la théorie algorithmique :

• Unification des propriétés : Il démontre qu'il est possible d'encoder des groupes complexes (récursivement présentés) dans des groupes de présentation finie tout en préservant une combinaison stricte de propriétés algébriques (malnormalité, CEP), géométriques (non déformation) et algorithmiques (décidabilité).
• Outils pour les groupes hyperboliques : La malnormalité étant une propriété centrale dans la théorie des groupes relativement hyperboliques, ce résultat permet de construire de nouveaux exemples de sous-groupes malnormaux dans des groupes de présentation finie, enrichissant la compréhension de la structure de ces groupes.
• Réfutation de l'intuition de perte de contrôle : Les relations de type « Baumslag-Solitar » introduites par le « bruit » sont souvent associées à une perte de contrôle sur la fonction de Dehn (croissance exponentielle). L'auteur montre cependant que, malgré cette complexité, une borne calculable peut être obtenue, permettant de préserver la décidabilité du problème du mot.

En résumé, Francis Wagner fournit une construction robuste et sophistiquée qui comble un vide théorique majeur, offrant un cadre unifié pour l'embedding de groupes avec des propriétés de malnormalité et de contrôle géométrique précis.