Correlations of zeros of a family of $L$-functions in function fields with symplectic symmetry

Resumen Técnico: Correlaciones de los Ceros de una Familia de Funciones L en Campos de Funciones con Simetría Simpléctica

Planteamiento del Problema
El artículo aborda la distribución estadística de los ceros de las funciones $L$ dentro del entorno de los campos de funciones, centrándose específicamente en la densidad de $n$-niveles de los ceros para familias de funciones $L$ de Dirichlet cuadráticas. Si bien la conexión entre los ceros de las funciones $L$ y la teoría de matrices aleatorias (RMT) está bien establecida para los términos principales, el cálculo preciso de los términos de orden inferior y las correlaciones de nivel superior ($n > 1$) sigue siendo un desafío complejo. Los autores pretenden adaptar la metodología desarrollada por Mason y Snaith —formulada originalmente para campos numéricos— al contexto de los campos de funciones sobre $\mathbb{F}_q[T]$. Las familias específicas bajo investigación son:

1. Funciones $L$ de Dirichlet cuadráticas asociadas con polinomios monicos libres de cuadrados de grado $2g+1$ (curvas hiperelípticas de género $g$).
2. Funciones $L$ asociadas con caracteres primos (polinomios irreducibles monicos de grado $2g+1$).

El objetivo es derivar fórmulas explícitas y conjeturales para la densidad de $n$-niveles de los ceros en estas familias, extendiendo el trabajo previo que estaba limitado en gran medida a la densidad de 1-nivel.

Metodología
Los autores emplean el marco de la "Conjetura de los Cocientes" (Ratios Conjecture), adaptado del trabajo de Conrey, Farmer, Zirnbauer y Snaith, y específicamente la reformulación teórica de conjuntos introducida por Mason y Snaith. Los pasos metodológicos centrales incluyen:

1. Reformulación Teórica de Conjuntos: Los autores reescriben la Conjetura de los Cocientes para las funciones $L$ de Dirichlet cuadráticas (originalmente propuesta por Andrade y Keating) utilizando la notación de conjuntos. Definen conjuntos de desplazamientos $A = \{\alpha_1, \dots, \alpha_K\}$ y $B = \{\gamma_1, \dots, \gamma_Q\}$ y expresan el promedio de cocientes de las funciones $L$ como una suma sobre subconjuntos $D \subseteq A$. Esta formulación involucra productos de Euler y funciones zeta asociadas con el anillo de polinomios $\mathbb{F}_q[T]$, denotada como $\zeta_A(s)$.
2. Diferenciación: Para pasar de los cocientes a las densidades, los autores diferencian la fórmula conjetural del cociente con respecto a los desplazamientos. Al establecer $B=A$ y diferenciar, derivan una expresión para el promedio de los productos de las derivadas logarítmicas de las funciones $L$ ($L'/L$). Este proceso utiliza el Lema 5.1 (de la tesis de Mason) para manejar la diferenciación de sumas exponenciales sobre particiones de conjuntos.
3. Análisis de Residuos: El artículo analiza los polos de las expresiones resultantes. Utilizando la ecuación funcional de las funciones $L$ y las propiedades de $\zeta_A(s)$, los autores computan los residuos en polos específicos (donde los desplazamientos suman cero). Esto conduce a una estructura recursiva para la densidad de $n$-niveles, permitiendo la reducción de las correlaciones de $n$ puntos a términos de orden inferior.
4. Integración de Contorno: Los autores aplican el Teorema del Residuo de Cauchy para desplazar los contornos de integración desde la línea crítica hacia el eje imaginario. Demuestran que las singularidades del integrando se cancelan apropiadamente, lo que permite la derivación de una fórmula integral final para la densidad de $n$-niveles.

Contribuciones Clave y Resultados
El artículo presenta los siguientes resultados principales:

• Conjetura 3.1: Una reformulación teórica de conjuntos de la Conjetura de los Cocientes para la familia de funciones $L$ de Dirichlet cuadráticas sobre campos de funciones. Esto proporciona una expresión compacta para el promedio de los cocientes de las funciones $L$ que involucra productos de Euler y combinaciones específicas de funciones zeta.
• Teoremas 3.2 y 3.3: Fórmulas para los cocientes diferenciados y los residuos de las expresiones resultantes. Estos teoremas establecen las relaciones recursivas necesarias para computar correlaciones de orden superior.
• Teorema 3.4: El resultado principal, que proporciona una fórmula conjetural explícita para la densidad de $n$-niveles de los ceros para la familia de funciones $L$ de Dirichlet cuadráticas asociadas con curvas hiperelípticas. La fórmula expresa la densidad como una suma sobre particiones del conjunto $\{1, \dots, n\}$, involucrando integrales de la función de cociente diferenciada $J^*_{DL}$ contra una función de prueba $f$.
• Teorema la 3.5: Una extensión de la fórmula de la densidad de $n$-niveles a la familia de funciones $L$ asociadas con caracteres primos. Los autores señalan que la estructura del producto de Euler difiere ligeramente del caso cuadrático debido a la naturaleza del promedio sobre primos en lugar de todos los polinomios libres de cuadrados.
• Verificación (Sección 8): Los autores calculan explícitamente la densidad de 1-nivel utilizando su fórmula general de $n$-niveles. Demuestran que este resultado coincide perfectamente con la fórmula de densidad de 1-nivel previamente establecida por Andrade y Keating (Teorema 1.2), validando así la consistencia de su enfoque generalizado.

Significancia
El artículo reclama significancia en las siguientes áreas:

• Generalización: Generaliza con éxito la metodología de Mason y Snaith al entorno de los campos de funciones, yendo más allá de la densidad de 1-nivel para proporcionar un marco para las densidades de $n$-niveles.
• Consistencia: Al recuperar los resultados conocidos de la densidad de 1-nivel para ambas familias (cuadrática y de caracteres primos), el trabajo confirma que el marco adaptado de la Conjetura de los Cocientes es robusto y consistente con los resultados rigurosos existentes en el contexto de los campos de funciones.
• Perspectiva Aritmética: Las fórmulas derivadas ofrecen una herramienta sistemática para predecir tanto los términos principales como los de orden inferior en el comportamiento estadístico de los ceros. Esto es crucial para comprender cómo las sutiles características aritméticas (como la estructura específica de los productos de Euler en los campos de funciones) influyen en la distribución de escala fina de los ceros, revelando potencialmente desviaciones del comportamiento universal predicho por la Teoría de Matrices Aleatorias.

El trabajo no pretende demostrar la Conjetura de los Cocientes, sino que asume su validez para derivar fórmulas explícitas para la densidad de $n$-niveles, proporcionando un objetivo concreto para la futura verificación rigurosa en el contexto de los campos de funciones.