Le problème de Wiegold et les produits libres de groupes ordonnables à gauche

Informations fondamentales

• ID de l'article: 2510.26073
• Titre: The Wiegold problem and free products of left-orderable groups
• Auteurs: Lvzhou Chen (Purdue University) et Yash Lodha (Purdue University)
• Classification: math.GR (Théorie des groupes), math.GT (Topologie géométrique)
• Date de publication: 30 octobre 2025 (prépublication arXiv)
• Lien de l'article: https://arxiv.org/abs/2510.26073

Résumé

Le rang normal (normal rank) ou poids (weight) d'un groupe supérieur à 1 signifie qu'aucun élément unique ne peut engendrer normalement le groupe. Le problème posé par Wiegold en 1976 demande s'il existe des groupes parfaits de type fini avec un rang normal supérieur à 1. Cet article démontre que tout produit libre non trivial de groupes ordonnables à gauche possède un rang normal supérieur à 1, résolvant ainsi le problème de Wiegold en considérant les produits libres de groupes parfaits ordonnables à gauche de type fini. Les auteurs obtiennent des estimations du rang normal par des arguments topologiques et démontrent une propriété de lacune spectrale pour une version non signée de la longueur de commutateur stable. L'élément clé de la preuve est une nouvelle construction ingénieuse de familles d'ordres à gauche sur le produit libre de deux groupes ordonnables à gauche.

Contexte et motivation de la recherche

1. Problème central

Un concept fondamental en théorie des groupes est le rang normal (normal rank) d'un groupe, défini comme la cardinalité minimale d'un ensemble d'éléments engendrant normalement le groupe. Pour le produit libre $G = A \star B$ de groupes, une question de longue date non résolue est : sous quelles conditions le rang normal est-il supérieur à 1 ?

2. Importance du problème

• Signification théorique: Le problème posé par Wiegold en 1976 (Problème FP14 dans BMS02, Problème 5.52 dans KM23) demande s'il existe des groupes parfaits (perfect group, c'est-à-dire égaux à leur sous-groupe dérivé) de type fini avec un rang normal supérieur à 1. Ce problème a peu progressé depuis sa formulation.
• Applications topologiques: Le rang normal est étroitement lié à la topologie des 3-variétés. Le rang normal de $\pi_1(M)$ est une borne inférieure du nombre de chirurgie de Dehn (Dehn surgery number) d'une 3-variété $M$. Le théorème de Lickorish-Wallace affirme que toute 3-variété fermée orientée connexe peut être obtenue par une chirurgie de Dehn sur un certain entrelacs à $n$ branches, le minimum de $n$ étant le nombre de chirurgie de Dehn.
• Conjectures connexes:
  • Conjecture de Gordon: Pour un produit libre $G = \star_{i \in I} A_i$ avec $|I| \geq 3$, le rang normal est toujours supérieur à 1
  • Conjecture de Scott-Wiegold: Cas particulier où les facteurs sont des groupes cycliques finis (prouvée par Howie)
  • Conjecture de la somme connexe triple: Le nombre de chirurgie de Dehn de la somme connexe de trois 3-variétés autres que $S^3$ est supérieur à 1

3. Limitations des méthodes existantes

