Diamonds: Homology and the Central Series of Groups

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei gruppi, della topologia geometrica e della teoria dei numeri, affrontando la questione fondamentale: in che misura un gruppo $\Gamma$ è determinato dai suoi omomorfismi verso una classe di gruppi $\mathcal{C}$?

In particolare, gli autori si concentrano sulla classe dei gruppi nilpotenti. Un gruppo è detto residuo-nilpotente se l'intersezione dei termini della sua serie centrale inferiore è banale. La domanda centrale è se due gruppi residuo-nilpotenti non isomorfi possano avere quozienti nilpotenti universali isomorfi (ovvero, se $N_j(\Gamma) \cong N_j(\Lambda)$ per ogni $j \geq 0$, ne consegue che $\Gamma \cong \Lambda$?).

Storicamente, per i gruppi liberi, Gilbert Baumslag (1967) ha dimostrato che la risposta è negativa, costruendo i cosiddetti "gruppi parafree" (gruppi non liberi con la stessa serie centrale inferiore di un gruppo libero). Tuttavia, esempi in contesti geometrici più rigidi (come gruppi fondamentali di varietà iperboliche o gruppi di Galois assoluti di campi numerici) erano assenti o meno noti.

2. Metodologia: Il "Teorema del Diamante" e la Generalizzazione di Stallings

Il cuore tecnico del paper è la generalizzazione di un celebre teorema di John Stallings (1965).

• Teorema di Stallings (Classico): Se $\psi: \Gamma \to \Lambda$ è un omomorfismo di gruppi tale che l'indotto in omologia $H_1(\Gamma, \mathbb{Z}) \to H_1(\Lambda, \mathbb{Z})$ è un isomorfismo e $H_2(\Gamma, \mathbb{Z}) \to H_2(\Lambda, \mathbb{Z})$ è suriettivo, allora $\psi$ induce isomorfismi su tutti i quozienti nilpotenti universali $N_j(\Gamma) \cong N_j(\Lambda)$.
• L'Innovazione (Teorema 1.9 - "Diamond Version"): Gli autori non partono da un omomorfismo diretto tra $\Gamma$ e $\Lambda$. Invece, considerano due sottogruppi $\Gamma, \Lambda$ contenuti in un gruppo "padre" $\Omega$ (formando un "diamante" di sottogruppi).
  • Condizione: Se $\Gamma$ e $\Lambda$ sono $\mathbb{Z}$-coset equivalenti in $\Omega$ (cioè i moduli $\mathbb{Z}[\Omega/\Gamma]$ e $\mathbb{Z}[\Omega/\Lambda]$ sono isomorfi come moduli $\mathbb{Z}[\Omega]$), allora le mappe indotte in omologia $H_k(\Gamma, \mathbb{Z}) \to H_k(\Lambda, \mathbb{Z})$ (compatibili con le mappe da $\Omega$ e $\Gamma \cap \Lambda$) sono isomorfismi per $k=1, 2$.
  • Risultato: Sotto queste condizioni omologiche, esiste un isomorfismo $\eta_j: N_j(\Gamma) \to N_j(\Lambda)$ per ogni $j \geq 0$, che commuta con le mappe indotte da $\Omega$ e $\Gamma \cap \Lambda$.

Strumenti Tecnici:
La dimostrazione utilizza la sequenza spettrale di Lyndon-Hochschild-Serre (LHS) per analizzare l'omologia dei gruppi estesi. Gli autori costruiscono diagrammi commutativi di estensioni centrali e utilizzano le proprietà dei moduli di coomologia $H^2$ per dimostrare l'esistenza di isomorfismi tra i quozienti nilpotenti passo dopo passo (induzione sulla serie centrale inferiore).

3. Contributi Chiave e Risultati Principali

L'applicazione di questo teorema generale porta a risultati sorprendenti in tre ambiti distinti:

A. Geometria Iperbolica (Reale e Complessa)

