Il problema di Wiegold e i prodotti liberi di gruppi ordinabili a sinistra

Informazioni di base

• ID articolo: 2510.26073
• Titolo: Il problema di Wiegold e i prodotti liberi di gruppi ordinabili a sinistra
• Autori: Lvzhou Chen (Purdue University) e Yash Lodha (Purdue University)
• Classificazione: math.GR (Teoria dei Gruppi), math.GT (Topologia Geometrica)
• Data di pubblicazione: 30 ottobre 2025 (preprint arXiv)
• Link articolo: https://arxiv.org/abs/2510.26073

Riassunto

Il rango normale (normal rank) o peso (weight) di un gruppo maggiore di 1 significa che nessun singolo elemento può generare normalmente il gruppo. Nel 1976, Wiegold pose il problema se esistessero gruppi perfetti finitamente generati con rango normale maggiore di 1. Questo articolo dimostra che il prodotto libero di qualsiasi gruppo ordinabile a sinistra non banale ha rango normale maggiore di 1, risolvendo così il problema di Wiegold prendendo il prodotto libero di gruppi perfetti ordinabili a sinistra finitamente generati. Gli autori ottengono stime del rango normale attraverso argomenti topologici, provando una proprietà di spettro gap per una versione senza segno della lunghezza del commutatore stabile. L'elemento chiave della dimostrazione è una nuova e sofisticata costruzione di famiglie di ordini a sinistra sul prodotto libero di due gruppi ordinabili a sinistra.

Contesto di ricerca e motivazione

1. Problema centrale

Un concetto fondamentale nella teoria dei gruppi è il rango normale (normal rank) di un gruppo, definito come la cardinalità minima di un insieme di elementi che generano normalmente il gruppo. Per il prodotto libero di gruppi $G = A \star B$, un problema irrisolto da lungo tempo è: sotto quali condizioni il rango normale è maggiore di 1?

2. Importanza del problema

• Significato teorico: Il problema posto da Wiegold nel 1976 (Problema FP14 in BMS02, Problema 5.52 in KM23) chiede se esistano gruppi perfetti (gruppi uguali al loro sottogruppo dei commutatori) finitamente generati con rango normale maggiore di 1. Questo problema ha fatto scarsi progressi dalla sua formulazione.
• Applicazioni topologiche: Il rango normale è strettamente correlato alla topologia delle 3-varietà. Il rango normale di $\pi_1(M)$ è un limite inferiore per il numero di chirurgia di Dehn (Dehn surgery number) della 3-varietà $M$. Il teorema di Lickorish-Wallace afferma che qualsiasi 3-varietà chiusa orientata connessa può essere ottenuta mediante chirurgia di Dehn su un certo link a $n$ componenti, e il minimo valore di $n$ è il numero di chirurgia di Dehn.
• Congetture correlate:
  • Congettura di Gordon: Per il prodotto libero $G = \star_{i \in I} A_i$ con $|I| \geq 3$, il rango normale è sempre maggiore di 1
  • Congettura di Scott-Wiegold: Caso speciale quando i fattori sono gruppi ciclici finiti (provato da Howie)
  • Congettura della somma connessa: Il numero di chirurgia di Dehn della somma connessa di tre 3-varietà non $S^3$ è maggiore di 1

3. Limitazioni dei metodi esistenti

• Per il prodotto libero $G = A \star B$, gli elementi di torsione possono causare rango normale uguale a 1. Ad esempio, in $G = \mathbb{Z}/2 \star \mathbb{Z}/3$, $w = ab$ genera normalmente l'intero gruppo.
• Dai risultati noti dagli anni '80, sono richieste condizioni più forti: ogni fattore libero deve essere localmente indicabile (locally indicable, cioè ogni sottogruppo finitamente generato non banale è suriettivo su $\mathbb{Z}$). Ma questi gruppi non possono essere perfetti.
• Si congettura che il risultato valga sotto la condizione di essere senza torsione (torsion-free), ma mancano le tecniche di dimostrazione.