• Pour le produit libre $G = A \star B$, les éléments de torsion peuvent entraîner un rang normal égal à 1. Par exemple, dans $G = \mathbb{Z}/2 \star \mathbb{Z}/3$, $w = ab$ engendre normalement le groupe entier.
• Depuis les années 1980, les résultats connus exigent des conditions plus fortes : chaque facteur libre doit être localement indicable (locally indicable, c'est-à-dire que tout sous-groupe de type fini non trivial surjecte sur $\mathbb{Z}$). Cependant, les groupes localement indicables ne peuvent pas être parfaits.
• On conjecture que le résultat vaut sous la condition sans torsion, mais les techniques de preuve manquent.

4. Motivation de cet article

Cet article résout le problème sous la condition d'ordonnabilité à gauche (left-orderable). Un groupe $G$ est ordonnable à gauche s'il existe un ordre total $<$ tel que $f < g$ implique $hf < hg$. Cette condition :

• Est plus forte que la condition sans torsion
• Est plus faible que la condition localement indicable
• Inclut une riche classe de groupes : groupes libres, groupes de surface, groupes de tresses, groupes fondamentaux de 3-variétés hyperboliques, etc.
• Admet de nombreux exemples de groupes parfaits ordonnables à gauche de type fini

Contributions principales

1. Résolution du problème de Wiegold: Démonstration de l'existence de groupes parfaits de type fini (voire de présentation finie) avec un rang normal supérieur à 1 (Théorème A).
2. Estimations du rang normal des produits libres: Preuve que tout produit libre non trivial $G = A \star B$ de groupes ordonnables à gauche a un rang normal supérieur à 1 (Théorème B). Plus précisément, pour tout $w \in G$ non conjugué à un élément de $A$, l'application naturelle $A \hookrightarrow A \star B$ induit une injection $A \hookrightarrow (A \star B)/\langle\langle w \rangle\rangle$.
3. Propriété de lacune spectrale: Établissement d'une propriété de lacune spectrale pour la version non signée de la longueur de commutateur stable (Théorème C). Pour une surface $w$-admissible $S$ avec bord incompressible (sans composantes de sphère ou disque), on a $-\chi(S) \geq \deg(S)$.
4. Construction d'empilements relatifs: Développement du concept d'empilement relatif (relative stacking) et théorie d'existence (Théorème E), une méthode ingénieuse pour construire des ordres à gauche spéciaux sur les produits libres.
5. Méthode d'arrangements dynamiques: Introduction de la technique des arrangements dynamiques (dynamical arrangements), construisant systématiquement des actions de groupes satisfaisant des systèmes d'équations et d'inéquations spécifiques.

Explication détaillée des méthodes

Définition de la tâche

Objectif: Démontrer que pour le produit libre $G = A \star B$ de groupes ordonnables à gauche, si $w \in G$ n'est pas conjugué à un élément de $A$, alors l'image de $A$ dans le groupe quotient $(A \star B)/\langle\langle w \rangle\rangle$ est non triviale.

Stratégie: Supposer qu'il existe $a \in A \setminus \{id\}$ tel que $a \in \langle\langle w \rangle\rangle$, c'est-à-dire qu'il existe une équation : $a = (g_1 w^{n_1} g_1^{-1})(g_2 w^{n_2} g_2^{-1}) \cdots (g_k w^{n_k} g_k^{-1})$ où $k \in \mathbb{Z}^+$, $g_i \in G$, $n_i \neq 0$. Dériver une contradiction par des arguments topologiques et de systèmes dynamiques.

Architecture du modèle

La preuve se divise en deux parties principales :

1. Argument topologique (Théorème D)

Définition des surfaces admissibles: Étant donné $w \in G$, une application $f: S \to X$ (où $X$ est un espace $K(G,1)$) est appelée surface $w$-admissible si :

• Chaque composante de bord représente soit une classe de conjugaison de $w^n$ ($n \neq 0$), soit une classe de conjugaison dans $A_i$
• Au moins une composante de bord est une $w$-composante

Degré: Une $w$-composante de bord représentant $w^n$ a un degré $|n|$, et le degré $\deg(S)$ d'une surface $S$ est la somme des degrés de toutes les $w$-composantes de bord.

Incompressibilité du bord: Une surface $(f,S)$ est compressible au bord s'il existe une sous-surface plongée $P \subset S$ homéomorphe à une sphère à trois trous (pair of pants), dont deux bords se trouvent sur le bord $w$ représentant respectivement $w^n$ et $w^{-m}$, et le troisième bord représente $w^{m-n}$ à l'intérieur de $S$.

Forme normale simplifiée: Toute surface $w$-admissible peut être simplifiée en forme normale simple, c'est-à-dire décomposée en une union de disques (disk-pieces) et d'anneaux (annulus-pieces). Chaque pièce $P$ a :

• Une valence $d(P)$ : nombre de segments du bord polygonal
• Un nombre de changements de signe $sc(P)$ : nombre de segments cohérents (consistent segments)

Formule de caractéristique d'Euler: Pour une surface $S$ en forme normale simple : $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right]$

2. Argument de systèmes dynamiques (Théorème E)

Définition d'empilement relatif: Pour un mot cycliquement réduit $w = a_1b_1 \cdots a_nb_n$, une action $\sigma: G \to \text{Homeo}^+(R)$ et un point $x \in \mathbb{R}$ constituent un empilement relatif si l'orbite de $x$ sous $w$$\Omega(w,x) = \{x \cdot \sigma(a_1b_1 \cdots a_ib_i) \mid 1 \leq i \leq n\} \cup \{x \cdot \sigma(a_1b_1 \cdots a_i) \mid 1 \leq i \leq n\}$ est stable, c'est-à-dire :

1. Chaque élément de $\Omega(w,x)$ apparaît exactement une fois
2. $x \cdot \sigma(w) = x$

Existence: Pour tout $w$ qui n'est pas une puissance propre (not a proper power), un empilement relatif existe.

Points techniques innovants

1. Orientation $\hat{\lambda}$ et changements de signe

À partir de l'empilement relatif, on obtient une valuation $\lambda: J_w \to \mathbb{R}$ (où $J_w$ est l'ensemble des points de jonction sur $S^1_w$), qui se rétracte en $\hat{\lambda}: J_S \to \mathbb{R}$ sur le bord de la surface. Ceci définit l'orientation $\hat{\lambda}$ de chaque arc $\gamma \in F$.

