🔢 mathematics

Hirzebruch-Zagier cycles in $p$ -adic families and adjoint $L$ -values

Dit artikel toont aan dat gegeneraliseerde Hirzebruch-Zagier-cycli geassocieerd met Hilbert-modulaire variëteiten kunnen worden georganiseerd in $p$ -adische families, die vervolgens via basisverandering worden gebruikt om een meervariabele $p$ -adische adjointe $L$ -functie te construeren, verdraaid met het Hecke-karakter van een kwadratische extensie $E/F$ voor Hida-families van Hilbert-modulaire vormen.

Oorspronkelijke auteurs: Antonio Cauchi, Marc-Hubert Nicole, Giovanni Rosso

Gepubliceerd 2026-05-26

📖 5 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: Antonio Cauchi, Marc-Hubert Nicole, Giovanni Rosso

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je voor dat je wiskundige bent en probeert de verborgen patronen van getallen te begrijpen. Al lang weten wiskundigen hoe ze deze patronen kunnen bestuderen met behulp van "families" van vormen die lichtjes veranderen als je een knop draait. Dit artikel gaat over het bouwen van een nieuwe, zeer complexe familie van vormen en het gebruik daarvan om een specifiek, ontwijkbaar getal te meten dat voorkomt in de theorie van modulaire vormen (die lijken op muzikale noten in de wereld van de getallen).

Hieronder volgt een uiteenzetting van wat de auteurs, Antonio Cauchi, Marc-Hubert Nicole en Giovanni Rosso, hebben gedaan, met behulp van eenvoudige analogieën.

1. De Setting: Twee Werelden van Getallen

Stel je twee verschillende landen voor, F en E.

F is een "totaal reëel" land (denk hierbij aan een vlak, voorspelbaar landschap).
E is een iets complexer land dat is gebouwd bovenop F (een "kwadratische uitbreiding", alsof je een tweede laag terrein toevoegt).

In deze landen bestaan er speciale geometrische landschappen die Hilbert-modulaire variëteiten heten. Denk hierbij aan enorme, multidimensionale tuinen.

De tuin voor F heet $Y_H$ .
De tuin voor E heet $Y_G$ .

Omdat E is gebouwd op F, is er een natuurlijk pad (een inbedding) dat de kleinere tuin $Y_H$ verbindt met de grotere tuin $Y_G$ .

2. De Speciale Objecten: Hirzebruch–Zagier-cycli

Binnen de grotere tuin ( $Y_G$ ) zijn de auteurs geïnteresseerd in specifieke "sculpturen" of "paden" die voortkomen uit de kleinere tuin ( $Y_H$ ).

In het verleden ontdekten wiskundigen Hirzebruch en Zagier dat op een specifiek type 2D-tuin deze paden (genaamd Hirzebruch–Zagier-cycli) eigenlijk de "noten" waren van een bekend lied (een modulaire vorm).
Dit artikel neemt dat idee en probeert het toe te passen in veel hogere dimensies (voor elk aantal dimensies $d$ ).

Het Probleem: Deze sculpturen zijn stijf. Ze bestaan op specifieke "niveaus" (zoals specifieke zoomniveaus op een kaart). De auteurs wilden weten: Kunnen we deze sculpturen laten vloeien in een continue familie, zodat we ze kunnen bestuderen terwijl we een knop draaien?

3. De Doorbraak: De "Grote" Familie

De auteurs hebben succesvol een "Grote Hirzebruch–Zagier-cyclus" gebouwd.

