The Ranking-Selberg integral on ${\bf GSp(2)}$ for square free levels

A continuación se presenta un resumen técnico detallado del artículo "The Rankin-Selberg Integral on GSp(2) for Square Free Levels" (La integral de Rankin-Selberg en GSp(2) para niveles libres de cuadrados) de Seiji Kuga y Masao Tsuzuki.

1. Planteamiento del Problema y Contexto

El artículo aborda el cálculo explícito de una integral de tipo Rankin-Selberg introducida por Piatetski-Shapiro para formas de Siegel cuspidales vectoriales de niveles libres de cuadrados $\Gamma_0(N)$ sobre el grupo de similitud simpléctica $G = GSp(2)$.

• Motivación: Los períodos de Bessel en $GSp(2)$ son centrales para la aritmética de las formas modulares de Siegel, particularmente en el contexto de la conjetura de Böcherer (refinada por Liu y resuelta por Furusawa-Morimoto). Esta conjetura relaciona los períodos de Bessel con valores especiales de funciones $L$.
• Objetivo Específico: Los autores buscan calcular el promedio del producto interno entre una serie de Eisenstein $E(s, \Lambda, \mu)$ y formas de Siegel cuspidales $\phi$, ponderado por sus períodos de Bessel. Específicamente, investigan el comportamiento asintótico de este promedio a medida que el nivel $N$ (un entero libre de cuadrados) tiende a infinito, mientras que el peso $l$ permanece fijo.
• Aplicación Objetivo: Estos resultados son fundamentales para un artículo próximo [20] donde los autores pretenden analizar el lado geométrico de una fórmula de traza relativa. Un requisito crítico es demostrar que las "formas viejas", los "levantamientos de Yoshida" y los "levantamientos de Saito-Kurokawa" contribuyen de manera insignificante (desaparecen asintóticamente) a este promedio, aislando la contribución de las formas de "tipo general".

2. Metodología

Los autores emplean un método local-global, combinando la teoría global automorfa con cálculos locales explícitos.

A. Configuración Global

1. Integral de Rankin-Selberg: Definen la integral $\langle E(s, \Lambda, \mu), \phi \rangle$ sobre el cociente adélico de un subgrupo $G^\#$ asociado a un cuerpo cuadrático imaginario $E$.
2. Identidad Básica: Utilizando un lema de Piatetski-Shapiro, relacionan este producto interno global con la transformada de Mellin de la función de Bessel global $B_{T_\theta, \Lambda}(\phi)$.
3. Descomposición: El período de Bessel global se descompone en un producto de Euler de funciones de Bessel locales. Esto depende del teorema de multiplicidad uno local para modelos de Bessel.
4. Nuevas Formas: Definen una "nueva forma" $\phi_\pi^0$ para cada representación automorfa $\pi$ fijando un sistema de datos locales de Bessel $(\ell_p, \xi_p)$, donde $\ell_p$ es un funcional de Bessel local y $\xi_p$ es un vector nuevo local, normalizado de tal manera que $\ell_p(\xi_p)=1$.

B. Cálculos Locales (El Trabajo Técnico Central)

El artículo proporciona evaluaciones explícitas de integrales de zeta locales para diversos tipos de representaciones admissibles irreducibles de $G(\mathbb{Q}_p)$.

• Representaciones: Se centran en representaciones de Tipo I, IIb, IIIa y VIb (clasificación de Schmidt/Atobe), que corresponden a los componentes locales de formas globales con nivel libre de cuadrados.
• Funciones de Prueba: Utilizan funciones específicas de Schwartz-Bruhat y vectores de Bessel (a menudo vectores nuevos o vectores fijos bajo subgrupos de congruencia $K_0(p)$).
• Casos Cubiertos:
  • Casos no ramificados: Cálculos estándar.
  • Casos ramificados: Cálculos explícitos para representaciones con conductor no trivial, incluidos casos donde el carácter $\Lambda$ o el nivel $N$ introducen ramificación.
  • Formas viejas: Cálculos para representaciones que no son nuevas en un primo $p$ (Tipo I y IIb con carácter central trivial).
  • Nuevas Formas: Cálculos para nuevas formas de Tipo IIIa y VIb.