Lemme clé 4.5: Le nombre total de segments non cohérents (inconsistent segments) est au moins $2\deg(S)$, donc le nombre total de segments cohérents est au plus $(|w|-2)\deg(S)$.

Lemme clé 4.6: Pour chaque pièce $P$, le nombre de changements de signe $sc(P)$ est pair, et $sc(P) > 0$ pour les disques.

Corollaire 4.7: $sc(P) \geq 2\chi(P)$.

2. Preuve de l'inégalité de lacune spectrale

En combinant les lemmes ci-dessus : $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right] \geq \frac{1}{2}\sum_P [d(P) - sc(P)]$$\geq \frac{1}{2}[|w|\deg(S) - (|w|-2)\deg(S)] = \deg(S)$

3. Construction d'arrangements dynamiques

Intervalles chaînés (catenation): Tuples ordonnés $(I_1, J_1, \ldots, I_n, J_n)$, où chaque intervalle a longueur 2, avec des extrémités dans $\mathbb{Z}$, satisfaisant des conditions d'enchaînement spécifiques.

Lemmes 5.9 et 5.10: Pour un mot réduit $w = a_1b_1 \cdots a_kb_k$ et des intervalles chaînés, on peut construire une action telle que l'image d'un point spécifique sous $w$ tombe dans des plages désignées.

Résolution systématique: Par construction d'éclatement (blow-up), la résolution d'un système d'équations et d'inéquations se réduit à la construction d'actions satisfaisant des conditions d'inclusion et de disjonction spécifiques.

Lemme 5.3: Si des systèmes finis $\Lambda_1, \ldots, \Lambda_m$ sont chacun résolubles, alors leur système combiné $\Xi(\Lambda_1, \ldots, \Lambda_m)$ est résoluble.

4. Preuve d'existence d'empilements relatifs

Proposition 5.5: Pour tout $w$ qui n'est pas une puissance propre et tout préfixe propre $w_1$, il existe une action $\tau$ et un point $x$ tels que $x \cdot \tau(w) = x$ mais $x \cdot \tau(w_1) \neq x$.

