Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications

1. Probleemstelling en Context

Het centrale probleem in dit artikel is het bewijzen van de mod $\ell$ niet-nietigheid (non-vanishing) van centrale waarden van Hecke $L$-functies in een $p$-adische familie over een CM-veld (Complex Multiplication field).

• Achtergrond: In de getaltheorie coderen speciale waarden van $L$-functies diepe arithmetische informatie. Een fundamentele vraag is of deze waarden generiek niet-nul zijn. Voor een vaste priem $\ell \neq p$, is het een subtieler probleem om te bepalen of de algebraïsche delen van deze $L$-waarden niet verdwijnen modulo $\ell$.
• Specifiek kader: Laat $K$ een CM-veld zijn met maximale totaal reële subveld $F$. Laat $\lambda$ een zelf-dual Hecke-karakter zijn over $K$. Men beschouwt de familie van $L$-waarden $L(1, \lambda\nu)$, waarbij $\nu$ varieert over eindige-orde karakters van de Galois-groep $\Gamma_p$ van de anticyclotomische $\mathbb{Z}_p$-uitbreiding van $K$ (geramificeerd buiten een priem $p$ van $F$).
• Historische context en hiaten:
  • Hida had eerder resultaten bewezen voor de niet-nietigheid van een Zariski-dichte deelverzameling van karakters, gebaseerd op de meetkunde van Hilbert-modulaire Shimura-variëteiten en de dichtheid van CM-punten (een mod $\ell$-analoog van de André-Oort-vermoeden).
  • In 2018 werd echter een gat ontdekt in Hida's bewijs voor de Zariski-dichtheid van CM-punten op een zelf-product van de Shimura-variëteit.
  • Hida's latere correcties [24] herstelden sommige resultaten, maar bewezen de niet-nietigheid slechts voor oneindig veel karakters $\nu$, niet voor alle behalve eindig veel $\nu$ zoals oorspronkelijk geclaimd.
  • Dit gat maakte Hsieh's bewijs van de divisibiliteit van Eisenstein-congruenties richting de CM-Iwasawa-hoofdcategorie onvolledig.

Doel van het artikel: Een uniforme bewijsvoering leveren dat $L(1, \lambda\nu) \neq 0$ voor alle behalve eindig veel $\nu$ met $\varepsilon(\lambda\nu) = +1$, en dit modulo $\ell$ te doen voor gewone priemgetallen $\ell$. Dit sluit het gat in Hsieh's werk.

2. Methodologie

De auteurs gebruiken een nieuwe aanpak die verschilt van Hida's methode (die gebaseerd was op Hilbert-modulaire vormen en Shimura-variëteiten). Hun strategie combineert:

