On the torsion growth in quadratic number fields for elliptic curves defined over the rationals

Questo articolo stabilisce una relazione esplicita tra i primi che dividono il conduttore di una curva ellittica definita sui razionali e il conduttore dell'estensione quadratica, analizzando come la conoscenza della crescita del sottogruppo di torsione permetta di caratterizzare il campo di base.

L'essenziale

Immagina di avere una macchina sportiva (che in matematica chiamiamo "curva ellittica") che viaggia su una strada dritta e perfetta: i numeri razionali ($\mathbb{Q}$). Questa macchina ha un certo numero di "passeggeri speciali" a bordo, chiamati punti di torsione. Questi passeggeri sono speciali perché, se li fai "girare" un certo numero di volte, tornano al punto di partenza (come un'auto che fa un giro completo e finisce dove ha iniziato).

Il problema che gli autori di questo articolo si pongono è questo:

"Se portiamo questa macchina su una strada di montagna più complessa (un campo quadratico, come $\mathbb{Q}(\sqrt{d})$), quanti nuovi passeggeri speciali possono salire a bordo? E, soprattutto, di che tipo di strada stiamo parlando se vediamo che il numero di passeggeri aumenta?"

Di solito, i matematici dicono: "Se scegliamo questa strada, ecco quanti passeggeri avremo".
Questi autori invece fanno il contrario: "Vediamo che sono saliti nuovi passeggeri. Cosa ci dice questo sulla strada che stiamo percorrendo?"

Ecco i punti chiave spiegati con metafore semplici:

1. La Regola d'Oro: "Nessun nuovo passeggero senza un ostacolo"

Gli autori scoprono una regola fondamentale. Se salgono nuovi passeggeri (punti di torsione) quando si passa dalla strada dritta a quella di montagna, allora la montagna deve avere delle caratteristiche molto specifiche.

Immagina che la tua macchina abbia un motore (la curva ellittica) che può rompersi in certi punti della strada (i numeri primi che dividono il "conduttore" della curva).

• La scoperta: Se salgono nuovi passeggeri, significa che la strada di montagna ($K$) deve passare esattamente sopra uno di questi punti dove il motore potrebbe rompersi, OPPURE deve essere una strada "magica" legata al numero 3.
• In parole povere: Non puoi avere un aumento di passeggeri su una strada qualsiasi. La strada deve "toccare" i punti critici della macchina o essere una strada speciale (legata al 3).

2. I "Passeggeri" e i "Numeri Magici" (2, 3, 5, 7)

Non tutti i passeggeri sono uguali. I matematici hanno scoperto che i nuovi passeggeri possono avere "pesi" (ordini) che sono solo i numeri 2, 3, 5 o 7.

• Il caso del 2 (Il passeggero doppio):
  Se salgono passeggeri con peso 2 (o multipli come 4, 8, 16), la strada di montagna deve essere "scoscesa" proprio nel punto dove la macchina ha un problema con il numero 2.

  • Metafora: Se la tua auto ha un problema con le gomme (il numero 2), e sali su una montagna dove le gomme si rompono, allora la montagna deve essere fatta di "gomma bruciata" (il numero 2 divide il discriminante della strada). Non puoi salire su una montagna di ghiaccio e aspettarti che le gomme si rompano per magia.

• Il caso del 3 (Il passeggero ribelle):
  Il numero 3 è un po' diverso. È l'unico che permette un "trucco". A volte, puoi salire su una montagna dove il numero 3 è presente, anche se la tua macchina non ha problemi con il 3.

  • Esempio: È come se ci fosse una strada speciale (legata alla radice quadrata di -3) dove i passeggeri possono apparire per magia, anche se la macchina è perfetta. Ma se la strada non è questa strada speciale, allora anche per il 3 vale la regola: se salgono passeggeri, la strada deve toccare un punto critico della macchina.

• I casi del 5 e 7 (I passeggeri severi):
  Per i numeri 5 e 7, la regola è ferrea. Se salgono passeggeri con questi pesi, la strada di montagna deve passare esattamente sopra un punto dove la macchina ha un guasto (riduzione additiva). Non ci sono eccezioni. È come dire: "Se vedi un passeggero da 5 kg, la strada deve essere fatta di asfalto rotto proprio lì".

3. La "Lente" Matematica (Rappresentazioni di Galois)

Come fanno a sapere tutto questo? Usano una lente magica chiamata rappresentazione di Galois.
Immagina che ogni passeggero abbia un "codice a barre". Quando la macchina viaggia, questi codici a barre cambiano in base alla strada.
Gli autori guardano come cambiano questi codici. Se la strada è troppo "liscia" (buona riduzione) e il codice cambia in modo troppo complesso, sanno che è impossibile che un passeggero nuovo salga a bordo senza che la strada tocchi un punto di rottura della macchina.

4. Il Risultato Finale (La mappa del tesoro)

Alla fine, il paper fornisce una mappa per i matematici.
Se vedi che la torsione (i passeggeri) è cresciuta su una strada quadratica, puoi dire con certezza:

1. La strada deve essere fatta di numeri che dividono il "motore" della macchina (i numeri primi del conduttore).
2. L'unica eccezione è il numero 3, che ha le sue regole speciali.

In sintesi:
Questo articolo è come un detective che, vedendo un nuovo oggetto apparire in una stanza (la crescita della torsione), riesce a dire esattamente di che materiale è fatto il pavimento della stanza (il campo quadratico) basandosi sul tipo di oggetto apparso. Non è magia: è una relazione matematica precisa tra la "salute" della macchina (la curva) e il "terreno" su cui viaggia (il campo numerico).

Gli autori ci dicono: "Se vuoi trovare queste strade speciali dove la magia della torsione avviene, non cercare ovunque. Guarda solo dove la macchina ha i suoi punti deboli, o cerca la strada speciale del numero 3."

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "On the torsion growth in quadratic number fields for elliptic curves defined over the rationals" di Arias-de-Reyna, Pineda-Martín e Tornero.

1. Il Problema di Ricerca

Il lavoro si inserisce nel contesto della teoria dei numeri e della geometria aritmetica, focalizzandosi sulle curve ellittiche definite sui numeri razionali ($E/\mathbb{Q}$).

• Contesto: È ben noto come il sottogruppo di torsione $E_{\text{tors}}(K)$ di una curva ellittica possa "crescere" (ovvero, ingrandirsi) quando si passa dal campo razionale $\mathbb{Q}$ a un'estensione quadratica $K = \mathbb{Q}(\sqrt{d})$. Classificazioni precedenti (es. [3, 4, 11]) hanno elencato quali gruppi di torsione possono apparire in $K$ dato un gruppo iniziale in $\mathbb{Q}$.
• La domanda inversa: L'obiettivo principale di questo articolo è affrontare il problema inverso: data una curva $E/\mathbb{Q}$ e sapendo che la torsione cresce in un campo quadratico $K$, cosa si può dedurre sulle proprietà aritmetiche del campo $K$ stesso?
• Obiettivo specifico: Stabilire una relazione esplicita tra i primi che dividono il discriminante $d$ del campo quadratico $K$ e i primi che dividono il conduttore $N_E$ della curva ellittica. In particolare, gli autori investigano se la ramificazione di un primo $p$ in $K$ (cioè $p|d$) implichi necessariamente che $E$ abbia riduzione cattiva in $p$ (cioè $p|N_E$).

2. Metodologia

Gli autori utilizzano una combinazione di teoria dei campi di classe, rappresentazioni di Galois e analisi delle riduzioni delle curve ellittiche.

• Rappresentazioni di Galois Modulo $\ell$: Per ogni primo $\ell$, si considera l'azione del gruppo di Galois assoluto $G_{\mathbb{Q}}$ sul gruppo dei punti di $\ell$-torsione $E[\ell]$. Questo definisce una rappresentazione $\rho_{E,\ell}: G_{\mathbb{Q}} \to \text{Aut}(E[\ell]) \simeq \text{GL}_2(\mathbb{F}_\ell)$.
• Struttura dei Sottogruppi: L'analisi si basa sullo studio dei sottogruppi di $\text{GL}_2(\mathbb{F}_\ell)$ che fissano un punto non nullo. Se $K$ è un'estensione quadratica in cui appare un nuovo punto di torsione, il campo $K$ deve essere contenuto nel campo generato dalle coordinate dei punti di torsione $\mathbb{Q}(E[\ell])$. Questo implica che il gruppo di Galois relativo $\text{Gal}(\mathbb{Q}(E[\ell])/K)$ deve essere un sottogruppo di indice 2 in $\text{Gal}(\mathbb{Q}(E[\ell])/\mathbb{Q})$ che fissa un punto.
• Criterio di Neron-Ogg-Shafarevich: Viene utilizzato per collegare la ramificazione del campo di definizione dei punti di torsione con i primi di cattiva riduzione della curva ($p|N_E$) o i primi $\ell$ stessi.
• Analisi Caso per Caso: Lo studio è suddiviso in base ai primi $\ell \in \{2, 3, 5, 7\}$, che sono gli unici possibili ordini per i punti di torsione che possono crescere in estensioni quadratiche (come stabilito da risultati precedenti).
  • Caso $\ell=2$: Distinzione tra "caso stretto" (nuovo punto di ordine 2) e "caso misto" (nuovo punto il cui multiplo è razionale, es. ordine 4, 8, 16). Vengono utilizzati modelli di Tate e trasformazioni di coordinate per analizzare le valuzioni 2-adiche.
  • Caso $\ell=3$: Analisi della struttura dei sottogruppi di $\text{GL}_2(\mathbb{F}_3)$ e delle condizioni di buona riduzione.
  • Casi $\ell=5, 7$: Utilizzo delle classificazioni dei sottogruppi di $\text{GL}_2(\mathbb{F}_5)$ e $\text{GL}_2(\mathbb{F}_7)$ (basate su lavori di Sutherland e Zywina) e studio dei gruppi di inerzia (ordinaria, moltiplicativa, supersingolare).

3. Risultati Chiave e Teoremi Principali

Teorema 2 (Caso $\ell=2$)

Se $E/\mathbb{Q}$ è una curva ellittica e $K=\mathbb{Q}(\sqrt{d})$ è un'estensione quadratica tale che $E_{\text{tors}}(\mathbb{Q}) \neq E_{\text{tors}}(K)$, allora se $2|d$, allora$2|N_E$.

• Questo risultato è dimostrato separando il caso in cui appare un nuovo punto di ordine 2 (caso stretto) e il caso in cui appare un punto di ordine $2^k$($k>1$) il cui doppio è razionale (caso misto).
• La dimostrazione mostra che se $E$ avesse buona riduzione in 2, non sarebbe possibile aggiungere torsione 2-primaria in un campo ramificato in 2 senza violare le proprietà delle valuzioni dei coefficienti del modello minimale.

Teorema 3 (Casi $\ell=5, 7$)

Se $p=5$ o $p=7$ ramifica in $K$ (cioè $p|d$) e la torsione cresce, allora $p|N_E$.

• Gli autori forniscono una nuova dimostrazione di questo fatto noto, basata sull'analisi dei gruppi di inerzia.
• Dimostrano che se $E$ ha buona riduzione in $p$, il gruppo di inerzia è troppo grande o ha una struttura tale da non permettere l'esistenza di punti fissi non banali in un'estensione quadratica ramificata, a meno che non si verifichino condizioni di riduzione additiva.

Teorema 4 (Risultato Rafforzato)

Questo è un risultato più forte che va oltre la semplice condizione $p|N_E$:
Sia $E/\mathbb{Q}$ una curva ellittica e $K$ un campo quadratico tale che esista $P \in E(K)[\ell] \setminus E(\mathbb{Q})$ con $\ell \ge 3$.

1. Per ogni primo $p \neq \ell$ che ramifica in $K$, $E$ ha riduzione additiva in $p$ (cioè $p^2 | N_E$).
2. Se $p = \ell > 3$ ramifica in $K$, $E$ ha riduzione additiva in $p$ (cioè $p^2 | N_E$).

• Questo implica che non basta che $p$ divida il conduttore, ma che la riduzione deve essere specificamente di tipo additivo (non moltiplicativo).

Proposizioni sul Caso $\ell=3$

Il caso $\ell=3$ è eccezionale perché permette controesempi alla regola generale "se $p|d$ allora $p|N_E$".

• Esempio: La curva 19.a2 ha buona riduzione in 3 ($3 \nmid N_E$), torsione banale in$\mathbb{Q}$, ma acquisisce torsione$C_3$in$\mathbb{Q}(\sqrt{-3})$.
• Proposizione 7: Se la torsione cresce da banale a $C_9$ in un campo quadratico, allora $E$ deve avere riduzione cattiva in 3.
• Proposizione 8: Se $3|d$,$E$ha buona riduzione in 3 e c'è crescita di torsione, allora la crescita è esattamente$E_{\text{tors}}(K) = E_{\text{tors}}(\mathbb{Q}) \times C_3$. Non può esserci crescita a$C_9$ o strutture più complesse senza riduzione cattiva.

Teorema 5 (Sintesi Finale)

Sia $E/\mathbb{Q}$ con conduttore $N_E$ e $K=\mathbb{Q}(\sqrt{d})$ tale che $E_{\text{tors}}(\mathbb{Q}) \neq E_{\text{tors}}(K)$. Se $p$ è un primo tale che $p|d$, allora o $p|N_E$ oppure $p=3$.

• In altre parole, l'unico primo che può ramificare in un campo quadratico dove la torsione cresce senza che la curva abbia riduzione cattiva in quel primo è il 3.

4. Significato e Contributi

• Risposta a un Problema Aperto: Il lavoro risponde parzialmente alla "Problema 2" sollevato in letteratura precedente ([3]), fornendo una descrizione precisa delle condizioni sui primi ramificati in relazione al conduttore della curva.
• Nuove Dimostrazioni: Offre nuove dimostrazioni basate sulle rappresentazioni di Galois per risultati noti sui primi 5 e 7, dimostrando che la crescita della torsione richiede necessariamente riduzione cattiva (anzi, additiva) in quei primi.
• Distinzione del Caso 3: Chiarisce la natura unica del primo 3, che è l'unico eccezione alla regola generale di "buona riduzione implica nessuna crescita in campi ramificati".
• Strumenti per il Futuro: L'approccio metodologico, che combina l'analisi dei sottogruppi di $\text{GL}_2(\mathbb{F}_\ell)$ con la teoria delle riduzioni, fornisce un quadro solido per futuri studi sulla classificazione delle estensioni quadratiche che massimizzano la torsione.
• Rafforzamento dei Limiti: Il Teorema 4, che richiede riduzione additiva ($p^2 | N_E$) invece della semplice riduzione cattiva, rappresenta un miglioramento significativo rispetto ai risultati precedenti disponibili in letteratura.

In conclusione, il paper stabilisce che la crescita della torsione di una curva ellittica razionale in un'estensione quadratica è strettamente vincolata alla struttura aritmetica della curva stessa: i primi ramificati nel campo quadratico (eccetto il 3) devono essere necessariamente primi di cattiva riduzione additiva per la curva.