Bessel Distributions and Kloosterman Sums

Technische Samenvatting: Bessel-distributies en Kloosterman-sommen

Probleemstelling
Het artikel behandelt de regulariteit van Bessel-distributies geassocieerd met irreducibele generieke representaties van een gesplitste reductieve groep $G$ over een $p$-adisch veld $F$. Een Bessel-distributie $B_{\ell_1, \ell_2}$ wordt gedefinieerd via Whittaker-functionalen $\ell_1$ en $\ell_2$ op een representatie $\pi$ en diens contragrediënt $\pi^\vee$. Het centrale probleem is om te bepalen of deze distributie "regulier" is, wat betekent dat deze gerepresenteerd kan worden door een lokaal integreerbare gladde functie $j_\pi$ op $G$ zodanig dat $B_{\ell_1, \ell_2}(f) = \int_G j_\pi(g)f(g)dg$ voor alle Schwartz-functies $f$. Hoewel regulariteit is vastgesteld voor $GL_2$ en $GL_3$ (Baruch) en gladheid op de open Bruhat-cel bekend is voor algemene quasi-gesplitste groepen, blijft de lokale integreerbaarheid van de gladde functie op de gehele groep een open vraag voor algemene gesplitste reductieve groepen.

Methodologie
De auteurs hanteren een strategie die de analytische eigenschappen van Bessel-distributies koppelt aan de arithmetische eigenschappen van Kloosterman-sommen. De methodologie verloopt via de volgende stappen:

1. Reductie naar lokale integreerbaarheid: Voortbouwend op het werk van Baruch, Lapid-Mao en Chai, stelt het artikel vast dat de regulariteit van de Bessel-distributie equivalent is aan de lokale integreerbaarheid van een specifieke functie $j_\pi$. Deze functie blijkt lokaal representeerbaar als een Kloosterman-integraal $I(g, f)$.
2. Shalika-kiemexpansie: De auteurs ontwikkelen een Shalika-kiemexpansie voor Kloosterman-integralen. Deze expansie drukt de integraal $I(w_I^0 a, f)$ uit als een convolutie van "kiemen" $K_I^J$ (gladde functies op specifieke deelverzamelingen van Levi-subgroepen) met Schwartz-functies. Cruciaal is dat de kiem $K_\emptyset^J$ overeenkomt met de Kloosterman-som $Kl_d$ op de Levi-subgroep $M_J$ voor voldoende grote filtratieniveaus $d$.
3. Inductieve structuur: De kiemexpansie bezit een inductieve structuur, waardoor de studie van Kloosterman-sommen op $G$ kan worden teruggebracht naar die op zijn Levi-subgroepen.
4. Stevens' benadering voor grenzen: Om de noodzakelijke grenzen voor Kloosterman-sommen te bewijzen, passen de auteurs de benadering van Stevens aan. Dit houdt in dat de actie van de gesplitste torus $A_d$ op de Kloosterman-verzameling $X_d(\dot{w}_0 a)$ wordt geanalyseerd. Door de Kloosterman-som te ontleden in producten van beperkte Kloosterman-sommen op $GL_2$ (of $Sp_2$), wordt het probleem gereduceerd tot een telprobleem van de vezels van de Kloosterman-verzameling.
5. Weil-grenzen en tellen: De auteurs passen de Weil-grens voor $GL_2$ Kloosterman-sommen toe en voeren een combinatorisch tellen uit van de vezels van de Kloosterman-verzameling (met behulp van Plücker-coördinaten voor $Sp_4$ en analoge methoden voor $GL_4$) om niet-triviale bovengrenzen af te leiden.

Belangrijkste bijdragen en resultaten

• Theorem 1.2 (Theorem 3.19): Het belangrijkste theoretische resultaat stelt dat indien het systeem van Kloosterman-sommen voor de standaard Levi-subgroepen $M_I$ van $G$ (met betrekking tot een specifieke driedeling bestaande uit een generiek karakter en een filtratie) een "niet-triviale grens" toelaat (specifiek, $|Kl_d(a) \cdot \delta^{1/2-\epsilon}(a)| \leq C$), dan is de Bessel-distributie voor elke irreducibele generieke representatie op $G$ regulier. Dit reduceert het globale regulariteitsprobleem tot het vaststellen van arithmetische grenzen op Kloosterman-sommen voor Levi-subgroepen.
• Theorem 1.5 (Theorem 2.10 & 2.20): Het artikel construeert een uniek systeem van Shalika-kiemen voor Kloosterman-integralen. Het bewijst dat deze kiemen zo geconstrueerd kunnen worden dat de kiem die overeenkomt met de lege verzameling gelijk is aan de Kloosterman-som op de relevante Levi-subgroep voor grote $d$.
• Regulariteit voor $Sp_4$ en $GL_4$: Door de hoofdstelling en de Stevens-benadering toe te passen, bewijzen de auteurs de regulariteit van Bessel-distributies voor $G = Sp_4$ (Theorem 4.9, Corollary 4.15) en $G = GL_4$ (Theorem 4.16, Corollary 4.17).
  • Voor $Sp_4$ leiden zij een grens af van de vorm $|Kl_d(a)| \leq C \cdot q^{\frac{7}{8}(r+s)}$, waarbij $r, s$ gerelateerd zijn aan de valentie van het torus-element.
  • Voor $GL_4$ leiden zij een grens af van de vorm $|Kl_d(a)| \leq C \cdot q^{\frac{9}{10}(r+s+t)}$.
  • Deze grenzen zijn voldoende om te voldoen aan de voorwaarde van de niet-triviale grens vereist door Theorem 3.19, aangezien de exponenten strikt kleiner zijn dan de triviale grens-exponent (die 1 zou zijn in de genormaliseerde context).

Betekenis en claims
Het artikel beweert een algemeen kader te bieden voor het bewijzen van de regulariteit van Bessel-distributies op gesplitste reductieve groepen door het analytische probleem te reduceren tot een arithmetisch probleem betreffende Kloosterman-sommen. De betekenis ligt in:

1. Unificatie: Het verenigt de studie van Bessel-distributies met de theorie van Kloosterman-sommen via de Shalika-kiemexpansie, waarmee eerdere resultaten die bekend waren voor $GL_n$ ($n \leq 3$) worden gegeneraliseerd.
2. Expliciete bewijzen: Het levert de eerste expliciete bewijzen van regulariteit voor $Sp_4$ en $GL_4$ in de algemene $p$-adische setting (inclusclusief een willekeurig niveau $d$), waarmee resultaten die voorheen alleen bekend waren voor $GL_2$ en $GL_3$ worden uitgebreid.
3. Methodologische uitbreiding: Het demonstreert dat Stevens' benadering, oorspronkelijk ontwikkeld voor $GL_n$, kan worden gegeneraliseerd naar willekeurige gesplitste reductieve groepen, specifiek door de combinatorische complexiteit van het tellen van de Kloosterman-verzameling voor hogere-rang groepen zoals $Sp_4$ te behandelen.

De auteurs merken op dat hoewel zij $Sp_4$ en $GL_4$ als voorbeelden hebben behandeld, de algemene casus voor willekeurige gesplitste reductieve groepen een onderwerp blijft voor toekomstig werk, afhankelijk van het vaststellen van soortgelijke niet-triviale grenzen voor Kloosterman-sommen op de corresponderende Levi-subgroepen. Het artikel claimt niet het regulariteitsprobleem voor álle gesplitste reductieve groepen te hebben opgelost, maar heeft het eerder gereduceerd tot een hanteerbaar arithmetisch probleem en het opgelost voor specifieke gevallen met een lage rang.