Co-Hopfianity is not a profinite property

En utilisant une version résiduellement finie de la construction de Rips de Wise, les auteurs exhibent deux groupes résiduellement finis de type fini ayant des complétés profinis isomorphes mais dont l'un est co-Hopfien tandis que l'autre ne l'est pas, démontrant ainsi que la propriété co-Hopfienne n'est pas préservée par complétion profinie.

L'essentiel

🕵️‍♂️ Le Grand Mystère : « L'empreinte digitale » des groupes

Imaginez que vous avez deux objets mystérieux, disons deux boîtes noires (que les mathématiciens appellent des groupes). Vous ne pouvez pas les ouvrir pour voir ce qu'il y a dedans. La seule chose que vous pouvez faire, c'est regarder toutes les petites fenêtres (les sous-groupes finis) que vous pouvez ouvrir sur leurs côtés.

En mathématiques, on appelle cela le complété profini. C'est comme l'empreinte digitale ou le profil génétique d'un groupe : il résume tout ce que le groupe peut devenir s'il est réduit à des versions finies.

La question centrale de l'article :
Si deux boîtes noires ont exactement la même empreinte digitale (les mêmes fenêtres ouvertes), sont-elles obligatoirement identiques à l'intérieur ? Plus précisément, si l'une possède une propriété mathématique spéciale (appelons-la « être co-Hopfien »), l'autre doit-elle aussi l'avoir ?

Les auteurs, Hyungryul Baik et Wonyong Jang, répondent par un grand NON. Ils prouvent que l'on peut avoir deux groupes qui semblent identiques de l'extérieur (même empreinte digitale), mais qui sont radicalement différents à l'intérieur.

---

🧱 Les deux protagonistes : G et H

Pour prouver leur point, les auteurs construisent deux groupes, G et H.

1. Le Groupe G : Le « Solide » (Co-Hopfien)

Imaginez G comme une sculpture en pierre très rigide et parfaite.

• Sa propriété spéciale : Elle est « co-Hopfienne ». En langage simple, cela signifie que vous ne pouvez pas trouver une copie de cette sculpture à l'intérieur d'elle-même qui soit plus petite. Si vous essayez de la plier ou de la comprimer pour qu'elle rentre dans un coin, elle se brise ou change de forme. Elle est unique et ne peut pas se « dupliquer » en version miniature à l'intérieur d'elle-même.
• Comment ils l'ont fait : Ils ont utilisé une recette spéciale (la construction de Rips) pour créer une structure hyperbolique (très courbée, comme une selle de cheval) qui est si solide qu'elle ne peut pas se plier sur elle-même.

2. Le Groupe H : Le « Caméléon » (Non co-Hopfien)

Maintenant, imaginez H. Il ressemble exactement à G quand on regarde ses fenêtres (son empreinte digitale), mais à l'intérieur, c'est une toute autre histoire.

• Sa propriété : Il n'est pas co-Hopfien. C'est comme un caméléon ou un puzzle magique. Vous pouvez prendre H, le plier, le tordre, et il rentre parfaitement dans une partie de lui-même, tout en restant identique à l'original. Il contient une copie de lui-même qui est plus petite.
• Le secret de H : Les auteurs ont construit H en prenant une partie spécifique de G (un sous-groupe) et en la manipulant. Ils ont trouvé un « levier » (un élément mathématique) qui permet de faire glisser H sur lui-même pour qu'il devienne plus petit, comme un accordéon qui se replie.

---

🎭 L'astuce de l'illusionniste : Comment ils ont fait ?

Voici la magie de leur construction, expliquée avec une analogie :

1. Le Maître des Illusions (Le groupe U) :
   Les auteurs commencent par un groupe très spécial, qu'ils appellent U. C'est un groupe « fantôme ».

   • Il est si complexe qu'il ne laisse aucune trace dans ses fenêtres (son empreinte digitale est vide, ou « triviale »).
   • Il a une propriété incroyable : il peut contenir n'importe quel autre groupe fini à l'intérieur de lui. C'est un « super-récipient ».

2. La Construction de G (La Tour) :
   Ils construisent G en utilisant U comme fondation. G est une tour solide, résistante, qui pointe vers le haut. Grâce à la rigidité de la tour, elle ne peut pas se replier sur elle-même (elle est co-Hopfienne).