• Teorema 1.1 & 1.3: Gli autori costruiscono coppie di orbifold iperbolici (reali di dim $n \geq 3$ e complessi di dim 2) non isometrici, ma i cui gruppi fondamentali hanno quozienti nilpotenti universali isomorfi.
• Costruzione: Si basano su reticoli non-aritmetici "grandi" (large) in gruppi di Lie semplici. Utilizzando il fatto che esistono sottogruppi di indice finito che sono $\mathbb{Z}$-coset equivalenti ma non coniugati nel gruppo di Lie (grazie a lavori precedenti degli autori e di altri), generano coperture finite non isometriche.
• Corollario 1.2 & 1.4: Esistono varietà iperboliche chiuse (sia reali che complesse) con genere nilpotente arbitrariamente grande. Questo significa che per ogni $k$, esistono almeno $k$ varietà non isometriche con gruppi fondamentali che non possono essere distinti dai loro quozienti nilpotenti.
• Invarianti: Queste varietà condividono molti invarianti geometrici (volume, caratteristica di Eulero, spettro del Laplaciano, spettro delle lunghezze delle geodetiche), rendendo la distinzione basata solo sulla struttura nilpotente impossibile.

B. Teoria dei Campi Numerici (Gruppi di Galois)

• Corollario 1.5: Esistono campi numerici non isomorfi $K_1, K_2$ i cui gruppi di Galois assoluti $\Gamma_{K_1}, \Gamma_{K_2}$ hanno quozienti nilpotenti universali isomorfi.
• Significato: Questo dimostra che l'azione del gruppo di Galois sui quozienti nilpotenti non è sufficiente a determinare il campo. Contrasta con il teorema di Neukirch-Uchida (che afferma che il campo è determinato dal gruppo di Galois assoluto) e con i risultati di Uchida sui quozienti risolubili (3-step). Mostra che la teoria delle rappresentazioni nilpotenti non è "anabeliana".

C. Geometria Algebrica (Curve e Superfici)

• Corollario 1.6 & 1.7: Considerando curve proiettive lisce e superfici definite su un campo numerico, gli autori mostrano l'esistenza di coperture finite non isomorfe $Y_1, Y_2$ tali che le azioni esterne del gruppo di Galois sui quozienti nilpotenti dei loro gruppi fondamentali geometrici sono equivalenti.
• Contrasto con Mochizuki: Mentre Shinichi Mochizuki ha dimostrato che una curva iperbolica è determinata dal suo gruppo fondamentale algebrico (azione di Galois inclusa), questo lavoro mostra che la rappresentazione nilpotente (azione su $N_j(\pi_1)$) non è sufficiente a determinare la curva. La teoria nilpotente non è anabeliana.

4. Significato e Implicazioni

1. Nuovi Controesempi: Fornisce i primi esempi di gruppi Kleiniani residuo-nilpotenti non isomorfi con completamenti nilpotenti isomorfi, colmando un vuoto nella letteratura tra i gruppi liberi (parafree) e i gruppi geometrici rigidi.
2. Limiti della Rigidità Anabeliana: Dimostra che la proprietà di "anabelianità" (dove la geometria è codificata nel gruppo fondamentale) fallisce quando si considera solo la rappresentazione nilpotente. Anche se il gruppo fondamentale completo determina la varietà (come nel caso delle curve di Mochizuki), la sua "proiezione nilpotente" perde informazioni cruciali.
3. Metodologia Unificante: Introduce una potente tecnica basata sull'equivalenza dei coset ($\mathbb{Z}$-coset equivalence) per generare coppie di gruppi con proprietà omologiche identiche ma strutture globali diverse, applicabile in contesti molto diversi (topologia, teoria dei numeri, geometria algebrica).
4. Implicazioni per la Congettura di Bridson: I risultati offrono nuovi candidati per studiare la rigidità profinita. Sebbene i gruppi abbiano quozienti nilpotenti isomorfi, il paper suggerisce che potrebbero non essere isomorfi come gruppi profiniti completi, sfidando le congetture sulla rigidità dei gruppi fondamentali di varietà iperboliche.

In sintesi, il paper stabilisce un ponte teorico solido tra l'omologia dei gruppi e la struttura nilpotente, utilizzando questo ponte per costruire esempi "patologici" ma fondamentali che dimostrano i limiti della capacità dei quozienti nilpotenti di distinguere strutture geometriche e aritmetiche complesse.