Fixed-point lifting and ghost periodic points for Chebyshev polynomials modulo odd prime powers

Sintesi Tecnica: Sollevamento a Punto Fisso e Punti Periodici Fantasma per i Polinomi di Chebyshev Modulo Potenze di Primi Pari

Enunciato del Problema
Il lavoro indaga la dinamica dei polinomi di Chebyshev $T_n(x)$ agenti sugli anelli finiti $\mathbb{Z}/p^k\mathbb{Z}$ per un primo dispari $p$ e un intero $n \ge 2$. Sebbene la struttura globale del grafo funzionale di queste mappe sui campi finiti $\mathbb{F}_p$ sia ben consolidata (ad esempio, Gassert, Qureshi–Panario), le formule aritmetiche esplicite per i conteggi dei punti fissi e dei punti di periodo esatto sui livelli superiori di potenza del primo $\mathbb{Z}/p^k\mathbb{Z}$ rimangono meno sviluppate, in particolare per gradi non-permutazione e classi residue degeneri. La sfida principale affrontata è il sollevamento dei punti periodici da $\mathbb{F}_p$ a $\mathbb{Z}/p^k\mathbb{Z}$, analizzando specificamente i casi in cui il sollevamento standard di Hensel non è unico (casi degeneri) e identificando i punti periodici "fantasma" — sollevamenti il cui periodo esatto aumenta strettamente passando a un modulo superiore.

Metodologia
Gli autori adottano una strategia di parametrizzazione a "due sorgenti", sfruttando l'identità $T_n(\frac{\zeta + \zeta^{-1}}{2}) = \frac{\zeta^n + \zeta^{-n}}{2}$. Ciò riduce la dinamica di $T_n$ su $\mathbb{F}_p$ alla dinamica moltiplicativa di $\zeta$ in due gruppi sorgente: il gruppo split $\mathbb{F}_p^\times$ e il gruppo non-split $\mu_{p+1}$ (radici dell'unità in $\mathbb{F}_{p^2}$).

I componenti metodologici chiave includono:

1. Parametrizzazione della Sorgente: Decomposizione dei punti fissi e periodici basata sull'ordine $e$ del parametro sorgente $\zeta$ e sull'ordine di Chebyshev $\text{corde}(n) = \min\{r \ge 1 : n^r \equiv \pm 1 \pmod e\}$.
2. Analisi della Degenerazione: Distinzione tra punti fissi non degeneri (dove $T_n'(a) \not\equiv 1 \pmod p$) e quelli degeneri (dove $T_n'(a) \equiv 1 \pmod p$). Questi ultimi richiedono un'analisi locale che va oltre il lemma standard di Hensel.
3. Sollevamento Locale:
   • Per i punti non degeneri, il sollevamento unico è garantito dal lemma di Hensel.
   • Per i punti degeneri non di frontiera, gli autori utilizzano i sollevamenti di Teichmüller e analizzano il nucleo della mappa di norma nelle estensioni quadratiche non ramificate per contare i sollevamenti fissi.
   • Per i punti di frontiera degeneri ($a = \pm 1$), la dimostrazione si basa su stime della valutazione $p$-adica del polinomio $Q_\varepsilon(x) = (T_n(x)-x)/(x-\varepsilon)$ utilizzando logaritmi ed esponenziali $p$-adici. Questo passo analitico richiede l'ipotesi $p \ge 5$ per garantire la convergenza all'interno del dominio stretto delle funzioni log/exp $p$-adiche.
4. Inversione di Möbius: I conteggi del periodo esatto sono derivati dai conteggi dei punti fissi delle iterate $T_{nj}$ utilizzando la classica formula di inversione di Möbius.

Contributi e Risultati Chiave

1. Conteggio dei Punti Fissi su $\mathbb{F}_p$ (Teorema 5.1):
   Gli autori derivano una formula chiusa per il numero di punti fissi $N_1 = |\text{Fix}(T_n, \mathbb{F}_p)|$ espressa come somma di quattro massimi comuni divisori:
   $$N_1 = \frac{\gcd(n-1, p-1) + \gcd(n+1, p-1) + \gcd(n-1, p+1) + \gcd(n+1, p+1) - 2\delta}{2}$$
   dove $\delta = \gcd(n-1, 2)$. Questa formula isola i cicli di lunghezza uno dalle descrizioni note dei grafi e li organizza per i rami sorgente split/non-split.

