Order-Preserving outer automorphisms of free and surface groups

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des groupes ordonnables, en particulier l'étude des groupes bi-ordonnables (groupes admettant un ordre total invariant par multiplication à gauche et à droite). Ce sujet est crucial en topologie de basse dimension, notamment dans le cadre de la conjecture des espaces L, qui relie l'ordonnabilité à gauche du groupe fondamental des 3-variétés rationnelles à leurs propriétés géométriques.

Le problème central abordé par les auteurs est la classification des sous-groupes finis d'automorphismes extérieurs ($Out(G)$) qui préservent une bi-ordre sur un groupe $G$, où $G$ est soit un groupe libre non abélien ($F_n$), soit le groupe fondamental d'une surface fermée (à l'exception du plan projectif réel et de la bouteille de Klein).

Une question spécifique, posée par Kin et Rolfsen, concerne l'existence de tresses (braids) dont la permutation sous-jacente est un cycle complet (full cycle) et qui préservent une bi-ordre sur le groupe libre associé. Jusqu'à présent, aucun exemple de ce type n'était connu pour des tresses d'ordre supérieur à 3 ou pour des cycles complets non triviaux.

2. Méthodologie

Les auteurs développent deux approches principales, l'une algébrique/topologique pour les automorphismes d'ordre fini, et l'autre algébrique/analytique pour les automorphismes d'ordre infini (notamment via les représentations de tresses).

A. Classification des automorphismes d'ordre fini

Pour les sous-groupes finis de $Out(G)$, les auteurs utilisent une combinaison de résultats classiques sur les groupes virtuellement libres et virtuellement de surface (Stallings, Eckmann, Linnell, Muller).

• Idée clé : Un sous-groupe fini $H \subset Out(G)$ préserve une bi-ordre si et seulement si son image réciproque complète dans $Aut(G)$, notée $\pi^{-1}(H)$, est sans torsion.
• Argument : Si $\pi^{-1}(H)$ contient un élément de torsion, l'action de cet élément sur $G$ ne peut pas préserver un ordre linéaire sur les orbites finies. Inversement, si le groupe est sans torsion, il est isomorphe à un groupe libre ou de surface bi-ordonnable, permettant de restreindre une bi-ordre du groupe étendu au groupe de base.

B. Critère pour les automorphismes d'ordre infini (Tresses)

Pour les automorphismes d'ordre infini, notamment ceux induits par l'action de tresses sur les groupes libres, les auteurs généralisent un critère de Perron et Rolfsen.

• Représentation de Burau : Ils utilisent la représentation de Burau réduite $\rho: B_n \to GL_{n-1}(\mathbb{Z}[t^{\pm 1}])$.
• Extension de corps : Le défi majeur est que les valeurs propres de la représentation de Burau vivent généralement dans une extension de corps qui n'est pas nécessairement ordonnable. Pour contourner cela, les auteurs étendent les coefficients du corps $\mathbb{Z}[t^{\pm 1}]$ vers le corps des séries de Puiseux réelles ($E$). Ce corps est réel clos et admet un ordre unique.
• Condition : Un automorphisme (ou une tresse) préserve une bi-ordre si toutes ses valeurs propres dans la représentation de Burau (étendue à $E$) sont positives dans l'ordre unique de $E$.
• Construction de l'ordre : Ils construisent explicitement une bi-ordre sur le noyau de l'application d'abélianisation en utilisant la série centrale descendante et en définissant des ordres lexicographiques sur les puissances tensorielles du module d'homologie, exploitant la positivité des valeurs propres.

3. Résultats Principaux

Théorème 1.3 : Classification des sous-groupes finis

Soit $G$ un groupe libre non abélien de type fini ou un groupe de surface bi-ordonnable. Un sous-groupe fini $H \le Out(G)$ préserve une bi-ordre si et seulement si son image réciproque $\pi^{-1}(H) \subset Aut(G)$ est sans torsion.

• Conséquence (Corollaire 1.4) : Il existe un algorithme pour décider si un sous-groupe fini donné de $Out(F_n)$ est préservateur d'ordre.
• Lien topologique : Ce résultat généralise la classification des tresses périodiques de Kin et Rolfsen et correspond algébriquement à la condition que l'espace total d'un fibré de Seifert associé soit localement trivial (sans points orbifolds).

Théorème 1.6 : Critère de Burau positif

Soit $\beta \in B_n$ une tresse. Si toutes les valeurs propres de sa représentation de Burau réduite $\rho(\beta)$, considérées dans le corps réel clos $E$ des séries de Puiseux, sont positives, alors $\beta$ préserve une bi-ordre sur le groupe libre $F_n$.

Théorème 1.8 et Corollaire 1.9 : Exemples de tresses à cycle complet

En appliquant le critère de Burau aux tresses à 3 brins ($B_3$), les auteurs classifient de nouvelles familles de tresses préservatrices d'ordre :

• Ils montrent que pour une tresse $\beta$ conjuguée à une forme spécifique $\sigma_1 \sigma_2^{-a_1} \dots \sigma_1 \sigma_2^{-a_k} \Delta^{2d}$, si $k$ et la somme des exposants sont pairs, alors $\beta$ est préservatrice d'ordre.
• Résultat majeur (Corollaire 1.9) : Pour toute tresse non périodique $\beta \in B_3$, le carré $\beta^2$ est une tresse préservatrice d'ordre.
• Réponse à la question de Kin et Rolfsen : Cela fournit les premiers exemples connus de tresses préservatrices d'ordre dont la permutation sous-jacente est un cycle complet (un 3-cycle). Cela réfute l'idée que de tels objets étaient rares ou inexistants.

Exemples sporadiques pour $n \ge 4$

Les auteurs présentent des exemples de tresses à 5, 7 et 9 brins avec permutation à cycle complet qui sont préservatrices d'ordre, en vérifiant numériquement la positivité des valeurs propres de Burau dans $E$. Ils notent également que pour un nombre pair de brins, une permutation à cycle complet ne peut pas avoir toutes ses valeurs propres positives (théorème 5.8), ce qui limite l'application de leur critère aux nombres impairs de brins.

4. Signification et Impact

• Avancée théorique : L'article établit un lien profond entre la théorie des représentations (valeurs propres de Burau dans des corps ordonnés) et la théorie des groupes ordonnables. La construction d'ordres via les séries de Puiseux et les puissances tensorielles est une contribution méthodologique significative.
• Résolution de problèmes ouverts : Il répond positivement à une question ouverte de Kin et Rolfsen concernant l'existence de tresses à cycle complet préservatrices d'ordre, démontrant qu'elles sont abondantes dans $B_3$.
• Nouvelles constructions : La méthode permet de générer de nouveaux exemples d'automorphismes extérieurs d'ordre infini préservant l'ordre, même lorsque les critères classiques (comme ceux de Perron-Rolfsen basés sur les valeurs propres réelles positives de l'abélianisation) échouent.
• Limites et conjectures : Les auteurs montrent que la réciproque du critère de Burau est fausse (il existe des tresses préservatrices d'ordre avec des valeurs propres négatives ou non réelles). Ils émettent la conjecture qu'une tresse préservatrice d'ordre doit avoir au moins une valeur propre positive, ce qui ouvrirait la voie à une classification plus complète.

En résumé, cet article fournit une classification complète pour les automorphismes d'ordre fini et un critère puissant et vérifiable pour les automorphismes d'ordre infini, enrichissant considérablement la compréhension de la bi-ordonnabilité des groupes fondamentaux en topologie de basse dimension.