Diamonds: Homology and the Central Series of Groups

Résumé Technique : Diamonds – Homologie et Série Centrale des Groupes

1. Problématique et Contexte

Le papier s'attaque à une question fondamentale en théorie des groupes et en géométrie : dans quelle mesure un groupe $\Gamma$ est-il déterminé par ses homomorphismes vers une classe de groupes $\mathcal{C}$ ? Plus spécifiquement, les auteurs se concentrent sur la classe des groupes nilpotents.

Pour un groupe $\Gamma$, on note $N_j(\Gamma) = \Gamma / \Gamma_j$ le $j$-ième quotient nilpotent universel, où $\Gamma_j$ est le $j$-ième terme de la série centrale descendante. La question centrale est de savoir si deux groupes non isomorphes peuvent avoir des quotients nilpotents universels isomorphes pour tout $j$.

Historiquement, les travaux de Stallings (1965) ont établi que si un homomorphisme $\psi : \Gamma \to \Lambda$ induit un isomorphisme en homologie $H_1$ et une surjection en $H_2$, alors il induit des isomorphismes sur tous les quotients nilpotents $N_j$. Cependant, ce théorème nécessite un homomorphisme direct entre les deux groupes. Les auteurs cherchent à généraliser ce résultat à une configuration où aucun homomorphisme direct n'existe entre les deux groupes $\Gamma$ et $\Lambda$, mais où ils sont tous deux des sous-groupes d'un groupe ambiant $\Omega$ satisfaisant des conditions homologiques similaires.

2. Méthodologie : La Version « Diamant » de Stallings

La contribution méthodologique principale est l'établissement d'un analogue du théorème de Stallings pour une configuration en forme de « diamant ».

• Configuration : Soit $\Omega$ un groupe contenant deux sous-groupes $\Gamma$ et $\Lambda$. On considère le diagramme en forme de diamant :
  $$\begin{array}{ccc} & \Omega & \\ \Gamma & & \Lambda \\ & \Gamma \cap \Lambda & \end{array}$$
• Condition Homologique : Les auteurs supposent l'existence d'isomorphismes $\psi_1: H_1(\Gamma, \mathbb{Z}) \to H_1(\Lambda, \mathbb{Z})$ et $\psi_2: H_2(\Gamma, \mathbb{Z}) \to H_2(\Lambda, \mathbb{Z})$ qui commutent avec les applications induites par les inclusions dans $\Omega$ et $\Gamma \cap \Lambda$.
• Outils Techniques :
  • Séquence Spectrale de Lyndon-Hochschild-Serre (LHS) : Utilisée pour relier l'homologie du groupe total à celle des sous-groupes et des quotients.
  • Extensions Centrales et Cohomologie : L'analyse repose sur la correspondance entre les classes de cohomologie $H^2$ et les extensions centrales. Les auteurs utilisent des lemmes techniques (Lemmes 2.2 à 2.4) pour montrer que si les diagrammes de cohomologie commutent, alors les extensions centrales correspondantes sont isomorphes de manière unique.
  • Induction : La preuve procède par induction sur $j$. En supposant l'isomorphisme $N_j(\Gamma) \cong N_j(\Lambda)$ compatible avec la structure en diamant, ils déduisent l'isomorphisme pour $N_{j+1}(\Gamma) \cong N_{j+1}(\Lambda)$ en utilisant la suite exacte à 5 termes de la suite spectrale LHS et les propriétés des extensions centrales.

Théorème Principal (Théorème 1.9) : Si $\Gamma, \Lambda \le \Omega$ satisfont les conditions d'isomorphisme homologique en degrés 1 et 2 (compatibles avec le diamant), alors il existe une famille d'isomorphismes $\eta_j : N_j(\Gamma) \to N_j(\Lambda)$ pour tout $j \ge 0$, formant un diagramme commutatif avec les quotients de $\Omega$ et $\Gamma \cap \Lambda$.

3. Résultats Clés et Applications

Les auteurs appliquent ce théorème général pour construire des contre-exemples et des phénomènes de rigidité dans trois domaines distincts :

A. Géométrie Hyperbolique (Réels et Complexes)