3. La Construction de H (La Tour avec un ascenseur) :
   C'est ici que l'astuce opère. À l'intérieur de l'illusionniste U, ils trouvent une petite pièce A qui ressemble à U lui-même, mais qui est un peu plus petite. Ils trouvent aussi un bouton magique t qui, quand on l'appuie, fait glisser A pour qu'il devienne encore plus petit (une copie de lui-même).

   Ensuite, ils construisent H en prenant la partie de la tour G qui correspond à cette pièce A.

   • Comme A peut se replier sur lui-même grâce au bouton t, H peut aussi se replier sur lui-même.
   • H n'est donc pas co-Hopfien.

4. Le Coup de Magie Final (L'empreinte digitale) :
   Le plus beau dans tout cela, c'est que même si G est une tour solide et H est une tour qui se replie, leurs empreintes digitales sont identiques.

   • Pourquoi ? Parce que la différence entre eux réside dans la partie « fantôme » (le groupe U et ses sous-parties). Comme U ne laisse aucune trace dans les fenêtres finies, les différences entre G et H sont invisibles pour l'observateur extérieur.
   • C'est comme si vous aviez deux maisons : l'une avec des murs en béton (G) et l'autre avec des murs en papier pliable (H). Si vous ne regardez que la couleur de la porte et la forme des fenêtres (le complété profini), elles semblent identiques. Mais si vous essayez de plier les murs, l'une résiste et l'autre s'effondre.

---

💡 Pourquoi est-ce important ?

Avant ce papier, les mathématiciens pensaient peut-être que certaines propriétés géométriques (comme la rigidité ou la capacité à se replier) étaient intrinsèquement liées à l'empreinte digitale du groupe.

Ce papier dit : « Attention ! Ne vous fiez pas uniquement à l'empreinte digitale. »
Deux groupes peuvent être des jumeaux parfaits en termes de leurs versions finies, mais avoir des personnalités mathématiques totalement opposées. L'un est rigide, l'autre est flexible.

En résumé :
Les auteurs ont prouvé que la propriété « co-Hopfianité » (être incapable de se dupliquer en version miniature) n'est pas une propriété que l'on peut déduire simplement en regardant les fenêtres finies d'un groupe. C'est une preuve qu'il existe des mystères profonds cachés derrière les apparences mathématiques.

Résumé technique

Voici un résumé technique détaillé de l'article « CO-HOPFIANITY IS NOT A PROFINITE PROPERTY » de Hyungryul Baik et Wonyong Jang, rédigé en français.

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie géométrique des groupes, plus spécifiquement dans l'étude de la rigidité profinie. La question centrale est de déterminer dans quelle mesure la complétion profinie $\hat{\Gamma}$ d'un groupe $\Gamma$ (qui encode tous ses quotients finis) détermine les propriétés algébriques ou géométriques du groupe lui-même.

Une propriété de groupe $P$ est dite profinie si, pour deux groupes $\Gamma_1$ et $\Gamma_2$ finiment engendrés et résiduellement finis, l'isomorphisme de leurs complétions profinies ($\hat{\Gamma}_1 \cong \hat{\Gamma}_2$) implique que $\Gamma_1$ possède $P$ si et seulement si $\Gamma_2$ possède $P$.

Bien que certaines propriétés (comme être abélien, nilpotent, ou polycyclique) soient connues pour être profines, de nombreuses propriétés géométriques (comme l'amenabilité, la propriété (T) de Kazhdan, ou l'ordreabilité) ne le sont pas. Les auteurs se concentrent sur une propriété plus subtile : la co-Hopfianité.

• Un groupe est co-Hopfian s'il n'est isomorphe à aucun de ses sous-groupes propres (toute injection $G \to G$ est surjective).
• À l'inverse, un groupe est Hopfian si toute surjection $G \to G$ est un isomorphisme (les groupes résiduellement finis finiment engendrés sont toujours Hopfiens).

Objectif principal : Démontrer que la co-Hopfianité n'est pas une propriété profinie. Autrement dit, il existe deux groupes $G$ et $H$ finiment engendrés, résiduellement finis, ayant des complétions profinies isomorphes, tels que $G$ soit co-Hopfian alors que $H$ ne l'est pas.

2. Méthodologie et Construction

La preuve repose sur une construction ingénieuse combinant plusieurs outils avancés de la théorie des groupes :

A. La construction de Rips résiduellement finie (Wise)

Les auteurs utilisent une version améliorée de la construction de Rips due à D. Wise. Pour tout groupe $Q$ finiment présenté, il existe une suite exacte courte :
$$1 \to K \to G \xrightarrow{\pi} Q \to 1$$
où :

• $G$ est un groupe hyperbolique, sans torsion et résiduellement fini.
• $K$ (le noyau) est finiment engendré (généré par 3 éléments).

B. Le groupe universel acyclique (Bridson)

Le groupe quotient $Q$ est choisi comme étant un groupe spécifique $U$ construit par M. Bridson, possédant les propriétés suivantes :

1. $U$ est acyclique ($H_i(U, \mathbb{Z}) = 0$ pour tout $i \ge 1$).
2. Sa complétion profinie est triviale ($\hat{U} = 1$).
3. Il possède une propriété d'universalité : tout groupe finiment présenté s'injecte dans $U$.

C. La stratégie de construction des groupes $G$ et $H$

1. Construction de $G$ : On applique la construction de Rips avec $Q = U$. On obtient $1 \to K \to G \to U \to 1$.
   • Grâce au théorème de Sela, les groupes hyperboliques sans torsion et à une seule extrémité (one-ended) sont co-Hopfiens. Les auteurs montrent que $G$ satisfait ces conditions, donc $G$ est co-Hopfian.
2. Construction de $H$ : On exploite la propriété d'universalité de $U$.
   • On construit un sous-groupe $A < U$ et un élément $t \in U$ tels que $A \cong U$ mais $t^{-1}At \subsetneq A$ (un plongement propre par conjugaison).
   • On définit $H$ comme le sous-groupe de $G$ qui est l'image réciproque de $A$ par $\pi$ : $H = \pi^{-1}(A)$.
   • La conjugaison par un relèvement de $t$ dans $G$ induit un isomorphisme de $H$ vers un sous-groupe propre de $H$. Par conséquent, $H$ n'est pas co-Hopfian.

D. Preuve de l'isomorphisme des complétions profinies

Pour montrer que $\hat{G} \cong \hat{H}$, les auteurs utilisent un critère de Bridson–Grunewald (Lemme 2.5).

• Pour la suite $1 \to K \to G \to U \to 1$, comme$U$est acyclique ($H_2(U, \mathbb{Z})=0$) et que$\hat{U}=1$, l'inclusion induit un isomorphisme$\hat{K} \cong \hat{G}$.
• Pour la suite $1 \to K \to H \to A \to 1$, comme$A \cong U$, on a également$\hat{A} = 1$et$H_2(A, \mathbb{Z}) = 0$, ce qui implique$\hat{K} \cong \hat{H}$.
• Par transitivité, $\hat{G} \cong \hat{H}$.

3. Résultats Principaux

Le théorème principal (Théorème 3.1) établit l'existence de deux groupes $G$ et $H$ vérifiant :

1. $\hat{G} \cong \hat{H}$ (leurs complétions profinies sont isomorphes).
2. $G$ est co-Hopfian.
3. $H$ n'est pas co-Hopfian.

Conséquence directe : La co-Hopfianité n'est pas une propriété profinie.

Résultat secondaire (Proposition 2.9) :
Les auteurs démontrent également que l'hyperbolicité relative torale n'est pas une propriété profinie.

• $G$ est hyperbolique relatif (car il est hyperbolique).
• $K$ (le noyau de Rips) n'est pas de type fini (non finiment présenté) car $U$ est infini, donc $K$ ne peut pas être hyperbolique relative (ce qui exigerait qu'il soit de type fini).
• Puisque $\hat{G} \cong \hat{K}$, cette propriété géométrique n'est pas détectable par la complétion profinie.

