On the Frobenius fields of abelian varieties over number fields

1. Il Problema e il Contesto

Il lavoro si concentra sullo studio dei campi di Frobenius associati a varietà abeliane definite su campi di numeri.

• Definizione: Per una varietà abeliana $A$ su un campo di numeri $K$ e un posto $v$ di buona riduzione, il campo di Frobenius $F(A, v)$ è il campo di spezzamento generato dagli autovalori dell'operatore di Frobenius geometrico associato a $v$.
• Contesto CM: Per varietà abeliane con moltiplicazione complessa (CM), la teoria di Shimura-Taniyama-Weil implica che i campi di Frobenius sono contenuti in un campo fisso (il campo CM) e coincidono con esso per un insieme di posti di densità di Dirichlet 1.
• La Questione Aperta: Per varietà abeliane non-CM (e semplici), qual è la densità di Dirichlet dell'insieme dei posti $v$ per cui il campo di Frobenius $F(A, v)$ è isomorfo a un campo di numeri fisso $M$?
  • In casi a bassa dimensione, questo è stato studiato, ma manca un approccio uniforme per il caso generale.
  • L'obiettivo è determinare se tale densità sia zero e, assumendo l'Ipotesi di Riemann Generalizzata (GRH), fornire un limite superiore quantitativo per il numero di tali posti con norma limitata.

2. Risultati Principali

Gli autori dimostrano due teoremi fondamentali sotto l'ipotesi che i gruppi di monodromia associati ad $A$ siano connessi (Hypotesi 2.2, soddisfatta da una base estensione finita o per varietà "generiche").

Teorema 1.1 (Risultato Qualitativo)

Sia $A$ una varietà abeliana semplice non-CM definita su $K$. Se i gruppi di monodromia sono connessi, allora per qualsiasi campo di numeri $M$, la densità di Dirichlet superiore dell'insieme $S_{A,M} = \{v \in \Sigma_K \mid F(A, v) \cong M\}$ è zero.
$$\text{ud}(S_{A,M}) = 0$$
Questo fornisce un criterio per distinguere le varietà CM da quelle non-CM: se la densità è zero, la varietà non è CM (o non soddisfa le condizioni di connessione, ma ciò è gestibile).

Teorema 1.3 (Risultato Quantitativo)

Assumendo la GRH per le funzioni L pertinenti, gli autori forniscono un limite superiore con "risparmio di potenza" (power saving) per il numero di tali posti con norma $\le X$:
$$| \{v \in S_{A,M} \mid N_{K/\mathbb{Q}}v \le X \} | \le c X^{1 - \frac{1}{3d - r + 2} + \varepsilon}$$
dove:

• $d = \dim G^{ss}$ (dimensione del quoziente semisemplice del gruppo di Mumford-Tate).
• $r = \text{rank } G^{ss}$ (rangho assoluto).
• $c$ è una costante dipendente da $A, K, \varepsilon$.

Corollario 1.4 (Caso Generico): Se $A$ è generica (il rappresentante adelicico ha immagine aperta in $GSp_{2g}$), allora $G^{ss} = PGSp_{2g}$, $d = 2g^2 + g$ e $r = g$. L'esponente diventa:
$$1 - \frac{1}{6g^2 + 2g + 2} + \varepsilon$$
Questo migliora i risultati precedenti (es. Bloom [1]) che non fornivano stime quantitative o richiedevano condizioni più forti.

3. Metodologia e Strategia di Dimostrazione

L'approccio combina teoria dei gruppi algebrici, teoria dei numeri e tecniche di setaccio (sieve).

A. Riformulazione in termini di Gruppi di Monodromia

Il problema viene tradotto nello studio dell'immagine delle rappresentazioni di Galois $p$-adiche $\rho_{A,p}$.

• Se $F(A, v) \cong M$, allora per i primi $p$ che si spezzano completamente in $M$, l'immagine di Frobenius nel gruppo di monodromia mod $p$ deve giacere in un sottogruppo di Borel definito su $\mathbb{F}_p$.
• Questo riduce il problema al calcolo del volume (densità) degli elementi di Frobenius che cadono nell'unione di certi sottogruppi di Borel all'interno dei gruppi di monodromia finiti.

B. Stime Volumetriche sui Gruppi Reduttivi Finiti (Sezione 3)

Gli autori analizzano i gruppi reduttivi finiti $G(\mathbb{F}_p)$.