4. Motivazione della ricerca in questo articolo

Questo articolo risolve il problema sotto la condizione di ordinabilità a sinistra (left-orderability). Un gruppo $G$ è ordinabile a sinistra se esiste un ordine totale $<$ tale che $f < g$ implica $hf < hg$. Questa condizione:

• È più forte della condizione di assenza di torsione
• È più debole della condizione di ordinabilità locale
• Include classi ricche di gruppi: gruppi liberi, gruppi di superficie, gruppi di trecce, gruppi fondamentali di 3-varietà iperboliche, ecc.
• Esistono numerosi esempi di gruppi perfetti ordinabili a sinistra finitamente generati

Contributi principali

1. Risoluzione del problema di Wiegold: Si dimostra l'esistenza di gruppi perfetti finitamente generati (persino finitamente presentati) con rango normale maggiore di 1 (Teorema A).
2. Stima del rango normale per prodotti liberi: Si dimostra che il prodotto libero $G = A \star B$ di qualsiasi gruppo ordinabile a sinistra non banale ha rango normale maggiore di 1 (Teorema B). Più precisamente, per qualsiasi $w \in G$ non coniugato in $A$, l'omomorfismo naturale $A \hookrightarrow A \star B$ induce un'iniezione $A \hookrightarrow (A \star B)/\langle\langle w \rangle\rangle$.
3. Proprietà di spettro gap: Si stabilisce una proprietà di spettro gap per la versione senza segno della lunghezza del commutatore stabile (Teorema C). Per una superficie $w$-ammissibile $S$ con bordo incomprimibile (senza componenti di sfera o disco), si ha $-\chi(S) \geq \deg(S)$.
4. Costruzione di impilamento relativo: Si sviluppa il concetto di impilamento relativo (relative stacking) e la teoria dell'esistenza (Teorema E), che è un metodo sofisticato per costruire ordini a sinistra speciali sul prodotto libero.
5. Metodo di arrangiamenti dinamici: Si introduce la tecnica degli arrangiamenti dinamici (dynamical arrangements), che costruisce sistematicamente azioni di gruppi soddisfacenti equazioni e disequazioni specifiche.

Spiegazione dettagliata dei metodi

Definizione del compito

Obiettivo: Dimostrare che per il prodotto libero $G = A \star B$ di gruppi ordinabili a sinistra, se $w \in G$ non è coniugato in $A$, allora l'immagine di $A$ nel gruppo quoziente $(A \star B)/\langle\langle w \rangle\rangle$ è non banale.

Strategia: Supponiamo che esista $a \in A \setminus \{id\}$ tale che $a \in \langle\langle w \rangle\rangle$, cioè esista l'equazione: $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})$ dove $k \in \mathbb{Z}^+$, $g_i \in G$, $n_i \neq 0$. Deriviamo una contraddizione mediante argomenti topologici e di sistemi dinamici.

Architettura del modello

La dimostrazione si divide in due parti principali:

1. Argomento topologico (Teorema D)

Definizione di superficie ammissibile: Data $w \in G$, un'applicazione $f: S \to X$ (dove $X$ è uno spazio $K(G,1)$) si chiama superficie $w$-ammissibile se:

• Ogni componente di bordo rappresenta o una classe di coniugio di $w^n$ ($n \neq 0$) o una classe di coniugio in $A_i$
• Esiste almeno una componente di bordo di tipo $w$

Grado: Una componente di bordo di tipo $w$ che rappresenta $w^n$ ha grado $|n|$; il grado $\deg(S)$ di una superficie $S$ è la somma dei gradi di tutte le componenti di bordo di tipo $w$.

Incomprimibilità del bordo: Una superficie $(f,S)$ è comprimibile al bordo se esiste una sottosuperficie $P \subset S$ omeomorfa a una sfera con tre buchi (pair of pants), i cui due bordi si trovano sul bordo di tipo $w$ rappresentando rispettivamente $w^n$ e $w^{-m}$, e il terzo bordo si trova all'interno di $S$ rappresentando $w^{m-n}$.

