Finiteness for Étale Fundamental Groups of Néron Models

Sintesi Tecnica: Finitezza dei Gruppi Fondamentali Etali dei Modelli di Néron

Enunciato del Problema
Il saggio investiga la struttura e le proprietà di finitezza del gruppo fondamentale etale della varietà abeliana sopra un campo numerico $K$, precisamente della sua parte "geometrica", indicata con $\pi_{1}^{\text{et,geom}}(\mathcal{A})$, definita come il nucleo della mappa $\pi_{1}^{\text{et}}(\mathcal{A}) \to \pi_{1}^{\text{et}}(\text{Spec } \mathcal{O}_K)$. Mentre i risultati precedenti di Katz e Lang hanno stabilito la finitezza del gruppo fondamentale completo per le varietà abeliane su $\mathbb{Q}$, e Bost e Charles hanno dimostrato la finitezza per i modelli regolari integrali di curve ellittiche, la finitezza del sottogruppo geometrico per varietà abeliane generali su campi numerici arbitrari rimaneva una questione aperta. Il saggio mira a dimostrare che questo sottogruppo è finito e a determinare se la sua dimensione possa essere uniformemente limitata dipendendo solo dalla dimensione e dal campo di base.

Metodologia
La strategia primaria consiste nell'analizzare il comportamento dell'altezza di Faltings sotto coperture etali finite dei modelli di Néron. L'autore sfrutta la formula di isogenia di Faltings, che mette in relazione le altezze di varietà abeliane isogene con il grado dell'isogenia. Il nucleo dell'argomentazione procede per contraddizione: se il gruppo fondamentale geometrico fosse infinito, si potrebbe costruire una sequenza di coperture etali finite (e quindi isogenie) di grado arbitrariamente grande. Per la formula di Faltings, tali isogenie produrrebbero varietà abeliane con altezze di Faltings arbitrariamente piccole. Ciò contraddice la proprietà di Northcott per le varietà abeliane su campi numerici, la quale asserisce che esistono solo un numero finito di classi di isomorfismo di varietà abeliane con altezza limitata superiormente da una costante.

Per il caso specifico delle curve ellittiche, la metodologia viene raffinata per stabilire l'uniformità. L'autore utilizza il teorema dell'uniformità del torsione di Merel, che limita la dimensione del sottogruppo di torsione delle curve ellittiche su un dato campo numerico. Dimostrando che il nucleo di una copertura etale finita di un modello di Néron deve essere definito sul campo di classe di Hilbert di $K$, il problema viene ridotto alla limitazione dei punti di torsione su questa specifica estensione.

Nel caso delle curve ellittiche su $\mathbb{Q}$, il saggio impiega una combinazione di geometria aritmetica e computazione esplicita. L'autore analizza il discriminante della curva ellittica sotto isogenia, mostrando che per una copertura etale finita di grado $n$, il discriminante minimo della copertura deve essere la $n$-esima potenza del discriminante originale. Questa condizione, combinata con la formula di Silverman per l'altezza di Faltings e il teorema di Mazur sulla torsione, restringe i possibili gradi di tali coperture a un piccolo insieme di interi. La non esistenza di coperture di grado 7 viene dimostrata interpretando l'esistenza di tale curva come un punto razionale sulla curva modulare $X(1)$ che deve simultaneamente soddisfare condizioni derivate dall'equazione $A^2 + B^3 = 1728C^7$ e dalla geometria della curva modulare $X_1(7)$. Ciò comporta la costruzione di specifici twist di $X(7)$ ed eseguire test locali $p$-adici (usando Sage) per mostrare l'incompatibilità.

Contributi Chiave e Risultati

1. Finitezza Generale (Teorema 1.1): Il saggio dimostra che per ogni varietà abeliana $A$ di dimensione $g$ su un campo numerico $K$, il gruppo fondamentale etale geometrico $\pi_{1}^{\text{et,geom}}(\mathcal{A})$ del suo modello di Néron è un gruppo finito. Ciò è ottenuto dimostrando che i gradi delle coperture etali finite del modello di Néron sono limitati, impedendo l'esistenza di altezze di Faltings arbitrariamente piccole.

2. Uniformità per le Curve Ellittiche (Teorema 1.3): Per le curve ellittiche, il risultato di finitezza è rafforzato da un limite uniforme. Il saggio dimostra che esiste una costante $C$, che dipende solo dal campo numerico $K$, tale che $|\pi_{1}^{\text{et,geom}}(\mathcal{E})| \le C$ per ogni curva ellittica $E/K$. Ciò si basa sul fatto che il nucleo di un'isogenia si estende a una copertura etale finita di $\text{Spec } \mathcal{O}_K$, implicando che i punti del nucleo sono definiti sul campo di classe di Hilbert, dove si applica il teorema di Merel.

3. Classificazione Esplicita su $\mathbb{Q}$ (Teorema 1.4): Per le curve ellittiche su $\mathbb{Q}$, il saggio fornisce un elenco completo dei possibili gruppi fondamentali etali per i loro modelli di Néron. Il gruppo è isomorfo a $\mathbb{Z}/N\mathbb{Z}$ dove $N \in \{1, 2, 3, 5\}$.

   • Il caso $N=7$ è escluso. La dimostrazione mostra che una copertura etale finita di grado 7 richiederebbe che il discriminante minimo fosse una settima potenza e l'esistenza di un punto di torsione razionale di ordine 7. Analizzando la curva modulare $X(1)$ e l'equazione $A^2 + B^3 = 1728C^7$, l'autore dimostra tramite test locali che non esistono punti razionali tali da corrispondere a valide curve ellittiche con le proprietà di riduzione richieste.
   • Il caso $N=4$ è escluso per le curve con riduzione additiva analizzando i gruppi dei componenti delle fibre speciali e usando la formula dell'altezza di Silverman per mostrare che nessuna tale isogenia può esistere.
   • Esempi per $N=1, 2, 3, 5$ sono forniti utilizzando i dati del database LMFDB (L-functions and Modular Forms Database), confermando che tutti i casi elencati sono realizzati.

Significatività
Il saggio stabilisce una proprietà fondamentale di finitezza per i gruppi fondamentali etali geometrici dei modelli di Néron, estendendo i risultati precedenti da $\mathbb{Q}$ a campi numerici arbitrari e dai modelli regolari integrali al modello di Néron completo. Dimostrando che questi gruppi sono finiti e uniformemente limitati per le curve ellittiche, il lavoro connette l'aritmetica delle isogenie, la geometria dei modelli di Néron e la distribuzione dei punti di torsione. La classificazione esplicita su $\mathbb{Q}$ offre una comprensione concreta delle possibili simmetrie di questi modelli, escludendo specifiche strutture di gruppo (come $\mathbb{Z}/7\mathbb{Z}$) attraverso una sintesi della teoria delle curve modulari e dell'analisi diofantica. I risultati si basano su strumenti standard della geometria aritmetica (altezza di Faltings, proprietà di Northcott, teorema di Merel) ma li applicano in un contesto nuovo per risolvere questioni sulla struttura globale dei modelli di Néron.