Modular curves and bad reduction

1. Il Problema

Il lavoro affronta una questione apparentemente controintuitiva nella teoria delle curve ellittiche: la relazione tra la struttura del sottogruppo di torsione razionale di una curva ellittica e l'insieme dei luoghi di cattiva riduzione (bad reduction).
Solitamente, la letteratura stabilisce restrizioni sulla torsione basandosi sulla riduzione (ad esempio, se una curva ha riduzione additiva in un luogo di caratteristica $p$, la torsione razionale è un $p$-gruppo finito).
L'obiettivo di questo studio è invertire la logica: utilizzare informazioni sulla struttura della torsione (in particolare, la presenza di un sottogruppo ciclico di ordine specifico) per dedurre l'esistenza di luoghi di cattiva riduzione (e più precisamente, di riduzione non potenzialmente buona) in specifici primi di un campo di numeri $k$.

Il caso di studio principale è l'ordine 20: il paper dimostra che ogni curva ellittica definita su un campo di numeri $k$ che possiede un sottogruppo di torsione ciclico razionale di ordine 20 deve avere cattiva riduzione in certi primi $p$ di $k$, a seconda delle proprietà aritmetiche di $k$ e del primo $p$.

2. Metodologia

La metodologia si basa sulla teoria delle curve modulari e sulla geometria aritmetica, in particolare sfruttando il fatto che la curva modulare $X_0(20)$ ha genere 1.

• Corrispondenza Modulare: Le curve ellittiche con un sottogruppo ciclico di ordine $N$ sono parametriche dai punti razionali sulla curva modulare $X_0(N)$. Per $N=20$, $X_0(20)$ è una curva ellittica (genere 1).
• Gruppo di Mordell-Weil: L'analisi si concentra sul gruppo di Mordell-Weil $C(k)$ della curva modulare $C = X_0(20)$ su un campo di numeri $k$. I punti razionali su $C$ corrispondono alle curve ellittiche in questione.
• Riduzione Modulo $p$ e Punti Cuspide: I punti chiave sono le cuspidi (cusps) della curva modulare. Le cuspidi corrispondono a curve ellittiche con "riduzione di Tate" (riduzione singolare), ovvero hanno invariante $j$ non intero ($\text{val}_p(j) < 0$), il che implica cattiva riduzione.
• Argomento di Congruenza: Il cuore della dimostrazione consiste nel mostrare che, sotto certe ipotesi, ogni punto razionale $P \in C(k)$ è congruo modulo un primo $\mathfrak{p}$ a una cuspide.
  • Se $P \equiv \text{cuspide} \pmod{\mathfrak{p}}$, allora l'invariante $j$ della curva ellittica corrispondente a $P$ non è intero in $\mathfrak{p}$, implicando che la curva non ha riduzione potenzialmente buona in $\mathfrak{p}$.
• Strumenti Algebrici:
  • Per campi quadratici, si utilizza la discesa di 2 (2-descent) e l'analisi dei gruppi di Selmer per dimostrare la suriettività di mappe tra gruppi di punti razionali su campi quadratici e campi base.
  • Si studiano le proprietà di riduzione delle curve modulari su campi finiti $\mathbb{F}_q$ per verificare se tutti i punti sono immagini di cuspidi.

3. Risultati Chiave

Teoremi Principali

1. Teorema 2.1 (Caso Generale): Se la curva modulare $X_0(20)$ ha rango $n$ su un campo $k$ e la torsione razionale è di ordine 6, e se i generatori del gruppo libero non hanno riduzione potenzialmente buona in un primo $\ell$, allora tutte le curve ellittiche su $k$ con torsione di ordine 20 hanno cattiva riduzione in $\ell$.
2. Teorema 2.2 (Caso Specifico per $\mathbb{Q}(\sqrt{-11})$): Se $E$ è una curva con torsione di ordine 20 definita su un campo $k$ dove 3 è totalmente spezzato (split), allora $E$ ha cattiva riduzione in ogni primo sopra 3. Questo spiega il caso introdotto nel paper per $k = \mathbb{Q}(\sqrt{-11})$.
3. Teorema 2.3 e 2.4 (Generalizzazioni):
   • Il Teorema 2.3 estende il risultato a curve modulari di genere 1 generiche, richiedendo che ogni punto su un campo finito $\mathbb{F}_q$ sia riducibile a una cuspide.
   • Il Teorema 2.4 tratta il caso di campi quadratici $K$ dove un primo $p$ è inerente (inert), utilizzando la discesa e la struttura dei punti su $E(\mathbb{Q})$ e il suo twist $E^\sigma$.
4. Corollario 3.2: Per ogni primo $q$ tale che $\left(\frac{-20}{q}\right) = -1$ e condizioni aggiuntive sui simboli di Legendre, ogni curva ellittica su $\mathbb{Q}(\sqrt{q})$ con torsione di ordine 20 ha cattiva riduzione in 3.

Esempi Numerici

I autori forniscono una tabella (Tabella 1) che elenca i livelli $N$ per cui $X_0(N)$ ha genere 1 e i primi $p$ per cui le ipotesi dei teoremi sono soddisfatte:

• $N=20$: Cattiva riduzione in 3 e 7 (per certi campi).
• $N=24$: Cattiva riduzione in 5, 7, 11.
• $N=32, 36, 49$: Risultati analoghi per primi specifici.

Un esempio concreto citato è che ogni curva ellittica su $\mathbb{Q}(\sqrt{10})$ con un sottogruppo di ordine 24 ha cattiva riduzione in 5.

4. Contributi e Significato

• Inversione della Logica: Il contributo principale è l'inversione del paradigma classico: invece di usare la riduzione per limitare la torsione, si usa la torsione per forzare la presenza di luoghi di cattiva riduzione.
• Connessione tra Torsione e Riduzione: Dimostra che la presenza di una torsione "grande" (come ordine 20) su campi specifici impone vincoli geometrici severi sulla riduzione della curva, costringendola ad avere riduzione cattiva in primi specifici, indipendentemente dalla scelta della curva all'interno della classe di isomorfismo.
• Ruolo del Genere 1: Il lavoro evidenzia come le curve modulari di genere 1 (che hanno infiniti punti razionali su certi campi) permettano di ottenere risultati su infiniti classi di isomorfismo di curve ellittiche. Al contrario, per curve di genere $\ge 2$, il Teorema di Faltings limiterebbe i risultati a un numero finito di curve.
• Applicabilità: I metodi sviluppati non si limitano a $X_0(20)$ ma sono applicabili a un'intera famiglia di curve modulari di genere 1 ($X_0(24), X_0(32)$, ecc.) e parzialmente a curve di genere superiore (sebbene con risultati limitati al numero finito di punti).
• Strumenti Tecnici: L'uso combinato della teoria delle curve modulari, della riduzione modulare, e della discesa di 2 sui gruppi di Selmer fornisce un quadro robusto per analizzare la distribuzione dei primi di cattiva riduzione.

In sintesi, il paper stabilisce un legame profondo e inaspettato tra la struttura algebrica della torsione e le proprietà geometriche di riduzione, dimostrando che certi tipi di torsione agiscono come "segnali" che obbligano la curva ad avere cattiva riduzione in specifici luoghi aritmetici.