Forma normale semplificata: Qualsiasi superficie $w$-ammissibile può essere semplificata a forma normale semplice, cioè decomposizione in unione di pezzi disco (disk-pieces) e pezzi anello (annulus-pieces). Ogni pezzo $P$ ha:

• Valenza $d(P)$: numero di segmenti del bordo poligonale
• Numero di cambi di segno $sc(P)$: numero di segmenti coerenti (consistent segments)

Formula della caratteristica di Eulero: Per una superficie $S$ in forma normale semplice: $-\chi(S) = \sum_P \left[\frac{d(P)}{2} - \chi(P)\right]$

2. Argomento di sistemi dinamici (Teorema E)

Definizione di impilamento relativo: Per una parola $w = a_1b_1 \cdots a_nb_n$ ridotta ciclicamente, un'azione $\sigma: G \to \text{Homeo}^+(R)$ e un punto $x \in \mathbb{R}$ costituiscono un impilamento relativo se l'orbita di $x$ sotto $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\}$ è stabile, cioè:

1. Ogni elemento in $\Omega(w,x)$ appare esattamente una volta
2. $x \cdot \sigma(w) = x$

Esistenza: Per $w$ che non è una potenza propria (not a proper power), esiste un impilamento relativo.

Punti di innovazione tecnica

1. Orientamento $\hat{\lambda}$ e cambi di segno

Dall'impilamento relativo si ottiene una valutazione $\lambda: J_w \to \mathbb{R}$ (dove $J_w$ è l'insieme dei punti di giunzione su $S^1_w$), che si ritira al bordo della superficie per ottenere $\hat{\lambda}: J_S \to \mathbb{R}$. Questo definisce l'orientamento $\hat{\lambda}$ di ogni arco $\gamma \in F$.

Lemma chiave 4.5: Il numero totale di segmenti incoerenti (inconsistent segments) è almeno $2\deg(S)$, quindi il numero totale di segmenti coerenti è al massimo $(|w|-2)\deg(S)$.

Lemma chiave 4.6: Per ogni pezzo $P$, il numero di cambi di segno $sc(P)$ è pari, e per i pezzi disco $sc(P) > 0$.

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

2. Dimostrazione della disuguaglianza di spettro gap

Combinando i lemmi precedenti: $-\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. Costruzione di arrangiamenti dinamici

Intervalli concatenati (catenation): Tuple ordinate $(I_1, J_1, \ldots, I_n, J_n)$, dove ogni intervallo ha lunghezza 2, gli estremi sono in $\mathbb{Z}$, e soddisfano specifiche condizioni di connessione.

Lemmi 5.9 e 5.10: Per una parola ridotta $w = a_1b_1 \cdots a_kb_k$ e intervalli concatenati, si può costruire un'azione tale che punti specifici abbiano immagini sotto $w$ che cadono in intervalli designati.

Risoluzione sistematica: Attraverso la costruzione di scoppio (blow-up), si riduce la risoluzione di sistemi di equazioni e disequazioni alla costruzione di azioni soddisfacenti specifiche condizioni di inclusione e disgiunzione.

Lemma 5.3: Se sistemi finiti $\Lambda_1, \ldots, \Lambda_m$ sono ciascuno risolvibili, allora il sistema combinato $\Xi(\Lambda_1, \ldots, \Lambda_m)$ è risolvibile.

4. Dimostrazione dell'esistenza dell'impilamento relativo

Proposizione 5.5: Per $w$ non potenza propria e qualsiasi prefisso proprio $w_1$, esiste un'azione $\tau$ e un punto $x$ tale che $x \cdot \tau(w) = x$ ma $x \cdot \tau(w_1) \neq x$.

La dimostrazione si divide in due casi:

• Caso 1: $w_1 = a_1b_1 \cdots a_k$
• Caso 2: $w_1 = a_1b_1 \cdots a_kb_k$ (richiede $b_k \neq b_n$, utilizzando la condizione di non potenza propria)