1. Arithmetiek van Shimura-sets: In plaats van Hilbert-modulaire vormen, werken ze met modulaire vormen op een Shimura-set die voortkomt uit een totaal definitieve quaternionen-algebra $B$ over $F$.
2. Expliciete Waldspurger-formule: Ze relateren de Rankin-Selberg $L$-waarden (die de Hecke $L$-waarden factoriseren) aan torische periodes van een testvector op de Shimura-set.
3. Automorfe representatietheorie: Ze gebruiken eigenschappen van de testvector (specifiek "test vectors" in de zin van Gross en Prasad) en de Tunnell-Saito-stelling.
4. Ergodische theorie (Ratner's stelling): Een cruciaal hulpmiddel is Ratner's stelling over de ergodische eigenschappen van unipotent stromen. Dit wordt gebruikt om de equidistributie van speciale punten (CM-punten) op de Shimura-set te bewijzen.
5. Vergelijking van periodes: Ze stellen een verband tussen de automorfe periode (van de quaternionen-vorm) en de motivische periode (van het CM-veld) modulo $\ell$.

De kern van de strategie:

• Ze herschrijven het probleem van de niet-nietigheid van Hecke $L$-waarden als een probleem over Rankin-Selberg $L$-waarden $L(1/2, \pi_\lambda \otimes \chi_0 \nu)$.
• Via de Waldspurger-formule wordt dit gekoppeld aan torische periodes $P_{f_\lambda}(\nu)$ op de Shimura-set.
• Ze tonen aan dat de testvector $f_\lambda$ modulo $\ell$ "niet-Eisentein" is op specifieke componenten van de Shimura-set (bepaald door de $\varepsilon$-factor).
• Door de equidistributie van de afbeeldingen van speciale punten (via Ratner's ergodische theorie) te combineren met de eigenschappen van de testvector, bewijzen ze dat deze periodes niet verdwijnen modulo $\ell$ voor bijna alle $\nu$.

3. Belangrijkste Resultaten

Het artikel presenteert twee hoofdstellingen en een toepassing:

Stelling 1.1 (Niet-nietigheid over $\mathbb{C}$):
Laat $K$ een CM-veld zijn en $p$ een priem van $F$ met graad 1 die ongeramificeerd is in $K$. Dan is
$$L(1, \lambda\nu) \neq 0$$
voor alle behalve eindig veel eindige-orde karakters $\nu$ van $\Gamma_p$ zodanig dat de globale epsilon-factor $\varepsilon(\lambda\nu) = +1$.

• Toepassing: Dit impliceert dat de Mordell-Weil-groep van een geassocieerde CM-abelse variëteit $A_\lambda(K_{p^\infty})$ eindig gegenereerd is (Corollarium 1.2).

Stelling 1.4 (Mod $\ell$ niet-nietigheid):
Laat $\ell$ een priem zijn die gewone is voor de uitbreiding $K/F$ en $\ell \neq p$. Dan geldt voor de genormaliseerde algebraïsche $L$-waarde $L_{alg}(1, \lambda\nu)$:
$$v_\ell(L_{alg}(1, \lambda\nu)) = \mu_\ell(\lambda)$$
voor alle behalve eindig veel $\nu \in \Xi^+_{\lambda,p}$.
Hierbij is $\mu_\ell(\lambda)$ een invariant gerelateerd aan de $\ell$-part van het Tamagawa-getal. Dit betekent dat de $\ell$-waarde van de $L$-waarde precies wordt bepaald door lokale invarianten, en niet door extra delers.

Stelling 1.6 (CM Iwasawa Hoofdcategorie):
Het resultaat van Stelling 1.4 vult het bewijs van Hsieh [27] aan voor de divisibiliteit richting de CM Iwasawa-hoofdcategorie. Specifiek wordt bewezen dat de Katz $p$-adische $L$-functie $L_\Sigma(\psi)$ de karakteristieke rij van de Selmer-groep deelt:
$$L_\Sigma(\psi) \mid F_\Sigma(\psi).$$
Dit is een fundamenteel resultaat in de Iwasawa-theorie van CM-velden.

4. Technische Innovaties en Bijdragen

• Oplossing van het Hida-gat: Het artikel omzeilt de problemen met de Zariski-dichtheid van CM-punten op Hilbert-modulaire variëteiten door over te schakelen naar Shimura-sets van quaternionen-algebra's.
• Nieuwe techniek voor mod $\ell$ niet-nietigheid: Ze gebruiken Ratner's ergodische theorie om de equidistributie van CM-punten te bewijzen in een context (CM-velden) waar eerdere methoden (zoals die van Vatsal en Cornut-Vatsal) faalden of niet direct toepasbaar waren.
• Behandeling van de $\varepsilon$-factor: Een subtiele observatie is dat de testvector modulo $\ell$ niet-nul is op precies één van de twee componenten ($X^+_U$ of $X^-_U$) van de Shimura-set, afhankelijk van de waarde van de epsilon-factor $\varepsilon(\lambda)$. Dit is cruciaal voor het bewijs in het geval dat $p$ inert is in $K$.
• Vergelijking van periodes: Ze leveren een expliciete $\ell$-integraal vergelijkingsformule tussen de periode van de quaternionen-vorm en de CM-periode (Stelling 1.10), wat mogelijk van onafhankelijk belang is voor de arithmetiek van Petersson-normen.

5. Betekenis en Impact

• Voltooiing van Hsieh's werk: Het artikel sluit een belangrijk gat in de literatuur over de CM Iwasawa-hoofdcategorie, waardoor de divisibiliteit van de $p$-adische $L$-functie door de karakteristieke rij van de Selmer-groep nu rigoureus bewezen is.
• Versterking van de BSD-conjectuur: De resultaten hebben implicaties voor de Birch en Swinnerton-Dyer (BSD) conjectuur, specifiek wat betreft de begrensdheid van de $\ell$-part van Tate-Shafarevich-groepen in $p$-anticyclotomische families.
• Nieuwe methodologische richting: De combinatie van automorfe representatietheorie, expliciete Waldspurger-formules en Ratner's ergodische theorie biedt een krachtig nieuw kader voor het bestuderen van niet-nietigheidsproblemen in de getaltheorie, dat minder afhankelijk is van de specifieke meetkunde van Hilbert-modulaire variëteiten.
• Toekomstige toepassingen: De auteurs wijzen erop dat hun methode kan worden gebruikt om de primitiviteit van Eisenstein-reeksen op unitaire groepen $U(2,1)$ te bewijzen en dat ze van plan zijn de resultaten uit te breiden naar priemgetallen $p$ met graad groter dan 1.

Samenvattend biedt dit artikel een robuust en uniform bewijs voor de niet-nietigheid van Hecke $L$-waarden modulo $\ell$, lost het een langdurig open probleem op in de Iwasawa-theorie en introduceert het een innovatieve synthese van ergodische theorie en automorfe vormen.