La preuve se divise en deux cas :

• Cas 1: $w_1 = a_1b_1 \cdots a_k$
• Cas 2: $w_1 = a_1b_1 \cdots a_kb_k$ (nécessite $b_k \neq b_n$, utilisant la condition de non-puissance propre)

Par une construction d'arrangement dynamique soigneusement conçue, on construit un intervalle fermé $I$ tel que $I \cdot \sigma(w) \subseteq I$ mais $(I \cdot \sigma(w_1)) \cap I = \emptyset$. Le théorème des valeurs intermédiaires donne le point fixe requis.

Configuration expérimentale

Cet article est un article de mathématiques pures théoriques et n'implique pas de configuration expérimentale, d'ensembles de données ou d'expériences numériques. Tous les résultats sont obtenus par des preuves mathématiques rigoureuses.

Résultats expérimentaux

Cet article ne contient pas de résultats expérimentaux ; toutes les conclusions sont des théorèmes théoriques.

Travaux connexes

1. Résultats sur les groupes localement indicables

• Brodskĭı (1984), Howie (1981), Short (1983): Ont indépendamment prouvé que le Théorème B vaut quand chaque facteur libre est localement indicable. Cependant, les groupes localement indicables ne peuvent pas être parfaits.

2. Résultats analogues pour les extensions HNN

• Conjecture de Howie (Kervaire-Laudenbach): Pour $G = A \star \mathbb{Z}$, si $p(w) \neq 0$ (où $p: G \to \mathbb{Z}$ est la projection), alors $w$ n'engendre pas normalement $G$.
• Gerstenhaber-Rothaus (1962): Preuve quand $A$ est résiduellement fini
• Klyachko (1993): Preuve quand $A$ est sans torsion
• Chen (2025): Nouvelle méthode de preuve

3. Longueur de commutateur stable

• Duncan-Howie (1991): Problème de genre pour les produits à une relation
• Chen (2018), Chen-Heuer (2019), Heuer (2019): Lacunes spectrales de scl dans les produits libres et graphes de groupes
• Cet article étudie la version du degré non signé, nécessitant une condition d'ordonnabilité à gauche plus forte

4. Topologie des 3-variétés

• Gordon (1983): Conjecture sur le nombre de chirurgie de Dehn
• Auckly (1997), Hom-Karakurt-Lidman (2016), Liu-Piccirillo (2024): Estimations des bornes du nombre de chirurgie de Dehn
• Conjecture de l'espace L: Relation entre ordonnabilité à gauche et groupes fondamentaux de 3-variétés

5. Autres directions

• Osin-Thom (2013): Conjecture reliant rang normal et premier nombre de Betti $l^2$
• Monod-Ozawa-Thom (2012): Version du problème de Wiegold dans les irng

Conclusion et discussion

Conclusions principales

1. Théorème A: Il existe des groupes parfaits de type fini (voire de présentation finie) avec un rang normal supérieur à 1. Ceci résout complètement le problème posé par Wiegold en 1976.
2. Théorème B: Tout produit libre non trivial $G = A \star B$ de groupes ordonnables à gauche a un rang normal supérieur à 1.
3. Théorème C: Établissement d'une propriété de lacune spectrale : pour une surface $w$-admissible $S$ avec bord incompressible (sans composantes de sphère ou disque), $-\chi(S) \geq \deg(S)$.
4. Corollaire 6.1: Si $u \in G = A \star B$ n'est pas conjugué à un élément de $A$ ou $B$ et n'est pas une puissance propre, alors pour tout $k \geq 2$, l'image de $u$ dans $G/\langle\langle u^k \rangle\rangle$ a ordre $k$.

Limitations

