Classification of Rational Functions of Degree Three over Finite Fields

1. Il Problema

Il lavoro si concentra sulla classificazione delle funzioni razionali di grado tre su campi finiti $\mathbb{F}_q$ (dove $q$ è una potenza di un primo $p$) rispetto all'equivalenza sotto l'azione del gruppo lineare proiettivo $PGL(2, \mathbb{F}_q)$.

Due funzioni razionali non costanti $f, g \in \mathbb{F}_q(X)$ sono dette equivalenti ($f \sim g$) se esistono $\psi, \phi \in PGL(2, \mathbb{F}_q)$ tali che:
$$g = \psi \circ f \circ \phi$$
Questa relazione di equivalenza preserva le proprietà fondamentali delle funzioni razionali, come il numero e il tipo di punti di ramificazione, che sono invarianti cruciali per le applicazioni nella teoria dei campi finiti, nella crittografia e nella costruzione di polinomi irriducibili.

Mentre la classificazione per grado 1 (banale) e grado 2 (nota) è completa, e quella per grado 3 in caratteristica pari è stata recentemente risolta da Mattarei e Pizzato, il caso in caratteristica dispari ($p$ dispari) rimaneva aperto. L'obiettivo principale del paper è fornire una classificazione completa e esplicita per tutte le funzioni razionali di grado 3 su $\mathbb{F}_q$ con $q$ dispari.

2. Metodologia

Gli autori adottano un approccio basato sull'analisi delle frequenze dei valori (il numero di preimmagini di un punto) e dei punti di ramificazione della funzione.

Classificazione Preliminare

Le funzioni di grado 3 sono suddivise in tre classi disgiunte in base alla cardinalità delle fibre $|f^{-1}(\alpha)|$:

• Classe I: $|f^{-1}(\alpha)| = 1$ per ogni $\alpha \in \mathbb{P}^1(\mathbb{F}_q)$ (funzioni che permutano la retta proiettiva). Questa classe è già nota.
• Classe II: Esiste un $\alpha$ tale che $|f^{-1}(\alpha)| = 2$.
• Classe III: Il caso rimanente, dove esiste un $\alpha$ con $|f^{-1}(\alpha)| = 3$, ma nessun $\beta$ ha $|f^{-1}(\beta)| = 2$.

Strategia per la Classe III

Per la Classe III, gli autori utilizzano una strategia combinata di algebra e geometria algebrica:

1. Forma Canonica: Sotto equivalenza, ogni funzione in Classe III può essere ridotta alla forma $f_{s,t}(X) = \frac{X^3 + sX + t}{X(X-1)}$, con condizioni specifiche su $s, t$.
2. Punti di Ramificazione: L'analisi si basa sulle radici del polinomio derivato $G_{s,t}(X) = X^4 - 2X^3 - sX^2 - 2tX + t$. La fattorizzazione di $G_{s,t}$ su $\mathbb{F}_q$ determina il "tipo di ramificazione" della funzione.
3. Suddivisione in Sottoclassi: La Classe III viene ulteriormente suddivisa in base alla fattorizzazione di $G_{s,t}$:
   • III-a: $G_{s,t}$ è irriducibile su $\mathbb{F}_q$.
   • III-b: $G_{s,t}$ è prodotto di due quadrati irriducibili distinti.
   • III-c: $G_{s,t}$ è il quadrato di un polinomio irriducibile.
   • III-d: $G_{s,t}$ ha radici in $\mathbb{F}_q$.
4. Invarianti: Per distinguere le classi di equivalenza all'interno di queste sottoclassi, gli autori costruiscono invarianti algebrici:
   • $\theta(s,t)$: Un invariante definito come $\theta = \frac{s^3}{t(1+s+t)}$. Questo invariante è sufficiente per la Classe III-a e per la maggior parte delle altre.
   • $\lambda$ (Rapporto Incrociato): Per la sottoclasse III-b, $\theta$ non è sufficiente. Gli autori introducono un secondo invariante basato sul rapporto incrociato (cross-ratio) delle radici di ramificazione, che porta a un invariante $\mu^2$.
