Plancherel and Poisson summation formulae for a family of affine $\Psi$-bundles

Technische Samenvatting: Plancherel- en Poisson-sommatieformules voor een familie van affiene $\Psi$-bundels

Probleem en Setting
Dit artikel behandelt de Poisson-sommatieconjectuur voor een specifieke familie van singuliere ruimten die voortkomen uit de context van triple product $L$-functies. De conjectuur, oorspronkelijk geformuleerd door Braverman en Kazhdan en verfijnd door Ngô en Sakellaridis, postuleert het bestaan van een Schwartz-ruimte, een Fourier-transformatie met getwiste equivariantie, en een Poisson-sommatieformule voor sferische variëteiten.

De auteurs richten zich op een familie van affiene $\Psi$-bundels over een specifieke sferische variëteit. Laat $F$ een getallenlichaam zijn en $r \geq 3$. Het onderliggende geometrische object is de ruimte $X^\circ_r = N \backslash GL_r$, waarbij $N$ de unipotente radicaal is van een standaard paraboolsubgroep. Deze wordt gepaard met de ruimte $M^\circ$ van rang 1 matrices in $M_{r-2,2}$. De auteurs beschouwen het product $X^\circ = X^\circ_r \times M^\circ$ en de vezels $X^\circ_\ell$ over punten $\ell \in \mathbb{P}^1(F)$. Over deze vezels bestuderen zij Hermitische lijnbundels $H$ (affiene $\Psi$-bundels) waarvan de secties voldoen aan een specifieke transformatiewet die een karakter $\psi$ en een paring op de matrixcomponenten omvat.

De primaire motivatie voor deze specifieke keuze van ruimte is de toepassing ervan op de integraalrepresentatie van triple product $L$-functies, die wordt onderzocht in een begeleidend artikel van de auteurs en Leslie [GGHL25]. In die context vereist het bewijzen van de analytische voortzetting van deze $L$-functies een paar van Poisson-sommatieformules: één voor een vectorruimte (bekend) en één voor de singuliere ruimte $X^\circ_\ell$ die hier wordt bestudeerd.

Methodologie
De auteurs maken gebruik van een spectrale methode, waarbij zij bekende eigenschappen van automorfe representaties en $L$-functies gebruiken om geometrische resultaten af te leiden. De kern van de technische strategie omvat de volgende stappen:

1. Lokale Harmonische Analyse: De auteurs stellen eerst een Plancherel-formule vast voor de Harish-Chandra-ruimte $C(X^\circ_\ell(F_v), H)$ in een lokale plaats $v$. Dit houdt in dat zij de ruimte van functies definiëren, lokale zeta-integralen construeren en deze relateren aan Whittaker-modellen van representaties van $GL_{r,r-2}$.
2. Zeta-integralen en Grenzen: Een aanzienlijk deel van het werk is gewijd aan het bewijzen van de absolute convergentie en het vaststellen van precieze grenzen voor lokale zeta-integralen $Z(f, W, \chi)$. Deze integralen zijn gedefinieerd met behulp van de $\Psi$-bundelstructuur en Whittaker-functies. De auteurs bewijzen dat deze integralen convergeren voor snel afnemende functies en stellen hun meromorfe voortzetting vast.
3. Matriciële Plancherel-stelling: Door de lokale Plancherel-formule voor $GL_{r,r-2}$ te combineren met de structuur van de zeta-integralen, leiden de auteurs een "matriciële" Plancherel-stelling af voor de ruimte $X^\circ_\ell(F_v)$. Deze stelling biedt een topologische isomorfisme tussen de Harish-Chandra-ruimte van de bundel en een ruimte van secties over het getempereerde spectrum van $GL_{r,r-2}$.
4. Constructie van de Fourier-transformatie: Met behulp van de Plancherel-isomorfisme definiëren de auteurs een lokale Fourier-transformatie. Deze transformatie wordt geconstrueerd door de afbeelding ervan onder de Plancherel-afbeelding te beschrijven in termen van $\gamma$-factoren geassocieerd met de relevante $L$-functies.
5. Asymptotische Schwartz-ruimten: De auteurs definiëren een asymptotische Schwartz-ruimte $Sas(X_\ell(F_v), H)$ die is aangepast aan de geometrie van de ruimte. Zij bewijzen dat de basisfunctie (een specifieke testfunctie gedefinieerd via karakteristieke functies van compacte subgroepen) in deze ruimte ligt en $\Xi$-snel afnemend is.
6. Globale Ontvouwing: Om de globale Poisson-sommatieformule te bewijzen, ontvouwen de auteurs een globale zeta-integraal die een cuspvorm en de Schwartz-functie betreft. Zij maken gebruik van de spectrale decompositie van de automorfe kernel en de functionele vergelijkingen van de lokale zeta-integralen (afgeleid van de lokale Fourier-transformatie) om de som over rationale punten te relateren aan de som over de Fourier-transformatie.