1. Restrictions de conditions: Les résultats exigent que les facteurs libres soient ordonnables à gauche. Bien que ceci inclue une large classe de groupes, cela ne couvre pas tous les groupes sans torsion.
2. Nombre de facteurs: Le Théorème B traite seulement le cas de deux facteurs. Pour trois facteurs ou plus, la conjecture de Gordon reste ouverte.
3. Problème d'ordonnabilité à droite: La question 6.2 demande si le groupe quotient $G/\langle\langle w \rangle\rangle$ est sans torsion ou ordonnable à droite (quand $w$ n'est pas une puissance propre). Ceci a été résolu par Howie (1982) dans le cas localement indicable, mais reste inconnu dans le cas ordonnable à gauche.
4. Constructivité: La preuve d'existence d'empilements relatifs est constructive, mais le processus de construction est complexe et difficile à réaliser explicitement.

Directions futures

1. Question 1.1: Le rang normal du produit libre de $n$ groupes ordonnables à gauche non triviaux est-il au moins $n$ ? Une réponse affirmative impliquerait que le nombre de chirurgie de Dehn de la somme connexe de $n$ 3-variétés est au moins $n$.
2. Question 6.2: Étudier sous l'hypothèse d'ordonnabilité à gauche l'absence de torsion et l'ordonnabilité à droite du groupe quotient $G/\langle\langle w \rangle\rangle$.
3. Généralisation aux graphes de groupes: Étendre les méthodes d'empilements relatifs et d'arrangements dynamiques au cadre plus général des graphes de groupes.
4. Connexion avec les nombres de Betti $l^2$: Explorer la possibilité de la conjecture d'Osin-Thom dans le cas des groupes ordonnables à gauche.
5. Aspects computationnels: Développer des algorithmes pour déterminer si un élément donné d'un produit libre de groupes ordonnables à gauche engendre normalement le groupe.

Évaluation approfondie

Avantages

1. Percée majeure: Résolution d'un problème ouvert depuis près de 50 ans (problème de Wiegold), constituant un progrès important en théorie des groupes.
2. Innovation méthodologique:
   • Le concept d'empilement relatif convertit ingénieusement un problème algébrique en un problème de systèmes dynamiques
   • La technique d'arrangements dynamiques fournit un nouvel outil systématique pour construire des actions de groupes
   • Fusion parfaite d'arguments topologiques (estimations de caractéristique d'Euler) et d'arguments de systèmes dynamiques (construction d'actions)
3. Profondeur technique:
   • L'introduction de l'orientation $\hat{\lambda}$ et l'analyse du nombre de changements de signe révèlent une intuition géométrique profonde
   • Les méthodes d'éclatement et de résolution systématique (Lemme 5.3) ont une portée universelle
   • L'analyse minutieuse des deux cas (préfixes se terminant dans $A$ ou $B$) démontre la rigueur
4. Impact large:
   • Fournit de nombreux nouveaux exemples de groupes parfaits avec rang normal supérieur à 1
   • Applications directes à la topologie des 3-variétés (nombre de chirurgie de Dehn)
   • La méthode d'empilement relatif peut s'appliquer à d'autres problèmes en théorie des groupes
5. Qualité de rédaction: La structure de l'article est claire, progressant graduellement des exemples simples (Exemple 5.8) vers le cas général, facilitant la compréhension.

Insuffisances

1. Complexité technique:
   • La preuve d'existence d'empilements relatifs (Section 5) contient de nombreux détails techniques, particulièrement le traitement du Cas 2
   • La construction d'arrangements dynamiques nécessite une conception minutieuse des intervalles chaînés, manquant d'intuitivité
   • Certains lemmes (comme le Lemme 4.3) ont des preuves correctes mais très techniques
2. Restrictions de conditions:
   • L'ordonnabilité à gauche est une condition intermédiaire entre sans torsion et localement indicable ; idéalement, seule la condition sans torsion serait nécessaire
   • Traitement seulement du produit libre à deux facteurs, le cas multi-facteurs restant ouvert
