Congruences for the ratios of Rankin--Selberg $L$-functions

Dit artikel onderzoekt computationeel het principe dat congruenties tussen objecten leiden tot congruenties in de speciale waarden van Rankin-Selberg $L$-functies voor paren holomorfe cuspvormen, en formuleert een nauwkeurige algemene conjectuur.

De kern

Titel: De Wiskundige "Rijm" van Getallen: Een Verhaal over Congruenties en L-Functions

Stel je voor dat wiskunde een enorme bibliotheek is, gevuld met boeken die onzichtbare patronen in het universum beschrijven. In dit artikel schrijven de auteurs, Narayanan en Raghuram, over een heel specifiek soort boeken: modulaire vormen. Dit zijn complexe, golven-achtige patronen die zich herhalen, net als de golven op een meer of de trillingen van een snaar.

De kern van hun verhaal draait om een oude, diepe overtuiging in de wiskunde: "Als twee patronen op elkaar lijken, dan moeten ook de getallen die ze produceren op elkaar lijken."

Hier is hoe ze dit uitleggen, zonder de moeilijke wiskundetaal:

1. De Tweeling en de Spiegel

Stel je twee bijna identieke tweelingen voor, laten we ze F en F' noemen. Ze zijn zo op elkaar gelijk dat als je naar hun voeten kijkt (de eerste getallen in hun reeks), ze precies hetzelfde lijken, behalve dan dat ze een heel klein beetje verschillen in een heel groot, onzichtbaar systeem. In de wiskunde noemen we dit een congruentie. Ze zijn "gelijk modulo een priemgetal".

Nu nemen we een derde persoon, G. Deze persoon is een beetje anders dan de tweeling, maar ze hebben een speciale relatie met hen. Als je F en G samen laat "praten" (wiskundig vermenigvuldigen), krijgen we een nieuw geluid: een Rankin-Selberg L-functie. Dit is als een symfonie die ze samen spelen. Deze symfonie heeft speciale momenten (de "kritieke punten") waar we naar luisteren om te zien wat er gebeurt.

2. De Grote Vraag

De auteurs stellen zich de volgende vraag:
Als de tweeling F en F' bijna identiek zijn, dan zou hun symfonie met G ook bijna identiek moeten klinken op die speciale momenten.

Maar hier is de twist: De auteurs kijken niet naar de absolute geluidsdruk (de waarde zelf), maar naar de verhouding tussen twee opeenvolgende momenten in de symfonie.

• Stel je voor dat je kijkt naar de verhouding tussen de hoogte van de eerste golf en de tweede golf.
• De auteurs vermoeden: Als F en F' congruent zijn, dan is de verhouding van hun golven met G ook congruent.

3. De Experimenten (De "Recepten")

Om dit te bewijzen, hebben de auteurs geen magische toverstaf gebruikt, maar een reeks zeer nauwkeurige rekenmachines (algoritmen). Ze hebben dit in vijf verschillende scenario's getest:

• Scenario 1 & 2: Twee zeer complexe tweelingen (uit de ruimte van gewicht 24 en 30) die samenspelen met een bekende "Ramanujan-golf" (gewicht 12). Ze ontdekten dat de verhoudingen inderdaad perfect overeenkwamen, zelfs als je ze vergelijkt met een heel groot priemgetal (zoals 144.169).
• Scenario 3: Hier waren de tweelingen niet eens familie van elkaar (geen "Galois-conjugaten"), maar toch bleek dat ze congruent waren. Het patroon hield stand!
• Scenario 4 (De Uitzondering): Dit was het spannendste deel. Soms werkt de regel niet. Ze vonden een geval waar de symfonieën niet perfect overeenkwamen. Waarom? Omdat er een extra factor in het spel kwam (een soort "achtergrondruis" of een specifieke breuk) die de vergelijking verstoorde. Dit is als een muzikant die een noot iets te hoog speelt; de rest van de band is perfect, maar die ene noot maakt de harmonie kapot. Dit leerde hen dat je altijd moet controleren of er geen "storingen" in de formule zitten.
• Scenario 5 (De Legende): Ze testten een beroemde oude regel van Ramanujan. Hier vergeleken ze een echte golf (een "cusp form") met een statische golf (een "Eisenstein series"). Zelfs deze heel verschillende soorten "muzikanten" bleken de voorspelde regel te volgen!

