Distribution of Selmer ranks in prime cyclic extensions

Sintesi Tecnica: Distribuzione dei ranghi di Selmer in estensioni cicliche prime

Enunciato del Problema
Questo articolo investiga la distribuzione statistica dei ranghi di Selmer all'interno di famiglie di twist di moduli di Galois su campi numerici. Nello specifico, affronta la distribuzione dei ranghi di $p$-Selmer per un numero primo $p$ in estensioni cicliche, ordinati per prodotto di primi ramificati (il radicale del discriminante relativo), piuttosto che per l'ordinamento basato sulla "struttura a ventaglio" (fan structure) utilizzato nei lavori fondamentali precedenti di Klagsbrun, Mazur e Rubin (KMR). Gli autori mirano a determinare la probabilità che una curva ellittica, superellittica o iperellittica fissata acquisisca rango mediante base extension a questi campi ciclici. Una sfida centrale è stabilire queste distribuzioni sotto l'Ipotesi del Riemann Estesa (ERH) senza fare affidamento su modelli euristici o su vincoli di ordinamento specifici che hanno precedentemente limitato l'ambito di tali risultati.

Metodologia
Gli autori impiegano una sintesi di statistica aritmetica, teoria analitica dei numeri e teoria della probabilità, adattando e modificando il framework stabilito da Klagsbrun, Mazur e Rubin [KMR13, KMR14] e Yu [Yu19].

1. Strutture di Selmer e Twist: Il saggio definisce strutture di Selmer associate a twist di moduli di Galois $T$ che soddisfano specifiche condizioni tecniche (irriducibilità, accoppiamenti non degeneri, ecc.). Queste strutture modellano i gruppi di $p$-Selmer di varietà abeliane associate alle curve (ad esempio, $A_{\chi}$ per le curve ellittiche e $Jac(C_d)[1-\zeta_p]$ per le curve superellittiche).
2. Strutture a Ventaglio e Ordinamento: L'innovazione metodologica centrale consiste nel costruire una nuova "struttura a ventaglio" di ideali liberi da quadrati. A differenza della originale struttura a ventaglio di KMR, che si basava su teoremi di densità di Chebotarev efficaci con termini di errore complessi, gli autori definiscono un nuovo ordinamento basato sul radicale dell'ideale (il prodotto dei fattori primi distinti).
   • Essi utilizzano l'Ipotesi del Riemann Estesa (ERH) per invocare una forma efficace del Teorema di Densità di Chebotarev (Teorema 3.5). Ciò consente un controllo preciso sulla distribuzione degli elementi di Frobenius, permettendo agli autori di riordinare la sequenza di twist dei numeri primi ideali.
   • Dimostrando che questa nuova struttura a ventaglio costituisce un sottoinsieme di densità 1 di tutti gli ideali liberi da quadrati (Proposizione 4.1), essi giustificano il fatto che le statistiche derivate su questo sottoinsieme si applichino all'insieme generale delle estensioni ordinate per il prodotto dei primi ramificati (radicale del discriminante).
3. Processi di Markov ed Ergodicità Geometrica: La distribuzione dei ranghi di Selmer è modellata come la distribuzione stazionaria di un processo di Markov irriducibile e aperiodico che agisce sullo spazio degli stati dei numeri interi non negativi.
   • Gli autori utilizzano teoremi di ergodicità geometrica per operatori di Markov (Teorema 4.12) per dimostrare che la distribuzione converge a uno stato stazionario indipendentemente dalle condizioni iniziali, a patite che il numero di twist (fattori primi) cresca sufficientemente.
   • Un passaggio tecnico chiave consiste nello dimostrare che l'ordine con cui i numeri primi ideali vengono applicati per effettuare il twist della struttura di Selmer non altera la distribuzione asintotica, un risultato reso possibile dall'indipendenza delle norme dei numeri primi ideali nella struttura a ventaglio costruita e dall'ERH.
