Torsion points on $\rm{GL}_2$-type abelian varieties

Ispirandosi al lavoro di Katz, questo articolo indaga la condizione inversa sull'iniezione dei punti di torsione razionali nelle riduzioni modulo primi per le varietà abeliane di tipo $\rm{GL}_2$, proponendo una lista congetturale delle possibili ordini di torsione per le varietà modulari su $\mathbb Q$ di dimensione fino a 5.

L'essenziale

🕵️‍♀️ Il Detective dei Punti Nascosti: Caccia ai "Punti Torsione"

Immagina di avere un giardino magico (in matematica si chiama varietà abeliana). Questo giardino è molto speciale: è costruito secondo regole precise che lo collegano a un mondo di numeri e forme geometriche chiamate "forme modulari".

Il problema che Jessica e Nirvana vogliono risolvere è questo: Quanti "punti speciali" (chiamati punti di torsione) ci sono nascosti in questo giardino?

Questi punti sono come piccoli fiori che, se li tocchi un certo numero di volte, tornano esattamente al punto di partenza. Sapere quanti sono è fondamentale per capire la struttura del giardino.

1. Il Problema: Guardare da Lontano vs. Essere Dentro

Di solito, per contare questi fiori, dovresti entrare nel giardino e contarli uno per uno. Ma a volte è difficile o impossibile farlo direttamente.

C'è però un trucco antico: puoi guardare il giardino da lontano, attraverso una lente d'ingrandimento su un "piano" diverso (chiamato riduzione modulo un numero primo).

• La regola nota: Se guardi il giardino da lontano, puoi vedere quanti fiori appaiono su quel piano. Se il numero di fiori che vedi è divisibile per un certo numero (diciamo 12), allora sai per certo che nel giardino vero e proprio c'è almeno un gruppo di fiori divisibile per 12.
• Il dubbio: Ma vale il contrario? Se guardi da lontano e vedi che il numero di fiori è sempre divisibile per 12 (per quasi tutti i piani possibili), significa che nel giardino vero e proprio c'è davvero un gruppo di 12 fiori? O è solo un'illusione ottica?

Per le curve semplici (come le ellittiche), la risposta è "Sì, è vero". Ma per giardini più complessi e multidimensionali, la risposta era incerta.

2. La Scoperta: La Lente Perfetta per i Giardini "GL2"

Le autrici si sono concentrate su una categoria specifica di giardini, chiamati varietà di tipo GL2. Immagina questi giardini come se avessero una "spina dorsale" matematica molto ordinata, simile a quella di una curva ellittica, ma allargata in più dimensioni.

Il loro risultato principale è una lente d'ingrandimento perfetta. Hanno dimostrato che, per questi giardini specifici:

Se guardi da lontano e il numero di fiori è sempre divisibile per un certo numero, allora nel giardino vero e proprio esiste davvero un gruppo di punti divisibile per quel numero.

In pratica, hanno risolto il mistero: non serve entrare nel giardino per sapere se certi gruppi di punti esistono; basta guardare le "ombre" che il giardino proietta sui vari piani numerici. Se l'ombra è coerente, la realtà lo è altrettanto.

3. La Caccia al Tesoro: La Lista dei Possibili

Dopo aver trovato la lente perfetta, le autrici hanno usato un computer potente (un sistema chiamato Magma) per fare un'indagine su larga scala.
Hanno esaminato migliaia di questi giardini (fino a 5 dimensioni, che è come esplorare spazi che il nostro cervello fatica a visualizzare) e hanno creato una lista dei "tesori" possibili.

Hanno scoperto quali numeri possono essere il conteggio dei punti speciali.

• Per giardini di 2 dimensioni, i numeri possibili sono cose come 1, 2, 3... fino a 56, ma con alcuni "buchi" (ad esempio, non ci sono giardini con esattamente 23 punti speciali in certi casi).
• Hanno anche scoperto che certi numeri "grandi" o "strani" non possono mai apparire come conteggi di punti speciali, indipendentemente da quanto cerchi.

4. Un Esempio Reale: Il Giardino "Fantasma"