4. De Grootte van het Bewijs

De auteurs hebben niet alleen gekeken, ze hebben ook een voorspelling gedaan (een conjectuur). Ze zeggen:
"Als je twee patronen hebt die congruent zijn, en je kijkt naar de verhouding van hun speciale getallen, dan zullen die verhoudingen ook congruent zijn, zolang er geen 'storingen' in de formule zitten."

Ze hebben dit bewezen door duizenden berekeningen te doen op een computer (met software genaamd SAGE). Het is alsof ze duizenden verschillende instrumenten hebben geprobeerd en elke keer zagen dat de harmonie klopte, behalve in die ene specifieke situatie waar ze een extra waarschuwingsteken hadden moeten plaatsen.

5. Waarom is dit belangrijk?

In de wereld van getallen zijn deze "L-functies" als de DNA-sequenties van de wiskunde. Ze vertellen ons over priemgetallen, de structuur van het universum en de diepste geheimen van de getallen.

Als deze regel klopt (en de auteurs denken van wel), betekent het dat we een krachtige nieuwe manier hebben om te voorspellen hoe deze getallen zich gedragen. Het verbindt de wereld van "vormen" (modulaire vormen) met de wereld van "getallen" (L-waarden) op een manier die we eerder alleen maar droomden.

Kort samengevat:
De auteurs hebben bewezen dat als twee wiskundige patronen op elkaar lijken, hun "geluid" (de speciale getallen die ze produceren) ook op elkaar lijkt. Ze hebben dit getest met een computer, gevonden dat het bijna altijd werkt, en een waarschuwing gegeven voor de zeldzame momenten waarop het niet werkt. Het is een mooi voorbeeld van hoe schoonheid en symmetrie in de wiskunde altijd terugkeren, zelfs in de meest complexe formules.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Congruences for the Ratios of Rankin–Selberg L-functions" van P. Narayanan en A. Raghuram, geschreven in het Nederlands.

Titel: Congruenties voor de verhoudingen van Rankin–Selberg L-functies

Auteurs: P. Narayanan & A. Raghuram
Datum: 12 maart 2026 (voorgestelde publicatiedatum in de tekst)

---

1. Probleemstelling en Achtergrond

Het artikel onderzoekt een fundamenteel principe uit de getaltheorie en de theorie van automorfe vormen: de relatie tussen congruenties tussen modulaire vormen en congruenties tussen de speciale waarden van de bijbehorende L-functies.

• Het Principe: Als twee holomorfe cusp-vormen $f$ en $f'$ congruent zijn modulo een priemideaal $\mathcal{P}$ (d.w.z. hun Fourier-coëfficiënten zijn congruent modulo $\mathcal{P}$), dan zou men verwachten dat de speciale waarden van de L-functies die aan deze vormen zijn gekoppeld, eveneens congruent zijn.
• De Specifieke Vraag: De auteurs focussen op Rankin–Selberg L-functies $L(s, f \times g)$, gekoppeld aan paren holomorfe cusp-vormen met gewichten $k$ en $l$ (waarbij $k \neq l$). In plaats van de absolute waarden te vergelijken, onderzoeken zij de verhoudingen van opeenvolgende kritieke waarden:
  $$\frac{L(m, f \times g)}{L(m+1, f \times g)} \quad \text{vs.} \quad \frac{L(m, f' \times g)}{L(m+1, f' \times g)}$$
  De centrale vraag is of $f \equiv f' \pmod{\mathcal{P}}$ impliceert dat de verhoudingen van de L-waarden congruent zijn modulo $\mathcal{P}$.
