The Reidemeister and the Nielsen numbers: growth rate, asymptotic behavior, dynamical zeta functions and the Gauss congruences

Questo articolo analizza dal punto di vista dinamico la crescita e il comportamento asintotico dei numeri di Reidemeister e Nielsen, dimostrando la congruenza di Gauss, la razionalità della funzione zeta e l'esistenza del tasso di crescita per coppie di endomorfismi su gruppi nilpotenti e per mappe su nilvarietà compatte.

L'essenziale

🕵️‍♂️ Il Detective Matematico: Caccia alle Coincidenze

Immagina di avere due amici, F e G, che camminano su un labirinto infinito ma strutturato (un "nilmanifold", che puoi immaginare come un toro multidimensionale o una superficie molto complessa). Ogni giorno, F e G fanno un passo seguendo le loro regole interne.

La domanda fondamentale che gli autori di questo studio si pongono è: Quante volte F e G si incontrano?

In matematica, questi "incontri" sono chiamati punti di coincidenza. Ma non basta contare semplicemente quante volte si incontrano in un giorno. Vogliamo sapere:

1. Se si incontrano domani, dopodomani, tra un anno... il numero di incontri cresce?
2. Cresce lentamente come un'erba o esplosivamente come un virus?
3. Esiste una regola segreta (una "formula magica") che ci dice esattamente quanti incontri ci saranno tra $n$ giorni?

🧩 I Due Tipi di Contatori: Reidemeister e Nielsen

Gli autori usano due strumenti diversi per contare questi incontri, come se fossero due tipi di detective:

1. Il Detective Reidemeister (Il Contatore Totale):
   Questo detective conta tutti i possibili modi in cui F e G potrebbero incontrarsi, raggruppandoli in "classi". Immagina che ogni incontro sia un nodo su una corda. Reidemeister conta quanti nodi ci sono, anche se alcuni nodi sono "fittizi" o possono essere sciolti con un po' di magia topologica.

   • Il problema: A volte il numero di nodi è infinito! Gli autori si concentrano su casi "gentili" (chiamati tame), dove il numero è finito e gestibile.

2. Il Detective Nielsen (Il Contatore Reale):
   Questo detective è più severo. Conta solo gli incontri che sono "essenziali", cioè quelli che non possono essere fatti sparire nemmeno se F e G cambiano leggermente il loro percorso (omotopia). Se un incontro è essenziale, è lì per restare.

   • La magia: Il numero di Nielsen è sempre finito e ci dice qual è il numero minimo di incontri che devono accadere, indipendentemente da come F e G camminano.

🚀 La Crescita Esplosiva: Il Tasso di Crescita

La parte più affascinante dello studio riguarda il tempo. Cosa succede se F e G continuano a camminare per sempre?

Immagina di lanciare una moneta. Se la moneta è truccata, dopo molti lanci il numero di teste cresce in modo prevedibile. Gli autori hanno scoperto che anche per questi cammini matematici esiste un tasso di crescita.

• Se il tasso è basso, gli incontri aumentano lentamente.
• Se il tasso è alto (come $2^n$), il numero di incontri diventa astronomico in pochissimo tempo.

L'analogia del "Motore":
Gli autori hanno trovato che questo tasso di crescita è determinato da un "motore" nascosto dentro la struttura del labirinto. Questo motore è fatto di numeri speciali (autovalori). Se questi numeri sono grandi, il motore va veloce e gli incontri esplodono. Se sono piccoli, il motore è lento.
Hanno creato una formula precisa per calcolare questa velocità guardando solo le "ingranaggi" matematici (le matrici) che descrivono il movimento di F e G.

🔮 La Sfera di Cristallo: Le Funzioni Zeta

C'è un altro strumento potente usato nel paper: la Funzione Zeta.
Immagina una sfera di cristallo magica. Se guardi dentro, vedi una sequenza infinita di numeri (il numero di incontri per giorno 1, giorno 2, giorno 3...).

• Di solito, questa sequenza è caotica e impossibile da prevedere.
• Ma gli autori hanno dimostrato che, per certi tipi di labirinti (nilmanifold), questa sfera di cristallo è razionale.

Cosa significa? Significa che la sequenza infinita non è casuale, ma è generata da una formula semplice (una frazione). È come se, invece di dover contare ogni singolo incontro per sempre, potessimo scrivere una sola equazione che ci dice tutto il futuro.

🧮 La Magia dei Numeri: Le Congruenze di Gauss

Infine, gli autori hanno scoperto una regola di "magia numerica" chiamata Congruenze di Gauss.
Immagina di avere una lista di numeri di incontri per ogni giorno. Se prendi questi numeri e fai certi calcoli speciali (sommando e sottraendo in modo incrociato usando i divisori del giorno), il risultato è sempre divisibile per il numero del giorno stesso.