4. Curve Iperellittiche e la Condizione UDRL: Per le curve iperellittiche, il saggio affronta la distribuzione dei gruppi di 2-Selmer. Risultati precedenti (ad esempio, Yu [Yu19]) spesso richiedevano la condizione "UDRL" (Distribuzione Unramificata delle Mappe Kummer Locali) euristica. Gli autori dimostrano che assumendo l'ERH è possibile superare tale assunzione euristica, derivando la distribuzione di Poonen-Rains direttamente dal teorema di densità di Chebotarev.

Contributi Chiave

• Nuovo Schema di Ordinamento: Il saggio trasferisce con successo i risultati della distribuzione dei ranghi di Selmer dalla struttura a ventaglio all'ordinamento per il prodotto dei primi ramificati (radicale del discriminante), un ordinamento più naturale per la statistica aritmetica.
• Rimozione di Assunzioni Euristiche: Per le curve superellittiche, gli autori rimuovono la necessità dell'assunzione euristica UDRL sfruttando l'ERH per controllare le mappe Kummer locali.
• Generalizzazione a Varie Curve: Il framework è applicato a tre casi distinti:
  1. Crescita del rango di curve ellittiche in estensioni $p$-cicliche.
  2. Dimensione media dei punti razionali su curve superellittiche in estensioni $p$-cicliche.
  3. Crescita del rango dei Jacobiani di curve iperellittiche in estensioni quadratiche.

Risultati Principali

• Teorema 1.1 (Curve Ellittiche): Assumendo l'ERH, il saggio fornisce limiti inferiori e superiori espliciti per la probabilità che una curva ellittica $E/K$ (con $Gal(K(E[p])/K) \supseteq SL_2(\mathbb{F}_p)$) abbia una specifica crescita di rango in estensioni $p$-cicliche ordinate per il prodotto dei primi ramificati. La distribuzione è mostrata essere una combinazione lineare di due distribuzioni stazionarie ($E_+$ ed $E_-$) determinate dalla parità della struttura di Selmer iniziale.
• Teorema 1.2 (Curve Superellittiche): Per le curve superellittiche $C: y^p = F(x)$ con specifici campi di scissione di Galois, il saggio stabilisce una congettura di Mordell-Lang efficace. Dimostra che la dimensione media dell'insieme dei punti razionali sulla famiglia di twist è limitata da una costante esplicita $B(p, K)$.
• Teorema 1.3 (Curve Iperellittiche): Assumendo l'ERH, il saggio determina la distribuzione dei ranghi di 2-Selmer per i twist quadratici di curve iperellittiche. Il risultato conferma che la distribuzione converge alla distribuzione di Poonen-Rains (specificamente, la dimensione media converge a 3 o 6 a seconda della dimensione della componente del gruppo di Tate-Shafarevich $X^1$), in linea con i risultati di Smith ma derivata senza l'euristica UDRL.

Significatività e Rivendicazioni
Il saggio sostiene di fornire un framework rigoroso e condizionato (all'ERH) per comprendere la distribuzione dei ranghi di Selmer nelle estensioni cicliche prime ordinate per il prodotto dei primi ramificati. Modificando la macchina KMR per accomodare questo ordinamento, gli autori colmano il divario tra modelli astratti di processi di Markov e statistica aritmetica concreta.

Gli autori dichiarano esplicitamente che il loro lavoro:

• Verifica la congettura di Poonen-Rains per le curve iperellittiche condizionatamente all'ERH, senza assumere la condizione UDRL.
• Generalizza i risultati di Alex Smith sulla distribuzione dei gruppi di 2-Selmer a una classe più ampia di curve iperellittiche (incluse quelle che non sono "dispari").
• Fornisce limiti per la dimensione media dei punti razionali sulle curve superellittiche, offrendo una versione efficace della congettura di Mordell-Lang per queste famiglie.
• Dimostra che il tasso di convergenza verso la distribuzione stazionaria può essere migliorato a $O(1/(\log X)^c)$ sotto l'ERH, un miglioramento significativo rispetto ai precedenti termini di errore esponenziali.

Il saggio conclude notando che queste tecniche sono adattabili ai campi funzione globali e che il lavoro futuro esplorerà le crescite di rango per varietà abeliane principalmente polarizzate su estensioni cicliche prime di campi globali.