Interpolation of generalized Heegner classes along quaternionic Coleman families

1. Probleemstelling en Context

Het artikel behandelt een centraal probleem in de rekenkundige meetkunde: de constructie van Euler-systemen om de Bloch–Kato-vermoeden te bestuderen voor Galois-representaties die zijn gekoppeld aan modulaire vormen.

• Achtergrond: Het Bloch–Kato-vermoeden relateert de orde van verdwijning van $L$-functies aan de grootte van Selmer-groepen. Een primair hulpmiddel om deze groepen te begrenzen, is de constructie van Euler-systemen (norm-compatibele families van cohomologieklassen).
• Bestaand Werk:
  • Voor elliptische krommen ($GL_2$) bieden Heegner-punten dergelijke systemen (Kolyvagin).
  • Voor modulaire vormen van hogere gewicht werden Generalized Heegner Cycles (Bertolini–Darmon–Prasanna, [BDP13]) geïntroduceerd.
  • Interpolatie: Howard, Büyükboduk–Lei, en Jetchev–Loeffler–Zerbes ([JLZ21]) slaagden erin deze klassen te interpoleren langs Hida-families (ordinair, helling 0) en Coleman-families (eindige helling) van elliptische modulaire vormen, waardoor "Big Heegner classes" werden gecreëerd.