• Uitdaging: De algebraïsche delen van L-waarden zijn niet altijd integraal. De congruentie moet dus worden geïnterpreteerd als het verschil tussen de verhoudingen een positieve $\mathcal{P}$-adische waardering heeft.

2. Methodologie en Algoritmen

De auteurs gebruiken een computationele aanpak om dit principe te verifiëren voor specifieke voorbeelden. Ze ontwikkelen en combineren twee hoofdalgoritmen om de algebraïsche delen van de L-waarden te berekenen.

A. Berekening van Rankin–Selberg L-waarden (Algoritme 2.2)

Dit algoritme is gebaseerd op resultaten van Shimura en Hida en berekent de algebraïsche waarde van $D(m, f \times g)$ (de Dirichlet-reeks zonder de Gamma-factoren).

• Principe: De L-waarde wordt geïnterpreteerd als een Petersson-inproduct $\langle f, h_0 \rangle$, waarbij $h_0$ de holomorfe projectie is van een bijna-holomorfe modulaire vorm.
• Stappen:
  1. Kies een kritiek punt $m$ en definieer $r = k - 1 - m$.
  2. Construeer een geschikte Eisenstein-reeks $E^*_{\lambda, N}$ met gewicht $\lambda = k - l - 2r$.
  3. Bereken de holomorfe projectie $h_0$ van het product $g \cdot \delta^{(r)}_\lambda E^*_{\lambda, N}$ met behulp van recursieve relaties (gebaseerd op Lemma 2.6).
  4. Expandeer $h_0$ in een basis van eigenvormen. De coëfficiënt van de specifieke vorm $f$ geeft de gewenste algebraïsche waarde.

B. Berekening van standaard L-waarden via Modulaire Symbolen (Algoritme 2.3)

Voor het geval dat een van de vormen een Eisenstein-reeks is (zoals in het voorbeeld van Ramanujan), of voor het controleren van de algebraïsche structuur, gebruiken ze modulaire symbolen.

• Principe: Gebruikmaking van de Hecke-equivariante pairing tussen de ruimte van cusp-vormen en de ruimte van modulaire symbolen.
• Implementatie: De auteurs gebruiken de software SAGE om de matrices van de Hecke-operatoren te diagonaliseren en de Fourier-coëfficiënten te koppelen aan de integraties over modulaire symbolen. Dit stelt hen in staat de verhoudingen van L-waarden exact (rationaal of in een getallenlichaam) te berekenen.

C. Verificatie van Congruenties

