Fields with no everywhere good abelian varieties

Titolo: Campi privi di Varietà Abeliane a Buona Riduzione Ovunque

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria dei numeri e della geometria aritmetica, affrontando la questione dell'esistenza di varietà abeliane non nulle su un campo di numeri $K$ che possiedano buona riduzione ovunque (ovvero, buona riduzione in tutti i primi di $K$).

• Definizione di Campo di Fontaine: Un campo di numeri $K$ è definito un "campo di Fontaine" se non esiste alcuna varietà abeliana non nulla su $K$ con buona riduzione ovunque.
• Stato dell'arte: Fontaine e Abrashkin hanno dimostrato indipendentemente che $\mathbb{Q}$ è un campo di Fontaine. Schoof ha esteso questo risultato a diversi campi ciclotomici e quadratici. Tuttavia, la classificazione completa di tali campi rimaneva aperta, specialmente per gradi superiori.
• Obiettivo: Estendere i metodi esistenti per determinare criteri che identifichino nuovi campi di Fontaine, in particolare per campi di grado $n \le 16$, assumendo l'Ipotesi di Riemann Generalizzata (GRH).

2. Metodologia e Strumenti Teorici

Gli autori combinano tecniche di teoria dei gruppi, teoria dei campi di classe, teoria delle rappresentazioni e limiti di ramificazione per costruire un quadro computazionale rigoroso.

A. Limiti di Ramificazione Superiore (Abrashkin-Fontaine)
Il punto di partenza è il teorema di Fontaine che limita la ramificazione superiore dei gruppi finiti piatti su un campo locale. Per un gruppo finito piatto $V$ di esponente $p^n$ su un anello di interi $O_E$, il campo dei punti $E(V)$ soddisfa vincoli severi sulla ramificazione.

• Nel caso $p=2$, questo implica che il campo dei punti di un gruppo di esponente 2 ha una ramificazione limitata.
• Viene introdotto l'estensione $F/K$ (estensione di Abrashkin-Fontaine), definita come la massima estensione di $K$ non ramificata fuori da 2 e che soddisfa condizioni di ramificazione superiore specifiche ($m_{F/K}(P) \le 1$).

B. Teoria dei Gruppi e Strutture di Galois
L'analisi si concentra sulla struttura del gruppo di Galois $G = \text{Gal}(F/K)$.

• Gli autori studiano le estensioni risolubili e 2-estensioni all'interno di $F$.
• Vengono utilizzati risultati di teoria dei gruppi (Proposizioni 3.1-3.3) per mostrare che, sotto certe condizioni, il gruppo di Galois non può contenere sottogruppi che porterebbero a estensioni di grado dispari o strutture dihedrali indesiderate.
• Viene introdotta la nozione di gruppo "prosaico": un gruppo finito piatto $V$ è prosaico se il suo campo dei punti è una 2-estensione di $K$. Una varietà abeliana è prosaica se il suo gruppo di torsione $A[2]$ è prosaico.

C. Schemi di Gruppo e Filtrazioni
Un contributo metodologico chiave è l'analisi degli schemi di gruppo di ordine 2 ($G_\rho$) e delle loro estensioni reciproche.

