On the Cubic Shimura lift to $PGL(3)$: The Fundamental Lemma

Titel: Over de kubische Shimura-lifting naar PGL(3): Het Fundamentele Lemma

Auteurs: Solomon Friedberg en Omer Offen
Publicatie: arXiv:2202.01247v2 [math.NT], 24 juni 2022

1. Probleemstelling en Context

Het artikel richt zich op een van de centrale problemen in de automorfe getaltheorie: de uitbreiding van de klassieke Shimura-correspondentie naar hogere rangen en hogere graden van metaplectische overdekkingen.

• Klassieke Context: De oorspronkelijke Shimura-correspondentie (Shimura, Niwa, Waldspurger) relateert automorfe representaties op de dubbele overdekking van $SL_2$ (metaplectische groep) aan die op $PGL_2$. De beeldkarakterisering gebeurt via het niet-verdwijnen van een specifieke periode-integraal.
• Huidige Uitdaging: De auteurs willen een globale Shimura-lifting bewijzen van de dubbele overdekking van $SL_3$ (specifiek de drievoudige overdekking $\widetilde{SL}_3$) naar $PGL_3$.
• De Vermoedens: Een conjectuur van Bump, Friedberg en Ginzburg (2001) stelt dat het beeld van deze lifting gekarakteriseerd wordt door het niet-verdwijnen van een periode-integraal die een automorfe vorm op $PGL_3$ koppelt aan een functie in de ruimte van de automorfe minimale representatie $\Theta_{SO_8}$ van de gesplitste groep $SO_8$.
• Het Doel: Om deze globale lifting en karakterisering te bewijzen, is een relatieve trace-formule nodig die distributies op $\widetilde{SL}_3$ en $PGL_3$ vergelijkt. Het centrale obstakel voor het bewijs van zo'n formule is het Fundamentele Lemma: het matchen van lokale orbitale integralen voor de eenheidselementen van de sferische Hecke-algebra's.

2. Methodologie

De auteurs hanteren een tweeledige aanpak, verdeeld in een globaal deel (geometrische expansies) en een lokaal deel (bewijs van het Fundamentele Lemma).

A. Globale Theorie: Geometrische Expansies

Het eerste deel van het artikel (Deel I) heeft als doel de twee relevante distributies te "geometriseren", d.w.z. uit te drukken als een som van factoriserende orbitale integralen over specifieke banen (orbits).

1. Distributie $I(f, \Theta)$ op $PGL_3$:

   • Deze distributie bevat de periode-integraal met de minimale representatie $\Theta_{SO_8}$.
   • Obstakel: In tegenstelling tot lagere rangen is $\Theta_{SO_8}$ niet direct afgeleid van de Weil-representatie, wat een directe "unfolding" (ontvouwen) van de integraal bemoeilijkt.
   • Oplossing: De auteurs gebruiken een duaal paar $(SL_2, SO_8)$ binnen $Sp_{16}$. Ze realiseren $\Theta_{SO_8}$ als een theta-lifting van de triviale representatie van $SL_2$ naar $SO_8$. Door een extra integratie over $[SL_2]$ in te voeren, kunnen ze de distributie ontvouwen tot een som over relevante banen in een affiene variëteit $F^8$.
   • Ze identificeren expliciet de set van relevante banen en hun stabilisatoren (Theorema 4.2).