5. Strumenti Geometrici: Per dimostrare che gli invarianti distinguono esattamente il numero corretto di classi (coerente con la formula nota per il numero totale di classi $N(q,3)$), gli autori utilizzano il limite di Hasse-Weil per curve algebriche assolutamente irriducibili, garantendo l'esistenza di punti razionali necessari per la suriettività degli invarianti.

3. Contributi Chiave e Risultati

Risultati Principali

Il paper fornisce una classificazione completa per $p \ge 5$ e per $p=3$:

• Classe I: Confermata come già nota (funzioni di permutazione).

• Classe II: Dimostrata la completezza delle forme canoniche $X^3+t/X$ e $(X^3+X^2+t)/X$.

• Classe III (Caratteristica $\ge 5$):

  • Sottoclasse III-a: Le classi di equivalenza sono in corrispondenza biunivoca con i valori di $\theta$ che sono $27 + a$, dove $a$ è un non-quadrato in $\mathbb{F}_q$. Il numero di classi è $(q-1)/2$.
  • Sottoclasse III-b: L'invariante $\theta$ da solo non basta. È necessario l'invariante $\mu^2$ (derivato dal rapporto incrociato). Le classi sono determinate da $\mu^2 \in \mathbb{F}_q^2 \setminus \{0, 1, 9\}$. Il numero di classi è $(q-5)/2$.
  • Sottoclasse III-c: Esiste una sola classe di equivalenza (rappresentata da $f_{-3,1}$) se $q \not\equiv 1 \pmod 6$, altrimenti è vuota.
  • Sottoclasse III-d: Le classi sono determinate da un parametro $u$ tale che $1-u+u^2$ è un non-quadrato.
  • Totale: La somma delle classi trovate coincide esattamente con la formula nota $N(q,3) = q-1$ per la Classe III, confermando la completezza della classificazione.

• Classe III (Caratteristica 3): Viene fornita una classificazione analoga con opportune modifiche (es. la sottoclasse III-c è vuota).

• Caratteristica Pari (Appendice A): Sebbene il focus sia sulla caratteristica dispari, gli autori mostrano che il loro metodo si applica anche al caso pari, confermando e confrontando i risultati con il lavoro precedente di Mattarei e Pizzato.

Dimostrazioni Dirette

Gli autori offrono anche prove dirette (senza fare affidamento sul conteggio totale $N(q,3)$) per la maggior parte dei casi, utilizzando proprietà dei rapporti incrociati e dell'azione di $PGL(2, \mathbb{F}_q)$ sui punti di ramificazione. Tuttavia, alcune eccezioni richiedono comunque la conoscenza a priori del numero totale di classi.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Completezza: Chiude un problema aperto nella teoria dei campi finiti, fornendo l'elenco completo delle classi di equivalenza per funzioni razionali di grado 3 in caratteristica dispari.
2. Strumenti Nuovi: Introduce e sviluppa l'uso di invarianti sofisticati ($\theta$ e $\mu^2$) basati sulla teoria dei campi di funzioni e sui rapporti incrociati per distinguere classi di funzioni razionali.
3. Applicazioni Pratiche: La classificazione è fondamentale per:
   • La costruzione di polinomi irriducibili di alto grado su campi finiti.
   • Lo studio delle funzioni di permutazione (permutazioni razionali), che hanno applicazioni dirette in crittografia (S-box, cifrari a blocchi) e combinatoria.
   • La comprensione della struttura dei campi di funzioni algebriche di genere basso.
4. Riproducibilità: Il paper include codici Mathematica nell'Appendice B per verificare le fattorizzazioni complesse e i calcoli algebrici, rendendo i risultati verificabili e riproducibili.

In sintesi, il documento rappresenta un avanzamento sostanziale nella comprensione della struttura algebrica delle funzioni razionali su campi finiti, fornendo un quadro teorico solido e una classificazione esplicita che sarà un riferimento fondamentale per ricerche future in teoria dei numeri e algebra computazionale.