A Heuristic approach to the Iwasawa theory of elliptic curves

Enunciato del Problema

Il lavoro affronta la congettura $\mu = 0$ di Greenberg all'interno della teoria di Iwasawa delle curve ellittiche. Sia $E/\mathbb{Q}$ una curva ellittica e $p$ un numero primo dispari in cui $E$ ha buona riduzione ordinaria. La congettura afferma che il gruppo di Selmer $p$-primario $S_{p^\infty}(E/\mathbb{Q}^{\text{cyc}})$ sulla estensione ciclotomica $\mathbb{Z}_p$ è cofinitamente generato come modulo $\mathbb{Z}_p$. Questa condizione è equivalente all'annullamento dell'invariante $\mu$ del gruppo di Selmer. Sebbene dimostrata per estensioni abeliane di $\mathbb{Q}$ da Ferrero e Washington, la congettura rimane aperta per le curve ellittiche.

Gli autori investigano la congettura da una prospettiva statistica, specificamente testando la Congettura 1.2, che afferma che per un primo dispari fisso $p$, la maggior parte delle curve ellittiche con buona riduzione ordinaria in $p$ soddisfano $\mu_p(E) = 0$. La sfida centrale è fornire evidenze euristiche per questa annullazione media, estendendo i quadri probabilistici stabiliti da Cohen-Lenstra per i gruppi di classe e da Poonen-Rains per i gruppi di Selmer.

Metodologia

Gli autori estendono le euristiche di Poonen e Rains [PR12], che hanno modellato la distribuzione dei gruppi di $p$-Selmer tramite l'intersezione di sottospazi massimali isotropi in uno spazio con prodotto interno. La metodologia procede attraverso i seguenti passaggi:

1. Riduzione a Moduli Residui: L'annullamento dell'invariante $\mu$ per il gruppo di Selmer completo è legato alla finitezza del gruppo di Selberg residuo di Greenberg, $\text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}})$. Questo gruppo è analizzato tramite il quoziente $\Pi_E := \text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}}) / R(E[p]/\mathbb{Q}^{\text{cyc}})$, dove $R$ denota il gruppo di Selmer fine.
2. Interpretazione Geometrica: Gli autori definiscono uno spazio $V(E)$ equipaggiato con un accoppiamento bilineare, simmetrico e non degenere sull'anello $\Omega = \mathbb{F}_p[[T]]$. Identificano $\Pi_E$ con l'intersezione di due specifici $\Omega$-sottomoduli, $V_1(E)$ e $V_2(E)$, all'interno di $V(E)$.
   • $V_1(E)$ è l'immagine della mappa di restrizione dalla coomologia globale, dimostrata essere un sottomodulo isotropo massimale.
   • $V_2(E)$ è definito dalle condizioni locali in $p$ (relative al gruppo formale), dimostrato essere isomorfo a $\Omega^\vee$ (il duale di Pontryagin di $\Omega$) più una parte di torsione finita.
3. Proiezione su Sottomoduli Ciclici: Il problema della finitezza di $V_1(E) \cap V_2(E)$ è ridotto allo studio dell'intersezione di due sottomoduli $M_1$ e $M_2$ di $(\Omega^\vee)^2$, dove $M_1, M_2 \cong \Omega^\vee$. Questo è ulteriormente dualizzato allo studio dell'intersezione di due sottomoduli ciclici massimali $N_1, N_2$ di $\Omega^2$.
4. Modello Probabilistico: Gli autori costruiscono uno spazio di probabilità $\mathcal{M}$ di coppie di sottomoduli ciclici massimali $(N_1, N_2)$ in $\Omega^2$. Questo spazio è definito come il limite inverso di spazi $\mathcal{M}_n$ di coppie di sottomoduli massimali in $\Omega_n^2 = (\Omega/(T^n))^2$, equipaggiati con misure di probabilità uniformi $P_n$.
5. Assunzione Euristiche: L'assunzione euristica centrale (Euristica 1.3) assume che, mentre le curve ellittiche variano su quelle con buona riduzione ordinaria in $p$, le coppie associate $(M_1, M_2)$ siano equidistribuite rispetto alla misura di probabilità naturale $P$ su $\mathcal{M}$.

Contributi e Risultati Chiave

• Quadro Teorico: Il lavoro stabilisce un legame preciso tra l'aritmetica dell'invariante $\mu$ e l'intersezione geometrica di sottomoduli in uno specifico spazio con prodotto interno sull'algebra di Iwasawa modulo $p$.
• Calcolo Probabilistico: Gli autori dimostrano il Teorema 4.8, che afferma che per una coppia di sottomoduli ciclici massimali $(N_1, N_2)$ scelta uniformemente a caso dallo spazio $\mathcal{M}$, la probabilità che la loro intersezione sia banale (cioè $N_1 \cap N_2 = 0$) è 1.
  • La dimostrazione si basa sul mostrare che $N_1 \cap N_2 \neq 0$ implica $N_1 = N_2$ (Lemma 4.6).
  • La probabilità che due sottomoduli massimali scelti a caso nel quoziente finito $\Omega_n^2$ siano identici è calcolata come $1/((p+1)p^{n-1})$, che tende a 0 quando $n \to \infty$.
• Teorema Principale: Sotto l'assunzione dell'Euristica 1.3 e della Congettura A di Coates e Sujatha (che prevede l'annullamento dell'invariante $\mu$ per il gruppo di Selmer fine), gli autori dimostrano il Teorema A:
  $$\lim_{x \to \infty} \frac{\#S_p(x)}{\#C(x)} = 0$$
  dove $C(x)$ è l'insieme dei modelli di Weierstrass minimi di altezza $\le x$, e $S_p(x)$ è il sottoinsieme di curve con buona riduzione ordinaria in $p$ per le quali l'invariante $\mu$ del gruppo di Selmer è non nullo.

Significato e Affermazioni

Il lavoro afferma di fornire ulteriori evidenze euristiche per la congettura di Greenberg nel senso "medio". Dimostrando che l'evento dell'invariante $\mu$ essere non nullo corrisponde a un evento di probabilità zero nel modello casuale costruito, gli autori sostengono la congettura secondo cui $\mu_p(E) = 0$ per quasi tutte le curve ellittiche con buona riduzione ordinaria in $p$.

Gli autori dichiarano esplicitamente che i loro risultati suggeriscono una "validità più ampia della congettura sull'annullamento medio dell'invariante $\mu$". Posizionano questo lavoro come un arricchimento dell'interazione tra statistica aritmetica e teoria di Iwasawa, notando che tali indagini rimangono un "terreno fertile per future ricerche". Il lavoro non afferma di dimostrare la congettura per una curva specifica o di risolvere il caso generale senza l'assunzione euristica; piuttosto, offre una giustificazione statistica per la verità della congettura in media, coerente con l'approccio di Poonen e Rains.