Arithmetic exceptionality of Lattès maps

1. Il Problema e il Contesto

Il lavoro si colloca all'intersezione tra la teoria dei numeri e la geometria aritmetica, focalizzandosi sullo studio delle funzioni razionali eccezionali. Una funzione razionale $r(x) \in \mathbb{Q}(x)$ è definita arithmeticamente eccezionale se induce una permutazione sulla retta proiettiva $\mathbb{P}^1(\mathbb{F}_p)$ per infiniti primi $p$.

Il documento si concentra sui mappe di Lattès, una classe speciale di funzioni razionali derivanti dall'aritmetica delle curve ellittiche. Data una curva ellittica $E/\mathbb{Q}$ e un intero $k \geq 1$, la mappa di Lattès $L_k$ è l'unica funzione razionale che soddisfa la relazione di commutatività:
$$\text{proj} \circ [k] = L_k \circ \text{proj}$$
dove $[k]$ è l'endomorfismo di moltiplicazione per $k$ su $E$ e $\text{proj}: E \to \mathbb{P}^1$ è la proiezione sulla coordinata $x$.

Il problema centrale è verificare una congettura formulata da Odabaş (basata su evidenze computazionali):

Congettura 1 (Odabaş): Per ogni intero positivo $k$, la $k$-esima mappa di Lattès $L_k$ associata a una curva ellittica $E/\mathbb{Q}$ è aritmeticamente eccezionale se e solo se $E$ non possiede punti di torsione $k$-sima la cui coordinata $x$ è razionale.

2. Metodologia

Gli autori affrontano la congettura principalmente per la classe delle curve ellittiche con Moltiplicazione Complessa (CM). La metodologia si basa su una combinazione di strumenti avanzati:

• Criterio di Permutazione: Utilizzano un risultato chiave (Proposizione 3) che stabilisce che $L_k$ induce una biiezione su $\mathbb{P}^1(\mathbb{F}_p)$ se e solo se $\gcd(A_p(E), k) = 1$, dove $A_p(E) = (p+1)^2 - a_p^2$ e $a_p$ è la traccia di Frobenius.
• Teoria delle Curve CM: Sfruttano i risultati di Deuring sulle tracce di Frobenius per curve CM. Quando $p$ è un primo di buona riduzione che si spezza nel campo quadratico immaginario $K$, la traccia $a_p$ è legata alla norma di un elemento primo $\pi$ nell'ordine dell'ordine.
• Teorema di Densità di Chebotarev: Per dimostrare l'esistenza di infiniti primi $p$ che soddisfano le condizioni di non divisibilità richieste, gli autori costruiscono sistemi di congruenze e applicano il teorema di densità di Chebotarev (o il teorema di Dirichlet per i progressi aritmetici) per garantire l'infinità di tali primi.
• Legge di Reciprocità: Per gestire casi specifici (in particolare per il discriminante $D=-3$), utilizzano la legge di reciprocità cubica e sessagesimale (Eisenstein) per controllare i simboli di residuo e garantire che certi fattori primi non dividano $A_p(E)$.
• Analisi dei Punti di Torsione: Analizzano la struttura dei sottogruppi di torsione razionali $E_{\text{tor}}(\mathbb{Q})$ per determinare le condizioni necessarie su $k$ (es. $k$ deve essere dispari se esiste un punto di 2-torsione razionale).

3. Contributi Chiave e Risultati

A. Verifica della Congettura per la maggior parte dei campi CM

Il risultato principale è il Teorema 2, che conferma la congettura di Odabaş per tutte le curve ellittiche con CM su un campo quadratico immaginario $K$ di numero di classe 1, escluso il caso $K = \mathbb{Q}(\sqrt{-11})$.
Gli autori trattano caso per caso i discriminanti $D \in \{-4, -8, -16, -7, -28, -19, -43, -67, -163, -12, -27, -3\}$, dimostrando che se non ci sono punti di torsione $k$-sima con $x$ razionale, allora esistono infiniti primi per cui $L_k$ è una permutazione.

B. La Controesempio e l'Ostacolo per $K = \mathbb{Q}(\sqrt{-11})$

Il lavoro identifica una eccezione significativa quando $E$ ha CM per $\mathbb{Q}(\sqrt{-11})$ e $6 \mid k$ (6 divide $k$).

• Proposizione 11: Se $6 \mid k$, la mappa $L_k$ non è aritmeticamente eccezionale, indipendentemente dalla razionalità delle coordinate $x$ dei punti di torsione.
• Motivo: In questo campo, il primo 3 si spezza. Per i primi di buona riduzione che si spezzano, il fattore 3 divide sempre $A_p(E)$. Combinato con il fattore 2 che divide $A_p(E)$ per i primi inerti, si ottiene che $\gcd(A_p(E), 6) \neq 1$ per quasi tutti i primi.
• Proposizione 12: Se $6 \nmid k$, la congettura vale anche per questo campo.

C. Controesempi per Curve Non-CM

Gli autori forniscono nuovi controesempi per curve ellittiche senza CM (Proposizione 18), mostrando che la congettura originale di Odabaş fallisce anche in contesti non-CM quando $6 \mid k$.

• Esempio: Curve della forma $E_u: y^2 = x^3 - 9u^2x + 12u^3$. Queste curve non hanno punti di torsione 2 o 3 con coordinate razionali, ma se $6 \mid k$, $L_k$ non è mai eccezionale.

D. Riformulazione della Congettura

Sulla base di questi risultati, gli autori propongono una Congettura 20 riformulata:

Per ogni intero positivo $k$ tale che $6 \nmid k$, la mappa di Lattès $L_k$ è aritmeticamente eccezionale se e solo se $E$ non possiede punti di torsione $k$-sima con coordinata $x$ razionale.

E. Approccio tramite Rappresentazioni di Galois

Nella sezione finale, il problema viene reinterpretato attraverso le rappresentazioni di Galois mod-$m$. La condizione di eccezionalità è collegata alla non-emptiness di un certo insieme $C_m$ nel gruppo immagine della rappresentazione di Galois. Questo fornisce un quadro teorico unificato per analizzare l'eccezionalità.

4. Significato e Impatto

Questo lavoro è significativo per diversi motivi:

1. Risoluzione Parziale di una Congettura Aperta: Fornisce una prova rigorosa della congettura di Odabaş per una vasta classe di curve (tutte le curve CM tranne una specifica eccezione), risolvendo un problema aperto basato su dati computazionali.
2. Identificazione di un Ostacolo Arithmetico: Scopre e spiega un ostacolo aritmetico profondo legato alla divisibilità per 6 e alla struttura dei campi di CM, che non era stato rilevato negli esperimenti precedenti.
3. Nuovi Controesempi: Dimostra che la congettura originale è falsa anche per curve non-CM, ampliando la comprensione delle limitazioni delle mappe di Lattès come permutazioni.
4. Strumenti Teorici: L'uso combinato di reciprocity laws, densità di Chebotarev e teoria delle rappresentazioni di Galois offre un modello metodologico per problemi simili nella dinamica aritmetica.

In sintesi, il paper non solo conferma la validità della congettura nella maggior parte dei casi, ma ne delinea i limiti precisi, suggerendo una correzione necessaria (l'esclusione del caso $6 \mid k$) e fornendo una base teorica solida per futuri studi sulle permutazioni indotte da mappe dinamiche su campi finiti.