A family of level-transitive groups with positive fixed-point proportion and positive Hausdorff dimension

Immaginate una foresta infinita dove ogni ramo di un albero si divide esattamente nello stesso numero di rami più piccoli, per sempre. Nel mondo della matematica, questo è chiamato un "albero regolare", e le creature che vivono in essa sono gruppi di "automorfismi" — pensateli come ballerini magici che possono rimescolare i rami senza mai rompere la struttura dell'albero. I matematici amano studiare questi ballerini perché i loro movimenti spesso nascondono segreti profondi su numeri ed equazioni. Uno dei più grandi enigmi in questa foresta è capire quanti di questi ballerini si fermano del tutto. Nello specifico, i matematici si chiedono: se scegliamo un ballerino a caso, quali sono le probabilità che rimanga immobile su almeno un percorso che vada fino all'infinito? Questa probabilità è chiamata "proporzione di punti fissi". Per molto tempo, la maggior parte degli esperti ha creduto che per la maggior parte degli interessanti gruppi di ballerini questa probabilità fosse zero — ovvero che quasi nessuno si fermi mai. Sebbene esistessero alcune rare eccezioni, esse erano così complicate che nessuno era in grado di calcolarne l'esatta probabilità.

Questo articolo, scritto da Santiago Radi, introduce un nuovo, ingegnoso modo per costruire famiglie di questi ballerini matematici e, per la prima volta, calcola esattamente quanti di loro si fermano. L'autore non si limita a trovare alcuni nuovi esempi; crea una vera e propria fabbrica per essi. Utilizzando una specifica ricetta che coinvolge i "prodotti wreath iterati" (un modo elaborato per impilare strati di regole di rimescolamento), Radi costruisce gruppi che non solo sono trasitivi per livello (possono raggiungere ogni parte dell'albero) e hanno una "dimensione di Hausdorff positiva" (sono grandi e complessi abbastanza da occupare una porzione significativa della foresta), ma hanno anche una probabilità garantita e non nulla di fermarsi. Ancora meglio, il articolo fornisce una formula chiara per calcolare esattamente questa probabilità per qualsiasi gruppo costruito in questo modo. Questo è un grande passo avanti perché risolve l'ipotesi di lungo tempo secondo cui tali gruppi non potessero esistere, e fornisce ai matematici uno strumento preciso per misurare il "potere di arresto" di queste strutture complesse, incluse quelle che appaiono nello studio delle equazioni polinomiali.

La danza dell'albero infinito

Immaginate un albero infinito dove ogni ramo si divide in $d$ nuovi rami, per sempre. Ora, immaginate un gruppo di ballerini che possono riorganizzare questi rami. Devono seguire regole rigide: se muovono un ramo, devono muovere l'intero sottotree attaccato ad esso in modo coerente. I matematici chiamano questi ballerini "automorfismi", e il gruppo che formano è un "gruppo che agisce su un albero".

La grande domanda che questo articolo affronta è: Quanti di questi ballerini si fermano mai?

Per capire questo, immaginate un percorso specifico che sale l'albero, dal basso verso l'alto (un "percorso infinito"). Un ballerino "fissa" un percorso se, dopo aver eseguito il suo rimescolamento, quel percorso specifico appare esattamente come prima. La "proporzione di punti fissi" è semplicemente la percentuale di ballerini nel gruppo che fissano almeno uno di questi percorsi infiniti.

Per decenni, i matematici hanno pensato che per la maggior parte degli gruppi interessanti, questa percentuale fosse zero. Era come credere che in una massiccia e caotica festa di ballo, nessuno rimanesse mai immobile. Sebbene esistessero alcune eccezioni note, erano rare e calcolare la percentuale esatta per esse era quasi impossibile. Alcune di queste eccezioni erano legate agli "iterated Galois groups" (gruppi di Galois iterati), ovvero gruppi che appaiono quando si studiano le soluzioni di equazioni polinomiali (come $x^d + 1 = 0$) ripetutamente.

La nuova fabbrica per i ballerini

L'articolo di Santiago Radi fa due cose principali. Primo, costruisce un nuovo metodo generale per calcolare la proporzione di punti fissi per una vasta classe di questi gruppi. Secondo, usa questo metodo per costruire una nuovissima famiglia di gruppi che sono "livello-transitivi" (possono raggiungere ogni livello dell'albero), hanno una "dimensione di Hausdorff positiva" (sono grandi e complessi, non semplici puntini minuscoli) e, cosa più importante, hanno una proporzione di punti fissi positiva.

L'autore costruisce questi gruppi usando una ricetta che coinvolge due sottogruppi, $Q$ e $P$, che agiscono come le regole per la danza. I gruppi sono denotati come $G^P_Q$. L'articolo dimostra che se si scelgono correttamente queste regole, il gruppo risultante avrà sicuramente dei ballerini che si fermano.