2. Distributie $J(f')$ op $\widetilde{SL}_3$:

   • Dit is de Kuznetsov-distributie voor de drievoudige overdekking.
   • De geometrische expansie volgt hier direct uit de Bruhat-decompositie van de groep.
   • De auteurs identificeren de corresponderende relevante banen voor deze distributie.

Het resultaat is een één-op-één correspondentie tussen de relevante banen van beide distributies, wat de basis vormt voor de lokale vergelijking.

B. Lokale Theorie: Het Fundamentele Lemma

Het tweede deel (Deel II) is het hart van het artikel en bewijst dat de lokale orbitale integralen voor de eenheidselementen van de Hecke-algebra's overeenkomen, tot op een transfer-factor.

1. De Vergelijking:

   • De auteurs vergelijken de orbitale integralen $I(a,b)$ (afgeleid van de $PGL_3$-kant) en $J(a,b)$ (afgeleid van de $\widetilde{SL}_3$-kant) voor de "grote cel" (big cell).
   • De parameter $a, b$ loopt over $F^*$ (een niet-archimedische lokaal lichaam).

2. Technische Hulpmiddelen:

   • Metaplectische Cocycli: Voor de berekening van $J(a,b)$ is een expliciete berekening nodig van de splijting van de compacte subgroep $K = SL_3(\mathcal{O})$ in de metaplectische overdekking. Ze gebruiken een algoritme van Bump en Hoffstein gebaseerd op Matsumoto's 2-cocycli.
   • Exponentiële Sommen: De berekeningen leiden tot complexe integralen die vaak reduceren tot paren van Kloosterman-integralen met kubische karakters.
   • Identiteiten: Een cruciale stap is het gebruik van een identiteit die kubische exponentiële sommen relateert aan Kloosterman-sommen (gebaseerd op werk van Duke en Iwaniec). De auteurs generaliseren dit resultaat voor additieve karakters met een hogere conductor (Corollary 7.5) en gebruiken de methode van stationair punt (stationary phase) voor de evaluatie.
   • Hilbert-symbolen: Het kubische Hilbert-symbool $(\cdot, \cdot)_3$ speelt een centrale rol in de transfer-factoren.

3. Belangrijkste Resultaten

1. Het Fundamentele Lemma (Hoofdstelling 6.1):
   De auteurs bewijzen dat voor een niet-archimedisch lokaal lichaam $F$ met karakteristiek $p > 3$ en voor elke $a, b \in F^*$, de volgende vergelijking geldt:
   $$I(a, b) = (c, d)_3 J(c, d)$$
   waarbij $c = -54a$, $d = 54b$, en $(\cdot, \cdot)_3$ het kubische Hilbert-symbool is. Dit betekent dat de orbitale integralen op de twee groepen overeenkomen tot op een expliciete transfer-factor.

2. Matching van Andere Banen:
   Naast de grote cel, vergelijken de auteurs ook de orbitale integralen voor de overige relevante banen (de "kleine" banen). Ze tonen aan dat deze ook matchen tot op expliciete transfer-factoren (Theorema 11.7).

3. Expliciete Evaluaties:
   Het artikel bevat uitgebreide, technische berekeningen van de orbitale integralen voor verschillende waarden van $|a|$ en $|b|$, waarbij ze gebruikmaken van Gauss-sommen, Kloosterman-sommen en kubische exponentiële integralen. Ze leiden exacte formules af voor zowel $I(a,b)$ als $J(a,b)$.

4. Significatie en Impact

• Stap naar Globale Correspondentie: Dit artikel levert de essentiële lokale ingrediënten (het Fundamentele Lemma) die nodig zijn om de globale relatieve trace-formule te construeren. Zonder dit lemma kan de globale Shimura-lifting van $\widetilde{SL}_3$ naar $PGL_3$ niet worden bewezen.
• Bevestiging van een Conjectuur: Het werk is een directe stap richting het bewijzen van de conjectuur van Bump, Friedberg en Ginzburg. Als de globale trace-formule succesvol wordt toegepast, zal dit bewijzen dat het beeld van de kubische Shimura-lifting precies die representaties zijn waarvoor de periode-integraal met $\Theta_{SO_8}$ niet verdwijnt.
• Methodologische Innovatie:
  • Het gebruik van de theta-lifting van de triviale representatie van $SL_2$ om de minimale representatie van $SO_8$ te "ontvouwen" is een krachtige en innovatieve techniek voor het omzeilen van de complexiteit van de automorfe representaties.
  • De generalisatie van de Duke-Iwaniec identiteit naar integralen met hogere conductors toont een diep inzicht in de analytische eigenschappen van exponentiële sommen in de p-adische context.
• Toekomstige Toepassingen: De technieken die hier worden ontwikkeld voor de drievoudige overdekking van $SL_3$ kunnen mogelijk worden uitgebreid naar andere gevallen van Shimura-correspondenties voor hogere rangen en hogere graden van overdekkingen, een gebied dat momenteel slechts beperkt begrepen is.

Samenvattend biedt dit artikel een rigoureus en technisch hoogstaand bewijs van het Fundamentele Lemma voor een specifieke, maar fundamentele, relatieve trace-formule, en legt het de basis voor een nieuwe, diepe verbinding tussen automorfe representaties op metaplectische groepen en klassieke lineaire groepen.