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

Sintesi Tecnica di "Periodi e funzioni L per GL4 × GL2"

Enunciazione del Problema
Il lavoro affronta la relazione tra periodi automorfici e valori speciali delle funzioni L nell'ambito del programma di Langlands relativo. Nello specifico, indaga la non-nullità dei valori centrali delle funzioni L per il prodotto tensoriale di una rappresentazione automorfa cuspidale $\pi$ di $GL_4$ (o $GU_{2,2}$) e una rappresentazione automorfa cuspidale $\sigma$ di $GL_2$. Il focus è sulla funzione L associata alla rappresentazione $\rho = \wedge^2 \otimes \text{std}_2$ (grado 12) e alla rappresentazione $\rho_X = \wedge^2 \otimes \text{std}_2 \oplus \text{std}_4 \oplus \text{std}_4^\vee$ (grado 20) associata alla varietà sferica $X = (GL_2 \times GL_2) \backslash (GL_4 \times GL_2)$.

Il problema centrale consiste nell'istituire rappresentazioni integrali per queste funzioni L e dimostrare che la non-nullità dei loro valori centrali è equivalente alla non-nullità di specifici periodi automorfici: il periodo di Shalika generalizzato $S_{\psi_S}$ e il periodo lineare $P_{GL_2 \times GL_2}$. Questo lavoro mira a fornire prove per le congetture globali di Gan–Gross–Prasad per $GSpin_6 \times GSpin_3$ e per le congetture di Wan–Zhang riguardanti varietà sferiche fortemente temperate.

Metodologia
Gli autori impiegano il "metodo di raddoppio" e tecniche di corrispondenza theta per costruire nuove rappresentazioni integrali.

1. Nuove Rappresentazioni Integrali:

   • Gli autori definiscono un integrale di Zeta $Z(s, \phi, f_s)$ che coinvolge una forma cuspidale $\phi$ su $GL_4$ (o $GU_{2,2}$), una forma cuspidale $\sigma$ su $GL_2$ e una serie di Eisenstein normalizzata non degenere $E^*_{P(1,2)}$ su $GSp_4$ costruita a partire da $\sigma$ rispetto al paraboloico di Klingen $P(1,2)$.
   • Attraverso lo svolgimento (unfolding), questo integrale è mostrato calcolare la funzione L parziale $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$.
   • Vengono eseguiti calcoli archimedei utilizzando formule esplicite per le funzioni di Whittaker (seguendo Stade e altri) per relazionare gli integrali di Zeta locali ai fattori L locali.

2. Formula di Pullback di Siegel–Weil e di Garrett:

   • L'integrale è reinterpretato tramite la formula di pullback di Garrett, estesa ai gruppi di similitudine, che collega la serie di Eisenstein di Klingen su $GSp_4$ a una serie di Eisenstein di Siegel degenere su $GSp_6$.
   • La formula di Siegel–Weil (estesa ai gruppi di similitudine da Kudla–Rallis e Yamana) è applicata per relazionare il valore della serie di Eisenstein nel punto centrale $s=1/2$ agli integrali theta associati alle coppie riduttive duali $(O(V), Sp_6)$.
   • Questo processo collega il valore L ai periodi su sottogruppi, specificamente il periodo di Shalika generalizzato e un periodo su $GL_2 \times \det GL_2$.

3. Corrispondenza Theta per $(GL_4, GL_4)$:

   • Per affrontare il periodo lineare (associato alla funzione L di grado 20), gli autori introducono un integrale di Zeta a due variabili $J(s, z, \phi, f_s, \eta)$.
   • Questo integrale incorpora il sollevamento theta $\Theta_z(\pi)$ per la coppia duale $(GL_4, GL_4)$. Il parametro $z$ permette all'integrale di calcolare il prodotto $L(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2) L(z+1/2, \pi, \text{std}_4)$.
   • Viene stabilita un'identità "a bilancia" (seesaw) che coinvolge le coppie duali $(GSO_{H_6}, Sp_4)$ e $(GSO_{H_2} \times GL_4, GSp_4)$.
   • La corrispondenza di Shimizu–Jacquet–Langlands è utilizzata per relazionare gli integrali theta su $GL_2$ alle forme cuspidali sulle algebre di quaternioni, e le formule di pullback per i gruppi ortogonali sono impiegate per svolgere gli integrali fino al periodo lineare.