Belangrijkste Bijdragen en Resultaten

• Plancherel-formule voor Affiene $\Psi$-bundels: Het artikel bewijst een Plancherel-formule voor de Harish-Chandra-ruimte van een familie van affiene $\Psi$-bundels over singuliere sferische variëteiten (Theorem 1.1, Theorem 8.6). Dit is opmerkelijk omdat de Plancherel-decompositie admissible representaties van willekeurig hoge rang ($GL_{r,r-2}$) omvat, wat het onderscheidt van eerdere resultaten op sferische variëteiten die vaak lagere-rang groepen of specifieke monoiden betreffen.
• Constructie van Fourier-transformaties: De auteurs construeren lokale en globale Fourier-transformaties voor deze ruimten (Theorem 9.2, Theorem 10.2). Deze transformaties blijken topologische isomorfismen te zijn op de asymptotische Schwartz-ruimten.
• Poisson-sommatieformule: Onder geschikte aannames (A1 en A2) betreffende de cuspidale afbeelding en de snelle afname van de testfuncties, bewijzen de auteurs de Poisson-sommatieformule:
  $$\sum_{x \in X^\circ_\ell(F)} f(x) = \sum_{x \in X^\circ_\ell(F)} \mathcal{F}(f)(x)$$
  (Theorem 1.2, Theorem 12.7).
• Technische Schattingen: Het artikel biedt rigoureuze grenzen voor Whittaker-functies en zeta-integralen in zowel de Archimedeische als de niet-Archimedeische setting, inclusocief schattingen voor niet-getempereerde representaties en het gedrag van de basisfunctie.

Betekenis en Claims
De auteurs claimen dat dit werk de eerste casus is waarbij de Poisson-sommatieconjectuur bewezen is voor singuliere ruimten waarvan de Plancherel-decompositie admissible representaties van willekeurig hoge rang omvat.

Het artikel stelt expliciet dat de techniek van het heen en weer gaan tussen spectrale en geometrische data om resultaten over spectrale data af te leiden, alomtegenwoordig is in de automorfe representatietheorie. In deze specifieke setting gebruiken de auteurs bekende eigenschappen van $L$-functies (specifiek hun analytische voortzetting en functionele vergelijkingen) om de Poisson-sommatieformule af te leiden. Zij merken op dat deze aanpak enigszins circulair is in de zin dat Poisson-sommatie vaak wordt gebruikt om eigenschappen van $L$-functies te bewijzen, maar zij argumenteren dat de techniek geldig en noodzakelijk is voor hun beoogde toepassing in [GGHL25].

De auteurs erkennen dat zij niet weten hoe zij de Fourier-transformatie of de Poisson-sommatieformule kunnen construeren zonder de Plancherel-formule en de spectrale methode te gebruiken. Zij merken ook op dat hoewel zij aannemen dat de testfuncties sterke condities (A1 en A2) moeten voldoen om de bewijsvoering te vereenvoudigen, zij geloven dat veel functies in de Schwartz-ruimte aan de voorwaarde van snelle afname (A2) voldoen, hoewel een volledige Paley-Wiener-stelling voor de open baan een toekomstig doel blijft.

Samenvattend biedt het artikel een rigoureus harmonisch-analytisch kader voor een specifieke klasse van singuliere ruimten, waarbij de noodzakelijke Plancherel- en Poisson-sommatie-instrumenten worden vastgesteld die vereist zijn voor de verdere studie van triple product $L$-functies via de vezelbundelmethode.