È come se la natura avesse un "codice di controllo" nascosto: non importa quanto complessa sia la danza di F e G, i numeri seguono sempre questa regola matematica precisa. Questo è un risultato sorprendente perché collega la geometria (dove camminano F e G) alla teoria dei numeri (le regole di divisibilità).

📝 In Sintesi: Cosa hanno scoperto?

1. Esiste una velocità: Per certi tipi di cammini matematici, il numero di incontri cresce a una velocità prevedibile e calcolabile.
2. C'è una formula: Non serve contare tutto a mano; esiste una formula basata su numeri complessi che predice tutto.
3. Il futuro è ordinato: Anche se sembra caotico, il numero di incontri segue regole matematiche rigide (le congruenze) e può essere descritto da una funzione semplice (la funzione zeta).
4. Collegamento tra mondi: Hanno collegato concetti di fisica dinamica (caos, entropia) con la teoria dei numeri pura, mostrando che anche nel caos matematico c'è un ordine profondo.

In poche parole: Gli autori hanno preso un problema apparentemente caotico (contare gli incontri su un labirinto infinito) e hanno dimostrato che, se il labirinto ha una certa struttura, il caos segue regole precise, prevedibili e persino eleganti. Hanno trasformato un "mistero" in una "formula".

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "The Reidemeister and the Nielsen Numbers: Growth Rate, Asymptotic Behavior, Dynamical Zeta Functions and the Gauss Congruences" di Alexander Fel'shtyn e Mateusz Słomiany.

1. Problema e Contesto

Il lavoro si colloca nell'intersezione tra la teoria dei punti fissi topologica, la teoria dei gruppi e la teoria dei sistemi dinamici.

