On Periods and $L$-functions for $\mathbf{GL}_4 \times \mathbf{GL}_2$

Technische Samenvatting van "Perioden en L-functies voor GL4 × GL2"

Probleemstelling
Het artikel behandelt de relatie tussen automorfe perioden en speciale waarden van L-functies binnen het kader van het relatieve Langlands-programma. Specifiek onderzoekt het het niet-verdwijnen van centrale L-waarden voor het tensorproduct van een cuspidale automorfe representatie $\pi$ van $GL_4$ (of $GU_{2,2}$) en een cuspidale automorfe representatie $\sigma$ van $GL_2$. De focus ligt op de L-functie geassocieerd met de representatie $\rho = \wedge^2 \otimes \text{std}_2$ (graad 12) en de representatie $\rho_X = \wedge^2 \otimes \text{std}_2 \oplus \text{std}_4 \oplus \text{std}_4^\vee$ (graad 20) geassocieerd met de sferische variëteit $X = (GL_2 \times GL_2) \backslash (GL_4 \times GL_2)$.

Het centrale probleem is het vaststellen van integraalrepresentaties voor deze L-functies en het bewijzen dat het niet-verdwijnen van hun centrale waarden equivalent is aan het niet-verdwijnen van specifieke automorfe perioden: de gegeneraliseerde Shalika-periode $S_{\psi_S}$ en de lineaire periode $P_{GL_2 \times GL_2}$. Dit werk beoogt bewijs te leveren voor de globale Gan–Gross–Prasad-vermoedens voor $GSpin_6 \times GSpin_3$ en de vermoedens van Wan–Zhang betreffende sterk getemperde sferische variëteiten.

Methodologie
De auteurs maken gebruik van de "verdubbelingsmethode" en technieken van de theta-correspondentie om nieuwe integraalrepresentaties te construeren.

1. Nieuwe Integraalrepresentaties:

   • De auteurs definiëren een zeta-integraal $Z(s, \phi, f_s)$ die een cuspvorm $\phi$ op $GL_4$ (of $GU_{2,2}$), een cuspvorm $\sigma$ op $GL_2$, en een genormaliseerde niet-degenererende Eisensteinreeks $E^*_{P(1,2)}$ op $GSp_4$ bevat, geconstrueerd vanuit $\sigma$ ten opzichte van de Klingen-parabool $P(1,2)$.
   • Door uitvouwen wordt aangetoond dat deze integraal de partiële L-functie $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ berekent.
   • Archimedische berekeningen worden uitgevoerd met behulp van expliciete formules voor Whittaker-functies (volgend op Stade en anderen) om de lokale zeta-integralen te relateren aan de lokale L-factoren.

2. Siegel–Weil en Garrett's Pullback:

   • De integraal wordt opnieuw geïnterpreteerd via Garrett's pullback-formule, uitgebreid tot similitudegroepen, waarbij de Klingen-Eisensteinreeks op $GSp_4$ wordt gerelateerd aan een degenererende Siegel-Eisensteinreeks op $GSp_6$.
   • De Siegel–Weil-formule (uitgebreid tot similitudegroepen door Kudla–Rallis en Yamana) wordt toegepast om de waarde van de Eisensteinreeks in het centrale punt $s=1/2$ te relateren aan theta-integralen geassocieerd met duale reductieve paren $(O(V), Sp_6)$.
   • Dit proces verbindt de L-waarde met perioden over ondergroepen, specifiek de gegeneraliseerde Shalika-periode en een periode over $GL_2 \times \det GL_2$.

3. Theta-correspondentie voor $(GL_4, GL_4)$:

   • Om de lineaire periode aan te pakken (geassocieerd met de L-functie van graad 20), introduceren de auteurs een zeta-integraal met twee variabelen $J(s, z, \phi, f_s, \eta)$.
   • Deze integraal omvat de theta-lift $\Theta_z(\pi)$ voor het duale paar $(GL_4, GL_4)$. De parameter $z$ stelt de integraal in staat het product $L(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2) L(z+1/2, \pi, \text{std}_4)$ te berekenen.
   • Een "seesaw"-identiteit wordt vastgesteld die de duale paren $(GSO_{H_6}, Sp_4)$ en $(GSO_{H_2} \times GL_4, GSp_4)$ omvat.
   • De Shimizu–Jacquet–Langlands-correspondentie wordt gebruikt om theta-integralen op $GL_2$ te relateren aan cuspvormen op kwaternionen-algebra's, en pullback-formules voor orthogonale groepen worden gebruikt om de integralen uit te vouwen naar de lineaire periode.

