The Ranking-Selberg integral on ${\bf GSp(2)}$ for square free levels

1. Probleemstelling en Context

Het artikel behandelt de expliciete berekening van een Rankin-Selberg-type integraal geïntroduceerd door Piatetski-Shapiro voor vectorwaardige Siegel-cuspvormen van kubusvrije niveaus $\Gamma_0(N)$ op de symplectische similitudengroep $G = GSp(2)$.

• Motivatie: De Bessel-perioden op $GSp(2)$ zijn centraal in de rekenkunde van Siegel-modulaire vormen, met name in de context van het vermoeden van Böcherer (verfijnd door Liu en opgelost door Furusawa-Morimoto). Dit vermoeden relateert Bessel-perioden aan speciale waarden van $L$-functies.
• Specifiek Doel: De auteurs beogen het gemiddelde te berekenen van het inproduct tussen een Eisenstein-reeks $E(s, \Lambda, \mu)$ en Siegel-cuspvormen $\phi$, gewogen naar hun Bessel-perioden. Specifiek onderzoeken zij het asymptotische gedrag van dit gemiddelde wanneer het niveau $N$ (een kubusvrij geheel getal) naar oneindig gaat, terwijl het gewicht $l$ constant blijft.
• Doeltoepassing: Deze resultaten vormen de basis voor een aanstaand artikel [20] waarin de auteurs de geometrische kant van een relatieve trace-formule willen analyseren. Een kritieke vereiste is om aan te tonen dat "oude vormen", "Yoshida-liften" en "Saito-Kurokawa-liften" verwaarloosbaar bijdragen (asymptotisch verdwijnen) aan dit gemiddelde, waardoor de bijdrage van vormen van "algemeen type" geïsoleerd wordt.

2. Methodologie

De auteurs hanteren een lokaal-globale methode, waarbij globale automorfe theorie wordt gecombineerd met expliciete lokale berekeningen.

A. Globale Opzet

1. Rankin-Selberg-integraal: Zij definiëren de integraal $\langle E(s, \Lambda, \mu), \phi \rangle$ over de adelische quotiënt van een ondergroep $G^\#$ geassocieerd met een imaginair kwadratisch lichaam $E$.
2. Basisidentiteit: Met behulp van een lemma van Piatetski-Shapiro relateren zij dit globale inproduct aan de Mellin-transformatie van de globale Bessel-functie $B_{T_\theta, \Lambda}(\phi)$.
3. Decompositie: De globale Bessel-periode wordt ontleed in een Euler-product van lokale Bessel-functies. Dit berust op de lokale multipliciteit-een-stelling voor Bessel-modellen.
4. Nieuwe vormen: Zij definiëren een "nieuwe vorm" $\phi_\pi^0$ voor elke automorfe representatie $\pi$ door een systeem van lokale Bessel-data $(\ell_p, \xi_p)$ vast te leggen, waarbij $\ell_p$ een lokale Bessel-functionaal is en $\xi_p$ een lokale nieuwe vector, genormaliseerd zodat $\ell_p(\xi_p)=1$.

B. Lokale Berekeningen (Het Kernwerk)

Het artikel biedt expliciete evaluaties van lokale zeta-integralen voor diverse soorten irreducibele toelaatbare representaties van $G(\mathbb{Q}_p)$.

• Representaties: Zij richten zich op representaties van Type I, IIb, IIIa en VIb (classificatie door Schmidt/Atobe), die corresponderen met de lokale componenten van globale vormen met kubusvrij niveau.
• Testfuncties: Zij maken gebruik van specifieke Schwartz-Bruhat-functies en Bessel-vectoren (vaak nieuwe vectoren of vaste vectoren onder congruentie-ondergroepen $K_0(p)$).
• Behandelde Gevallen:
  • Onvertakte gevallen: Standaardberekeningen.
  • Vertakte gevallen: Expliciete berekeningen voor representaties met niet-triviale conductor, inclusief gevallen waarin het karakter $\Lambda$ of het niveau $N$ vertakking introduceert.
  • Oude vormen: Berekeningen voor representaties die niet nieuw zijn bij een priemgetal $p$ (Type I en IIb met triviaal centraal karakter).
  • Nieuwe vormen: Berekeningen voor Type IIIa en VIb nieuwe vormen.