2. Criterio di Degenerazione (Proposizione 7.1):
   Viene stabilito un criterio preciso per quando un punto fisso è degenere: $a_0$ è degenere se e solo se $p \mid (n^2 - 1)$. Il numero di tali classi residue degeneri, denotato $d$, è calcolato esplicitamente in base al ramo ($n-1$ o $n+1$) e ai gruppi sorgente.

3. Formule di Sollevamento dei Punti Fissi (Teorema 7.3):

   • Primo Sollevamento ($p^2$): Per ogni primo dispari $p$, il numero di punti fissi modulo $p^2$ è $N_2 = N_1 + d(p-1)$. Ciò vale indipendentemente dal fatto che $T_n$ sia una permutazione.
   • Tutti i Livelli ($p^k$): Per $p \ge 5$, viene fornita una formula chiusa per $N_k$:
     $$N_k = N_1 + d(p^{\min(k-1, s)} - 1)$$
     dove $s = \nu_p(n^2 - 1)$. Questa formula è equivalente a un'espressione basata sul MCD che coinvolge $(p \pm 1)p^{k-1}$.
   • Limitazione: La formula per tutti i livelli fallisce per $p=3$ a causa delle stime di valutazione di frontiera alla soglia di convergenza delle funzioni log/exp $p$-adiche.

4. Punti Periodici Fantasma (Teorema 10.4):
   Per $p \nmid n$, il lavoro identifica una dicotomia nel sollevamento delle residue periodiche modulo $p^2$. Sia $t = \text{corde}(n)$ il periodo base e $\kappa = \text{corde}_p(n)$ l'ordine sorgente sollevato.

   • Se $\kappa = t$, tutti i $p$ sollevamenti mantengono il periodo base $t$.
   • Se $\kappa > t$, esattamente un sollevamento (il sollevamento di Hensel) mantiene il periodo $t$, mentre i rimanenti $p-1$ sollevamenti sono punti periodici "fantasma" di periodo $\kappa$.

5. Torri di Periodi a Livelli Superiori (Teorema 11.9):
   Per $p \ge 5$ e $p \nmid n$, il sollevamento dei periodi a livelli arbitrari $k$ è governato da una "torre di corde" $c_q = \text{corde}_{p^q}(n)$. I $p^{k-1}$ sollevamenti di una residua periodica sono partizionati in insiemi di punti con periodi esatti corrispondenti ai valori distinti nella sequenza della torre $c_0, c_1, \dots, c_{k-1}$.

6. Conteggi del Periodo Esatto (Corollario 11.1):
   Viene fornita un'identità generale di inversione di Möbius per calcolare il numero di punti di periodo esatto $r$ su $\mathbb{Z}/p^k\mathbb{Z}$ per qualsiasi primo dispari $p$. Per $p \ge 5$, ciò produce forme chiuse esplicite sostituendo le formule dei punti fissi.

Significato e Ambito
Il lavoro afferma di fornire formule aritmetiche esplicite per i conteggi dei punti fissi e dei punti di periodo esatto organizzate attorno alla parametrizzazione a due sorgenti e al comportamento di sollevamento locale. Il suo significato risiede in:

• Generalità: Affrontare gradi arbitrari $n$, inclusi i casi non-permutazione e le classi residue degeneri, che sono spesso esclusi nei lavori precedenti focalizzati sui polinomi permutazione (ad esempio, Li–Lu–Tan–Chen).
• Precisione Locale: Andare oltre le descrizioni globali dei grafi per fornire regole di sollevamento residue per residue, caratterizzando specificamente le orbite "fantasma" dove i periodi si biforcano al primo sollevamento.
• Formule Esplicite: Offrire espressioni in forma chiusa per $N_k$ e $P_r^{(k)}$ che dipendono dalle valutazioni $p$-adiche e dai MCD, piuttosto che da semplici descrizioni asintotiche o strutturali.

Gli autori notano che i risultati per $p \ge 5$ si basano su stime analitiche $p$-adiche che non valgono per $p=3$, e il caso $p=2$ è escluso a causa della non invertibilità di 2 nella parametrizzazione. Il lavoro è presentato come una riorganizzazione aritmetica di dati noti sui campi finiti per facilitare gli argomenti di sollevamento, piuttosto che una nuova classificazione dei grafi globali su $\mathbb{F}_p$.