• Períodos de Gross-Prasad: En la Sección 7, calculan un período local específico para caracteres ramificados, extendiendo resultados previos de Dickson et al. al contexto ramificado.

3. Contribuciones y Resultados Clave

A. Fórmula Explícita para el Promedio (Teoremas 5.2 y 5.3)

Los autores derivan una fórmula completamente explícita para el promedio espectral $I(s)(\lambda, N, f_S)$. El resultado expresa el promedio en términos de:

1. Funciones L de Espinor: $L(s, \pi, \mu)$ torcidas por un carácter $\mu$.
2. Coeficientes de Fourier: Una cantidad $R(\phi_\pi^0, E, \Lambda)$, que es un promedio de coeficientes de Fourier de la nueva forma sobre el grupo de clases de rayo de $E$.
3. Períodos Locales: Factores explícitos $t(\pi_p, \mu_p)$ que surgen de las integrales de zeta locales.

Refinan esta fórmula separando la suma sobre representaciones automorfas en subconjuntos disjuntos:

• Tipo General ($G$): Formas que no surgen de levantamientos.
• Levantamientos de Yoshida ($Y$): Levantamientos de pares de formas de $GL(2)$.
• Levantamientos de Saito-Kurokawa ($SK$): Levantamientos de formas de $PGL(2)$.
• Formas Viejas: Formas inducidas desde niveles inferiores.

B. Resultados de Desvanecimiento Asintótico (Teorema 5.4)

Una contribución mayor es la demostración de que, a medida que $N \to \infty$ (con $N$ primo e inerte en $E$):

• La contribución de las formas viejas decae como $O(N^{-8})$.
• La contribución de los levantamientos de Yoshida decae como $O(N^{-3/2})$.
• La contribución de los levantamientos de Saito-Kurokawa desaparece (o decae como $O(N^{-3/2})$ dependiendo de $\mu$).
• En consecuencia, el promedio está dominado por las formas de tipo general.

C. Ecuaciones Funcionales y Factores Locales

• Deducen la ecuación funcional para la función $L$ de Espinor torcida $L(s, \pi, \mu)$ directamente de la integral de Rankin-Selberg, confirmando que los factores locales definidos por Piatetski-Shapiro coinciden con los de la literatura (por ejemplo, [38]).
• Proporcionan fórmulas explícitas para los factores $\epsilon$ locales y los períodos locales para todos los tipos relevantes de representaciones, incluidos los difíciles casos ramificados.

4. Significado

1. Resolución de Obstáculos Técnicos: El artículo llena un vacío crítico en la literatura al proporcionar cálculos locales explícitos para formas vectoriales y caracteres ramificados. Trabajos anteriores (por ejemplo, [7]) manejaron en gran medida formas de valor escalar o casos no ramificados.
2. Fundamento para Fórmulas de Traza: Los resultados son esenciales para el trabajo próximo de los autores sobre la fórmula de traza relativa. Al demostrar que las contribuciones "malas" (formas viejas, levantamientos) desaparecen asintóticamente, validan el uso de este promedio específico para aislar la contribución espectral de las formas de tipo general, lo cual es necesario para probar cotas de subconvexidad o resultados de no anulación para valores $L$.
3. Verificación de Conjeturas: Las fórmulas explícitas sirven como una verificación rigurosa para la conjetura refinada de Gan-Gross-Prasad en el contexto de las formas modulares de Siegel, extendiendo el alcance a niveles libres de cuadrados y formas vectoriales.
4. Kit de Herramientas Computacional: Las tablas detalladas y las fórmulas para las integrales de zeta locales (Secciones 6 y 7) proporcionan una referencia valiosa para futuros investigadores que trabajen en formas automorfas en $GSp(2)$ y grupos relacionados.

En resumen, Kuga y Tsuzuki proporcionan un análisis riguroso, explícito y asintótico de las integrales de Rankin-Selberg para formas cuspidales de Siegel, cerrando la brecha entre la teoría abstracta de representaciones automorfas y aplicaciones aritméticas concretas que involucran funciones $L$ y períodos de Bessel.