3. Calculabilité:
   • Bien que la construction soit théorique, il n'y a pas de discussion sur comment calculer ou vérifier pratiquement si un groupe donné satisfait les conditions
   • La construction explicite d'empilements relatifs dans des exemples concrets pourrait être extrêmement complexe
4. Généralité:
   • Il n'est pas clair si la méthode peut se généraliser aux extensions HNN au-delà des graphes de groupes plus généraux
   • La relation avec la version signée de la longueur de commutateur stable pourrait être explorée davantage

Influence

1. Signification théorique:
   • Résolution d'un problème ouvert de longue date, sera cité dans les manuels de théorie des groupes
   • Les méthodes d'empilements relatifs et d'arrangements dynamiques pourraient devenir des outils standards pour étudier les actions de groupes
   • Fournit une nouvelle perspective pour l'étude du rang normal
2. Valeur applicative:
   • Contribution directe à la recherche sur le nombre de chirurgie de Dehn en topologie des 3-variétés
   • Peut fournir des intuitions pour d'autres problèmes connexes comme la conjecture de l'espace L
   • Les exemples de groupes parfaits ordonnables à gauche construits peuvent être utilisés dans d'autres recherches
3. Reproductibilité:
   • La preuve est entièrement théorique et peut être vérifiée étape par étape
   • L'énoncé des théorèmes principaux est clair et facile à citer
   • Les détails techniques, bien que complexes, sont complets

Scénarios d'application

1. Recherche en théorie des groupes:
   • Étude du rang normal des produits libres, extensions HNN et graphes de groupes
   • Construction de groupes parfaits avec des propriétés spécifiques
   • Étude de la théorie structurelle des groupes ordonnables à gauche
2. Topologie géométrique:
   • Estimation du nombre de chirurgie de Dehn des 3-variétés
   • Étude des espaces L et des groupes fondamentaux ordonnables à gauche
   • Analyse des sous-groupes de surface et des groupes à une relation
3. Systèmes dynamiques:
   • Construction d'actions de groupes avec des propriétés dynamiques spécifiques
   • Étude du groupe des homéomorphismes de la droite réelle
   • Analyse de la relation entre structures d'ordre et actions de groupes
4. Théorie combinatoire des groupes:
   • Étude des systèmes d'équations et d'inéquations dans les groupes
   • Analyse des variantes du problème des mots et du problème de conjugaison
   • Construction de contre-exemples et d'exemples pathologiques

Références

L'article cite une vaste littérature, dont les références clés incluent :

1. Problème de Wiegold: BMS02 Baumslag-Myasnikov-Shpilrain, KM23 Carnet de Kourovka
2. Groupes localement indicables: Bro84 Brodskĭı, How81 Howie, Sho83 Short
3. Groupes ordonnables à gauche: DNR14 Synthèse de Deroin-Navas-Rivas, GS87 Ghys-Sergiescu, HL19, HL25 Hyde-Lodha
4. Longueur de commutateur stable: Cal09 Calegari, Che18, Che20, Che25 Chen, DH91 Duncan-Howie
5. Topologie des 3-variétés: Gor83 Gordon, LP24 Liu-Piccirillo
6. Méthodes d'empilement: LW17 Louder-Wilton, Mil21 Millard

Résumé: Ceci est un article théorique de haute qualité résolvant un important problème ouvert, introduisant des techniques innovantes telles que les empilements relatifs et les arrangements dynamiques, combinant ingénieusement la topologie, les systèmes dynamiques et la théorie des groupes. Bien que les détails techniques soient complexes, la méthode possède une portée universelle et une profondeur significative, ayant un impact important sur la théorie des groupes et la topologie géométrique. La contribution principale de l'article réside non seulement dans la résolution du problème de Wiegold, mais aussi dans le développement de nouveaux outils potentiellement applicables à un éventail plus large de problèmes.