• Dimostrano che l'insieme di "bounding" (elementi contenuti in un Borel) ha un volume strettamente inferiore a 1 (specificamente $< 3/4$ per $p$ sufficientemente grande e gruppi non abeliani).
• Utilizzano la teoria dei tori massimali e dei gruppi di Weyl per stimare la distribuzione delle classi di coniugazione.
• Un risultato chiave è la Proposizione 3.6, che mostra come le classi di coniugazione siano distribuite uniformemente nelle fibre della mappa di riduzione, permettendo di controllare le intersezioni con i sottogruppi di Borel.

C. Indipendenza e Teorema di Chebotarev

• Dimostrazione Qualitativa (Teorema 1.1): Sfruttando il fatto che i gruppi di Galois hanno "immagine grande" (teoremi di Wintenberger e Hui-Larsen) e che le probabilità di cadere in un Borel sono indipendenti per primi diversi (grazie a un'estensione di Serre), la densità è limitata superiormente da $(3/4)^{\omega(d)}$. Poiché si può scegliere un numero arbitrario di primi, la densità tende a zero.
• Dimostrazione Quantitativa (Teorema 1.3):
  1. Setaccio di Selberg: Il problema viene riformulato come un problema di setaccio su un insieme di primi $P$ che si spezzano in $M$. Si vuole contare i posti che evitano di cadere nei Borel per un insieme di primi.
  2. Teorema di Chebotarev Effettivo: Si utilizza il teorema di Lagarias-Odlyzko sotto GRH.
  3. Miglioramento del Termine di Errore: Un contributo tecnico cruciale è l'applicazione dei risultati di Murty-Murty-Saradha. Poiché i sottogruppi di Borel soddisfano la congettura di olomorfia di Artin (AHC) per le loro rappresentazioni indotte, si ottiene un termine di errore migliore nel teorema di Chebotarev, essenziale per ottenere il risparmio di potenza.
  4. Stima dei Gruppi di Monodromia: Per controllare le dimensioni dei gruppi $G_p$ senza assumere la congettura di Mumford-Tate (che non è nota in generale), gli autori usano il teorema di Deligne: il gruppo di Mumford-Tate "contiene" tutti i gruppi di monodromia $p$-adici. Questo permette di legare le dimensioni $d$ e $r$ al gruppo di Mumford-Tate globale.

D. Stima dei Discriminanti

Per garantire che il numero di primi $p$ che si spezzano in $M$ sia sufficiente indipendentemente da $M$, gli autori forniscono un limite superiore a priori sul discriminante del campo di Frobenius $F(A, v)$ in funzione della norma di $v$ (Lemma 4.18).

4. Contributi Chiave e Innovazioni

1. Approccio Uniforme: Generalizza risultati noti per curve ellittiche e varietà di tipo GL2 a varietà abeliane di dimensione arbitraria.
2. Metodo di Setaccio su Gruppi Astratti: Sostituisce il calcolo esplicito delle classi di coniugazione (tipico dei metodi matriciali) con argomenti "soft" basati sulla teoria dei gruppi reduttivi astratti, permettendo di identificare risparmi di potenza non evidenti altrimenti.
3. Ottimizzazione dell'Esponente: Migliora l'esponente nel limite superiore rispetto a lavori precedenti (come Bloom) utilizzando la struttura semisemplice dei gruppi di monodromia e le stime migliori di Murty-Murty-Saradha.
4. Indipendenza dalla Congettura di Mumford-Tate: Il risultato quantitativo non richiede la congettura di Mumford-Tate, ma si basa solo su risultati noti di Deligne e sulla struttura dei gruppi algebrici.

5. Significato e Prospettive

• Caratterizzazione CM/Non-CM: Il Teorema 1.1 offre un criterio robusto per distinguere le varietà CM da quelle non-CM basandosi sulla distribuzione dei campi di Frobenius.
• Connessione con la Congettura di Lang-Trotter: Il lavoro è ispirato alla congettura di Lang-Trotter per le curve ellittiche e fornisce un analogo quantitativo per varietà di dimensione superiore.
• Generalizzabilità: Gli autori notano che il metodo si applica a qualsiasi sistema compatibile di rappresentazioni di Galois per cui vale la semisemplicità di Frobenius, suggerendo potenziali applicazioni in contesti più ampi (es. campi di funzioni, con opportune modifiche).
• Lavori Futuri: Rimane aperta la questione di rimuovere l'ipotesi di connessione dei gruppi di monodromia, il che richiederebbe uno studio più approfondito degli elementi semisemplici in gruppi reduttivi finiti disconnessi.

In sintesi, il paper rappresenta un avanzamento significativo nella comprensione della distribuzione aritmetica dei campi di Frobenius, combinando strumenti profondi della teoria dei gruppi algebrici con tecniche analitiche avanzate della teoria dei numeri.