Periodic Points of Power Maps in Finite Matrix Groups and Algebras

1. Problema e Contesto

Il paper si inserisce nel campo della dinamica discreta su strutture algebriche finite. L'oggetto di studio è la mappa di potenza definita da $f(x) = x^L$, dove $L$ è un numero primo diverso da 2, applicata a diverse strutture algebriche finite:

• L'algebra delle matrici $n \times n$ su un campo finito $\mathbb{F}_q$, denotata come $M_n(q)$.
• Il gruppo lineare generale $GL_n(q)$.
• Il gruppo simplettico $Sp_{2n}(q)$.
• Il gruppo unitario $U_n(q)$.

L'obiettivo principale è determinare la proporzione di punti periodici sotto l'azione di questa mappa. Un punto $\alpha$ è periodico se esiste un intero $n > 1$ tale che $f^n(\alpha) = \alpha$.
Il problema presenta una sfida specifica: il limite della proporzione di punti periodici quando $n \to \infty$ non esiste in generale. Per ottenere un risultato significativo, l'autore impone una condizione asintotica sul campo: si considera il limite quando $q \to \infty$ mantenendo fissa la valutazione $L$-adica di $q-1$ (indicata con $v_L(q-1) = c$). In altre parole, si studia il comportamento asintotico quando la potenza di $L$ che divide $q-1$ è costante.

2. Metodologia

L'approccio metodologico combina teoria dei gruppi, teoria dei campi finiti e teoria dei grafi dinamici. I pilastri della metodologia sono:

1. Classificazione delle Classi di Coniugazione:
   Poiché la proprietà di essere un punto periodico è invariante per coniugazione (Lemma 2.4), il problema si riduce a contare le classi di coniugazione i cui rappresentanti soddisfano la condizione periodica.

   • Per $M_n(q)$ e $GL_n(q)$, le classi sono parametrizzate da polinomi irriducibili e partizioni (forma canonica di Jordan).
   • Per $Sp_{2n}(q)$ e $U_n(q)$, sono necessarie polinomi auto-reciproci e auto-coniugati, rispettivamente, per descrivere le classi di coniugazione.

2. Conteggio dei Polinomi Irriducibili:
   Vengono utilizzati risultati combinatori (Lemmi 2.1, 2.2, 2.3) per contare il numero di polinomi irriducibili i cui radici soddisfano condizioni specifiche di ordine moltiplicativo legate alla mappa di potenza $x \mapsto x^L$. Questi conteggi si basano sulla funzione di Möbius e sulla struttura dei gruppi ciclici dei campi finiti estesi.

3. Analisi Asintotica e Dominio dei Elementi Semisemplici:
   L'autore dimostra che, nel limite $q \to \infty$ con $v_L(q-1)=c$, il contributo dominante alla proporzione di punti periodici proviene esclusivamente dagli elementi semisemplici regolari (matrici diagonalizzabili con autovalori distinti o con struttura di Jordan banale).

   • Vengono esclusi gli elementi con blocchi nilpotenti non banali o autovalori nulli, poiché il loro contributo al numero totale di elementi è di ordine inferiore rispetto alla dimensione totale dell'algebra o del gruppo.
   • Questo riduce il problema al conteggio delle classi di coniugazione di matrici diagonalizzabili i cui autovalori sono radici dell'unità di ordine relativo a $L$.

4. Calcolo dei Limiti:
   Utilizzando le formule per le dimensioni delle classi di coniugazione e il numero di polinomi irriducibili disponibili, l'autore calcola il limite del rapporto tra il numero di punti periodici e la cardinalità totale dell'insieme.

3. Risultati Chiave

Il paper stabilisce formule esplicite per i limiti richiesti.

A. Algebra delle Matrici e Gruppo Lineare Generale ($M_\ell(q)$ e $GL_\ell(q)$)