4. Signification et Impact

• Réponse à une question ouverte : Ce travail complète la liste des propriétés qui ne sont pas profines, ajoutant la co-Hopfianité, une notion duale à la propriété Hopfienne (qui est préservée pour les groupes résiduellement finis).
• Nuance sur la rigidité : L'article souligne que la rigidité profinie est très fragile. Même pour des groupes "bien comportés" (finiment engendrés, résiduellement finis, hyperboliques), la structure fine (comme l'existence de plongements propres) peut être invisible pour la complétion profinie.
• Méthodologie innovante : L'approche est élégante car elle évite une analyse structurelle complexe du noyau de Rips. Au lieu de cela, elle utilise la conjugaison dans le groupe quotient $U$ pour forcer la non-co-Hopfianité de $H$ par simple préimage, rendant la preuve plus directe.
• Distinction importante : Les auteurs notent que dans des contextes restreints (comme les groupes virtuellement compacts et spéciaux), l'hyperbolicité relative torale est une propriété profinie (résultat de Zalesskii). Leur résultat montre que cette rigidité ne s'étend pas à la classe générale des groupes résiduellement finis.

En résumé, cet article démontre de manière définitive que la structure des sous-groupes isomorphes propres d'un groupe ne peut pas être déduite uniquement de la connaissance de ses quotients finis.