A $p$-Converse theorem for Real Quadratic Fields

Technische Samenvatting: Een p-Converse Theorema voor Reële Kwadratische Velden

Probleemstelling
Het artikel behandelt het "p-converse" probleem voor elliptische krommen gedefinieerd over reële kwadratische velden ($F$). Specifiek streeft het naar het vaststellen van de converse van de Gross-Zagier en Kolyvagin stelling in de context van rang 1. Terwijl de klassieke stelling stelt dat als de analytische rang 1 is, de algebraïsche rang ook 1 is en de Tate-Shafarevich groep eindig is, vraagt de converse: als de algebraïsche rang 1 is en het $p$-deel van de Tate-Shafarevich groep eindig is, volgt er dan dat de analytische rang 1 is?

Vooraf aan dit werk werden dergelijke converse resultaten grotendeels vastgesteld voor elliptische krommen over $\mathbb{Q}$ (bijv. door Skinner, Zhang, en Venerucci) of voor specifieke reductietypes. Dit artikel breidt deze resultaten uit naar de setting van reële kwadratische velden, waar $p > 5$ een rationele priem is die inert is in $F$, en de elliptische kromme $E/F$ split multiplicatieve reductie heeft bij de priem $\mathfrak{p}$ boven $p$.

Methodologie
De auteurs maken gebruik van een geavanceerde synthese van Hida-theorie, Iwasawa-theorie en de theorie van Selmer-complexen om de kloof tussen algebraïsche en analytische rangen te overbruggen. De bewijsstrategie steunt op de volgende kernonderdelen:

1. Hida-families en Grote Galois-representaties: De elliptische kromme $E$ is geassocieerd met een Hilbert modulaire vorm $f$ van parallel gewicht 2. De auteurs maken gebruik van de Hida-familie $\mathbf{f}$ die door $f$ gaat en de bijbehorende grote Galois-representatie $T_f$. Ze werken binnen een gelokaliseerde Hida-familie over een discrete waarderingseenheid $I_P$.
2. Iwasawa Hoofdbetovering (Wan's Theorema): Het bewijs leunt zwaar op de Iwasawa Hoofdbetovering voor Hilbert modulaire vormen over een totaal imaginaire kwadratische uitbreiding $K/F$ (waarbij $p$ split in $K$), zoals vastgesteld door Wan [Wan15]. Dit biedt een inclusie van het karakteristieke ideaal van de Selmer-groep in het ideaal gegenereerd door een $p$-adische L-functie.
3. Drie-variabele en Vier-variabele $p$-adische L-functies: De auteurs construeren en benutten centrale kritische $p$-adische L-functies. Ze relateren de orde van verannulend van een centrale kritische $p$-adische L-functie $L^{cc}_p(\mathbf{f}_\infty/K, k)$ bij $k=2$ aan de lengte van de Pontryagin-dual van een specifieke Selmer-groep.
4. Nekovář's Selmer-complexen: Om de structuur van de Selmer-groepen te analyseren, gebruiken de auteurs de theorie van Nekovář over Selmer-complexen. Dit maakt het mogelijk om een $p$-adische gewicht-pairing te definiëren op de cohomologie van deze complexen.
5. Control-theorema's en Pairing-berekeningen: Een cruciale stap is het bewijzen van een control-theorema dat de Selmer-groep over de oneindige uitbreiding relateert aan de strikte Selmer-groep over het basisveld. Door de $p$-adische gewicht-pairing te berekenen (specifiek gerelateerd aan $p$-adische logaritmen van punten op de elliptische kromme), bepalen de auteurs de exacte lengte van het Selmer-module.

Belangrijkste Bijdragen en Resultaten
Het artikel stelt het volgende hoofdtheorema vast (Theorem 1.3 / Theorem 9.2):

• Hoofdtheorema: Laat $F$ een reëel kwadratisch veld zijn en $p > 5$ een priem die inert is in $F$. Laat $E/F$ een elliptische kromme zijn met split multiplicatieve reductie bij de priem $\mathfrak{p} | p$. Veronderstellend dat de residuele representatie absoluut irreducibel (irred) is en een minimale modulaire lifting bestaat (MML), dan geldt:

  1. $\text{rank}_{\mathbb{Z}} E(F) = 1$, en
  2. Het $p$-deel van de Tate-Shafarevich groep $\text{Ш}(E/F)_{p^\infty}$ is eindig,
     Dan is de analytische rang 1: $\text{ord}_{s=1} L(E/F, s) = 1$.

• Equivalentie: Door dit te combineren met Zhang's generalisatie van de Gross-Zagier stelling, stellen de auteurs een equivalentie vast voor de rang 1 casus:
  $$\text{rank}_{\mathbb{Z}} E(F) = 1 \text{ en } \#\text{Ш}(E/F) < \infty \iff \text{ord}_{s=1} L(E/F, s) = 1$$

• Toepassing op $\mathbb{Q}$: Als gevolg hiervan bewijzen de auteurs een versterkt $p$-converse theorema voor elliptische krommen over $\mathbb{Q}$ (Theorem 1.5). Ze verwijderen een technische hypothese (het bestaan van een specifieke priem $q$ met bepaalde eigenschappen) die vereist was in het eerdere werk van Venerucci [Ven16], mits $p > 5$ en $E$ split multiplicatieve reductie heeft bij $p$.

Betekenis en Claims
Het artikel claimt het eerste te zijn dat een rang 1 $p$-converse theorema vaststelt voor elliptische krommen over een reëel kwadratisch veld. De betekenis ligt in:

• Uitbreiding van de reikwijdte: Het bewegen voorbij het rationale veld $\mathbb{Q}$ naar reële kwadratische velden, wat extra complexiteit met zich meebrengt vanwege de aard van Hilbert modulaire vormen en het gedrag van priemgetallen in kwadratische uitbreidingen.
• Verfijning van bestaande resultaten: De toepassing op $\mathbb{Q}$ laat zien dat de strategie ontwikkeld voor reële kwadratische velden bestaande resultaten over $\mathbb{Q}$ kan vereenvoudigen en versterken door restrictieve hypothesen te verwijderen.
• Methodologische Synthese: Het werk slaagt erin de Iwasawa Hoofdbetovering van Wan te integreren met de Selmer-complexen van Nekovář en $p$-adische gewicht-pairings om de split multiplicatieve reductie-casus in een niet-CM setting over een totaal reëel veld te behandelen.

De auteurs merken op dat hun resultaten gelden voor $p=5$ indien een specifieke uitzonderlijke casus betreffende de projectieve afbeelding van de Galois-representatie wordt uitgesloten, een beperking die voortvloeit uit de afhankelijkheid van de resultaten van Fujiwara die gebruikt worden in Wan's theorema. Het artikel concludeert door te suggeren dat deze technieken potentieel uitgebreid kunnen worden naar algemene totaal reële getallenvelden waar de Leopoldt-conjectuur standhoudt, hoewel zij erkent dat de CM-casus waarschijnlijk andere methoden vereist.