$p$-adic Waldspurger Formula for Non-split Primes and Converse of Gross--Zagier and Kolyvagin Theorem

1. Probleemstelling en Achtergrond

Het centrale probleem in de getaltheorie is het begrijpen van de relatie tussen speciale waarden van $L$-functies en arithmetische objecten (zoals Selmer-groepen en Mordell-Weil-rangen). Een belangrijke open vraag is de omgekeerde stelling van Gross–Zagier en Kolyvagin. Deze stelling voorspelt dat voor een elliptische kromme $E$ over $\mathbb{Q}$ (of een zelf-dual Hecke-karakter $\psi$), als de rang van de $p$-adische Selmer-groep 0 of 1 is, dan is de orde van verdwijning van de $L$-functie $L(E, s)$ (resp. $L(\psi, s)$) bij $s=1$ exact 0 of 1.

Eerdere resultaten (o.a. door Skinner, Zhang, Rubin, Burungale-Tian) hebben dit bewezen onder specifieke voorwaarden:

• Voor niet-CM krommen: vaak onder de aanname dat de $p$-part van de Shafarevich-Tate-groep eindig is, of voor $p$ die splits in het CM-veld.
• Voor CM-elliptische krommen: bewezen voor $p$ die splits in het CM-veld ($p$-ordinair geval). Voor $p$ die niet-split is (inert of ramified), inclusief $p=2$, ontbrak een volledige theorie.

De auteurs willen de omgekeerde stelling voor zelf-dual CM-karakters bewijzen voor alle priemgetallen $p$ (inclusief $p=2$) en alle ramificatietypes (split, inert, ramified), zonder de aanname van de eindigheid van de Shafarevich-Tate-groep.

2. Methodologie en Nieuwe Ideeën

De auteurs combineren geavanceerde technieken uit de $p$-adische analyse, representatietheorie en Iwasawa-theorie. Hun aanpak bestaat uit twee hoofdonderdelen:

A. Generalisatie van de $p$-adische Waldspurger-formule

De auteurs generaliseren recente werken van Andreatta-Iovita om een nieuwe $p$-adische $L$-functie en een $p$-adische Waldspurger-formule te construeren voor Rankin-paren $(f, \chi/K)$ waarbij $p$ niet-split is in het imaginaire kwadratische veld $K$.

• Voorwaarde: Het automorfe representatie $\sigma(f)$ moet een principal series zijn bij $p$.
• Technische uitdaging: Bij niet-split $p$ liggen CM-punten niet in het ordinair gebied, wat de convergentie van de Gauss-Manin-verbinding (noodzakelijk voor de constructie) bemoeilijkt.
• Oplossing:
  1. Vectorbundels met gemarkeerde secties: Ze gebruiken de theorie van Vector Bundles with Marked Sections and Marked Splittings (VBMSS) om de ruimte van "nearly overconvergent" quaternionische modulaire vormen te definiëren. Dit maakt de $p$-adische iteratie van de Gauss-Manin-verbinding lokaal analytisch voor alle karakters.
  2. Testvectoren en Hasse-invariant: Ze kiezen een specifieke inbedding $K_p \hookrightarrow M_2(\mathbb{Q}_p)$ en een lokale testvector $\phi_p$ zodanig dat, na translatie door een matrix $g_{\ell,n}$, elk CM-punt in de "half-canonical locus" van de Shimura-curve terechtkomt. Hier is de Hasse-invariant willekeurig klein, wat convergentie garandeert.
  3. Syntomic formalisme: Om de formule te bewijzen, gebruiken ze syntomic cohomologie met coëfficiënten (volgens Andreatta-Bertolini-Seveso-Venerucci) om de Abel-Jacobi-afbeelding te berekenen, zelfs in het geval van semi-stabele reductie.

B. Nieuwe $\pm$-Iwasawa-theorie

Ze ontwikkelen een nieuwe vorm van anticyclotomische lokale $\pm$-Iwasawa-theorie die geldig is voor alle ramificatietypes van $p$ in $K$ (split, inert, ramified).