• Het Gat: Hoewel de theorie van generaliseerde Heegner-cycli bestaat voor quaternionische modulaire vormen (geassocieerd met Shimura-krommen en indefiniete quaternionen-algebra's, zoals ontwikkeld door Brooks [HB15]), was de p-adische interpolatie van deze klassen langs Coleman-families in de quaternionische setting nog niet vastgesteld.
• Doelstelling: Het construeren van Big Generalized Heegner Classes door de p-adische interpolatie van de generaliseerde Heegner-classes geassocieerd met quaternionische modulaire vormen langs een Coleman-familie (eindige helling), waarbij de methoden van [JLZ21] worden aangepast aan de indefiniete quaternionische setting.

2. Methodologie

De auteur hanteert een geometrische en cohomologische aanpak, die de kloof overbrugt tussen klassieke modulaire vormen en p-adische families via de theorie van motieven en Shimura-varieteiten.

A. De Geometrische Opzet

• Indefiniete Quaternionische Setting: Het werk vindt plaats over een indefiniete quaternionen-algebra $B$ met discriminant $N^- > 1$. De modulaire vormen zijn gedefinieerd op Shimura-krommen $\tilde{X}_m$ (die QM-abelse oppervlakken classificeren) in plaats van klassieke modulaire krommen.
• Generaliseerde Kuga–Sato-varieteiten: De auteur definieert de generaliseerde Kuga–Sato-varieteit $W_{k,m}$ als een vezelproduct van het universele abelse oppervlak $\tilde{A}_m$ over de Shimura-kromme.
• Generaliseerde Heegner-cycli: Met behulp van een isogenie $\phi$ tussen een vast CM-abels oppervlak $A$ en een oppervlak $A_{cp^n}$, construeert de auteur een cyclus $\Delta^{[k]}_{\phi, m}$ in de Chow-groep van $W_{k,m}$.
• Liebermans Truc: Om de cohomologie te vereenvoudigen, gebruikt de auteur Liebermans truc om de cyclus af te beelden van de hoogdimensionale varieteit $W_{k,m}$ naar de Shimura-kromme $\tilde{X}_m, tegen de prijs van het werken met een complexer coëfficiënt-gerelateerd schijfje dat symmetrische tensorproducten van de étale realisatie van het abelse oppervlak omvat.

B. De Interpolatiestrategie

De kernmethodologie volgt de Jetchev–Loeffler–Zerbes-aanpak:

1. Basisvectoren van Heegner-punten: In plaats van de cycli direct te interpoleren, interpolert de auteur de basisvectoren in de representatieruimte geassocieerd met het motief. Deze vectoren worden geconstrueerd uit Heegner-punten op de Shimura-krommen.
2. Overconvergente Projectoren: De auteur maakt gebruik van de Loeffler–Zerbes overconvergente projector ($\Pi_j$) om de basisvectoren $e^{[k,j]}_{cp^n}$ (die afhankelijk zijn van het gewicht $k$) te interpoleren tot een vector met waarden in een distributie $e^{[U,j]}_{cp^n}$ gedefinieerd over de gewichtruimte $U$.
3. Grote Gysin-afbeelding: Een "Grote Gysin-afbeelding" wordt geconstrueerd om deze geïnterpoleerde basisvectoren naar voren te duwen in de cohomologie van de Shimura-kromme, wat resulteert in de Big Generalized Heegner Classes.
4. Distributiemodules: De interpolatie wordt uitgevoerd binnen modules van distributies ($D_U$) die de symmetrische tensorpotten van de Galois-representaties interpoleren.

C. De p-adische Jacquet–Langlands-correspondentie

Een cruciale technische stap is het gebruik van de p-adische Jacquet–Langlands-correspondentie (Propositie 4.11). Dit vestigt een isomorfisme tussen de Coleman–Mazur eigencurve voor elliptische modulaire vormen en de Brasca–Buzzard eigencurve voor quaternionische modulaire vormen. Dit stelt de auteur in staat het bestaan van Coleman-families en hun eigenschappen over te dragen van het elliptische geval naar het quaternionische geval.

3. Belangrijkste Bijdragen

1. Constructie van Big Classes: Het artikel definieert succesvol de Big Generalized Heegner Class $z^{[F,j]}_{cp}$ geassocieerd met een Coleman-familie $F$ van quaternionische modulaire vormen. Deze klasse leeft in de Galois-cohomologiegroep $H^1(F_{cp}, V^*_F \otimes \dots)$, waarbij $V^*_F$ de "Big" Galois-representatie is die de duale representaties van de specialisaties van $F$ interpoleert.
2. Expliciete Reciprociteitswet (Specialisatie): Het artikel bewijst dat deze big classes correct specialiseren tot klassieke generaliseerde Heegner-classes. Specifiek is voor een klassiek gewicht $k$ in de familie de specialisatie van de big klasse evenredig met de klassieke klasse $z^{[F_k, \chi]}_{cp^n, 1}$, geschaald met een binomiale factor $\binom{2r}{j}^{-1}$ en de eigenwaarde van de $U_p$-operator.
3. Euler-systemeigenschappen: De auteur stelt vast dat de geconstrueerde klassen voldoen aan norm-compatibiliteitsrelaties (Propositie 5.17). Specifiek is de corestrictie van de klasse op niveau $n+1$ naar niveau $n$ gerelateerd aan de klasse op niveau $n$ door de werking van de duale Hecke-operator $U'_p$ (die optreedt als de eigenwaarde $a_p$). Dit bevestigt dat de big classes een Euler-systeem vormen.
4. Definitieveld: Het artikel verfijnt het definitieveld van deze klassen, aantonend dat ze kunnen worden gedefinieerd over het basisveld $K$ (of ringclass-velden) in plaats van alleen over de grotere velden die voor de tussenstappen vereist zijn, door gebruik te maken van het universele karakter van de gewichtruimte.

4. Hoofdresultaten

Stelling 5.21 (Specialisatie van Big Classes):
Laat $F$ een Coleman-familie zijn die door een p-gestabiliseerde quaternionische modulaire vorm $F_0$ gaat. Laat $z^{[F,j]}_{cp}$ de bijbehorende Big Generalized Heegner-klasse zijn. Voor elk klassiek gewicht $k = 2r+2$ in de familie en een Hecke-karakter $\chi$ van oneindig type $(2r-j, j)$, is de specialisatie:
$$\text{Spec}_k(z^{[F,j]}_{cp}) = a_p(F_k)^{-n} \binom{2r}{j}^{-1} z^{[F_k, \chi]}_{cp^n, 1}$$
waarbij $a_p(F_k)$ de $U_p$-eigenwaarde is van de specialisatie $F_k$.

Propositie 5.17 (Euler-relaties):
De klassen voldoen aan de norm-compatibiliteit:
$$\text{Norm}_{F_{cp^{n+1}}/F_{cp^n}}(z^{[F,j]}_{cp^{n+1}, 1}) = a_p \cdot z^{[F,j]}_{cp^n, 1}$$

5. Betekenis

• Uitbreiding van de Bloch–Kato-vermoeden-toolkit: Dit werk breidt de krachtige machinerie van Euler-systemen uit van de elliptische setting naar de quaternionische setting. Dit is vitaal voor het bestuderen van $L$-functies en Selmer-groepen van motieven die niet voortkomen uit elliptische krommen, maar uit quaternionische modulaire vormen (bijvoorbeeld bepaalde abelse oppervlakken met Quaternionische Vermenigvuldiging).
• Fundament voor Expliciete Reciprociteitswetten: De constructie van deze big classes is de noodzakelijke eerste stap om een Expliciete Reciprociteitswet in de quaternionische setting te bewijzen. Een dergelijke wet zou de big Heegner-classes relateren aan p-adische L-functies (specifiek, BDP p-adische L-functies) die langs de Coleman-familie worden geïnterpoleerd. De auteur merkt op dat deze reciprociteitswet onderwerp is van toekomstig werk.
• Unificatie van Settings: Door de [JLZ21]-aanpak aan te passen aan het indefiniete quaternionische geval, demonstreert het artikel de robuustheid van de "Big Class"-methodologie, aantonend dat deze ook van toepassing is wanneer de onderliggende meetkunde Shimura-krommen en QM-abelse oppervlakken omvat in plaats van modulaire krommen.
• Technische Vooruitgang: Het artikel biedt een rigoureuze behandeling van de vereiste "dimensie-halvering" in de quaternionische setting (via idempotenten $e$ en $\bar{e}$) en de afhandeling van de specifieke rekenkunde van de ringclass-velden in de context van p-adische families.

Kortom, dit artikel overbrugt succesvol de kloof tussen klassieke quaternionische Heegner-cycli en p-adische families, en levert de essentiële geometrische objecten (Big Generalized Heegner Classes) die nodig zijn om het Bloch–Kato-vermoeden aan te vallen voor een bredere klasse van automorfe representaties.