• Obiettivo principale: Studiare il comportamento asintotico, il tasso di crescita e le proprietà aritmetiche delle successioni di numeri di Reidemeister ($R$) e numeri di Nielsen ($N$) associati alle iterazioni di mappe e endomorfismi.
• Contesto specifico: L'analisi si concentra su:
  • Endomorfismi $\phi, \psi$ di gruppi nilpotenti privi di torsione di rango finito (di Pr"ufer).
  • Coppie di mappe $(f, g)$ su nilvarietà compatte.
• Definizioni chiave:
  • Numero di Reidemeister $R(\phi)$: Il numero di classi di coniugazione twisted (o $\phi$-coniugate) in un gruppo. Topologicamente, corrisponde al numero di classi di punti fissi di una mappa.
  • Numero di Nielsen $N(f)$: Il numero di classi di punti fissi essenziali (con indice non nullo).
  • Coppia "Tame" (Gestibile): Una coppia di endomorfismi o mappe è detta tame se i numeri di Reidemeister delle loro iterazioni ($R(\phi^n, \psi^n)$) sono finiti per ogni $n \in \mathbb{N}$.

Il problema centrale è determinare se il tasso di crescita di queste successioni esiste, fornire formule esplicite per calcolarlo, analizzare la razionalità delle funzioni zeta dinamiche associate e verificare la validità delle congruenze di Gauss per queste successioni.

2. Metodologia

Gli autori adottano un approccio ibrido che combina strumenti algebrici, analitici e topologici:

1. Struttura Algebrica dei Gruppi Nilpotenti:

   • Utilizzo della serie centrale isolata (o adattata) di un gruppo nilpotente privo di torsione $G$: $G = \sqrt{\gamma_1(G)} \geq \sqrt{\gamma_2(G)} \geq \dots \geq \{e\}$.
   • Scomposizione dei fattori quoziente $G_k = \sqrt{\gamma_k(G)}/\sqrt{\gamma_{k+1}(G)}$ che sono gruppi abeliani liberi di rango finito ($\cong \mathbb{Z}^{d_k}$).
   • Applicazione della formula di Roman'kov (generalizzata) che esprime il numero di Reidemeister globale come prodotto dei numeri sui fattori abeliani: $R(\phi^n) = \prod R(\phi_k^n)$.

2. Analisi Spettrale e Teoria dei Numeri p-adici:

   • Studio degli autovalori ($\xi_{k,i}, \eta_{k,i}$) degli endomorfismi indotti sui fattori abeliani razionali ($G_k \otimes \mathbb{Q}$).
   • Uso della norma p-adica e della completazione p-adica per analizzare la struttura delle classi di Reidemeister.
   • Applicazione di proprietà degli interi algebrici e del logaritmo p-adico per stabilire stime asintotiche (Lemma 4).

3. Teoria dei Sistemi Dinamici e Entropia:

   • Collegamento tra il tasso di crescita dei numeri di Reidemeister e l'entropia topologica delle mappe indotte sul duale unitario (o di Pontryagin) dei gruppi.
   • Utilizzo di proprietà come l'espansività e la proprietà di specificazione (specification property) per collegare il numero di punti periodici all'entropia.

4. Funzioni Zeta Dinamiche:

   • Definizione e studio della funzione zeta di Reidemeister $R_{\phi,\psi}(z)$ e della funzione zeta di Nielsen $N_{f,g}(z)$.
   • Analisi della razionalità di queste funzioni e delle loro singolarità (raggio di convergenza).

3. Contributi Chiave e Risultati Principali

A. Tasso di Crescita e Formule Chiuse

Gli autori dimostrano l'esistenza del tasso di crescita $R^\infty(\phi, \psi) = \lim_{n \to \infty} R(\phi^n, \psi^n)^{1/n}$ per coppie tame di endomorfismi su gruppi nilpotenti privi di torsione.

• Formula Esplicita: Il tasso di crescita è espresso in termini degli autovalori degli endomorfismi indotti sui fattori abeliani.
  $$R^\infty(\phi, \psi) = \prod_{k=1}^c \prod_{i=1}^{d_k} \max\{|\xi_{k,i}|_\infty, |\eta_{k,i}|_\infty\} \cdot (\text{fattori p-adici})$$
  Se il gruppo è finitamente generato, la parte p-adica scompare, semplificando la formula al prodotto dei massimi moduli degli autovalori complessi.
• Connessione con l'Entropia: Per automorfismi di gruppi abeliani finitamente generati, il tasso di crescita è legato all'entropia topologica della mappa duale $\hat{\phi}$:
  $$R^\infty(\phi) = \exp(h_{top}(\hat{\phi}))$$

B. Razionalità delle Funzioni Zeta e Congruenze di Gauss

• Razionalità: Viene provato che la funzione zeta di Reidemeister (e di Nielsen, nel caso di nilvarietà) è una funzione razionale sotto condizioni specifiche (principalmente quando gli autovalori soddisfano certe disuguaglianze di modulo).
• Congruenze di Gauss: Se la funzione zeta è razionale, la successione dei numeri di Reidemeister (e di Nielsen) soddisfa le congruenze di Gauss:
  $$\sum_{d|n} \mu(n/d) R(\phi^d, \psi^d) \equiv 0 \pmod n$$
  Questo generalizza risultati noti per i numeri di Lefschetz e i numeri di Reidemeister di singoli automorfismi.

C. Comportamento Asintotico

Gli autori analizzano il comportamento asintotico della successione normalizzata $\{R(\phi^k, \psi^k) / \lambda(\phi, \psi)^k\}$, dove $\lambda$ è il raggio spettrale (inverso del raggio di convergenza della funzione zeta).

• Si dimostra che l'insieme dei punti limite di questa successione è o:
  1. Un insieme discreto periodico (se gli argomenti degli autovalori dominanti sono razionali).
  2. Un intervallo continuo (se esistono argomenti irrazionali, grazie al teorema di Kronecker).

D. Caso delle Nilvarietà

Per una coppia di mappe $(f, g)$ su una nilvarietà compatta, gli autori mostrano che, sotto l'ipotesi di "tame", il numero di Nielsen coincide con il numero di Reidemeister degli endomorfismi indotti sul gruppo fondamentale ($N(f^n, g^n) = R(f_\#^n, g_\#^n)$).

• Di conseguenza, tutti i risultati algebrici ottenuti per i gruppi si trasferiscono direttamente ai numeri di Nielsen topologici, inclusa la razionalità della funzione zeta di Nielsen e l'esistenza del tasso di crescita.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Unificazione: Fornisce un quadro unificato che collega invarianti topologici (numeri di Nielsen), invarianti algebrici (classi di coniugazione twisted) e proprietà dinamiche (entropia, funzioni zeta).
2. Generalizzazione: Estende risultati classici (come le congruenze di Dold e le formule di crescita per sistemi iperbolici) a classi più ampie di spazi e mappe, in particolare nilvarietà e gruppi nilpotenti.
3. Strumenti Computazionali: Fornisce formule esplicite basate sugli autovalori per calcolare tassi di crescita complessi, rendendo questi invarianti accessibili per calcoli concreti in geometria e dinamica.
4. Nuove Connessioni: Stabilisce un legame diretto tra la razionalità delle funzioni zeta dinamiche e la validità delle congruenze aritmetiche per i numeri di Reidemeister/Nielsen, offrendo nuovi criteri per la verifica di queste proprietà.
5. Asimptotica Fine: L'analisi dettagliata dei punti limite delle successioni normalizzate offre una comprensione più profonda della struttura fine del comportamento dinamico, andando oltre la semplice stima del tasso di crescita esponenziale.

In sintesi, il paper rappresenta un avanzamento sostanziale nella teoria dei punti fissi e delle coincidenze, fornendo strumenti potenti per l'analisi asintotica e aritmetica di sistemi dinamici definiti su varietà nilpotenti.