Quartic Gauss sums over primes and metaplectic theta functions

Resumen Técnico: Sumas de Gauss Cuárticas sobre Primos y Funciones Theta Metaplécticas

Planteamiento del Problema
El artículo aborda el comportamiento asintótico de las sumas que involucran sumas de Gauss cuárticas normalizadas sobre módulos primos en el cuerpo cuadrático gaussiano $\mathbb{Q}(i)$. Específicamente, busca mejorar las estimaciones de 1987 de Patterson respecto a las sumas:
$$\sum_{c \in \mathbb{Z}[i]} \text{rg}_4(c) \left(\frac{c}{|c|}\right)^\ell \Lambda(c) R\left(\frac{N(c)}{X}\right)$$
donde $\text{rg}_4(c)$ es la suma de Gauss cuártica normalizada, $\Lambda(c)$ es la función de von Mangoldt y $R$ es una función de prueba suave.

Los autores señalan una distinción significativa entre los casos cúbico y cuártico. Mientras que Heath-Brown y Patterson establecieron la equidistribución para las sumas de Gauss cúbicas, y Patterson conjeturó un término principal de tamaño $X^{5/6}$ para el primer momento de las sumas cúbicas (un sesgo confirmado posteriormente bajo la Hipótesis de Riemann Generalizada, GRH), el caso cuártico presenta obstrucciones analíticas únicas. Los autores pretenden refinar el término de error para el caso cuártico, yendo más allá de la cota de Patterson de $O(X^{19/20})$.

Metodología
La demostración emplea una combinación de técnicas de teoría analítica de números adaptadas a los enteros gaussianos y la teoría de las formas metaplécticas. La estrategia central consiste en los siguientes pasos:

1. Identidad de Vaughan: La suma sobre primos se descompone en sumas de Tipo-I y Tipo-II (sumas multilineales) para aislar la estructura aritmética de la función de von Mangoldt.
2. Estimaciones de Tipo-II: Para las sumas de Tipo-II, los autores utilizan la multiplicatividad retorcida de las sumas de Gauss cuárticas, específicamente la relación $\text{rg}_4(ab) \approx \text{rg}_4(a)\text{rg}_4(b)(\frac{a}{b})_2$. Esto reduce el problema a la estimación de sumas de caracteres cuadráticos. Aplican la gran criba cuadrática sobre $\mathbb{Q}(i)$ (debido a Onodera y Goldmakher–Louvel) para acotar estas sumas, logrando una cota de $O(X^{5/6+\varepsilon})$.
3. Estimaciones de Tipo-I y Formas Metaplécticas: Las sumas de Tipo-I son más intrincadas. Estas involucran series de Dirichlet de la forma $\psi^{(4)}_\beta(s, \nu, \ell)$, las cuales se identifican como coeficientes de Fourier-Whittaker de las series de Eisenstein metaplécticas de Kubota en la cobertura de 4 hojas de $SL_2(\mathbb{Z}[i])$.
   • Los autores analizan las propiedades analíticas de estas series, incluyendo su continuación meromorfa y ecuaciones funcionales.
   • Un componente crítico es la evaluación de los residuos (polos) de estas series. A diferencia del caso cúbico donde Patterson proporcionó formas cerradas para todos los coeficientes de Fourier, en el caso cuártico los coeficientes están indeterminados. Los autores se apoyan en la evaluación de Suzuki de los coeficientes en índices cuadrados, $\psi^{(4)}(a^2)$, la cual proporciona un ahorro de $N(a)^{-1/4}$.
   • Para manejar la línea crítica, emplean una ecuación funcional aproximada y una cota promedio (fórmula de tipo Voronoi) combinada con la gran criba cuadrática. Esto produce una cota promedio que ahorra un factor de $A^{1/2}$ sobre la cota de convexidad para el nivel de distribución $A$.

Contribuciones Clave

• Cotas Mejoradas: El artículo establece una nueva cota superior para la suma de las sumas de Gauss cuárticas sobre primos. El término de error se mejora de la cota $O(X^{19/20})$ de Patterson a $O(X^{5/6+\varepsilon})$ para las sumas de Tipo-II y $O(X^{3/4+\varepsilon})$ para las de Tipo-I. El resultado final para la suma total es $O(X^{5/6+\varepsilon})$ (dominado por el cuello de botella de Tipo-II) para cortes abruptos, o $O(X^{3/4+\varepsilon})$ con suavizado en contextos específicos, aunque el teorema principal establece una cota de $O(X^{5/6+\varepsilon})$ de manera general, señalando específicamente que la contribución de Tipo-I es de $O(X^{3/4+\varepsilon})$.
• Aplicación de los Resultados de Suzuki: El trabajo aprovecha explícitamente los resultados de Suzuki sobre la determinación parcial de los coeficientes de Fourier-Whittaker de las funciones theta cuárticas (específicamente en índices cuadrados) para derivar la contribución $X^{3/4}$ del término del polo en las sumas de Tipo-I.
• Conjetura sobre el Sesgo: Los autores proponen la Conjetura 1.2, sugiriendo que el primer momento de las sumas de Gauss cuárticas sobre primos exhibe un sesgo de tamaño $X^{3/4}$. Este es significativamente menor que el sesgo $X^{5/6}$ observado en el caso cúbico. La conjetura postula que para $\ell=0$, la suma es asintótica a $b_\beta X^{3/4}$, mientras que para $\ell \neq 0$, la suma es $O(X^{1/2+\varepsilon})$.

Resultados
El Teorema 1.1 establece que para una función suave $R$ con soporte en $[1, 2]$, y para cualquier $\ell \in \mathbb{Z}$, $\beta \in \{1, 1+\lambda^3\} \pmod 4$, y $\varepsilon > 0$:
$$\sum_{\substack{c \in \mathbb{Z}[i] \\ c \equiv \beta \pmod 4}} \text{rg}_4(c) \left(\frac{c}{|c|}\right)^\ell \Lambda(c) R\left(\frac{N(c)}{X}\right) \ll_{\varepsilon, R} X^{5/6+\varepsilon} + X^{3/4+\varepsilon}|\ell|^{3/2+\varepsilon}$$
cuando $X \to \infty$. Esto representa una mejora sustancial sobre la cota previa de $X^{19/20}$.

Significado y Limitaciones
El artículo afirma que el término $X^{3/4}$ surge del polo de la serie de Eisenstein metapléctica, un fenómeno específico del caso cuártico. Los autores señalan que demostrar la asíntota conjeturada $X^{3/4}$ está actualmente fuera de alcance, incluso bajo la Hipótesis de Riemann Generalizada (GRH), debido a la dificultad de controlar los términos de error en las sumas de Tipo-II (el cuello de botella de $X^{5/6}$).

Los autores destacan que extender estos métodos a las sumas de Gauss de orden $n$ para $n \geq 5$ está obstaculizado por el hecho de que las series de Dirichlet relevantes en las sumas de Tipo-I se comportan como objetos de $GL_{n-2}$, lo que conduce a conductores incrementados y dificultad en el control de errores. El artículo evita intentar eliminar la función de suavizado $R$ para lograr una pérdida de potencia, optando en su lugar por presentar el exponente más bajo posible alcanzable con la tecnología actual y suavizado.

El trabajo conecta la distribución de las sumas de Gauss con la teoría espectral de las formas metaplécticas, específicamente los residuos de las series de Eisenstein en la cobertura de 4 hojas de $GL_2$, reforzando el profundo vínculo entre las sumas de teoría de números y las formas automórficas.