• Construction : En utilisant des réseaux non arithmétiques et « larges » (contenant des sous-groupes libres de rang fini) dans les groupes d'isométrie de l'espace hyperbolique réel $\mathbb{H}^n$ ($n \ge 3$) et complexe $\mathbb{H}^n_{\mathbb{C}}$ ($n=2$), ils construisent des paires de sous-groupes $\Gamma, \Lambda$ qui sont $\mathbb{Z}$-équivalents par classes latérales (Z-coset equivalent).
• Résultat : Ils produisent des paires de variétés hyperboliques compactes (ou orbifolds) non isométriques $M_1, M_2$ dont les groupes fondamentaux sont résiduellement nilpotents et possèdent des quotients nilpotents universels isomorphes ($N_j(\pi_1(M_1)) \cong N_j(\pi_1(M_2))$).
• Signification : Ce sont les premiers exemples de groupes kleinien résiduellement nilpotents ayant un genre nilpotent arbitrairement grand. Cela contredit l'intuition selon laquelle la théorie de représentation nilpotente pourrait caractériser la variété.

B. Théorie de Galois et Corps de Nombres

• Construction : En s'appuyant sur une construction de Dipendra Prasad, les auteurs identifient des corps de nombres non isomorphes $K_1, K_2$ dont les groupes de Galois absolus $\Gamma_{K_1}, \Gamma_{K_2}$ satisfont les conditions du théorème principal.
• Résultat : Les quotients nilpotents universels des groupes de Galois absolus de ces corps non isomorphes sont isomorphes.
• Signification : Cela démontre que les quotients nilpotents ne sont pas anabéliens. Contrairement au résultat de Mochizuki (qui montre que l'action de Galois sur le groupe fondamental géométrique détermine la courbe hyperbolique), l'action de Galois sur les quotients nilpotents ne suffit pas à distinguer les courbes ou les corps.

C. Géométrie Algébrique (Courbes et Surfaces)

• Résultat : Pour une courbe projective lisse $X$ définie sur un corps de nombres, il existe des revêtements finis non isomorphes $Y_1, Y_2$ tels que les actions extérieures du groupe de Galois sur les quotients nilpotents de leurs groupes fondamentaux géométriques sont équivalentes.
• Signification : Cela montre une limitation de la théorie de représentation nilpotente dans le contexte anabélien : elle ne capture pas toute l'information géométrique nécessaire pour distinguer les variétés, contrairement à la théorie profinie complète ou à l'action sur le groupe fondamental complet.

4. Contributions Majeures

1. Généralisation du Théorème de Stallings : Passage d'un cadre morphologique direct ($\Gamma \to \Lambda$) à un cadre de sous-groupes commensurables dans un groupe ambiant ($\Gamma, \Lambda \le \Omega$), utilisant la structure en « diamant » et l'équivalence par classes latérales.
2. Construction Systématique : Fourniture d'une méthode générale pour générer des paires de groupes non isomorphes avec des quotients nilpotents identiques, dépassant les constructions ad hoc antérieures (comme les groupes parafree).
3. Limites de la Rigidité Anabélienne : Démonstration que la théorie de représentation nilpotente n'est pas un outil suffisant pour la rigidité anabélienne, contrairement à la théorie profinie ou à l'action de Galois sur le groupe fondamental complet.
4. Nouveaux Exemples en Topologie : Création des premiers exemples de variétés hyperboliques (réelles et complexes) non isométriques avec des groupes fondamentaux résiduellement nilpotents ayant le même spectre nilpotent.

5. Signification et Implications

Ce travail établit une frontière claire entre la puissance des invariants nilpotents et la structure complète des groupes fondamentaux en géométrie et en théorie des nombres. Il montre que l'information contenue dans la série centrale descendante est insuffisante pour distinguer des objets géométriques ou arithmétiques non isomorphes, même lorsque ces objets partagent des propriétés homologiques fortes et des actions de Galois compatibles.

Les résultats suggèrent que pour obtenir une rigidité complète (comme dans le théorème de Mostow ou les travaux de Mochizuki), il est nécessaire de considérer des structures plus riches que les quotients nilpotents, telles que les complétions profinies complètes ou les actions de Galois sur le groupe fondamental entier. De plus, la méthode du « diamant » ouvre de nouvelles perspectives pour l'étude des sous-groupes de réseaux dans les groupes de Lie simples et leurs propriétés de commensurabilité.