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

Resumo Técnico de "Períodos e Funções L para GL4 × GL2"

Enunciado do Problema
O artigo aborda a relação entre períodos automorfos e valores especiais de funções $L$ no âmbito do programa de Langlands relativo. Especificamente, investiga-se o não desaparecimento dos valores centrais de $L$ para o produto tensorial de uma representação automorfa cuspidal $\pi$ de $GL_4$ (ou $GU_{2,2}$) e uma representação automorfa cuspidal $\sigma$ de $GL_2$. O foco recai sobre a função $L$ associada à representação $\rho = \wedge^2 \otimes \text{std}_2$ (grau 12) e à representação $\rho_X = \wedge^2 \otimes \text{std}_2 \oplus \text{std}_4 \oplus \text{std}_4^\vee$ (grau 20) associada à variedade esférica $X = (GL_2 \times GL_2) \backslash (GL_4 \times GL_2)$.

O problema central é estabelecer representações integrais para essas funções $L$ e provar que o não desaparecimento de seus valores centrais é equivalente ao não desaparecimento de períodos automorfos específicos: o período de Shalika generalizado $S_{\psi_S}$ e o período linear $P_{GL_2 \times GL_2}$. Este trabalho visa fornecer evidências para as conjecturas globais de Gan–Gross–Prasad para $GSpin_6 \times GSpin_3$ e para as conjecturas de Wan–Zhang relativas a variedades esféricas fortemente temperadas.

Metodologia
Os autores empregam o "método de dobramento" (doubling method) e técnicas de correspondência de theta para construir novas representações integrais.

1. Novas Representações Integrais:

   • Os autores definem uma integral de zeta $Z(s, \phi, f_s)$ envolvendo uma forma cuspidal $\phi$ em $GL_4$ (ou $GU_{2,2}$), uma forma cuspidal $\sigma$ em $GL_2$ e uma série de Eisenstein não degenerada normalizada $E^*_{P(1,2)}$ em $GSp_4$ construída a partir de $\sigma$ relativa ao parábolo de Klingen $P(1,2)$.
   • Através do desenrolamento (unfolding), demonstra-se que esta integral calcula a função $L$ parcial $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$.
   • Cálculos arquimedianos são realizados utilizando fórmulas explícitas para funções de Whittaker (seguindo Stade e outros) para relacionar as integrais de zeta locais aos fatores $L$ locais.

2. Siegel–Weil e o Puxar de Garrett:

   • A integral é reinterpretada através da fórmula de puxar (pullback) de Garrett, estendida a grupos de similitude, relacionando a série de Eisenstein de Klingen em $GSp_4$ a uma série de Eisenstein de Siegel degenerada em $GSp_6$.
   • A fórmula de Siegel–Weil (estendida a grupos de similitude por Kudla–Rallis e Yamana) é aplicada para relacionar o valor da série de Eisenstein no ponto central $s=1/2$ a integrais de theta associadas a pares redutivos duais $(O(V), Sp_6)$.
   • Este processo conecta o valor $L$ a períodos sobre subgrupos, especificamente o período de Shalika generalizado e um período sobre $GL_2 \times \det GL_2$.

3. Correspondência de Theta para $(GL_4, GL_4)$:

   • Para abordar o período linear (associado à função $L$ de grau 20), os autores introduzem uma integral de zeta de duas variáveis $J(s, z, \phi, f_s, \eta)$.
   • Esta integral incorpora o levantamento de theta $\Theta_z(\pi)$ para o par dual $(GL_4, GL_4)$. O parâmetro $z$ permite que a integral calcule o produto $L(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2) L(z+1/2, \pi, \text{std}_4)$.
   • É estabelecida uma identidade de "gangorra" (seesaw) envolvendo os pares duais $(GSO_{H_6}, Sp_4)$ e $(GSO_{H_2} \times GL_4, GSp_4)$.
   • A correspondência de Shimizu–Jacquet–Langlands é utilizada para relacionar integrais de theta em $GL_2$ a formas cuspidais em álgebras de quaterniões, e fórmulas de puxar para grupos ortogonais são usadas para desenrolar as integrais até o período linear.

Principais Contribuições e Resultados

• Nova Representação Integral: O artigo fornece uma nova representação integral para a função $L$ $\wedge^2 \otimes \text{std}_2$ em $GL_4 \times GL_2$ e $GU_{2,2} \times GL_2$ (Teorema 3.5).
• Valor Central de Grau 12 e Período de Shalika:
  • Para representações não ramificadas em todos os lugares, os autores provam que o não desaparecimento do valor central $L$ $L(1/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ é equivalente ao não desaparecimento do período de Shalika generalizado $S_{\psi_S}$ (Teorema 6.15).
  • Este resultado confirma a Conjectura 1.2(1) de Gan–Gross–Prasad para $GSpin_6 \times GSpin_3$ no caso não ramificado.
• Valor Central de Grau 20 e Período Linear:
  • Os autores estabelecem uma relação entre o valor central da função $L$ associada ao par esférico $(GL_4 \times GL_2, GL_2 \times GL_2)$ e o período linear $P_{GL_2 \times GL_2}$.
  • Especificamente, provam que se $L(1/2, \pi \otimes \sigma, \rho_X) \neq 0$, então $P_{GL_2 \times GL_2}|_{\pi \otimes \sigma} \not\equiv 0$ (Teorema B / Corolário 7.31).
  • A direção inversa depende do não desaparecimento de $L(3/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ e da suposição de que $\pi$ está na imagem da correspondência de theta a partir de $GL_4$ (o que é equivalente a $L(1/2, \pi, \text{std}_4) \neq 0$).
• Análise de Polo: O artigo deduz que a função $L$ parcial $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ pode ter no máximo um polo simples em $s=1$, e isso ocorre apenas se o produto dos caracteres centrais satisfizer condições quadráticas específicas (Proposição 8.1).

Significado e Alegações
O artigo alega fornecer novas evidências em direção às conjecturas de Wan–Zhang e Gan–Gross–Prasad para os grupos $GSpin_6 \times GSpin_3$. Ao construir representações integrais explícitas e utilizar a correspondência de theta para $(GL_4, GL_4)$, os autores conseguem "elevar" a análise da função $L$ de grau 12 para o caso de grau 20.

Os autores observam que seus resultados para representações não ramificadas são particularmente limpos, produzindo equivalências entre o não desaparecimento do valor $L$ e o não desaparecimento do período. Eles reconhecem que estender esses resultados ao caso ramificado geral requer fórmulas explícitas para o levantamento de Jacquet–Langlands de $\pi$ para formas internas de $GL_4$ (semelhante à fórmula de Shimizu para $GL_2$), o que permanece um obstáculo técnico aberto. Além disso, embora o método seja paralelo à prova do Teorema 1.1(2) na literatura anterior, o uso da correspondência de theta $(GL_4, GL_4)$ permite aos autores lidar com a discrepância entre os períodos linear e de Shalika, conectando efetivamente o período esférico ao valor central $L$ sob a condição de que $\pi$ participe da correspondência de theta.

O trabalho também destaca potenciais aplicações aritméticas, sugerindo que as integrais de zeta construídas poderiam ser usadas para construir novos sistemas de Euler a partir da cohomologia de Eisenstein de variedades de Shimura associadas a $GSp_4$, embora isso seja apresentado como uma direção prospectiva e não como um resultado concluído dentro do artigo.