Om te controleren of twee vormen congruent zijn, gebruiken ze het Sturm-criterium (Sturm's bound). Als de Fourier-coëfficiënten tot een bepaalde limiet congruent zijn modulo $\mathcal{P}$, dan zijn de vormen volledig congruent.

3. Belangrijkste Resultaten en Voorbeelden

De auteurs verifiëren hun hypothese in vijf verschillende scenario's, waarbij ze zowel Galois-geconjugeerde vormen als niet-geconjugeerde vormen gebruiken.

1. Voorbeeld 1 & 2 (Galois-conjugatie):

   • $f, f' \in S_{24}(SL_2(\mathbb{Z}))$ en $S_{30}(SL_2(\mathbb{Z}))$ met $g \in S_{12}(SL_2(\mathbb{Z}))$.
   • Hier zijn $f$ en $f'$ Galois-geconjugeerden. De auteurs tonen aan dat de verhoudingen van de L-waarden congruent zijn modulo de priemidealen die boven de ramificatiegetallen (144169 en 51349) liggen.

2. Voorbeeld 3 (Niet-Galois-conjugatie):

   • $f, f' \in S_{13}(\Gamma_0(3), \chi)$ en $g \in S_6(\Gamma_0(3))$.
   • Belangrijk: $f$ en $f'$ zijn geen Galois-geconjugeerden. Ze tonen aan dat het congruentieprincipe ook geldt voor vormen die niet via Galois-theorie gerelateerd zijn, zolang hun Fourier-coëfficiënten congruent zijn.

3. Voorbeeld 4 (Variatie in de lagere vorm):

   • Hier is de vorm met het hogere gewicht $f$ vast, en variëren de vormen $g, g'$ van lager gewicht ($S_{13}(\Gamma_0(3))$).
   • Uitzondering: Ze ontdekken een uitzondering bij het uiterste kritieke punt ($m=24$). De congruentie geldt voor de Dirichlet-reeks $D(s)$, maar niet voor de volledige L-functie $L(s)$.
   • Oorzaak: De reden is een factor in de abelse L-functie (de Dirichlet L-functie) die een breuk met de priemdeler in de noemer bevat, waardoor de congruentie "opgeheven" wordt. Dit leidt tot een verfijning van de hypothese.

4. Voorbeeld 5 (Ramanujan-congruentie):

   • Vergelijking tussen een cusp-vorm ($\Delta$) en een Eisenstein-reeks ($E_{12}$) met gewicht 12.
   • Dit is de beroemde Ramanujan-congruentie modulo 691. De auteurs verifiëren dat de verhoudingen van de Rankin–Selberg L-waarden congruent zijn modulo 691.

4. Hoofdbijdrage: De Conjectuur

Op basis van de computationele resultaten formuleren de auteurs een precieze conjectuur (Conjecture 4.1).

Conjectuur 4.1:
Laat $f, f' \in S_k(N, \chi)$ en $g \in S_l(M, \psi)$ genormaliseerde eigenvormen zijn met $k > l + 2$. Als $f \equiv f' \pmod{\mathcal{P}}$, dan geldt voor kritieke punten $m$:
$$\frac{L(m, f \times g)}{L(m+1, f \times g)} \equiv \frac{L(m, f' \times g)}{L(m+1, f' \times g)} \pmod{\mathcal{P}}$$
Voorwaarde: Deze congruentie geldt alleen als de verhouding van de archimedische en abelse factoren (de "infinite" en "abelian" delen van de L-functie) een niet-negatieve $\mathcal{P}$-adische waardering heeft. Deze voorwaarde is noodzakelijk om de uitzondering in Voorbeeld 4 te verklaren.

Een symmetrische versie van de conjectuur wordt ook geformuleerd voor het geval dat $g$ en $g'$ congruent zijn terwijl $f$ vaststaat.

5. Betekenis en Conclusie

• Computationale Validatie: Het artikel levert sterke computationeel bewijs voor een diep theoretisch principe in de theorie van automorfe vormen.
• Verfijning van theorie: Door de uitzondering in Voorbeeld 4 te identificeren, tonen de auteurs aan dat men voorzichtig moet zijn met het negeren van de archimedische en abelse factoren bij het formuleren van congruenties voor L-waarden.
• Theoretische Koppeling: De auteurs verwijzen naar een companion-paper [9] waarin een variant van deze conjectuur wordt bewezen met behulp van Eisenstein-cohomologie (ontwikkeld door Harder en Raghuram). Dit creëert een brug tussen computationele getaltheorie en cohomologische methoden.
• Praktijk: De gepresenteerde algoritmen bieden een robuuste methode om algebraïsche delen van Rankin–Selberg L-waarden te berekenen, wat nuttig is voor verdere onderzoek naar p-adische L-functies en Iwasawa-theorie.

Kortom, het artikel bevestigt dat congruenties tussen modulaire vormen zich vertalen naar congruenties in de verhoudingen van hun Rankin–Selberg L-waarden, mits men rekening houdt met de specifieke arithmetische eigenschappen van de bijbehorende Gamma- en Dirichlet-factoren.