• Gross-Prasad-perioden: In Sectie 7 berekenen zij een specifieke lokale periode voor vertakte karakters, waarmee zij eerdere resultaten van Dickson et al. uitbreiden naar de vertakte setting.

3. Belangrijkste Bijdragen en Resultaten

A. Expliciete Formule voor het Gemiddelde (Stelling 5.2 & 5.3)

De auteurs leiden een volledig expliciete formule af voor het spectrale gemiddelde $I(s)(\lambda, N, f_S)$. Het resultaat drukt het gemiddelde uit in termen van:

1. Spinor L-functies: $L(s, \pi, \mu)$ verdraaid met een karakter $\mu$.
2. Fourier-coëfficiënten: Een grootheid $R(\phi_\pi^0, E, \Lambda)$, die een gemiddelde is van Fourier-coëfficiënten van de nieuwe vorm over de straalclassengroep van $E$.
3. Lokale Perioden: Expliciete factoren $t(\pi_p, \mu_p)$ die voortkomen uit de lokale zeta-integralen.

Zij verfijnen deze formule door de som over automorfe representaties te splitsen in disjuncte deelverzamelingen:

• Algemeen Type ($G$): Vormen die niet voortkomen uit liften.
• Yoshida-liften ($Y$): Liften van paren $GL(2)$-vormen.
• Saito-Kurokawa-liften ($SK$): Liften van $PGL(2)$-vormen.
• Oude vormen: Vormen geïnduceerd vanuit lagere niveaus.

B. Asymptotische Verdwijningsresultaten (Stelling 5.4)

Een belangrijke bijdrage is het bewijs dat naarmate $N \to \infty$ (met $N$ priem en inert in $E$):

• De bijdrage van oude vormen afneemt als $O(N^{-8})$.
• De bijdrage van Yoshida-liften afneemt als $O(N^{-3/2})$.
• De bijdrage van Saito-Kurokawa-liften verdwijnt (of afneemt als $O(N^{-3/2})$ afhankelijk van $\mu$).
• Bijgevolg wordt het gemiddelde gedomineerd door vormen van algemeen type.

C. Functionele Vergelijkingen en Lokale Factoren

• Zij leiden de functionele vergelijking voor de verdraaide spinor L-functie $L(s, \pi, \mu)$ direct af uit de Rankin-Selberg-integraal, waarmee wordt bevestigd dat de lokale factoren gedefinieerd door Piatetski-Shapiro overeenkomen met die in de literatuur (bijv. [38]).
• Zij leveren expliciete formules voor de lokale $\epsilon$-factoren en lokale perioden voor alle relevante typen representaties, inclusief de moeilijke vertakte gevallen.

4. Betekenis

1. Oplossing van Technische Hindernissen: Het artikel vult een kritieke leemte in de literatuur door expliciete lokale berekeningen te bieden voor vectorwaardige vormen en vertakte karakters. Eerdere werken (bijv. [7]) behandelden grotendeels scalarwaardige vormen of onvertakte gevallen.
2. Fundament voor Trace-formules: De resultaten zijn essentieel voor het aanstaande werk van de auteurs over de relatieve trace-formule. Door aan te tonen dat "slechte" bijdragen (oude vormen, liften) asymptotisch verdwijnen, valideren zij het gebruik van dit specifieke gemiddelde om de spectrale bijdrage van vormen van algemeen type te isoleren, wat noodzakelijk is voor het bewijzen van subconvexiteitsgrenzen of niet-verdwijningsresultaten voor L-waarden.
3. Verificatie van Vermoedens: De expliciete formules dienen als een rigoureuze check voor het verfijnde vermoeden van Gan-Gross-Prasad in de context van Siegel-modulaire vormen, waarbij het toepassingsgebied wordt uitgebreid tot kubusvrije niveaus en vectorwaardige vormen.
4. Rekenkundig Toolkit: De gedetailleerde tabellen en formules voor lokale zeta-integralen (Secties 6 en 7) vormen een waardevolle referentie voor toekomstige onderzoekers die werken aan automorfe vormen op $GSp(2)$ en aanverwante groepen.

Samenvattend bieden Kuga en Tsuzuki een rigoureuze, expliciete en asymptotische analyse van Rankin-Selberg-integralen voor Siegel-cuspvormen, waarbij zij de kloof overbruggen tussen abstracte theorie van automorfe representaties en concrete rekenkundige toepassingen die L-functies en Bessel-perioden betrekken.