De Analogie: Stel je voor dat je een enkel, statisch standbeeld hebt. Normaal gesproken moet je voor elke kleine verandering een nieuw standbeeld bouwen om te zien hoe het verandert. De auteurs vonden een manier om een meestermal te bouwen (een "Grote Cyclus") die alle mogelijke versies van het standbeeld tegelijkertijd bevat.
Deze meestermal leeft in een speciale wiskundige ruimte die Iwasawa-cohomologie heet. Denk hierbij aan een "superbibliotheek" die elke mogelijke variatie van de sculptuur in één georganiseerd volume bevat.
Ze bewezen dat als je een specifieke "snapshot" (een specialisatie) van deze meestermal neemt, je de oorspronkelijke, bekende sculpturen terugkrijgt. Dit betekent dat ze deze complexe vormen succesvol hebben verpakt in een p-adische familie (een familie die werkt met een specifiek type getalstelsel genaamd p-adische getallen, die lijken op een andere manier om afstand te meten).

4. De Toepassing: Meten van de "Adjoint L-waarde"

Waarom deze familie bouwen? Om een specifiek getal te meten.

In de getaltheorie zijn er "L-functies". Dit zijn complexe recepten die, als je een getal invoert, een resultaat opleveren.
Een specifiek resultaat, genaamd de Adjoint L-waarde (bij $s=1$ ), is zeer belangrijk. Het vertelt ons diepgaande dingen over de symmetrie van de modulaire vormen.
De Connectie: De auteurs gebruikten een beroemde formule (van Hida) die zegt: Als je het "dot product" (een manier om overlap te meten) neemt tussen een specifieke golf (een differentiaalvorm) en onze Hirzebruch–Zagier-sculptuur, is het resultaat precies deze Adjoint L-waarde.

5. Het Eindresultaat: De p-adische L-functie

Door hun "Grote Familie" van sculpturen te gebruiken, construeerden de auteurs een p-adische L-functie.

De Analogie: Stel je voor dat je een machine hebt die de Adjoint L-waarde kan berekenen voor elke modulaire vorm in een specifieke familie.
Normaal gesproken werken deze machines alleen voor specifieke, geïsoleerde vormen. De auteurs bouwden een machine die werkt voor de hele familie tegelijk.
Ze noemen dit de Adjoint p-adische L-functie. Het is een enkel wiskundig object dat de L-waarden van alle vormen in de familie "interpoleert" (de punten tussen de waarden verbindt).

Samenvatting van de Reis

De vormen identificeren: Ze keken naar speciale paden (cycli) die twee wiskundige tuinen met elkaar verbinden.
De familie bouwen: Ze creëerden een "Grote Cyclus" die alle variaties van deze paden bevat in een continue p-adische familie.
De waarde meten: Ze gebruikten deze familie om een nieuw gereedschap te construeren (de p-adische L-functie) dat een specifiek, belangrijk getal (de Adjoint L-waarde) berekent voor elke vorm in de familie.

Wat ze NIET deden:
Het artikel is puur theoretische wiskunde. Ze hebben dit niet toegepast op fysica, geneeskunde of techniek. Ze beweerden niet dat dit een specifiek real-world probleem oplost zoals weersvoorspelling of cryptografie. De "toepassing" die in het abstract wordt genoemd, ligt strikt binnen het domein van de getaltheorie: het construeren van een geometrisch object om de waarden van L-functies te begrijpen.

Kortom, ze bouwden een universeel mal voor een complexe geometrische vorm, wat hen in staat stelde een universele rekenmachine te creëren voor een specifiek getal dat wiskundigen decennia lang hebben proberen te begrijpen.

Technische Samenvatting: Hirzebruch–Zagier-cycli in p-adische families en adjointe L-waarden

Probleemstelling
Het artikel adresseert een klassieke lacune in de literatuur met betrekking tot de p-adische variatie van speciale cycli op Hilbert-modulaire variëteiten. Hoewel de p-adische variatie van cohomologieklassen (zoals Heegner-punten) uitvoerig is bestudeerd voor diverse Shimura-varieteiten, vormt het specifieke geval van Hilbert-modulaire variëteiten technische belemmeringen. Specifiek voldoen deze variëteiten niet aan Milnes axioma SV5, wat doorgaans garandeert dat het centrum van de groep geen R-gesplitste torus bevat die niet reeds Q-gesplitst is. Deze belemmering verhindert de directe toepassing van bestaande methoden (bijvoorbeeld uit [Loe21], [LRZ]) die worden gebruikt om p-adische families van cycli te construeren.

