A lower bound for classical Kloosterman sums and an application

Resumen Técnico: Un Límite Inferior para las Sumas de Kloosterman Clásicas y una Aplicación

Planteamiento del Problema
El artículo aborda dos problemas interconectados en la teoría analítica de números. Primero, busca establecer un límite inferior no trivial para la suma de Kloosterman clásica $S(a, b; c)$, definida como $\sum_{x \pmod c, (x,c)=1} e^{2\pi i (ax + bx^{-1})/c}$, bajo las condiciones de que $(ab, c) = 1$y$c$ es un entero impar. Si bien la no nulidad de estas sumas ha sido utilizada en la literatura reciente para estudiar las distribuciones de autovalores, no se había establecido previamente en la literatura un límite inferior explícito para $|S(a, b; c)|$. Segundo, los autores pretenden aplicar este nuevo límite para derivar un límite inferior explícito para el término de discrepancia en la fórmula de traza de Petersson, específicamente para el espacio de formas de cúspide $S_k(N)$ donde el peso $k$ y el nivel $N$ pueden variar independientemente.

Metodología
La metodología procede en dos etapas principales:

1. Derivación del Límite Inferior para las Sumas de Kloosterman:
   Los autores descomponen el módulo $c$ en $c = du$, donde $u$ es libre de cuadrados y $d$ es un número potente (con $(d, u)=1$). Tratan los componentes por separado:

   • Caso Libre de Cuadrados: Para la parte libre de cuadrados $u$, utilizan las propiedades algebraicas de las sumas de Kloosterman dentro de los cuerpos ciclotómicos. Al considerar la norma de la suma sobre el grupo de Galois y aplicar la cota de Weil, derivan un límite inferior que involucra el número de divisores $\tau(u)$ y la función de Euler $\phi(u)$.
   • Caso de Potencia de Primo Impar: Para la parte potente $d$ (compuesta por potencias de primos $p^\beta$), emplean fórmulas de evaluación explícitas para $S(a, b; p^\beta)$ encontradas en textos estándar (por ejemplo, Iwaniec y Kowowski). Al analizar la parte real de la expresión resultante y utilizar desigualdades trigonométricas, establecen un límite inferior de orden $2/\sqrt{q}$ para las potencias de primos, siempre que $ab$ sea un residuo cuadrático módulo el primo.
   • Caso General: Utilizando la multiplicatividad de las sumas de Kloosterman, combinan los límites para los componentes libres de cuadrados y potentes para obtener un límite inferior global para $|S(a, b; c)|$.

2. Aplicación a la Fórmula de Traza de Petersson:
   Los autores aplican el límite inferior derivado al término de error en la fórmula de traza de Petersson, denotado como $\Delta_{k,N}(m, n) - \delta(m, n)$. La fórmula expresa esta diferencia como una suma que involucra sumas de Kloosterman y funciones de Bessel de primera especie, $J_{k-1}$.

   • Dividen la sumatoria sobre el nivel $c$ en el término donde $c=N$ y la cola donde $c > N$.
   • La cola se acota superiormente utilizando pruebas integrales y estimaciones de decaimiento exponencial para la función de Bessel.
   • El término principal ($c=N$) se acota inferiormente utilizando el nuevo límite inferior de la suma de Kloosterman y estimaciones explícitas para la función de Bessel $J_{k-1}$ en el rango de transición (específicamente cuando el argumento está cerca del orden de la función).
   • Los autores utilizan lemas específicos sobre el comportamiento de $J_\nu(\nu)$ y $J_\nu(\nu + t\nu^{1/3})$ derivados del trabajo de Kraus para manejar el comportamiento asintótico de las funciones de Bessel.

Contribuciones Clave y Resultados

• Teorema 1: El artículo establece el primer límite inferior explícito para $|S(a, b; c)|$ donde $c$ es impar y $(ab, c)=1$. El límite depende de la descomposición de $c$ en partes libres de cuadrados y potentes, involucrando específicamente $\omega(d)$, $\tau(u)$ y $\phi(u)$. El resultado también aclara que la suma se anula si $ab$ es un no residuo cuadrático módulo cualquier primo que divida la parte potente de $c$.
• Teorema 2: Los autores derivan un límite inferior explícito para $|\Delta_{k,N}(m, n) - \delta(m, n)|$ para peso par $k$ y nivel impar $N$. A diferencia de los resultados asintóticos previos (por ejemplo, [JS20, Teorema 1.7]) que fijan el nivel $N$ y dejan $k \to \infty$, este teorema permite que $k$ y $N$ varíen independientemente, siempre que satisfagan desigualdades específicas que involucran una constante $D_0 \in (e^{H_0}, 1)$. El límite inferior es del orden $J_{k-1}(k-1)e^{H_0(k-1)}$.
• Teorema 3: Para un rango más corto del argumento $4\pi\sqrt{mn}/N$ (específicamente $[(k-1), (k-1) + (k-1)^{1/3}]$), los autores recuperan un límite inferior de orden $(k-1)^{-1/3}$, que es más fuerte que el decaimiento exponencial encontrado en el rango más amplio del Teorema 2.
• Corolarios: El artículo proporciona corolarios específicos (Corolario 1 y Corolario 3) que cuantifican estos límites para rangos específicos de parámetros, ofreciendo constantes explícitas para los límites inferiores de la traza ponderada de los operadores de Hecke.

Significancia y Reivindicaciones
Los autores afirman que su trabajo llena un vacío en la literatura al proporcionar el primer límite inferior explícito para las sumas de Kloosterman clásicas. Este resultado es significativo porque permite un análisis más preciso de la no nulidad de los términos de la fórmula de traza de Petersson.

La principal aplicación destacada es una "versión modificada" de [JS20, Teorema 1.7]. La modificación permite que el peso $k$ y el nivel $N$ varíen independientemente, mientras que los resultados anteriores requerían que $N$ fuera fijo. Los autores señalan que, si bien su intervalo para la variable $4\pi\sqrt{mn}/N$ es mayor (de tamaño proporcional a $k$) comparado con el intervalo de $k^{1/3}$ de [JS20], esto conlleva el costo de un límite inferior más débil (decaimiento exponencial frente a decaimiento polinómico). Sin embargo, para un intervalo más corto, logran recuperar el límite inferior de orden polinómico.

El artículo concluye proporcionando una tabla de valores para las constantes derivadas $H(N)$, $k_0(N)$ y $k_1(N)$ para niveles $N$ específicos, demostrando la aplicabilidad práctica de sus límites explícitos para pesos y niveles variables. El trabajo se presenta como un paso fundacional para obtener resultados de discrepancia para la distribución de los autovalores de los operadores de Hecke, construyendo sobre el aspecto de la no nulidad de las sumas de Kloosterman.