Heavenly elliptic curves over quadratic fields

1. Il Problema e il Contesto

Il lavoro si inserisce nello studio delle varietà abeliane "celesti" (heavenly). Un varietà abeliana $A$ definita su un campo di numeri $K$ è detta celeste in un primo $\ell$ se l'estensione $K(A[\ell^\infty])/K(\mu_{\ell^\infty})$ è sia pro-$\ell$ che non ramificata fuori da $\ell$.
Questo concetto è legato alla rappresentazione di Galois esterna pro-$\ell$ associata a $\mathbb{P}^1_K \setminus \{0, 1, \infty\}$ e alla domanda aperta di Ihara sulla coincidenza tra certi campi di fissaggio (indicati con $\mathfrak{yama}$ e $\mathfrak{ten}$).

La questione centrale è la finitudine delle classi di isomorfismo di curve ellittiche celesti.

• È noto che per un campo quadratico $K$ fissato, il numero di classi di curve ellittiche celesti (al variare di $\ell$) è finito.
• L'obiettivo del paper è investigare il caso inverso: fissato un primo $\ell$, il numero di classi di curve ellittiche celesti è finito al variare del campo di definizione $K$ (in particolare tra tutti i campi quadratici)?

2. Metodologia

Gli autori combinano strumenti avanzati della teoria dei numeri e della geometria aritmetica:

• Punti S-integrali: Utilizzano una generalizzazione del teorema di Siegel sui punti integrali su curve, dovuta a Levin, per dimostrare la finitudine dei punti su curve modulari di grado limitato.
• Rappresentazioni di Galois e Caratteri: Analizzano la struttura della rappresentazione di Galois $\rho_{E, \ell}$ associata ai punti di torsione $\ell$-sima. Sfruttano i risultati di Tate-Oort sulla struttura dei gruppi di torsione in caratteristica $\ell$ e le relazioni tra il carattere ciclotomico $\chi$ e i caratteri fondamentali $\psi_l$.
• Condizione di "Bilanciamento" (Balanced Condition): Introducono e studiano una proprietà strutturale delle curve celesti chiamata "bilanciata", che impone vincoli rigorosi sui numeri di Tate-Oort e, di conseguenza, sulla traccia di Frobenius.
• Moltiplicazione Complessa (CM): Confrontano il comportamento delle curve celesti con quello delle curve a moltiplicazione complessa, sfruttando la teoria dei caratteri di Hecke e la teoria delle classi di campi immaginari quadratici.
• Calcolo Computazionale: Utilizzano SageMath e MAGMA per verificare casi specifici, eliminare eccezioni e generare tabelle complete di curve celesti con CM.

3. Contributi Chiave e Risultati Principali

A. Risultati di Finitudine (Teoremi 1.1 e 1.2)

Il risultato principale è un teorema di finitudine "uniforme" rispetto al campo di definizione:

• Teorema 1.1: Per un primo fisso $\ell \ge 7$, esiste un numero finito di classi di isomorfismo su $\mathbb{Q}$ di curve ellittiche definite su un campo quadratico che sono celesti in $\ell$.
• Teorema 1.2 (Generalizzazione): Fissato un campo di numeri $K_0$ e un grado $d > 1$, se $\ell > 2d + 1$, allora il numero di classi di curve ellittiche definite su campi $K$ di grado $\le d$ su $K_0$ che sono celesti in $\ell$ è finito.
  Questo risponde affermativamente alla domanda se la finitudine valga anche quando si varia il campo di definizione, a condizione che $\ell$ sia sufficientemente grande.

B. Comportamento della Traccia di Frobenius (Teorema 1.3)

Gli autori dimostrano che le curve celesti su campi quadratici mostrano un comportamento della traccia di Frobenius $a_p(E)$ modulo $\ell$ sorprendentemente simile a quello delle curve a moltiplicazione complessa (CM):

• Se un primo $p$ è inerente in $K(\sqrt{-\ell})$, allora $a_p(E) \equiv 0 \pmod \ell$.
• Se $p$ si spezza in $K(\sqrt{-\ell})$, allora $a_p(E)^2 \equiv 4p^f \pmod \ell$.
  Questo suggerisce fortemente che le curve celesti "si comportino" come curve CM.

C. Congetture e Relazioni con la CM

Il paper formula tre congetture interconnesse:

• Congettura A: Per $\ell > 19$, ogni curva ellittica celeste su un campo quadratico possiede moltiplicazione complessa (CM).
• Congettura B: L'insieme delle coppie $(\ell, K)$ per cui esiste una curva celeste su $K$ (non isomorfa a una curva razionale celeste) è finito.
• Congettura C: L'insieme delle classi di isomorfismo su $\mathbb{Q}$ di curve celesti è finito.
  Gli autori dimostrano che la Congettura A implica la B, e la B implica la C.

D. Classificazione delle Curve Celesti con CM (Teorema 1.4)

Per le curve con CM e $j$-invariante irrazionale definite su campi quadratici, gli autori forniscono una classificazione completa:

• Le uniche curve celesti con CM e $j \notin \mathbb{Q}$ sono quelle elencate nella Tabella A.2 del documento.
• I primi $\ell$ possibili sono limitati a $\{2, 3, 7, 11, 23, 31, 47\}$.
• Viene dimostrato che per $\ell > 19$, una curva celeste su un campo quadratico deve essere "bilanciata", il che restringe drasticamente le possibilità.

4. Significato e Implicazioni

1. Connessione tra Celestità e CM: Il lavoro stabilisce un legame profondo tra la proprietà aritmetica di essere "celeste" (legata alla teoria di Galois e alla ramificazione) e la presenza di moltiplicazione complessa. Se la Congettura A fosse dimostrata, significherebbe che le curve celesti sono essenzialmente un sottoinsieme delle curve CM, rendendo la loro classificazione completa.
2. Finitudine Uniforme: I teoremi di finitudine (1.1 e 1.2) sono risultati significativi perché mostrano che, al di là di un certo limite per $\ell$, non esistono "famiglie infinite" di curve celesti al variare del campo quadratico. Questo è un passo verso la risoluzione della congettura di finitudine di Tamagawa-Rasmussen per varietà abeliane.
3. Strumenti per la Ricerca Futura: La definizione della condizione di "bilanciamento" e i limiti espliciti calcolati (es. $B(2,1) \le 19$) forniscono strumenti pratici per escludere l'esistenza di curve celesti per primi grandi, riducendo il problema a un controllo computazionale finito.
4. Dati Computazionali: La produzione di tabelle complete (Appendice A) offre un database prezioso per la comunità, includendo modelli espliciti di curve ellittiche con proprietà aritmetiche molto specifiche.

In sintesi, il paper dimostra che le curve ellittiche celesti su campi quadratici sono oggetti estremamente rari e strutturati, la cui esistenza è vincolata da forti condizioni di moltiplicazione complessa e da limiti numerici precisi sui primi $\ell$ coinvolti.