One-level densities of large even and odd orthogonal families of automorphic L-functions

Resumen Técnico: Densidades de Un Nivel de Familias Grandes Ortogonales Pares e Impares de Funciones L Automorfas

Enunciado del Problema
Este artículo investiga la distribución de ceros de bajo nivel de las funciones $L$ asociadas a formas cuspidales primitivas de nivel $q$ y peso fijo $k \geq 4$. Específicamente, los autores estudian la "densidad de un nivel" de estos ceros, promediada sobre niveles libres de cuadrados $q$. El estudio distingue entre dos sub-familias basadas en el signo de la ecuación funcional: la familia par ($\varepsilon_{f,q} = 1$) y la familia impar ($\varepsilon_{f,q} = -1$).

La heurística central que guía este trabajo es la filosofía de Katz-Sarnak, la cual predice que la distribución estadística de los ceros de las funciones $L$ en una familia refleja la distribución de los valores propios de matrices aleatorias de un grupo de simetría específico (en este caso, el grupo ortogonal). Aunque resultados previos establecieron esta correspondencia para niveles fijos o promediados sobre todos los niveles, este artículo aborda el desafío específico de promediar sobre niveles libres de cuadrados mientras se separan las familias pares e impares. Esta separación es crucial porque el signo de la ecuación funcional dicta el comportamiento de anulación en el punto central $s=1/2$: las formas impares se anulan en $s=1/2$, mientras que se conjetura que las formas pares no se anulan.

Metodología
Los autores emplean técnicas de teoría de números analítica, confiando principalmente en la fórmula explícita que relaciona sumas sobre ceros con sumas sobre potencias de primos, combinada con la fórmula de traza de Kuznetsov.

1. Fórmula Explícita y Números de Raíz: El núcleo del análisis implica promediar la fórmula explícita sobre la familia. Un paso técnico crítico es la inclusión del número de raíz $\varepsilon_{f,q}$ en el promedio. Para $q$ libre de cuadrados, el número de raíz viene dado explícitamente por $\varepsilon_{f,q} = i^k \mu(q) \lambda_f(q) \sqrt{q}$. Los autores tratan las sumas con y sin el número de raíz por separado para aislar las contribuciones pares e impares.
2. Fórmulas de Traza: Para evaluar las sumas sobre los coeficientes de Fourier $\lambda_f(n)$, los autores utilizan la fórmula de traza de Petersson para nuevas formas (específicamente la versión de Iwaniec, Luo y Sarnak) y la fórmula de traza de Kuznetsov. Estas herramientas permiten la conversión de sumas espectrales en sumas aritméticas que involucran sumas de Kloosterman y funciones de Bessel.
3. Hipótesis de Riemann Generalizada (GRH): Se asume la Hipótesis de Riemann Generalizada (GRH) a lo largo del trabajo. Esta suposición se utiliza para acotar sumas sobre primos y asegurar la convergencia y las estimaciones del término de error requeridas para las aplicaciones de la fórmula de traza.
4. Análisis de Fourier: El soporte de la transformada de Fourier de la función de prueba, $\hat{\Phi}$, es un parámetro clave. Los autores extienden el soporte admisible de $\hat{\Phi}$ al intervalo $(-3, 3)$. Esta extensión requiere un manejo delicado de los términos de error que surgen de la fórmula de traza, particularmente cuando está involucrado el número de raíz.
5. Optimización para No Anulación: Para derivar resultados de no anulación, los autores formulan un problema de optimización que involucra la relación de integrales de la función de prueba contra los núcleos de simetría. Utilizan métodos de espacios de Hilbert de núcleo reproductor (haciendo referencia a Freeman y Miller) para determinar las constantes óptimas para la proporción de formas no nulas.

Contribuciones y Resultados Clave

• Soporte Extendido para la Densidad de Un Nivel: El resultado principal (Teorema 1.1) demuestra la conjetura de densidad de un nivel para las familias ortogonales pares e impares de funciones $L$ automorfas de $GL(2)$, promediadas sobre niveles libres de cuadrados. Los autores establecen que la conjetura se cumple cuando la transformada de Fourier de la función de prueba, $\hat{\Phi}$, tiene soporte compacto en $(-3, 3)$.

  • Para la familia par, el núcleo de densidad es $W_{\text{even}}(x) = 1 + \frac{\sin(2\pi x)}{2\pi x}$.
  • Para la familia impar, el núcleo de densidad es $W_{\text{odd}}(x) = 1 - \frac{\sin(2\pi x)}{2\pi x} + \delta_0(x)$.
  • Los autores señalan que, aunque un resultado previo de los dos primeros autores junto con Baluyot logró un soporte en $(-4, 4)$ para la familia ortogonal completa, la inclusión del número de raíz para separar las familias pares e impares presenta actualmente una barrera, limitando el soporte a $(-3, 3)$.

• Proporciones de No Anulación Mejoradas: Aprovechando el soporte extendido de $(-3, 3)$, los autores derivan cotas inferiores más fuertes para la proporción de valores $L$ y derivadas no nulas en el punto central (Corolario 1.3).

  • Familia Par: Al menos el 69.8% de las formas en la familia par tienen $L(1/2, f) \neq 0$. Esto mejora la cota de $(50-\epsilon)\%$ derivada de resultados con soporte limitado a $(-2, 2)$ o de la aplicación no optimizada del resultado de $(-4, 4)$.
  • Familia Impar: Dado que $L(1/2, f) = 0$ para las formas impares, el enfoque está en la derivada. Los autores muestran que al menos el 97.8% de las formas en la familia impar tienen $L'(1/2, f) \neq 0$.

• Identificación de la Barrera Técnica: El artículo identifica explícitamente la dificultad de extender el soporte más allá de $(-3, 3)$ para las familias separadas. Los autores sugieren que esta limitación surge fundamentalmente porque sus métodos actuales no producen una reducción en el conductor cuando el soporte excede este rango. Plantean que mejoras adicionales podrían requerir una versión más potente de la fórmula de traza de Kuznetsov en $GL(3)$.

Significado
El artículo reclama importancia principalmente en el contexto de la comprensión de la no anulación de valores centrales $L$, un problema central en la teoría de números con implicaciones para la conjetura de Birch y Swinnerton-Dyer y otras cuestiones aritméticas. Al separar las familias pares e impares y extender el soporte de la función de prueba a $(-3, 3)$, los autores logran los resultados de no anulación más fuertes conocidos para estas familias específicas bajo la condición de GRH.

El trabajo refina la comprensión de la filosofía de Katz-Sarnak en el contexto de cuerpos de números, demostrando que el comportamiento estadístico de los ceros se alinea con la teoría de matrices aleatorias incluso al promediar sobre niveles libres de cuadrados y separar por número de raíz. Los autores permanecen modestos respecto al límite de $(-3, 3)$, reconociéndolo como una "barrera natural" para su metodología actual, en lugar de un límite definitivo de la propia conjetura.