The unramified computation of a Shimura integral for $\mathrm{SL}(2)\times \mathrm{GL}(2)$

Technische Samenvatting: De onramifieerde berekening van een Shimura-integraal voor $SL(2) \times GL(2)$

Probleemstelling
Dit artikel behandelt de lokale onramifieerde berekening van een specifieke Rankin-Selberg-integraal van het type Shimura, oorspronkelijk geconstrueerd door Ginzburg, Rallis en Soudry [4]. De integraal representeert de partiële tensorproduct-$L$-functie voor een paar irreducibele automorfe cuspidale generieke representaties: één van $SL_2$ en de andere van $GL_2$. Specifiek richten de auteurs zich op het geval met lage rang waarbij de symplectische rang $n=1$ en de algemene lineaire rang $k=2$ is. De globale integraal reduceert na het ontvouwen tot een lokale integraal die een Whittaker-functie bevat voor $SL_2$, een theta-reeks geassocieerd met de Weil-representatie, en een Siegel-Eisenstein-reeks op de metaplectische dubbele bedekking van $Sp_4$. Het doel is om te bewijzen dat deze lokale integraal gelijk is aan de ratio van de $L$-functies:
$$\frac{L(\pi_\nu \times \tau_\nu, s + 1/2)}{L(\tau_\nu, \text{Sym}^2, 2s + 1)}$$
waarbij $\pi_\nu$ een onramifieerde representatie van $SL_2(F)$ is en $\tau_\nu$ een onramifieerde representatie van $GL_2(F)$.

Methodologie
Het artikel biedt een directe en "intrinsieke" bewijsvoering van de onramifieerde berekening, die verschilt van de aanpak in het oorspronkelijke werk [4].

• Vermijden van Functionele Vergelijkingen: In tegenstelling tot het bewijs in [4], dat steunt op de lokale functionele vergelijking voor $GL_n \times GL_k$ (ontwikkeld in [9]), vermijdt dit artikel dergelijke machinerie volledig.
• Vertrouwen op Casselman-Shalika Formules: De kern van de methode maakt gebruik van de Casselman-Shalika formules voor onramifieerde Whittaker-functies op zowel $SL_2$ als $GL_2$ (Lemma 3.2).
• Expliciete Ontvouwing en Integratie: De auteurs voeren een expliciete berekening van de lokale integraal uit door:
  1. Gebruik te maken van de Iwasawa-ontbinding voor $SL_2(F)$.
  2. De Weil-representatie $\omega_\psi$ van de semidirecte product $\widetilde{SL_2} \ltimes H$ (waarbij $H$ de Heisenberg-groep is) toe te passen op de Schwartz-functie.
  3. Het integratiedomein over de Heisenberg-groep variabelen te ontbinden in onramifieerde ($OF$) en ramifieerde ($F \setminus OF$) delen.
  4. De resulterende integralen te evalueren met behulp van eigenschappen van de Weil-factor $\gamma_\psi$ en karakter-sommen, specifiek door te bewijzen dat bepaalde hogere-orde termen verdwijnen (Lemma 3.5).
• Reeks-sommatie: Het uiteindelijke resultaat wordt verkregen door de resulterende meetkundige reeksen op te tellen, die worden geïdentificeerd met de genererende functies van volledige homogene symmetrische polynomen, waarmee de expliciete vorm van de $L$-functies wordt teruggewonnen.

Belangrijkste Bijdragen en Resultaten

• Stelling 3.1: Het artikel stelt vast dat voor onramifieerde data en $\text{Re}(s) \gg 0$, de lokale integraal $I(W^0_\pi, \Phi^0, \tilde{f}^0_{W(\tau, \psi_2), s})$ absoluut convergeert en gelijk is aan de ratio $\frac{L(\pi \times \tau, s + 1/2)}{L(\tau, \text{Sym}^2, 2s + 1)}$.
• Correctie van Isomorfisme: De auteurs merken een verschil op in het isomorfisme tussen de unipotente groep $N_Q$ en de Heisenberg-groep $H$ vergeleken met [4]. Dit verschil resulteert in de verschijning van de sectie $\tilde{f}_{W(\tau, \psi_2), s}$ (involvende de karakter $\psi_2(x) = \psi(2x)$) in plaats van $\tilde{f}_{W(\tau, \psi), s}$ in de ontvouwen integraal.
• Directe Berekening: Het bewijs toont aan dat voor het geval $n = k-1$ (hier $1 = 2-1$), de unipotente integratie die de algemene $n < k$ casus doorgaans compliceert, afwezig is. Dit maakt een directe berekening mogelijk die technieken spiegelt die gebruikt worden voor gevallen met een evene rang, zonder de zware machinerie van functionele vergelijkingen voor algemene lineaire groepen nodig te hebben.

Betekenis en Claims
Het artikel claimt een "andere en meer intrinsieke" bewijsvoering te bieden voor de onramifieerde berekening van deze specifieke Shimura-integraal. Door de lokale functionele vergelijking voor algemene lineaire groepen te omzeilen, beogen de auteurs een berekening te leveren die uitsluitend rust op de representatie-theoretische eigenschappen van de betrokken groepen (specifiek de Casselman-Shalika formules).

De auteurs geven bescheiden aan dat hoewel zij slechts de lage-rang casus $n=1, k=2$ behandelen, zij hopen dat deze berekening "licht kan werpen op de technieken voor directe onramifieerde berekening" in meer algemene settings. Zij erkennen dat vergelijkbare directe berekeningen voor orthogonale groepen zijn bereikt door Kaplan [10, 11], maar benadrukken dat hun werk de functionele vergelijkingen vermijdt die werden gebruikt in het oorspronkelijke $SL_2 \times GL_2$ bewijs van Ginzburg, Rallis en Soudry. Het artikel stelt geen nieuwe toepassingen of toekomstige uitbreidingen voor buiten de reikwijdte van dit specifieke computationele bewijs.