Attraverso arrangiamenti dinamici accuratamente progettati, si costruisce un intervallo chiuso $I$ tale che $I \cdot \sigma(w) \subseteq I$ ma $(I \cdot \sigma(w_1)) \cap I = \emptyset$; dal teorema del valore intermedio si ottiene il punto fisso desiderato.

Configurazione sperimentale

Questo articolo è un articolo di matematica pura teorica e non coinvolge configurazioni sperimentali, dataset o esperimenti numerici. Tutti i risultati sono ottenuti attraverso dimostrazioni matematiche rigorose.

Risultati sperimentali

L'articolo non contiene risultati sperimentali; tutte le conclusioni sono teoremi teorici.

Lavori correlati

1. Risultati su gruppi localmente indicabili

• Brodskĭı (1984), Howie (1981), Short (1983): Hanno provato indipendentemente che il Teorema B vale quando ogni fattore libero è localmente indicabile. Tuttavia, i gruppi localmente indicabili non possono essere perfetti.

2. Risultati analoghi per estensioni HNN

• Congettura di Howie (Kervaire-Laudenbach): Per $G = A \star \mathbb{Z}$, se $p(w) \neq 0$ (dove $p: G \to \mathbb{Z}$ è la proiezione), allora $w$ non genera normalmente $G$.
• Gerstenhaber-Rothaus (1962): Dimostrazione quando $A$ è residualmente finito
• Klyachko (1993): Dimostrazione quando $A$ è senza torsione
• Chen (2025): Nuovo metodo di dimostrazione

3. Lunghezza del commutatore stabile

• Duncan-Howie (1991): Problema del genere per prodotti a relazione singola
• Chen (2018), Chen-Heuer (2019), Heuer (2019): Spettro gap di scl in prodotti liberi e grafi di gruppi
• Questo articolo studia la versione di grado senza segno, che richiede la condizione di ordinabilità a sinistra più forte

4. Topologia delle 3-varietà

• Gordon (1983): Congettura sul numero di chirurgia di Dehn
• Auckly (1997), Hom-Karakurt-Lidman (2016), Liu-Piccirillo (2024): Stime del numero di chirurgia di Dehn
• Congettura dello spazio L: Relazione tra ordinabilità a sinistra e gruppi fondamentali di 3-varietà

5. Altre direzioni

• Osin-Thom (2013): Congettura che collega il rango normale al primo numero di Betti $l^2$
• Monod-Ozawa-Thom (2012): Versione del problema di Wiegold in irng

Conclusioni e discussione

Conclusioni principali

1. Teorema A: Esistono gruppi perfetti finitamente generati (persino finitamente presentati) con rango normale maggiore di 1. Questo risolve completamente il problema posto da Wiegold nel 1976.
2. Teorema B: Il prodotto libero $G = A \star B$ di qualsiasi gruppo ordinabile a sinistra non banale ha rango normale maggiore di 1.
3. Teorema C: Si stabilisce la proprietà di spettro gap: per una superficie $w$-ammissibile $S$ con bordo incomprimibile (senza componenti di sfera o disco), $-\chi(S) \geq \deg(S)$.
4. Corollario 6.1: Se $u \in G = A \star B$ non è coniugato in $A$ o $B$ e non è una potenza propria, allora per qualsiasi $k \geq 2$, l'immagine di $u$ in $G/\langle\langle u^k \rangle\rangle$ ha ordine $k$.

Limitazioni

