Proportion of periodic points in reduction of polynomials

Titolo: Proporzioni di punti periodici nella riduzione di polinomi su campi numerici

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della dinamica aritmetica e della teoria dei numeri. Il problema centrale, formulato inizialmente da Juul, Kurlberg, Madhu e Tucker nel 2014, riguarda il comportamento asintotico dei punti periodici quando un polinomio (o una funzione razionale) definito su un campo numerico $K$ viene ridotto modulo ideali primi $\mathfrak{p}$.

Sia $K$ un campo numerico, $\mathcal{O}_K$ il suo anello degli interi e $f \in K[x]$ un polinomio. Per quasi tutti gli ideali primi $\mathfrak{p} \subset \mathcal{O}_K$, si può considerare la mappa ridotta $f_{\mathfrak{p}}$ che agisce sul campo residuo finito $\mathbb{F}_{\mathfrak{p}} = \mathcal{O}_K/\mathfrak{p}$. Poiché $\mathbb{F}_{\mathfrak{p}}$ è finito, ogni punto è o periodico o pre-periodico.
L'obiettivo è determinare il limite inferiore della proporzione di punti periodici al crescere della norma dell'ideale primo $N(\mathfrak{p}) \to \infty$:
$$\text{Per}_{\inf}(f, K) := \liminf_{N(\mathfrak{p}) \to +\infty} \frac{\# \text{Per}(f, \mathbb{F}_{\mathfrak{p}})}{N(\mathfrak{p})}$$
Mentre per mappe "casuali" su insiemi finiti ci si aspetterebbe una proporzione che tende a zero (comportamento stocastico), le mappe algebriche mostrano strutture specifiche. In particolare, è noto che per i polinomi di Chebyshev la proporzione è positiva, mentre per molti altri casi è zero. Il lavoro mira a fornire una classificazione completa per tutti i polinomi.

2. Metodologia

L'autore utilizza un approccio ibrido che combina strumenti di dinamica algebrica, teoria dei gruppi di Galois iterati e teoria algebrica dei numeri.

• Gruppi di Galois Iterati e Proporzioni di Punti Fissi: Si fa riferimento alla teoria sviluppata da Odoni e successivamente da Juul et al. La proporzione di punti periodici è limitata superiormente dalla "proporzione di punti fissi" (Fixed-Point Proportion, FPP) del gruppo di Galois iterato geometrico $G_{\infty}(\mathbb{C}, f, t)$ associato a $f$.
  $$\text{Per}_{\inf}(f, K) \leq \text{FPP}(G_{\infty}(\mathbb{C}, f, t))$$
  Un risultato recente dell'autore insieme a Fariña-Asategui classifica l'FPP per polinomi su campi algebricamente chiusi: è positivo solo se $f$ è linearmente coniugato a $\pm T_d$ (polinomi di Chebyshev), altrimenti è zero.

• Riduzione ai Polinomi di Chebyshev: Il lavoro dimostra che se $f$ non è coniugato a $\pm T_d$ su $\mathbb{C}$, allora $\text{Per}_{\inf}(f, K) = 0$. Se invece $f$ è coniugato a $\pm T_d$, il problema si riduce al calcolo diretto di $\text{Per}_{\inf}(T_d, K)$.

• Analisi dei Polinomi di Chebyshev: Per calcolare la proporzione per $T_d$, l'autore sfrutta la struttura commutativa tra il polinomio di Chebyshev $T_d$, la mappa $x \mapsto x^d$ e la mappa $\pi(x) = x + 1/x$. I punti periodici di $T_d$ su un campo finito $\mathbb{F}_q$ corrispondono a punti di ordine specifico nel gruppo moltiplicativo di un'estensione quadratica di $\mathbb{F}_q$.
  La formula chiave ottenuta è:
  $$\text{Per}_{\inf}(T_d, K) = \frac{1}{2} \liminf_{N(\mathfrak{p}) \to \infty} \frac{r(N(\mathfrak{p})-1, d) + r(N(\mathfrak{p})+1, d)}{N(\mathfrak{p})}$$
  dove $r(a, b)$ è il più grande divisore di $a$ coprimo con $b$.

• Teoria dei Numeri e Teorema di Cebotarev: Per valutare il limite, l'autore analizza i fattori primi di $N(\mathfrak{p}) \pm 1$ in relazione ai fattori primi di $d$. Si utilizza il Teorema di Cebotarev per dimostrare l'esistenza di infiniti ideali primi con specifiche proprietà di congruenza, legate alla presenza di radici dell'unità in $K$. In particolare, si considera $m_K$, il massimo intero tale che $K$ contenga una radice primitiva $m_K$-esima dell'unità.

3. Risultati Principali (Teorema 1)

Il teorema principale fornisce una classificazione completa di $\text{Per}_{\inf}(f, K)$ per ogni polinomio $f$ di grado $d$ su un campo numerico $K$.

1. Casi banali:

   • Se $d=0$, la proporzione è 0.
   • Se $d=1$, la proporzione è 1 (la mappa è una permutazione).

2. Caso non-Chebyshev:

   • Se $d \geq 2$ e $f$ non è linearmente coniugato su $\mathbb{C}$ a $\pm T_d$, allora $\text{Per}_{\inf}(f, K) = 0$.

3. Caso Chebyshev ($f$ coniugato a $\pm T_d$):
   Il valore dipende dalla struttura aritmetica di $d$ e dalla presenza di radici dell'unità in $K$ (misurata da $m_K$).

   • $d$ ha almeno due fattori primi e $\text{rad}(d) \nmid \text{rad}(m_K)$: La proporzione è 0.
   • $d$ è dispari, ha almeno due fattori primi e $\text{rad}(d) \mid \text{rad}(m_K)$: La proporzione è 1/2.
   • $d$ è pari, ha almeno due fattori primi, $\text{rad}(d) \mid \text{rad}(m_K)$ e $v_2(m_K) \geq 2$: La proporzione è 1/4.
   • $d$ è pari, ha almeno due fattori primi, $\text{rad}(d) \mid \text{rad}(m_K)$ e $v_2(m_K) = 1$: La proporzione è 0.
   • $d$ è una potenza di un primo dispari: La proporzione è 1/2.
   • $d$ è una potenza di un primo pari: La proporzione è 1/4.

Corollario per $K=\mathbb{Q}$:
Poiché per $K=\mathbb{Q}$ si ha $m_K=2$, i casi si semplificano:

• Se $d$ è una potenza di un primo dispari e $f$ è coniugato a $\pm T_d$, la proporzione è 1/2.
• Se $d$ è una potenza di un primo pari e $f$ è coniugato a $\pm T_d$, la proporzione è 1/4.
• In tutti gli altri casi (inclusi polinomi non coniugati a Chebyshev o polinomi di Chebyshev con $d$ avente più di un fattore primo), la proporzione è 0.

4. Contributi Chiave e Significato

• Classificazione Completa: Il lavoro risolve definitivamente il problema della classificazione per i polinomi, chiudendo i casi lasciati aperti dai lavori precedenti (che coprivano solo casi specifici come $x^d+c$ o polinomi con orbite critiche disgiunte).
• Ruolo delle Radici dell'Unità: L'articolo evidenzia come la presenza di radici dell'unità nel campo di definizione $K$ sia cruciale per determinare se la proporzione di punti periodici sia positiva o nulla. La condizione $\text{rad}(d) \mid \text{rad}(m_K)$ è il fattore discriminante.
• Estensione a Campi Generali: Mentre i risultati precedenti erano spesso limitati a $\mathbb{Q}$, questo lavoro generalizza la teoria a qualsiasi campo numerico $K$, mostrando come la struttura del campo influenzi la dinamica ridotta.
• Connessione tra Dinamica e Teoria dei Numeri: Il lavoro rafforza il legame tra la dinamica dei polinomi (tramite i gruppi di Galois iterati) e le proprietà aritmetiche dei campi numerici (tramite il teorema di Cebotarev e le estensioni ciclotomiche).

In sintesi, l'articolo stabilisce che, salvo casi molto specifici legati ai polinomi di Chebyshev e alla presenza di radici dell'unità nel campo base, la maggior parte dei polinomi su campi numerici ha una proporzione di punti periodici che tende asintoticamente a zero quando ridotti modulo primi grandi.