One-level density of zeros of $\Gamma_1(q)$ $L$-functions

Resumen Técnico: Densidad de Nivel Único de los Ceros de las Funciones L de $\Gamma_1(q)$

Enunciado del Problema
El artículo investiga la distribución estadística de los ceros de las funciones L automorfas, centrándose específicamente en la densidad de nivel único de una gran familia unitaria de funciones L de $GL_2$ asociadas al subgrupo de congruencia $\Gamma_1(q)$. El problema central consiste en determinar el soporte admisible de la transformada de Fourier de la función de prueba, $\hat{\phi}$, para el cual la densidad de nivel único coincide con la predicción de la filosofía de Katz–Sarnak.

Mientras que la conjetura de Katz–Sarnak predice que las estadísticas locales de los ceros en familias naturales corresponden a los valores propios de matrices aleatorias de un grupo de simetría específico (en este caso, el grupo unitario $U$), los resultados previos para familias unitarias se han restringido a un soporte de $\text{supp } \hat{\phi} \subset (-2, 2)$. Extender este soporte más allá del rango "diagonal" representa un desafío significativo en la teoría de números analítica, ya que requiere controlar los términos fuera de la diagonal en la fórmula explícita con mayor precisión. El artículo busca responder si las propiedades estructurales de la familia de funciones L (específicamente la estructura $GL_2$) permiten un soporte mayor que el dictado únicamente por el grupo de simetría.

Metodología
El autor emplea la fórmula explícita para relacionar la suma de la función de prueba sobre los ceros de las funciones L con sumas sobre potencias primas. El trabajo técnico central implica acotar las contribuciones fuera de la diagonal que surgen de la fórmula de trazas de Petersson aplicada a la familia de formas cuspidales en $S_k(\Gamma_1(q))$.

Los pasos metodológicos clave incluyen:

1. Fórmula Explícita y Fórmula de Trazas: La densidad de nivel único se expresa como una integral más una suma sobre potencias primas que involucra coeficientes de Fourier $\lambda_f(n)$. La suma sobre la familia se evalúa utilizando una fórmula tipo Petersson, que descompone la suma en un término diagonal (que produce el término principal) y términos fuera de la diagonal que involucran funciones de Bessel y sumas exponenciales.
2. Descomposición de los Términos Fuera de la Diagonal: La suma fuera de la diagonal se divide según la relación entre el primo $p$ y los módulos $s, t$ que surgen de la fórmula de trazas. La suma se descompone además en contribuciones provenientes del carácter trivial y de caracteres de Dirichlet no triviales.
3. Descomposición Diádica y Transformadas de Mellin: Las sumas se analizan en tres regiones de transición distintas definidas por el comportamiento de la función de Bessel $J_{k-1}$ y los términos exponenciales:
   • Caso 1: $P/q \ll ST$ (donde $P$ es el tamaño del primo y $S, T$ son los tamaños de $s, t$).
   • Caso 2: $\sqrt{P}/q \ll ST \ll P/q$.
   • Caso 3: $\sqrt{P}/q \gg ST$.
     En estas regiones, el autor utiliza descomposición diádica, representaciones mediante transformadas de Mellin de las funciones exponenciales y de Bessel, y técnicas de desplazamiento de contornos.
4. Suposición de la Hipótesis de Riemann Generalizada (GRH): Se asume la Hipótesis de Riemann Generalizada (GRH) a lo largo del trabajo para acotar las derivadas de las funciones L y para desplazar los contornos de integración hacia la derecha, garantizando la convergencia y la pequeñez de los términos de error.
5. Sumas de Caracteres: Para caracteres no triviales, el autor aplica desigualdades de Cauchy-Schwarz y relaciones de ortogonalidad de caracteres de Dirichlet para acotar las sumas, aprovechando el Lema 2.4 (cotas para sumas primas torcidas por caracteres) para controlar los términos de error.

Contribuciones y Resultados Clave
El resultado principal es el Teorema 1.1, que establece la densidad de nivel único para la familia de funciones L de $\Gamma_1(q)$ (con peso $k \ge 3$ impar y $q$ primo) bajo GRH.

• Soporte Extendido: El artículo demuestra que la predicción de Katz–Sarnak se cumple para funciones de prueba con soporte de la transformada de Fourier en el intervalo $\text{supp } \hat{\phi} \subset (-8/3, 8/3)$. Esto extiende el límite conocido previamente de $(-2, 2)$ para familias unitarias.
• Proporción de No Anulación: Como aplicación directa (Corolario 1.2), el autor deriva una cota inferior para la proporción de formas en la familia que no se anulan en el punto central $s=1/2$. El resultado establece que al menos $5/8$ (62.5%) de las formas en la familia son no nulas en el punto central.
• Insight Estructural: El artículo demuestra que la estructura $GL_2$ de la familia es el factor decisivo para extender el soporte, en lugar de ser únicamente el grupo de simetría unitario. Esto desafía la noción de que el grupo de simetría por sí solo dicta el límite de ancho de banda, mostrando que familias más grandes con propiedades estructurales específicas (como la familia $GL_2$ aquí) pueden lograr soportes comparables o superiores a los de las familias ortogonales.

Significado
El artículo afirma que la proporción de no anulación del 62.5% es el récord más alto para cualquier familia asociada a un grupo unitario. El significado del trabajo radica en dos áreas principales:

1. Información Aritmética Refinada: Al extender el soporte de la función de prueba a $(-8/3, 8/3)$, el resultado proporciona información aritmética más refinada, específicamente cotas más fuertes sobre la proporción de valores centrales de L no nulos.
2. Comprensión Estructural: El trabajo indica que el "límite de ancho de banda" para el soporte de la transformada de Fourier no está determinado únicamente por el grupo de simetría (unitario frente a ortogonal), sino que está fuertemente influenciado por las propiedades estructurales más finas de la familia de funciones L. La capacidad de empujar el soporte hasta $8/3$ para una familia unitaria $GL_2$, mientras que los resultados previos de familias unitarias $GL_1$ estaban limitados a $2$ (o ligeramente superiores con hipótesis adicionales), resalta el poder de la estructura $GL_2$ para controlar los términos fuera de la diagonal.

El autor señala que las técnicas desarrolladas pueden extenderse para estudiar densidades de niveles superiores de la misma familia con el mismo soporte, una dirección que se está investigando actualmente. El artículo no propone nuevas aplicaciones experimentales, sino que se centra en el avance teórico de la conjetura de densidad de nivel único dentro del marco de la teoría de números analítica.