1. Restrizioni sulle condizioni: I risultati richiedono che i fattori liberi siano ordinabili a sinistra. Sebbene questo includa classi ampie di gruppi, non copre ancora tutti i gruppi senza torsione.
2. Numero di fattori: Il Teorema B tratta solo il caso di due fattori. Per tre o più fattori, la congettura di Gordon rimane aperta.
3. Problema dell'ordinabilità a destra: La Domanda 6.2 chiede se il gruppo quoziente $G/\langle\langle w \rangle\rangle$ sia senza torsione o ordinabile a destra (quando $w$ non è una potenza propria). Questo è stato risolto da Howie (1982) nel caso localmente indicabile, ma rimane sconosciuto nel caso ordinabile a sinistra.
4. Costruttività: La dimostrazione dell'esistenza dell'impilamento relativo è costruttiva, ma il processo di costruzione è complesso e non facile da implementare esplicitamente.

Direzioni future

1. Domanda 1.1: Il rango normale del prodotto libero di $n$ gruppi ordinabili a sinistra non banali è almeno $n$? Una risposta affermativa implicherebbe che il numero di chirurgia di Dehn della somma connessa di $n$ 3-varietà è almeno $n$.
2. Domanda 6.2: Studiare sotto l'ipotesi di ordinabilità a sinistra l'assenza di torsione e l'ordinabilità a destra del gruppo quoziente $G/\langle\langle w \rangle\rangle$.
3. Generalizzazione a grafi di gruppi: Estendere i metodi di impilamento relativo e arrangiamenti dinamici a impostazioni più generali di grafi di gruppi (graphs of groups).
4. Connessione con i numeri di Betti $l^2$: Esplorare la possibilità della congettura di Osin-Thom nel caso di gruppi ordinabili a sinistra.
5. Aspetti computazionali: Sviluppare algoritmi per determinare se un elemento nel prodotto libero di gruppi ordinabili a sinistra dati genera normalmente il gruppo.

Valutazione approfondita

Punti di forza

1. Avanzamento significativo: Risolve un problema aperto da quasi 50 anni (problema di Wiegold), rappresentando un importante progresso nella teoria dei gruppi.
2. Innovazione metodologica:
   • Il concetto di impilamento relativo trasforma ingegnosamente il problema algebrico in un problema di sistemi dinamici
   • La tecnica degli arrangiamenti dinamici fornisce un nuovo strumento sistematico per costruire azioni di gruppi
   • La combinazione perfetta di argomenti topologici (stime della caratteristica di Eulero) e argomenti di sistemi dinamici (costruzione di azioni di gruppi)
3. Profondità tecnica:
   • L'introduzione dell'orientamento $\hat{\lambda}$ e l'analisi del numero di cambi di segno mostrano intuizioni geometriche profonde
   • La costruzione di scoppio e il metodo di risoluzione sistematica (Lemma 5.3) hanno carattere universale
   • L'analisi attenta dei due casi (prefisso terminante in $A$ o $B$) dimostra rigore
4. Impatto ampio:
   • Fornisce numerosi nuovi esempi di gruppi perfetti con rango normale maggiore di 1
   • Ha applicazioni dirette alla topologia delle 3-varietà (numero di chirurgia di Dehn)
   • Il metodo di impilamento relativo potrebbe essere applicabile ad altri problemi di teoria dei gruppi
5. Qualità della presentazione: La struttura dell'articolo è chiara, procedendo gradualmente da esempi semplici (Esempio 5.8) al caso generale, facilitando la comprensione.

Insufficienze

1. Complessità tecnica:
   • La dimostrazione dell'esistenza dell'impilamento relativo (Sezione 5) contiene numerosi dettagli tecnici, in particolare il trattamento del Caso 2
   • La costruzione degli arrangiamenti dinamici richiede un progettazione attenta degli intervalli concatenati, mancando di immediatezza intuitiva
   • Alcuni lemmi (come il Lemma 4.3) hanno dimostrazioni corrette ma piuttosto tecniche
2. Restrizioni sulle condizioni:
   • L'ordinabilità a sinistra è una condizione intermedia tra l'assenza di torsione e l'ordinabilità locale; idealmente si desidererebbe solo la condizione di assenza di torsione
   • Viene trattato solo il prodotto libero di due fattori; il caso di più fattori rimane aperto