Contributi e Risultati Chiave

• Nuova Rappresentazione Integrale: Il lavoro fornisce una nuova rappresentazione integrale per la funzione L $\wedge^2 \otimes \text{std}_2$ su $GL_4 \times GL_2$ e $GU_{2,2} \times GL_2$ (Teorema 3.5).
• Valore Centrale di Grado 12 e Periodo di Shalika:
  • Per rappresentazioni non ramificate ovunque, gli autori dimostrano che la non-nullità del valore centrale L $L(1/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ è equivalente alla non-nullità del periodo di Shalika generalizzato $S_{\psi_S}$ (Teorema 6.15).
  • Questo risultato conferma la Congettura 1.2(1) di Gan–Gross–Prasad per $GSpin_6 \times GSpin_3$ nel caso non ramificato.
• Valore Centrale di Grado 20 e Periodo Lineare:
  • Gli autori stabiliscono una relazione tra il valore centrale della funzione L associata alla coppia sferica $(GL_4 \times GL_2, GL_2 \times GL_2)$ e il periodo lineare $P_{GL_2 \times GL_2}$.
  • Nello specifico, dimostrano che se $L(1/2, \pi \otimes \sigma, \rho_X) \neq 0$, allora $P_{GL_2 \times GL_2}|_{\pi \otimes \sigma} \not\equiv 0$ (Teorema B / Corollario 7.31).
  • La direzione inversa si basa sulla non-nullità di $L(3/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ e sull'assunzione che $\pi$ sia nell'immagine della corrispondenza theta da $GL_4$ (il che è equivalente a $L(1/2, \pi, \text{std}_4) \neq 0$).
• Analisi dei Poli: Il lavoro deduce che la funzione L parziale $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ può avere al massimo un polo semplice in $s=1$, e ciò si verifica solo se il prodotto dei caratteri centrali soddisfa specifiche condizioni quadratiche (Proposizione 8.1).

Significato e Affermazioni
Il lavoro afferma di fornire nuove prove a favore delle congetture di Wan–Zhang e di Gan–Gross–Prasad per i gruppi $GSpin_6 \times GSpin_3$. Costruendo rappresentazioni integrali esplicite e utilizzando la corrispondenza theta per $(GL_4, GL_4)$, gli autori riescono a "elevare" l'analisi della funzione L di grado 12 al caso di grado 20.

Gli autori notano che i loro risultati per le rappresentazioni non ramificate sono particolarmente chiari, producendo equivalenze tra la non-nullità del valore L e la non-nullità del periodo. Riconoscono che estendere questi risultati al caso ramificato generale richiede formule esplicite per il sollevamento di Jacquet–Langlands di $\pi$ verso le forme interne di $GL_4$ (simili alla formula di Shimizu per $GL_2$), il che rimane un ostacolo tecnico aperto. Inoltre, sebbene il metodo paralleli la prova del Teorema 1.1(2) nella letteratura precedente, l'uso della corrispondenza theta $(GL_4, GL_4)$ permette agli autori di gestire la discrepanza tra i periodi lineari e di Shalika, collegando efficacemente il periodo sferico al valore centrale L sotto la condizione che $\pi$ partecipi alla corrispondenza theta.

Il lavoro evidenzia anche potenziali applicazioni aritmetiche, suggerendo che gli integrali di Zeta costruiti potrebbero essere utilizzati per costruire nuovi sistemi di Eulero a partire dalla coomologia di Eisenstein delle varietà di Shimura associate a $GSp_4$, sebbene ciò sia presentato come una direzione prospettica piuttosto che un risultato completato all'interno del lavoro.