Belangrijkste Bijdragen en Resultaten

• Nieuwe Integraalrepresentatie: Het artikel levert een nieuwe integraalrepresentatie voor de $\wedge^2 \otimes \text{std}_2$ L-functie op $GL_4 \times GL_2$ en $GU_{2,2} \times GL_2$ (Stelling 3.5).
• Centrale Waarde van Graad 12 en Shalika-periode:
  • Voor representaties die overal ongeramd zijn, bewijzen de auteurs dat het niet-verdwijnen van de centrale L-waarde $L(1/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ equivalent is aan het niet-verdwijnen van de gegeneraliseerde Shalika-periode $S_{\psi_S}$ (Stelling 6.15).
  • Dit resultaat bevestigt Vermoeden 1.2(1) van Gan–Gross–Prasad voor $GSpin_6 \times GSpin_3$ in het ongeremde geval.
• Centrale Waarde van Graad 20 en Lineaire Periode:
  • De auteurs stellen een relatie vast tussen de centrale waarde van de L-functie gehecht aan het sferische paar $(GL_4 \times GL_2, GL_2 \times GL_2)$ en de lineaire periode $P_{GL_2 \times GL_2}$.
  • Specifiek bewijzen zij dat als $L(1/2, \pi \otimes \sigma, \rho_X) \neq 0$, dan $P_{GL_2 \times GL_2}|_{\pi \otimes \sigma} \not\equiv 0$ (Stelling B / Corollarium 7.31).
  • De omgekeerde richting is afhankelijk van het niet-verdwijnen van $L(3/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ en de aanname dat $\pi$ in het beeld ligt van de theta-correspondentie vanuit $GL_4$ (wat equivalent is aan $L(1/2, \pi, \text{std}_4) \neq 0$).
• Poolanalyse: Het artikel leidt af dat de partiële L-functie $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ maximaal een enkele pool kan hebben bij $s=1$, en dit treedt alleen op als het product van centrale karakters voldoet aan specifieke kwadratische voorwaarden (Propositie 8.1).

Betekenis en Aanspraken
Het artikel claimt nieuw bewijs te leveren voor de vermoedens van Wan–Zhang en Gan–Gross–Prasad voor de groepen $GSpin_6 \times GSpin_3$. Door expliciete integraalrepresentaties te construeren en gebruik te maken van de theta-correspondentie voor $(GL_4, GL_4), slagen de auteurs erin de analyse van de L-functie van graad 12 te "upgraden" naar het geval van graad 20.

De auteurs merken op dat hun resultaten voor ongeremde representaties bijzonder schoon zijn, wat leidt tot equivalenties tussen het niet-verdwijnen van L-waarden en het niet-verdwijnen van perioden. Zij erkennen dat het uitbreiden van deze resultaten naar het algemene geremde geval expliciete formules vereist voor de Jacquet–Langlands-lift van $\pi$ naar inwendige vormen van $GL_4$ (vergelijkbaar met Shimizu's formule voor $GL_2$), wat een open technische hindernis blijft. Bovendien, hoewel de methode parallel loopt aan het bewijs van Stelling 1.1(2) in eerdere literatuur, stelt het gebruik van de $(GL_4, GL_4)$ theta-correspondentie de auteurs in staat het verschil tussen de lineaire en Shalika-perioden te behandelen, waardoor de sferische periode effectief wordt verbonden met de centrale L-waarde onder de voorwaarde dat $\pi$ deelneemt aan de theta-correspondentie.

Het werk benadrukt ook potentiële arithmetische toepassingen, waarbij wordt gesuggereerd dat de geconstrueerde zeta-integralen kunnen worden gebruikt om nieuwe Euler-systemen te bouwen uit de Eisenstein-cohomologie van Shimura-variëteiten geassocieerd met $GSp_4$, hoewel dit wordt gepresenteerd als een vooruitziende richting in plaats van een voltooid resultaat binnen het artikel.