A Heuristic approach to the Iwasawa theory of elliptic curves

Probleemstelling

Het artikel behandelt Greenbergs $\mu = 0$-vermoeden binnen de Iwasawa-theorie van elliptische krommen. Laat $E/\mathbb{Q}$ een elliptische kromme zijn en $p$ een oneven priemgetal waarbij $E$ goede ordinale reductie heeft. Het vermoeden stelt dat de $p$-primaire Selmer-groep $S_{p^\infty}(E/\mathbb{Q}^{\text{cyc}})$ over de cyclotomische $\mathbb{Z}_p$-uitbreiding cofinitief gegenereerd is als een $\mathbb{Z}_p$-module. Deze voorwaarde is equivalent met het verdwijnen van de $\mu$-invariant van de Selmer-groep. Hoewel bewezen voor abelse uitbreidingen van $\mathbb{Q}$ door Ferrero en Washington, blijft het vermoeden open voor elliptische krommen.

De auteurs onderzoeken het vermoeden vanuit een statistisch perspectief, specifiek het testen van Vermoeden 1.2, dat stelt dat voor een vast oneven priemgetal $p$, "de meeste" elliptische krommen met goede ordinale reductie in $p$ voldoen aan $\mu_p(E) = 0$. De centrale uitdaging is om heuristisch bewijs te leveren voor dit gemiddelde verdwijnen, door de probabilistische kaders die door Cohen-Lenstra voor classgroepen en door Poonen-Rains voor Selmer-groepen zijn gevestigd, uit te breiden.

Methodologie

De auteurs breiden de heuristieken van Poonen en Rains [PR12] uit, die de verdeling van $p$-Selmer-groepen modelleerden via de doorsnede van maximale isotrope deelruimten in een inproductruimte. De methodologie verloopt via de volgende stappen:

1. Reductie tot Residuele Modulen: Het verdwijnen van de $\mu$-invariant voor de volledige Selmer-groep is gekoppeld aan de eindigheid van de residuele Greenberg-Selmer-groep, $\text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}})$. Deze groep wordt geanalyseerd via de quotiënt $\Pi_E := \text{Sel}^{Gr}(E[p]/\mathbb{Q}^{\text{cyc}}) / R(E[p]/\mathbb{Q}^{\text{cyc}})$, waarbij $R$ de fijne Selmer-groep aanduidt.
2. Geometrische Interpretatie: De auteurs definiëren een ruimte $V(E)$ uitgerust met een niet-uitgeart, symmetrisch, bilineair paarproduct over de ring $\Omega = \mathbb{F}_p[[T]]$. Zij identificeren $\Pi_E$ met de doorsnede van twee specifieke $\Omega$-deelmodulen, $V_1(E)$ en $V_2(E)$, binnen $V(E)$.
   • $V_1(E)$ is het beeld van de restrictieafbeelding van globale cohomologie, aangetoond als een maximale isotrope deelmodule.
   • $V_2(E)$ wordt gedefinieerd door lokale voorwaarden in $p$ (gerelateerd aan de formele groep), aangetoond als isomorf met $\Omega^\vee$ (de Pontryagineduale van $\Omega$) plus een eindig torsiegedeelte.
3. Projectie naar Cyclische Deelmodulen: Het probleem van de eindigheid van $V_1(E) \cap V_2(E)$ wordt gereduceerd tot het bestuderen van de doorsnede van twee deelmodulen $M_1$ en $M_2$ van $(\Omega^\vee)^2$, waarbij $M_1, M_2 \cong \Omega^\vee$. Dit wordt verder gedualiseerd tot het bestuderen van de doorsnede van twee maximale cyclische deelmodulen $N_1, N_2$ van $\Omega^2$.
4. Probabilistisch Model: De auteurs construeren een kansruimte $\mathcal{M}$ van paren maximale cyclische deelmodulen $(N_1, N_2)$ in $\Omega^2$. Deze ruimte wordt gedefinieerd als de inverse limiet van ruimten $\mathcal{M}_n$ van paren maximale deelmodulen in $\Omega_n^2 = (\Omega/(T^n))^2$, uitgerust met uniforme kansmaten $P_n$.
5. Heuristische Aanname: De kernheuristiek (Heuristiek 1.3) neemt aan dat naarmate elliptische krommen variëren over die met goede ordinale reductie in $p$, de bijbehorende paren $(M_1, M_2)$ equidistribueerd zijn met betrekking tot de natuurlijke kansmaat $P$ op $\mathcal{M}$.

Belangrijkste Bijdragen en Resultaten

• Theoretisch Kader: Het artikel vestigt een precieze link tussen de arithmetiek van de $\mu$-invariant en de geometrische doorsnede van deelmodulen in een specifieke inproductruimte over de Iwasawa-algebra modulo $p$.
• Probabilistische Berekening: De auteurs bewijzen Stelling 4.8, die stelt dat voor een paar maximale cyclische deelmodulen $(N_1, N_2)$ gekozen uniform willekeurig uit de ruimte $\mathcal{M}$, de kans dat hun doorsnede triviaal is (d.w.z. $N_1 \cap N_2 = 0$) gelijk is aan 1.
  • Het bewijs berust op het aantonen dat $N_1 \cap N_2 \neq 0$ impliceert dat $N_1 = N_2$ (Lemma 4.6).
  • De kans dat twee willekeurig gekozen maximale deelmodulen in de eindige quotiënt $\Omega_n^2$ identiek zijn, wordt berekend als $1/((p+1)p^{n-1})$, wat naar 0 convergeert naarmate $n \to \infty$.
• Hoofdstelling: Onder de aanname van Heuristiek 1.3 en Vermoeden A van Coates en Sujatha (dat het verdwijnen van de $\mu$-invariant voor de fijne Selmer-groep voorspelt), bewijzen de auteurs Stelling A:
  $$\lim_{x \to \infty} \frac{\#S_p(x)}{\#C(x)} = 0$$
  waarbij $C(x)$ de verzameling is van minimale Weierstrass-modellen met hoogte $\le x$, en $S_p(x)$ het deel van de krommen met goede ordinale reductie in $p$ waarvoor de $\mu$-invariant van de Selmer-groep niet-nul is.

Betekenis en Beweringen

Het artikel claimt verder heuristisch bewijs te leveren voor Greenbergs vermoeden in de "gemiddelde" zin. Door aan te tonen dat het gebeurtenis dat de $\mu$-invariant niet-nul is, overeenkomt met een gebeurtenis met kans nul in het geconstrueerde willekeurige model, ondersteunen de auteurs het vermoeden dat $\mu_p(E) = 0$ voor bijna alle elliptische krommen met goede ordinale reductie in $p$.

De auteurs stellen expliciet dat hun resultaten suggereren dat er een "breder geldigheid is van het vermoeden over het gemiddelde verdwijnen van de $\mu$-invariant." Zij positioneren dit werk als een verrijking van de wisselwerking tussen arithmetische statistiek en Iwasawa-theorie, en merken op dat dergelijke onderzoeken een "vruchtbare bodem voor toekomstig onderzoek" blijven. Het artikel claimt niet het vermoeden te bewijzen voor een specifieke kromme of het algemene geval op te lossen zonder de heuristische aanname; het biedt eerder een statistische rechtvaardiging voor de waarheid van het vermoeden in het gemiddelde, consistent met de aanpak van Poonen en Rains.