Moments and joint nonvanishing of symplectic $L$-functions

1. Planteamiento del Problema

El artículo aborda el cálculo de momentos (promedios ponderados) de funciones L asociadas a formas de Siegel holomorfas de género 2 y peso $k$ (donde $k$ es grande). Específicamente, los autores estudian el comportamiento asintótico de un momento mixto que involucra dos funciones L fundamentales asociadas a una forma propia de Hecke $F$:

1. La función L de spinor $L(s, F)$: De grado 4 y conductor $k^2$.
2. La función L estándar $D(s, F)$: De grado 5 y conductor $k^4$.

El objetivo principal es evaluar el primer momento de la función L estándar en el punto central $s=1/2$, promediado sobre una base ortonormal de formas de cuspide de peso $k$, utilizando pesos armónicos $\omega_F$.

Motivación y Desafío:

• La función L estándar es más compleja que la de spinor debido a su expansión en serie de Dirichlet, que involucra coeficientes de Fourier $a_F(MM^\top)$ para matrices $M \in SL_2(\mathbb{Z}) \backslash M_2^+(\mathbb{Z})$, en lugar de solo coeficientes diagonales.
• Hasta este trabajo, no existían resultados de momentos para la función L estándar en este contexto.
• El cálculo de este momento es crucial para establecer resultados de no anulación simultánea (que ambas funciones L sean no nulas en $s=1/2$) y para obtener cotas inferiores para el segundo momento de $D(1/2, F)$.

2. Metodología

La estrategia de prueba combina herramientas analíticas avanzadas de la teoría de números y formas modulares:

A. Fórmula de Suma Espectral (Fórmula de Kitaoka)

Los autores utilizan la versión de la fórmula de Petersson para formas de Siegel, desarrollada por Kitaoka. Esta fórmula permite promediar coeficientes de Fourier sobre el espacio de formas de cuspide. La fórmula incluye:

• Un término diagonal.
• Un término de rango uno (involucrando sumas de Kloosterman tipo matriz y funciones de Bessel).
• Un término de rango dos (involucrando sumas de Kloosterman más complejas).

B. Ecuación Funcional Aproximada

Se inserta una ecuación funcional aproximada para $D(s, F)$ en el punto $s=1/2$ dentro de la fórmula de suma espectral. Esto transforma el problema en el análisis de sumas exponenciales y funciones de Bessel matriciales.

C. Análisis de Términos Específicos

1. Término Diagonal: Proporciona el término principal asintótico. Se calcula mediante un desplazamiento de contorno en la integral de Mellin, extrayendo el polo doble en $u=0$.
2. Término de Rango Uno:
   • Requiere estimar sumas exponenciales de tipo Kloosterman $H^\pm(P, S; c)$.
   • Se demuestra una cancelación de raíz cuadrada (Lemma 1) para estas sumas, lo cual es no trivial.
   • Se utiliza la suma de Poisson para obtener el ahorro necesario, ya que las cotas triviales no son suficientes.
3. Término de Rango Dos (El desafío principal):
   • Este es el núcleo técnico más difícil. Involucra funciones de Bessel matriciales $J_\ell$ que dependen de los valores singulares de las matrices involucradas.
   • Análisis de Oscilación: La función de Bessel tiene menos oscilación cuando las matrices son cercanas a ortogonales. Los autores deben cuantificar cuán "cercanas" están las matrices a ser ortogonales.
   • Cambio de Coordenadas: Introducen un sistema de coordenadas lineal que descompone el espacio de matrices en subespacios donde la oscilación es fuerte y donde es débil (cerca de matrices ortogonales).
   • Suma de Poisson Selectiva: Aplican la suma de Poisson solo en las variables "largas" (donde la oscilación es fuerte) y tratan las variables "cortas" (cerca de la ortogonalidad) mediante estimaciones directas o integración por partes.
   • Desarrollo Asintótico Uniforme: Utilizan el desarrollo asintótico de Olver para las funciones de Bessel en rangos donde el argumento es grande.

3. Contribuciones Clave

1. Primera Fórmula Asintótica para Momentos de L Estándar: Proporcionan la primera fórmula asintótica explícita para el momento de la función L estándar de formas de Siegel de grado 2.
2. Análimo de Sumas de Kloosterman Matriciales: Desarrollan técnicas sofisticadas para manejar sumas de Kloosterman de rango 2 y funciones de Bessel matriciales, superando las dificultades técnicas que han impedido resultados anteriores.
3. Técnica de Coordenadas para Matrices: La introducción de coordenadas $(a_+, a_-, b_+, b_-)$ para medir la desviación de la ortogonalidad de las matrices es una innovación metodológica que permite separar las regiones de alta y baja oscilación en la integral.
4. Estimación de Errores: Logran un término de error con ahorro de potencia ($O(k^{-\eta})$), lo cual es esencial para las aplicaciones aritméticas.

4. Resultados Principales

Teorema 1 (Fórmula Asintótica)

Para una base ortonormal $B_k^{(2)}$ de formas de cuspide de peso $k$, se tiene:
$$M_k := \sum_{F \in B_k^{(2)}} \omega_F D(1/2, F) = 2 L(3/2, \chi_{-4}) \log k + c_0 + O(k^{-\eta})$$
donde $c_0$ es una constante explícita que involucra la función L de Dirichlet, la constante de Euler-Mascheroni $\gamma$ y logaritmos.

Corolario 2 (No Anulación Simultánea)

Como consecuencia directa, para $k$ suficientemente grande, existe al menos una forma $F$ en la base tal que:
$$L(1/2, F) \neq 0, \quad L(1/2, F \times \chi_{-4}) \neq 0, \quad \text{y} \quad D(1/2, F) \neq 0.$$
Además, se puede asegurar que $D(1/2, F) > 0$. Esto es significativo porque la no negatividad de $D(1/2, F)$ no se sigue incondicionalmente de fórmulas de período conocidas, sino que se infiere del resultado asintótico y el teorema del valor intermedio.

Corolario 3 (Cota Inferior para el Segundo Momento)

Se establece una cota inferior para el segundo momento ponderado:
$$\sum_{F \in \tilde{B}_k^{(2)}} \frac{|D(1/2, F)|^2}{L(1, \pi_F, \text{Ad})} \gg k^3$$
Esto sugiere que el orden de magnitud esperado es $k^3 (\log k)^3$, consistente con la conjetura de que la familia es de tipo simpléctico.

5. Significado e Impacto

• Avance en la Teoría de Formas de Siegel: Este trabajo llena un vacío importante en la teoría de momentos de funciones L de grado superior (grado 5), extendiendo resultados previos que se limitaban a funciones L de spinor (grado 4) o formas elípticas.
• Herramientas para Problemas Abiertos: La metodología desarrollada, especialmente el manejo de las funciones de Bessel matriciales y las sumas de Kloosterman de rango superior, proporciona un "molde" (template) para futuros análisis de funciones L en grupos de rango superior.
• Conexión con Conjeturas: Los resultados apoyan la conjetura de que las funciones L de formas de Siegel no se anulan en el punto central, un problema abierto de gran relevancia en la teoría de números analítica.
• Aplicabilidad: Las técnicas de descomposición de espacios de matrices y suma de Poisson selectiva pueden ser aplicadas a otros problemas en la teoría espectral de formas automorfas de grupos clásicos de rango mayor.

En resumen, el artículo representa un hito técnico al resolver la evaluación asintótica de momentos complejos en el contexto de formas modulares de género 2, combinando análisis armónico, teoría de números y geometría de números de manera innovadora.