The $\rho$-Fourier transform

Technische Samenvatting van "De $\rho$-Fouriertransformatie"

Probleemstelling
Het artikel behandelt een conjectuur van Braverman, Kazhdan en Ngˆo betreffende het bestaan van een $\rho$-Fouriertransformatie en een bijbehorende $\rho$-Schwartz-ruimte voor een reductieve groep $G$ over een lokaal lichaam $F$. Zij $\rho: {}^L G \to \mathrm{GL}(V_\rho)$ een representatie van de $L$-groep van $G$. De conjectuur postuleert het bestaan van een dichte, $G(F) \times G(F)$-invariante deelruimte $S_\rho \subset L^2(G(F))$, uitgerust met een unitaire operator $\mathcal{F}_\rho$ (de $\rho$-Fouriertransformatie) die voldoet aan specifieke equivariantie- en functionele-vergelijkingseigenschappen. Cruciaal is dat voor getemperde representaties $\pi$ de transformatie moet voldoen aan $\pi(\mathcal{F}_\rho(f)^\vee) = \gamma(1/2, \pi, \rho, \psi)\pi(f)$, waarbij $\gamma$ de lokale $\gamma$-factor is. Bovendien moet de ruimte $S_\rho$ analytische voorwaarden met betrekking tot lokale zeta-integrale voldoen, waaronder convergentie, meromorfe voortzetting en functionele vergelijkingen die $L$-functies betrekken, evenals geometrische beperkingen zoals "bijna compacte drager" in het niet-Archimedese geval.

Methodologie
De auteurs hanteren een spectrale aanpak, waarbij het Plancherel-theorema van Harish-Chandra als hoofdmiddel voor constructie wordt gebruikt. In plaats van de transformatie direct via integraalkernen aan de groepzijde te construeren, definiëren zij de Fouriertransformatie spectaal op de ruimte van sectoren over het getemperde duale.

1. Spectrale Constructie: De auteurs definiëren de $\rho$-Fouriertransformatie $\mathcal{F}_\rho$ op de Harish-Chandra-ruimte $C(G(F))$ door te verklaren dat de werking aan de spectrale zijde (via de Harish-Chandra-transformatie $H_P$) vermenigvuldiging is met de $\gamma$-factor $\gamma_\rho(\pi)$. Specifiek geldt: $\mathcal{F}_\rho = (\cdot)^\vee \circ H_P^{-1} \circ (\gamma_\rho \cdot) \circ H_P$.
2. Lokale Langlands-correspondentie: De constructie berust op een zwakke vorm van de lokale Langlands-correspondentie (LLC) die voldoet aan specifieke desiderata (LLC1–LLC8). Deze omvatten compatibiliteit met de LLC voor tori en $\mathrm{GL}_n$, gedrag onder contragredienten, en specifieke analytische eigenschappen van $\gamma$-factoren en $L$-functies. De auteurs verifiëren dat deze voorwaarden gelden in bekende gevallen (bijvoorbeeld $G=\mathrm{GL}_n$) en nemen ze algemeen aan.
3. Asymptotische Schwartz-ruimte: Om de analytische beperkingen op zeta-integrale te hanteren, construeren de auteurs eerst een "asymptotische $\rho$-Schwartz-ruimte" $S^{\mathrm{as}}_\rho(G(F))$. Deze ruimte wordt gedefinieerd als het inverse beeld onder $H_P$ van sectoren $T$ zodanig dat $L_\rho^{-1} T$ een polynoom (niet-Archimedese) of holomorfe (Archimedese) sector is, onderworpen aan specifieke groeigrenzen die de aan $\rho$ gekoppelde $L$-functies betrekken.
4. Geometrische Controle (Niet-Archimedese): In het niet-Archimedese geval verfijnen de auteurs $S^{\mathrm{as}}_\rho(G(F))$ om de daadwerkelijke $\rho$-Schwartz-ruimte $S_\rho(G(F))$ te verkrijgen. Zij snijden de asymptotische ruimte door met de ruimte van bijna compact gedragen gladde functies $C^\infty_{\mathrm{ac}}(G(F))$. Met behulp van het Paley-Wiener-theorema voor $C^\infty_{\mathrm{ac}}(G(F))$ (vanwege Bernstein en Heiermann) en het uitgebreide Bernstein-centrum, bewijzen zij dat deze doorsnede een maximale deelruimte bevat die stabiel is onder $\mathcal{F}_\rho$.
5. Grenzen en Schattingen: Het artikel besteedt aanzienlijke inspanning aan het vaststellen van uniforme grenzen voor $\gamma$-factoren en $L$-functies over het getemperde duale, met name in het Archimedese geval, om de convergentie en continuïteit van de geconstrueerde operatoren te waarborgen.