De auteurs beogen p-adische families van gegeneraliseerde Hirzebruch–Zagier-cycli te construeren die voortkomen uit Hilbert-modulaire variëteiten geassocieerd met een kwadratische extensie $E/F$ van totaal reële getallenlichamen. Een primaire toepassing van deze constructie is de geometrische definitie van een meerdimensionale p-adische adjointe L-functie, verdraaid met het Hecke-karakter van $E/F$ , gehecht aan Hida-families van Hilbert-modulaire vormen over $F$ .

Methodologie
De auteurs maken gebruik van een combinatie van Iwasawa-theorie, de theorie van basisverandering voor automorfe representaties en expliciete geometrische constructies van cycli.

Overwinnen van de SV5-belemmering: De auteurs passen het raamwerk van Loeffler [Loe21] en Loeffler–Rossi–Zerbes [LRZ] aan. Zij tonen aan dat de hypothese van Milnes axioma SV5 kan worden verwijderd in de context van Hilbert-modulaire variëteiten. Dit wordt bereikt door zorgvuldig de doorsnede van de niveau-subgroepen in de p-adische toren met het centrum van de groep $G = \text{Res}_{E/\mathbb{Q}}\text{GL}_2$ te analyseren. Zij construeren een specifieke toren van niveau-subgroepen $(V_r)_r$ geïndexeerd door multi-indices $r \in \mathbb{Z}_{\geq 0}^{|\Upsilon_{F,p}|}$ , waarbij $\Upsilon_{F,p}$ de verzameling is van priemgetallen van $F$ boven $p$ .
Constructie van de Grote Cyclus: Met behulp van een argument voor sferische variëteiten dat een element $u \in G(\mathbb{Z}_p)$ en de diagonale inbedding $\iota: H \hookrightarrow G$ (waarbij $H = \text{Res}_{F/\mathbb{Q}}\text{GL}_2$ ) omvat, definiëren de auteurs Hirzebruch–Zagier-cycli $Z^k_r$ op eindige niveaus. Door gebruik te maken van de ordinair projector $e^{n.ord}$ geassocieerd met een specifieke Hecke-operator $T_\eta$ , bewijzen zij het bestaan van een "Grote Hirzebruch–Zagier-klasse" $Z_\infty$ in de Iwasawa-cohomologiegroep $H^{2d}_{\text{Iw}}(Y_G(V_\infty), \mathcal{O})$ van middelste graad.
Momentafbeeldingen en Specialisatie: De auteurs definiëren momentafbeeldingen $\text{mom}^k_r$ die de universele Iwasawa-klasse $Z_\infty$ relateren aan de klassieke cycli op eindige niveaus. Zij vestigen controletheorema's die aantonen dat het ordinair deel van de Iwasawa-cohomologie een eindige module is over de Iwasawa-algebra $\Lambda_{G/H}$ .
Basisverandering en L-functies: Door gebruik te maken van de theorie van basisverandering (Getz–Goresky [GG12]) relateren de auteurs de pairing van de Hirzebruch–Zagier-cycli met differentiaalvormen aan de residu bij $s=1$ van de Asai L-functie. Dit residu wordt op zijn beurt gekoppeld aan de adjointe L-functie $L(\text{Ad}(f) \otimes \eta_{E/F}, 1)$ van een Hilbert-modulaire vorm $f$ over $F$ .
Geometrische Constructie van de p-adische L-functie: Door de Grote Hirzebruch–Zagier-klasse te evalueren tegen een specifieke idempotent geassocieerd met een Hida-familie $f$ (en haar basisverandering $f_E$ ), definiëren de auteurs de p-adische L-functie $L_p(\text{Ad}(f) \otimes \eta_{E/F})$ als een element van het coëfficiëntenlichaam van de familie.