• Aanpak: In plaats van de gebruikelijke indeling op basis van de conductor, verdelen ze de arithmetische punten in de Iwasawa-algebra in twee sets ($X_1$ en $X_2$) op basis van hun Archimedean-types.
• Submodules: Ze definiëren submodules $H^1_+$ en $H^1_-$ van de lokale Galois-cohomologie. Een element behoort tot $H^1_+$ als zijn specialisaties in $H^1_f$ (de eindige deel) liggen voor punten in $X_1$, en analoog voor $H^1_-$ en $X_2$.
• Virtuele Heegner-families: Omdat er niet genoeg arithmetische punten zijn op de 1-dimensionale schijf, gebruiken ze Coleman-families om een "virtuele Heegner-familie" te construeren. Deze familie voldoet aan de verwachte expliciete reciprociteitswetten.
• Verhoudingsprincipe: In plaats van een expliciete regulator-afbeelding te construeren (wat moeilijk is voor niet-split $p$), werken ze met verhoudingen tussen families van elliptische eenheden en Heegner-punten voor het gewenste karakter en hulppersonages.

3. Belangrijkste Resultaten

De paper levert de volgende hoofdstellingen:

• Stelling 1.1 (Omgekeerde stelling voor CM-karakters): Laat $\psi$ een Hecke-karakter van $K$ zijn met Archimedean-type $(-1, 0)$. Als de rang van de Selmer-groep voor $\psi$ gelijk is aan 1, dan is de orde van verdwijning van $L(\psi, s)$ bij $s=1$ ook gelijk aan 1.

  • Dit resultaat is onvoorwaardelijk (geen aanname over de Shafarevich-Tate-groep) en geldt voor alle $p$ (inclusief $p=2$) en alle ramificatietypes.

• Stelling 1.2 (Sylvesters conjectie): Elke priem $p \equiv 4, 7, \text{ of } 8 \pmod 9$ kan worden geschreven als $x^3 + y^3$ met $x, y \in \mathbb{Q}$.

  • Redenering: Dit volgt uit de toepassing van Stelling 1.1 op de elliptische kromme $E_p: x^3 + y^3 = p$, die CM heeft door $\mathbb{Q}(\sqrt{-3})$. De 3-adische Selmer-rang is 1, dus de analytische rang is 1, wat leidt tot oneindig veel rationale oplossingen.

• Stelling 1.4 (Goldfelds conjectie voor CM-krommen): Goldfelds conjectie (dat 50% van de kwadratische twisten van een elliptische kromme analytische rang 0 heeft en 50% rang 1) is waar voor CM-elliptische krommen over $\mathbb{Q}$, onder de aanname van werk van A. Smith (over 2-adische Selmer-rangen).

4. Significatie en Impact

1. Volledigheid: Dit werk sluit een belangrijke lacune in de theorie van $p$-adische $L$-functies en Iwasawa-theorie voor CM-vormen. Het is de eerste keer dat de omgekeerde stelling van Gross–Zagier/Kolyvagin voor CM-krommen wordt bewezen voor niet-split priemgetallen en $p=2$.
2. Technische doorbraak: De constructie van de $p$-adische Waldspurger-formule voor niet-split $p$ zonder restricties op de convergentiestraal (door het gebruik van de half-canonical locus en testvectoren) is een fundamentele bijdrage aan de $p$-adische modulaire vormen-theorie.
3. Toepassingen: De resultaten leveren directe bewijzen voor klassieke problemen zoals de som van twee rationale kubussen (Sylvester) en versterken het bewijs voor Goldfelds conjectie in de CM-context.
4. Methodologische innovatie: De introductie van een nieuwe $\pm$-theorie die werkt op een kleine schijf rond de oorsprong (in plaats van de volledige Iwasawa-algebra) en het gebruik van "virtuele Heegner-families" via Coleman-families biedt een flexibel kader voor toekomstige onderzoek naar de Birch and Swinnerton-Dyer (BSD) conjectie en verrijkte formuleringen daarvan.

Samenvattend biedt dit artikel een krachtige, universele aanpak om de relatie tussen de analytische rang en de algebraïsche rang van CM-elliptische krommen en Hecke-karakters te verifiëren, ongeacht het gedrag van de priem $p$ in het onderliggende veld.