La formula magica

La prima grande scoperta dell'articolo è una formula per calcolare la proporzione di punti fissi per i "prodotti wreath iterati". Pensate a un prodotto wreath come a una pila di strati. Nello strato inferiore, avete un insieme di mosse consentite (permutazioni). Nello strato successivo, applicate le stesse mosse a ogni ramo, e così via.

Radi definisce un polinomio speciale, $f_S(x)$, basato sull'insieme di mosse consentite $S$. La proporzione di punti fissi è semplicemente il numero più grande tra 0 e 1 che risolve l'equazione $f_S(x) = x$.

• Se le mosse in $S$ sono molto caotiche (transitive), la risposta è 0.
• Se le mosse sono molto restrittive (ogni mossa fissa almeno un punto), la risposta è 1.
• Se le mosse stanno nel mezzo, la risposta è un numero specifico tra 0 e 1, che può essere calcolato esattamente.

Questo è un enorme miglioramento rispetto ai lavori precedenti, dove tali calcoli erano spesso impossibili o noti solo per essere zero.

La nuova famiglia di gruppi

Usando questa formula, Radi costruisce una specifica famiglia di gruppi, $G^P_Q$, che agiscono su un albero con $d$ rami (dove $d \ge 3$ e $d$ non è 2 mod 4). Questi gruppi sono:

1. Auto-simili: Appaiono uguali indipendentemente da quanto si scenda in profondità nell'albero.
2. Livello-transitivi: Possono spostare qualsiasi ramo a qualsiasi livello in qualsiasi altro ramo dello stesso livello.
3. Grandi: Hanno una dimensione di Hausdorff positiva, il che significa che sono "grandi" in un senso matematico.
4. Con capacità di arresto: Hanno una proporzione di punti fissi positiva.

L'articolo calcola esplicitamente questa proporzione per due esempi specifici.

Esempio 1: La danza modulare
L'autore costruisce un gruppo basato sugli interi modulo $d$. La proporzione di punti fissi risulta essere:
$$\frac{\#\{a \in (\mathbb{Z}/d\mathbb{Z})^\times : a - 1 \in (\mathbb{Z}/d\mathbb{Z})^\times\}}{\Phi(d)}$$
Questa si semplifica in un prodotto che coinvolge i fattori primi di $d$:
$$\prod_{p|d} \frac{p-2}{p-1}$$
Questa formula funziona perfettamente quando $d$ è dispari. Se $d$ è pari, la proporzione è zero.

Esempio 2: La connessione polinomiale
La parte più eccitante è che questa costruzione non è solo matematica astratta. L'articolo mostra che uno di questi gruppi è esattamente il "gruppo di Galois iterato" del polinomio $f(x) = x^d + 1$.
Ciò significa che per il polinomio $x^d + 1$, il gruppo delle simmetrie della sua sequenza infinita di radici ha una proporzione di punti fissi positiva e calcolabile. L'articolo dimostra che per $d \ge 3$ (e $d$ non 2 mod 4), questa proporzione è:
$$\prod_{p|d} \frac{p-2}{p-1}$$
Questo è un numero concreto ed esplicito che i matematici possono ora usare, mentre prima era un mistero.

Cosa succede con i casi "impossibili"?

L'articolo affronta anche un caso specifico in cui $d \equiv 2 \pmod 4$ (come $d=2, 6, 10, \dots$). L'autore ha cercato di costruire questi gruppi per questi valori, ma ha trovato un "blocco". Usando il software per computer (GAP), ha controllato tutti i possibili gruppi transitivi per $d$ fino a 30 e ha scoperto che nessun gruppo soddisfaceva le condizioni necessarie per avere una proporzione di punti fissi positiva. Ciò suggerisce che per questi numeri specifici, tali gruppi potrebbero non esistere, o almeno non nel modo in cui l'autore li ha costruiti. L'articolo non prova che essi non esistano, ma suggerisce fortemente un'ostruzione.

Il succo della questione

Questo articolo risolve un enigma che molti matematici pensavano fosse insolubile: trovare un gruppo grande e complesso di ballerini di alberi che si ferma con una probabilità non nulla, e calcolare effettivamente tale probabilità. Fornisce una formula chiara ed esplicita per questi valori, trasformando un concetto vago in uno strumento preciso. Collega inoltre questa teoria astratta dei gruppi direttamente allo studio delle equazioni polinomiali, mostrando che le simmetrie di $x^d + 1$ hanno una misurabile "capacità di arresto".

L'autore conclude ponendo nuove domande: Possiamo trovare gruppi con qualsiasi proporzione di punti fissi desiderata? Cosa succede se scegliamo i ballerini a caso? Ma per ora, il traguardo principale è chiaro: abbiamo una fabbrica per questi gruppi speciali, e sappiamo esattamente quanti di loro smettono di danzare.