• Gli autori classificano le classi di estensione $\text{Ext}^1_O(G_\rho, G_{\rho'})$ utilizzando la sequenza esatta di Mayer-Vietoris e la teoria di Kummer.
• Dimostrano che, sotto ipotesi specifiche sui campi quadratici di $K$, molte classi di estensione si annullano.
• Questo permette di costruire filtrazioni della forma $0 \subset V_1 \subset \dots \subset A[2^n]$ in cui i quozienti sono isomorfi a copie di schemi di gruppo semplici (come $\mu_2$, $\mathbb{Z}/2\mathbb{Z}$, o $G_\rho$ specifici).
• Viene dimostrato che, se le condizioni sono soddisfatte, l'esponente di questi sottogruppi è limitato indipendentemente da $n$, portando alla conclusione che la varietà abeliana deve essere banale ($A=0$).

D. Ipotesi di Lavoro (Hypothesis K)
Per rendere il problema trattabile, gli autori assumono che il campo $K$ soddisfi:

1. Discriminante dispari.
2. Anello di interi massimale $O_K$.
3. Numero di classe ristretto (narrow class number) $h^+_K = 1$.
4. Al massimo tre primi sopra 2.

3. Risultati Principali

Teoremi di Non-Esistenza
Gli autori stabiliscono teoremi (6.4 e 6.5) che forniscono condizioni sufficienti affinché un campo $K$ sia un campo di Fontaine:

• Se $K$ soddisfa l'ipotesi $K$ e certe condizioni sulla struttura delle sue estensioni quadratiche (in particolare riguardanti i campi "test" $K_p$ e i gruppi di classe dei raggi $R_M$), allora non esistono varietà abeliane prosaiche su $K$.
• Se, in aggiunta, l'estensione $F/K$ è una 2-estensione (garantito dai limiti di Odlyzko sotto GRH), allora $K$ è un campo di Fontaine.

Risultati Computazionali
Utilizzando i database LMFDB (L-Functions and Modular Forms Database) e il software MAGMA, gli autori hanno verificato queste condizioni per campi di numeri di grado fino a 16.

• Risultato Quantitativo: Sotto l'assunzione della GRH, sono stati identificati 24.744 campi di Fontaine di gradi variabili fino a 16.
• Tabella 2: Il paper presenta una tabella dettagliata che conta questi campi in base al grado, al numero di primi sopra 2 (1, 2 o 3) e al tipo di condizione soddisfatta ($D_1$ o $D_2$).
  • Ad esempio, per grado 2, sono stati trovati 12 campi; per grado 8, 1023 campi.
  • La maggior parte dei campi trovati ha discriminante dispari e numero di classe ristretto 1.

4. Contributi Chiave e Innovazioni

1. Estensione dei Metodi di Fontaine/Schoof: Il lavoro generalizza i criteri di non-esistenza oltre i casi noti (campi quadratici e ciclotomici) a una vasta gamma di campi di grado superiore.
2. Uso della Teoria dei Gruppi nella Ramificazione: Invece di basarsi esclusivamente sui limiti del discriminante (Odlyzko), gli autori integrano la struttura del gruppo di Galois delle estensioni di ramificazione per vincolare le possibili estensioni di schemi di gruppo.
3. Classificazione delle Estensioni di Schemi di Gruppo: La risoluzione delle classi di estensione tra schemi di gruppo di ordine 2 ($G_\rho$) in presenza di più primi sopra 2 è un risultato tecnico significativo che permette di gestire la complessità crescente rispetto al caso di un solo primo sopra 2.
4. Database di Campi di Fontaine: La produzione di un elenco di oltre 24.000 campi fornisce un nuovo set di dati fondamentale per la ricerca futura in geometria aritmetica.

5. Significato e Implicazioni

• Conferma di Congetture: I risultati supportano l'ipotesi che i campi di Fontaine siano molto più comuni di quanto si pensasse, specialmente man mano che il grado del campo aumenta, sebbene la loro densità relativa possa variare.
• Limiti della Teoria Attuale: Il paper sottolinea che, senza i limiti di Odlyzko (che dipendono dalla GRH), la determinazione completa di tutti i campi di Fontaine rimane irraggiungibile a causa della complessità delle estensioni di Galois.
• Confronto con Lavori Recenti: Gli autori confrontano i loro risultati con il preprint di Tchamitchian ([Tch]), che utilizza formule esplicite di Weil e congetture sulle funzioni L. La sovrapposizione significativa dei risultati (con 8 eccezioni dovute a ipotesi diverse) fornisce un forte supporto incrociato sia per le congetture di Tchamitchian che per i metodi algebrici di Brumer e Kramer.
• Impatto sulla Teoria dei Numeri: La dimostrazione che non esistono varietà abeliane "buone ovunque" su questi campi ha implicazioni per lo studio delle curve modulari, delle forme modulari e della struttura dei gruppi di Galois assoluti.

In sintesi, questo lavoro rappresenta un avanzamento significativo nella comprensione della distribuzione dei campi di numeri che non ammettono varietà abeliane con buona riduzione ovunque, combinando profondi risultati teorici con un'analisi computazionale su larga scala.