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

Resumen Técnico de "Períodos y funciones L para GL4 × GL2"

Planteamiento del Problema
El artículo aborda la relación entre los períodos automorfos y los valores especiales de las funciones L dentro del marco del programa de Langlands relativo. Específicamente, investiga la no anulación de los valores centrales de L para el producto tensorial de una representación automorfa cuspidal $\pi$ de $GL_4$ (o $GU_{2,2}$) y una representación automorfa cuspidal $\sigma$ de $GL_2$. El enfoque se centra en la función L asociada a la representación $\rho = \wedge^2 \otimes \text{std}_2$ (grado 12) y a la representación $\rho_X = \wedge^2 \otimes \text{std}_2 \oplus \text{std}_4 \oplus \text{std}_4^\vee$ (grado 20) asociada a la variedad esférica $X = (GL_2 \times GL_2) \backslash (GL_4 \times GL_2)$.

El problema central consiste en establecer representaciones integrales para estas funciones L y demostrar que la no anulación de sus valores centrales es equivalente a la no anulación de períodos automorfos específicos: el período de Shalika generalizado $S_{\psi_S}$ y el período lineal $P_{GL_2 \times GL_2}$. Este trabajo busca proporcionar evidencia para las conjeturas globales de Gan–Gross–Prasad para $GSpin_6 \times GSpin_3$ y las conjeturas de Wan–Zhang relativas a variedades esféricas fuertemente temperadas.

Metodología
Los autores emplean el "método de duplicación" y técnicas de correspondencia theta para construir nuevas representaciones integrales.

1. Nuevas Representaciones Integrales:

   • Los autores definen una integral de zeta $Z(s, \phi, f_s)$ que involucra una forma cuspidal $\phi$ en $GL_4$ (o $GU_{2,2}$), una forma cuspidal $\sigma$ en $GL_2$ y una serie de Eisenstein no degenerada normalizada $E^*_{P(1,2)}$ en $GSp_4$ construida a partir de $\sigma$ relativa al parabolico de Klingen $P(1,2)$.
   • Mediante el desarrollo (unfolding), se demuestra que esta integral calcula la función L parcial $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$.
   • Se realizan cálculos arquimedianos utilizando fórmulas explícitas para funciones de Whittaker (siguiendo a Stade y otros) para relacionar las integrales de zeta locales con los factores L locales.

2. Fórmula de Pullback de Siegel–Weil y Garrett:

   • La integral se reinterpreta mediante la fórmula de pullback de Garrett, extendida a grupos de similitud, relacionando la serie de Eisenstein de Klingen en $GSp_4$ con una serie de Eisenstein de Siegel degenerada en $GSp_6$.
   • Se aplica la fórmula de Siegel–Weil (extendida a grupos de similitud por Kudla–Rallis y Yamana) para relacionar el valor de la serie de Eisenstein en el punto central $s=1/2$ con integrales theta asociadas a pares duales reductivos $(O(V), Sp_6)$.
   • Este proceso conecta el valor L con períodos sobre subgrupos, específicamente el período de Shalika generalizado y un período sobre $GL_2 \times \det GL_2$.

3. Correspondencia Theta para $(GL_4, GL_4)$:

   • Para abordar el período lineal (asociado a la función L de grado 20), los autores introducen una integral de zeta de dos variables $J(s, z, \phi, f_s, \eta)$.
   • Esta integral incorpora el levantamiento theta $\Theta_z(\pi)$ para el par dual $(GL_4, GL_4)$. El parámetro $z$ permite que la integral calcule el producto $L(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2) L(z+1/2, \pi, \text{std}_4)$.
   • Se establece una identidad de "balancín" (seesaw) que involucra los pares duales $(GSO_{H_6}, Sp_4)$ y $(GSO_{H_2} \times GL_4, GSp_4)$.
   • Se utiliza la correspondencia Shimizu–Jacquet–Langlands para relacionar integrales theta en $GL_2$ con formas cuspidales en álgebras de cuaterniones, y se emplean fórmulas de pullback para grupos ortogonales para desarrollar las integrales hacia el período lineal.

Contribuciones y Resultados Clave

• Nueva Representación Integral: El artículo proporciona una nueva representación integral para la función L $\wedge^2 \otimes \text{std}_2$ en $GL_4 \times GL_2$ y $GU_{2,2} \times GL_2$ (Teorema 3.5).
• Valor Central de Grado 12 y Período de Shalika:
  • Para representaciones no ramificadas en todas partes, los autores demuestran que la no anulación del valor central L $L(1/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ es equivalente a la no anulación del período de Shalika generalizado $S_{\psi_S}$ (Teorema 6.15).
  • Este resultado confirma la Conjetura 1.2(1) de Gan–Gross–Prasad para $GSpin_6 \times GSpin_3$ en el caso no ramificado.
• Valor Central de Grado 20 y Período Lineal:
  • Los autores establecen una relación entre el valor central de la función L asociada al par esférico $(GL_4 \times GL_2, GL_2 \times GL_2)$ y el período lineal $P_{GL_2 \times GL_2}$.
  • Específicamente, demuestran que si $L(1/2, \pi \otimes \sigma, \rho_X) \neq 0$, entonces $P_{GL_2 \times GL_2}|_{\pi \otimes \sigma} \not\equiv 0$ (Teorema B / Corolario 7.31).
  • La dirección recíproca depende de la no anulación de $L(3/2, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ y de la suposición de que $\pi$ está en la imagen de la correspondencia theta desde $GL_4$ (lo cual es equivalente a $L(1/2, \pi, \text{std}_4) \neq 0$).
• Análisis de Polos: El artículo deduce que la función L parcial $L_S(s, \pi \otimes \sigma, \wedge^2 \otimes \text{std}_2)$ puede tener a lo sumo un polo simple en $s=1$, y esto ocurre solo si el producto de los caracteres centrales satisface condiciones cuadráticas específicas (Proposición 8.1).

Significado y Afirmaciones
El artículo afirma proporcionar nueva evidencia hacia las conjeturas de Wan–Zhang y Gan–Gross–Prasad para los grupos $GSpin_6 \times GSpin_3$. Mediante la construcción de representaciones integrales explícitas y la utilización de la correspondencia theta para $(GL_4, GL_4)$, los autores logran "actualizar" el análisis de la función L de grado 12 al caso de grado 20.

Los autores señalan que sus resultados para representaciones no ramificadas son particularmente limpios, produciendo equivalencias entre la no anulación del valor L y la no anulación del período. Reconocen que extender estos resultados al caso ramificado general requiere fórmulas explícitas para el levantamiento de Jacquet–Langlands de $\pi$ a formas internas de $GL_4$ (similar a la fórmula de Shimizu para $GL_2$), lo cual sigue siendo un obstáculo técnico abierto. Además, aunque el método es paralelo a la demostración del Teorema 1.1(2) en la literatura anterior, el uso de la correspondencia theta $(GL_4, GL_4)$ permite a los autores manejar la discrepancia entre los períodos lineal y de Shalika, conectando efectivamente el período esférico con el valor central L bajo la condición de que $\pi$ participe en la correspondencia theta.

El trabajo también destaca aplicaciones aritméticas potenciales, sugiriendo que las integrales de zeta construidas podrían utilizarse para construir nuevos sistemas de Euler a partir de la cohomología de Eisenstein de variedades de Shimura asociadas a $GSp_4$, aunque esto se presenta como una dirección prospectiva y no como un resultado completado dentro del artículo.