Il Teorema 1 afferma che per $\ell \ge 2$:
$$\lim_{\substack{q \to \infty \\ v_L(q-1)=c}} \frac{|Per(x^L, M_\ell(q))|}{|M_\ell(q)|} = \lim_{\substack{q \to \infty \\ v_L(q-1)=c}} \frac{|Per(x^L, GL_\ell(q))|}{|GL_\ell(q)|} = \sum_{\lambda \vdash \ell} \prod_{i=1}^r \frac{1}{(\lambda_i)^{m_i} m_i!} \frac{1}{L^{m_i} v_L(q^{\lambda_i}-1)}$$
Dove la somma è estesa a tutte le partizioni $\lambda = (\lambda_1^{m_1}, \dots, \lambda_r^{m_r})$ di $\ell$.

• Osservazione: La proporzione di punti periodici è la stessa per l'algebra e per il gruppo lineare, e dipende solo dalla struttura delle partizioni di $\ell$ e dalla valutazione $L$-adica.

B. Gruppi Simplettico e Unitario ($Sp_{2\ell}(q)$ e $U_\ell(q)$)

I Teoremi 2 e 3 trattano i gruppi classici. Sorprendentemente, l'autore dimostra che i limiti per il gruppo simplettico e il gruppo unitario sono identici:
$$\lim_{\substack{q \to \infty \\ v_L(q-1)=c}} \frac{|Per(x^L, Sp_{2\ell}(q))|}{|Sp_{2\ell}(q)|} = \lim_{\substack{q \to \infty \\ v_L(q-1)=c}} \frac{|Per(x^L, U_\ell(q))|}{|U_\ell(q)|}$$
La formula coinvolge una somma su partizioni $\lambda$ di $\ell$ che tengono conto di due tipi di componenti:

1. Polinomi auto-reciproci (o auto-coniugati) di grado pari.
2. Coppie di polinomi irriducibili non auto-reciproci (o auto-coniugati) che sono reciproci l'uno dell'altro.
   La formula finale è:
   $$\sum_{\lambda \vdash \ell} \left( \prod_{i=1}^r \frac{1}{(\lambda_i)^{m_i} m_i!} \frac{1}{L^{m_i} v_L(q^{\lambda_i}+1)} \right) \left( \prod_{a=1}^s \frac{1}{(\lambda'_a)^{m'_a} m'_a!} \frac{1}{L^{m'_a} v_L(q^{\lambda'_a}-1)} \right)$$
   Dove i termini $v_L(q^{\lambda_i}+1)$ e $v_L(q^{\lambda'_a}-1)$ riflettono le diverse condizioni di ordine moltiplicativo richieste dai polinomi auto-reciproci rispetto a quelli generici.

4. Contributi e Significato

• Generalizzazione della Dinamica Algebrica: Il lavoro estende lo studio dei punti periodici (precedentemente limitato a campi finiti o polinomi specifici come $z^2+c$) a strutture algebriche non commutative complesse come algebre di matrici e gruppi di Lie finiti.
• Ruolo degli Elementi Semisemplici Regolari: Un contributo teorico fondamentale è la dimostrazione che, nel limite asintotico, solo gli elementi semisemplici regolari contribuiscono alla proporzione. Gli elementi con struttura nilpotente o autovalori degeneri diventano trascurabili in termini di densità.
• Unicità dei Limiti per Gruppi Diversi: Il risultato che i limiti per $Sp_{2\ell}(q)$ e $U_\ell(q)$ coincidono è un fatto non banale, dato che le loro strutture di coniugazione e le formule per le dimensioni delle classi sono molto diverse. Questo suggerisce una profonda simmetria nella distribuzione dei punti periodici sotto mappe di potenza.
• Connessione con le Mappe di Parola: L'introduzione collega questi risultati al campo delle "mappe di parola" sui gruppi, un'area attiva di ricerca in teoria dei gruppi e dinamica, fornendo nuovi strumenti per analizzare la suriettività e la struttura delle immagini di tali mappe.

In sintesi, il paper fornisce una caratterizzazione completa e asintotica della dinamica delle mappe di potenza su importanti famiglie di gruppi e algebre finite, risolvendo il problema del limite attraverso un'attenta analisi combinatoria delle classi di coniugazione e della teoria dei numeri sui campi finiti.