3. Calcolabilità:
   • Sebbene la costruzione sia teorica, non viene discusso come calcolare o verificare effettivamente se un dato gruppo soddisfa le condizioni
   • La costruzione esplicita dell'impilamento relativo potrebbe essere estremamente complessa in esempi concreti
4. Generalizzabilità:
   • Non è chiaro se il metodo possa essere generalizzato a estensioni HNN al di là di impostazioni di grafi di gruppi più generali
   • La relazione con la versione con segno della lunghezza del commutatore stabile potrebbe essere ulteriormente esplorata

Influenza

1. Significato teorico:
   • Risolve un problema aperto di lunga data e sarà citato nei libri di testo di teoria dei gruppi
   • I metodi di impilamento relativo e arrangiamenti dinamici potrebbero diventare strumenti standard nello studio delle azioni di gruppi
   • Fornisce una nuova prospettiva per la ricerca sul rango normale
2. Valore applicativo:
   • Contribuisce direttamente alla ricerca sul numero di chirurgia di Dehn nella topologia delle 3-varietà
   • Potrebbe fornire intuizioni per problemi correlati come la congettura dello spazio L
   • Gli esempi di gruppi perfetti ordinabili a sinistra costruiti possono essere utilizzati in altre ricerche
3. Riproducibilità:
   • La dimostrazione è completamente teorica e può essere verificata passo dopo passo
   • L'enunciato dei teoremi principali è chiaro e facile da citare
   • I dettagli tecnici, sebbene complessi, sono completi

Scenari di applicazione

1. Ricerca in teoria dei gruppi:
   • Studio del rango normale di prodotti liberi, estensioni HNN e grafi di gruppi
   • Costruzione di gruppi perfetti con proprietà specifiche
   • Analisi della struttura teorica dei gruppi ordinabili a sinistra
2. Topologia geometrica:
   • Stima del numero di chirurgia di Dehn di 3-varietà
   • Studio dello spazio L e gruppi fondamentali ordinabili a sinistra
   • Analisi di sottogruppi di superficie e gruppi a relazione singola
3. Sistemi dinamici:
   • Costruzione di azioni di gruppi con proprietà dinamiche specifiche
   • Studio di gruppi di omeomorfismi della retta reale
   • Analisi della relazione tra strutture di ordine e azioni di gruppi
4. Teoria combinatoria dei gruppi:
   • Studio di equazioni e disequazioni in gruppi
   • Analisi di varianti del problema delle parole e del problema della coniugazione
   • Costruzione di controesempi e esempi patologici

Bibliografia

L'articolo cita una letteratura ampia; i riferimenti chiave includono:

1. Problema di Wiegold: BMS02 Baumslag-Myasnikov-Shpilrain, KM23 Kourovka Notebook
2. Gruppi localmente indicabili: Bro84 Brodskĭı, How81 Howie, Sho83 Short
3. Gruppi ordinabili a sinistra: DNR14 Deroin-Navas-Rivas survey, GS87 Ghys-Sergiescu, HL19, HL25 Hyde-Lodha
4. Lunghezza del commutatore stabile: Cal09 Calegari, Che18, Che20, Che25 Chen, DH91 Duncan-Howie
5. Topologia delle 3-varietà: Gor83 Gordon, LP24 Liu-Piccirillo
6. Metodi di impilamento: LW17 Louder-Wilton, Mil21 Millard

Sintesi: Questo è un articolo teorico di alta qualità che risolve un importante problema aperto, introducendo tecniche innovative come l'impilamento relativo e gli arrangiamenti dinamici, combinando abilmente topologia, sistemi dinamici e teoria dei gruppi. Sebbene i dettagli tecnici siano complessi, i metodi hanno carattere universale e profondità, con importanti implicazioni sia per la teoria dei gruppi che per la topologia geometrica. Il contributo principale dell'articolo non risiede solo nella risoluzione del problema di Wiegold, ma anche nello sviluppo di nuovi strumenti potenzialmente applicabili a una classe più ampia di problemi.