C'è un dettaglio affascinante nella loro ricerca. Hanno trovato un giardino specifico (associato a un numero chiamato "39") che, secondo la loro nuova lente, dovrebbe avere 28 punti speciali.
Tuttavia, se guardi nei grandi archivi matematici esistenti (come il LMFDB, che è come l'Enciclopedia dei giardini matematici), questo giardino non è elencato con 28 punti.
Le autrici dicono: "No, il nostro calcolo è corretto. Esiste un giardino con 28 punti, ma l'Enciclopedia lo ha perso o non l'ha ancora trovato". Hanno quindi "scoperto" un nuovo esemplare che prima era invisibile.

In Sintesi

Questo paper è come se due detective avessero trovato un nuovo metodo per risolvere i casi irrisolti di "punti nascosti" in mondi matematici complessi.

1. Hanno provato che guardare le ombre (i dati ridotti) è sufficiente per capire la realtà (i punti veri) per una vasta classe di oggetti matematici.
2. Hanno usato questo metodo per disegnare una mappa di tutti i possibili "tesori" (numeri di punti) che si possono trovare in giardini fino a 5 dimensioni.
3. Hanno trovato nuovi tesori che la comunità scientifica non aveva ancora catalogato.

È un lavoro che unisce la teoria pura (la lente perfetta) alla pratica (la caccia al tesoro al computer), aprendo la strada a capire meglio la struttura nascosta dei numeri.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Torsion Points on GL2-Type Abelian Varieties" di Jessica Alessandrì e Nirvana Coppola, redatta in italiano.

1. Il Problema di Ricerca

Il lavoro si colloca nel contesto della teoria dei numeri aritmetica, specificamente nello studio dei punti di torsione sulle varietà abeliane definite su campi di numeri.

• Contesto: È ben noto che il gruppo di torsione razionale $Tors(A)(K)$ di una varietà abeliana $A$ su un campo di numeri $K$ si inietta nel gruppo dei punti della riduzione modulo $p$ per ogni primo $p$ di buona riduzione sufficientemente grande. Di conseguenza, l'ordine del gruppo di torsione divide il massimo comun divisore (MCD) delle cardinalità dei punti di riduzione $N(p) = |\tilde{A}(\mathbb{F}_p)|$ per tutti i primi $p$.
• La Domanda di Lang/Katz: La domanda fondamentale, posta da Lang e approfondita da Katz (1981), è il verso contrario: se $N(p) \equiv 0 \pmod m$ per un insieme di primi di densità uno, esiste una varietà abeliana $A'$ isogena a $A$ tale che il suo gruppo di torsione razionale abbia ordine divisibile per $m$?
• Stato dell'arte: Katz ha dimostrato una risposta affermativa per le curve ellittiche e una versione più debole per le superfici abeliane. Tuttavia, ha fornito controesempi per varietà di dimensione superiore.
• Obiettivo del paper: Estendere e risolvere positivamente la versione "debole" della domanda di Katz per le varietà abeliane di tipo GL2 (GL2-type), indipendentemente dalla dimensione, e applicare questi risultati per classificare i possibili ordini di torsione per le varietà abeliane modulari su $\mathbb{Q}$ fino a dimensione 5.

2. Metodologia

Gli autori adottano un approccio che combina la teoria delle rappresentazioni di Galois con la teoria delle varietà abeliane di tipo GL2.

• Varietà di Tipo GL2: Una varietà abeliana $A$ di dimensione $g$ è di tipo GL2 se esiste un campo di numeri $F$ di grado $g$ su $\mathbb{Q}$ che si immerge nell'algebra degli endomorfismi di $A$ (su $\mathbb{Q}$). Questo garantisce l'esistenza di un sistema di rappresentazioni di Galois compatibili $(\rho_\lambda)$ a coefficienti in campi locali $F_\lambda$, dove ogni $\rho_\lambda$ è una rappresentazione 2-dimensionale.
• Riformulazione in termini di Rappresentazioni: Il problema viene tradotto nello studio delle rappresentazioni $\ell$-adiche di Galois. La condizione $N(p) \equiv 0 \pmod m$ viene collegata alla congruenza del polinomio caratteristico di Frobenius: $P_\lambda^p(1) = \det(1 - \rho_\lambda(\text{Frob}_p)) \equiv 0 \pmod{\lambda^n}$.
• Strumento Teorico Chiave: Gli autori utilizzano un teorema di Katz e Lang (Teorema 3.1) relativo a rappresentazioni bidimensionali su campi locali completi. Questo teorema afferma che se $\det(1-g) \equiv 0 \pmod{\pi^n}$ per tutti gli elementi $g$ di un gruppo compatto, allora esiste una base rispetto alla quale gli elementi del gruppo hanno una struttura matriciale specifica (sottogruppo di matrici triangolari superiori con entrate specifiche).
• Costruzione del Reticolo: Applicando il teorema di Katz-Lang alle rappresentazioni $\rho_\lambda$, gli autori dimostrano l'esistenza di un sottoreticolo $L' \subseteq L$ stabile sotto l'azione di Galois tale che il quoziente $L/L'$ sia un gruppo finito su cui Galois agisce trivialmente. Questo quoziente corrisponde a un sottogruppo di torsione razionale su una varietà isogena $A'$.

3. Contributi Chiave e Risultati Principali

Teorema Principale (Corollario 3.3)

Il risultato centrale stabilisce che per una varietà abeliana $A$ di tipo GL2 su un campo di numeri $K$:

1. Gli interi $\sup_{A' \sim_K A} |Tors(A')(K)|$ (il massimo ordine di torsione possibile nell'isogenia) e $\gcd_{p \in \Sigma} N(p)$ (il MCD delle cardinalità di riduzione) sono divisibili dagli stessi primi $\ell$ di buona riduzione.
2. Più precisamente, per ogni primo razionale $\ell$ di buona riduzione:
   $$v_\ell\left(\sup_{A' \sim_K A} |Tors(A')(K)|\right) \le v_\ell\left(\gcd_{p \in \Sigma} N(p)\right)$$
3. Se $\ell$ è totalmente inerente in $F$, l'uguaglianza vale:
   $$v_\ell\left(\sup_{A' \sim_K A} |Tors(A')(K)|\right) = v_\ell\left(\gcd_{p \in \Sigma} N(p)\right)$$

Questo risponde positivamente alla domanda di Katz per le varietà di tipo GL2 in tutte le dimensioni, fornendo un limite superiore preciso basato sui dati locali (riduzione modulo $p$).

Applicazione alle Varietà Modulari su $\mathbb{Q}$

Gli autori specializzano i risultati alle varietà abeliane modulari su $\mathbb{Q}$, che per le congetture di Serre (dimostrata da Khare-Wintenberger) corrispondono a forme nuove di peso 2.

• Hanno implementato un algoritmo nel sistema computazionale Magma per calcolare i possibili ordini di torsione per varietà di dimensione $g \le 5$.
• L'algoritmo calcola il MCD dei valori $P_\lambda^p(1)$ per un insieme di primi di buona riduzione fino a un certo limite (stimato come il limite di Sturm).
• Hanno verificato che per dimensioni 2, 3 e 4, l'ordine di torsione predetto coincide esattamente con il MCD calcolato. Per la dimensione 5, è stato trovato un caso eccezionale (livello 399) dove i due valori differiscono (36 vs 72), suggerendo che la lista potrebbe non essere esaustiva o che esistono eccezioni per livelli molto alti.

4. Risultati Sperimentali e Congetture

Sulla base dei dati computazionali, gli autori propongono due congetture per le varietà abeliane semplici di tipo GL2 su $\mathbb{Q}$:

• Congettura 4.4 (Ordini di Torsione): Elenca i possibili ordini del gruppo di torsione razionale $|Tors(A)(\mathbb{Q})|$ per dimensioni $g=2, 3, 4, 5$.

  • Esempio per $g=2$: Gli ordini possibili includono numeri fino a 56 (es. 1, ..., 16, 18, ..., 28, 44, 56).
  • Esempio per $g=5$: Gli ordini possibili includono numeri come 1, ..., 13, 16, ..., 25, 29, 34, 35, 36, 38, 46, 68.
  • Nota: Tutti gli ordini elencati sono stati verificati esistere per almeno una varietà abeliana associata a una forma nuova specifica.

• Congettura 4.5 (Primi di Torsione): Elenca i primi $\ell$ che possono dividere l'ordine di un punto di torsione razionale in funzione della dimensione $g$.

  • Per $g=2$, i primi sono $\{2, 3, 5, 7, 11, 13, 19\}$.
  • Per $g=3$, i primi sono $\{2, 3, 5, 7, 11, 13, 17, 23, 29, 31\}$.
  • Per $g=4$ e $g=5$, l'elenco si espande includendo primi più grandi (fino a 73 per $g=4$).

5. Significato e Impatto

• Generalizzazione: Il lavoro estende i risultati di Katz (originariamente limitati a curve ellittiche e superfici) a varietà abeliane di tipo GL2 di qualsiasi dimensione, fornendo un quadro teorico unificato.
• Strumento Computazionale: Fornisce un metodo efficace per stimare e classificare i gruppi di torsione razionale, colmando un vuoto nella conoscenza per dimensioni superiori a 2.
• Arricchimento dei Database: I risultati migliorano i dati disponibili nel L-Functions and Modular Forms Database (LMFDB). Ad esempio, gli autori hanno identificato una superficie abeliana (classe di isogenia associata alla forma nuova di livello 39, etichetta LMFDB 39.2.a.b) con ordine di torsione 28, un caso non presente nei database precedenti.
• Limiti e Futuro: Sebbene le liste siano "congetturali" (non si sa se siano esaustive), il fatto che ogni ordine elencato sia realizzato da una varietà specifica conferisce loro un alto grado di affidabilità. Il lavoro apre la strada a ulteriori ricerche sulle eccezioni per dimensioni superiori o livelli molto elevati.

In sintesi, il paper risolve un problema locale-globale fondamentale per una classe ampia di varietà abeliane e fornisce una classificazione empirica dettagliata dei gruppi di torsione razionale per le varietà modulari fino a dimensione 5.