Belangrijkste Bijdragen en Resultaten

• Bestaan van de Transformatie: De auteurs bewijzen dat de Harish-Chandra-ruimte $C(G(F))$ een unitaire $\rho$-Fouriertransformatie $\mathcal{F}_\rho$ toestaat die voldoet aan de functionele vergelijking $\pi(\mathcal{F}_\rho(f)^\vee) = \gamma(1/2, \pi, \rho, \psi)\pi(f)$ voor alle getemperde representaties $\pi$. Dit bevestigt Conjectuur 1.1 van Braverman-Kazhdan-Ngˆo.
• Constructie van de Schwartz-ruimte:
  • Archimedese Geval: Zij construeren de ruimte $S_\rho(G(F)) = S^{\mathrm{as}}_\rho(G(F))$ en bewijzen dat deze voldoet aan de analytische desiderata (S1) en (S2) van Conjectuur 1.5.
  • Niet-Archimedese Geval: Zij construeren $S_\rho(G(F))$ als de maximale $\mathcal{F}_\rho$-stabiele deelruimte van $S^{\mathrm{as}}_\rho(G(F)) \cap C^\infty_{\mathrm{ac}}(G(F))$. Zij bewijzen dat deze ruimte voldoet aan alle voorwaarden van Conjectuur 1.5, inclusief het bestaan van een basisfunctie $b_\rho$ (Conjectuur S3) en de eigenschap van bijna compacte drager (Conjectuur S4).
• Kern en Basisfunctie: Het artikel construeert expliciet de kerndistributie $J_\rho$ en de basisfunctie $b_\rho$ (in het niet-geramificeerde geval), en toont aan dat $b_\rho$ een vast punt is van de Fouriertransformatie en dat diens zeta-integraal de $L$-functie $L(s, \pi, \rho)$ herleeft.
• Uniformiteit: De methoden blijken uniform te verlopen over verschillende typen ramificatie en voor alle plaatsen van een getallenlichaam, in tegenstelling tot eerdere werken die vaak beperkt waren tot specifieke gevallen of gegeometriseerde settings.

Betekenis en Beweringen
Het artikel beweert een "groot deel" van de conjecturen van Braverman-Kazhdan-Ngˆo over Schwartz-ruimten te bewijzen. De primaire betekenis ligt in het bieden van een directe, spectrale constructie van de $\rho$-Fouriertransformatie, waardoor de theorie op "vaste grond" wordt geplaatst. De auteurs benadrukken dat hun aanpak niet steunt op de geomeetriseringstechnieken die in eerdere werken werden gebruikt (bijvoorbeeld door Lafforgue of in het geval van gelijke karakteristiek), maar in plaats daarvan gebruikmaakt van de Plancherel-formule van Harish-Chandra en de lokale Langlands-correspondentie.

De auteurs zijn bescheiden wat betreft het Archimedese geval, en merken op dat hoewel zij een benadering construeren (de asymptotische ruimte) die voldoet aan de analytische voorwaarden, de constructie van een Schwartz-ruimte bestaande uit bijna compact gedragen functies in de Archimedese setting onduidelijk blijft en verdere werkzaamheden vereist. Zij merken ook op dat hun resultaten conditioneel zijn op de geldigheid van specifieke desiderata voor de lokale Langlands-correspondentie, waarvan bekend is dat zij gelden voor $\mathrm{GL}_n$ en andere specifieke groepen.

Het artikel sluit af met de vaststelling dat de geconstrueerde ruimten voldoen aan de lokale conjecturen met betrekking tot zeta-integrale en functionele vergelijkingen, en zo een fundament bieden voor potentiële globale toepassingen, zoals de constructie van modulatiegroepen, hoewel het artikel zelf deze globale toepassingen niet ontwikkelt.