Belangrijkste Bijdragen en Resultaten

Stelling 1.1 (Bestaan van de Grote Klasse): De auteurs bewijzen het bestaan van een Grote Hirzebruch–Zagier-klasse $Z_\infty$ in de ordinair Iwasawa-cohomologie. Zij tonen aan dat de specialisatie van deze klasse bij een gewicht $k$ de klassieke Hirzebruch–Zagier-cyclus oplevert (verdraaid met Hecke-operatoren), tot op een expliciete Euler-factor. Dit resultaat vult de lacune in de literatuur met betrekking tot p-adische families van cycli voor Hilbert-modulaire variëteiten in, en behandelt specifiek het geval waarin het centrum niet Q-gesplitst is.
Stelling 1.2 (Constructie van de Adjointe p-adische L-functie): Het artikel construeert een meerdimensionale p-adische L-functie $L_p(\text{Ad}(f) \otimes \eta_{E/F})$ voor een Hida-familie $f$ van Hilbert-modulaire vormen over $F$ . Deze functie interpoleert de algebraïsche delen van de speciale waarden $L(\text{Ad}(f) \otimes \eta_{E/F}, 1)$ naarmate $f$ varieert binnen de familie.
Expliciete Interpolatieformules: De auteurs verschaffen precieze interpolatieformules (Stelling 7.8) voor de p-adische L-functie bij klassieke gewichten. Deze formules omvatten Euler-factoren bij $p$ , Gauss-sommen en het residu van partiële Dedekind-zetfuncties, afhankelijk van het lokaal gedrag van de vorm (ongeramificeerd, Steinberg of geramificeerde hoofdreeks).
Controletheorema's: Het artikel vestigt een controletheorema (Stelling 4.34) voor de Iwasawa-cohomologie van de Hilbert-modulaire variëteiten, waarmee wordt gegarandeerd dat de specialisatiemap een isomorfisme is onder bepaalde voorwaarden (torsievrijheid en concentratie in een enkele graad).

Betekenis
Het artikel claimt betekenis op twee hoofdgebieden:

Geometrische Constructie: In tegenstelling tot eerdere constructies van adjointe p-adische L-functies voor Hilbert-modulaire vormen (bijvoorbeeld [Hid90], [Wu01], [Ros16]), die vaak vertrouwen op het interpreteren van de L-waarde als een congruentiegetal of het gebruik van analytische formules zonder een geometrische cyclusfamilie, biedt dit werk een geometrische constructie. Het realiseert de p-adische L-functie als het beeld van een universele cohomologieklass (de Grote Hirzebruch–Zagier-cyclus) onder een specifieke idempotent. Dit verbindt de L-waarden direct met de geometrie van de Hilbert-modulaire variëteiten via het raamwerk van het Kudla-programma.
Uitbreiding van het Kudla-programma: Het werk generaliseert de Hirzebruch–Zagier-stelling en de Gross–Kohnen–Zagier-stelling naar de setting van p-adische families voor Hilbert-modulaire variëteiten. Het demonstreert dat de diepe conjecturen die speciale cycli koppelen aan L-waarden, gelden in de context van p-adische variatie, zelfs bij afwezigheid van het SV5-axioma.

De auteurs merken op dat hoewel de p-adische variatie van de Gross–Kohnen–Zagier-stelling via Grote Heegner-punten werd behandeld door Longo en Nicole [LN19, LN20], dit artikel dergelijke technieken uitbreidt naar de hogere-dimensionale setting van Hilbert-modulaire oppervlakken en variëteiten, waarbij de relatieve kwadratische basisverandering voor automorfe representaties wordt gebruikt als centraal instrument. De constructie is beperkt tot het ordinair geval, hoewel de auteurs suggereren dat technieken uit [Roc22] deze resultaten in toekomstig werk potentieel kunnen uitbreiden naar niet-ordinaire situaties.