$Ω$-Results for Exponential Sums Related to Maass Cusp Forms for $\mathrm{SL}_3(\mathbb Z)$

Resumen Técnico: Resultados $\Omega$ para Sumas Exponenciales Relacionadas con Formas de Cúspide de Maass para $SL_3(\mathbb{Z})$

1. Planteamiento del Problema y Contexto
El artículo investiga el alcance de la cancelación en sumas exponenciales lineales ponderadas por autovalores de Hecke de formas de cúspide de Maass para el grupo $SL_3(\mathbb{Z})$. Específicamente, analiza sumas de la forma:
$$\sum_{x \le m \le x+\Delta} A(m, 1) e\left(\frac{mh}{k}\right)$$
donde $A(m, 1)$ son los coeficientes de Fourier (autovalores de Hecke) de una forma de cúspide de Maass fija, $h/k$ es un giro racional con un denominador $k$ pequeño, y $\Delta$ representa la longitud del intervalo de la suma (que puede ser una suma larga donde $\Delta \approx x$ o una suma corta donde $\Delta \ll x$).

Si bien existe una literatura significativa para tales sumas en el entorno clásico de rango uno (formas modulares), los resultados para formas de rango superior ($GL_3$) son escasos. El autor señala que los límites superiores existentes para sumas largas, como el de Miller $O_\varepsilon(x^{3/4+\varepsilon})$, no siempre son agudos en comparación con los límites conjeturales derivados de heurísticas de momentos e identidades de sumatoria de Voronoi. Un desafío principal en el entorno de rango superior es que las fórmulas de sumatoria de Voronoi truncadas estándar suelen producir términos de error que dominan los términos principales esperados, lo que las vuelve ineficaces para derivar límites puntuales precisos o resultados $\Omega$ (límites inferiores sobre la magnitud de la suma).

2. Metodología
Para sortear las limitaciones de las identidades de sumatoria de Voronoi truncadas en el entorno de $GL_3$, el autor emplea una estrategia de múltiples pasos centrada en sumas con pesos de Riesz y análisis de momentos:

• Sumas con Pesos de Riesz: En lugar de analizar directamente la suma con corte agudo (correspondiente a la media de Riesz de orden 0), el artículo introduce sumas suavizadas de órdenes superiores $a \ge 1$:
  $$\mathcal{A}_a\left(x; \frac{h}{k}\right) := \frac{1}{a!} \sum_{m \le x}' A(m, 1) e\left(\frac{mh}{k}\right) (x-m)^a - \text{términos residuales}.$$
  El parámetro de suavizado $a$ se elige de tal manera que las identidades de sumatoria de Voronoi asociadas en el lado dual converjan absolutamente, evitando los grandes términos de error asociados con los cortes agudos.

• Identidades de Voronoi para Medias de Riesz: El artículo deriva nuevas identidades de sumatoria de Voronoi para estas sumas con pesos de Riesz.

  • Para $a \ge 2$, las identidades se derivan utilizando la fórmula de Perron y el análisis asintótico de integrales que involucran cocientes de funciones Gamma, identificadas como funciones $G$ de Meijer. Este enfoque simplifica la derivación de las asíntotas en comparación con métodos previos.
  • Para $a = 1$, la derivación es más delicada debido a problemas de convergencia. El autor establece la identidad diferenciando el caso $a=2$ término a término, utilizando argumentos de convergencia específicos y transformadas de Fourier discretas de sumas de Kloosterman para manejar la serie resultante.

• Relaciones de Momentos y Promediación: La innovación técnica central radica en relacionar los momentos de sumas de diferentes órdenes. Utilizando la propiedad fundamental $\int_x^{x+H} \mathcal{A}_a(t) dt = \mathcal{A}_{a+1}(x+H) - \mathcal{A}_{a+1}(x)$, el autor construye desigualdades que vinculan los segundos momentos de $\mathcal{A}_0$, $\mathcal{A}_1$ y $\mathcal{A}_2$.

  • Los segundos momentos de las sumas de orden superior ($\mathcal{A}_1$ y $\mathcal{A}_2$) se evalúan asintóticamente utilizando las identidades de Voronoi derivadas.
  • Crucialmente, el autor promedia sobre los numeradores $h \in (\mathbb{Z}/k\mathbb{Z})^\times$. Esta promediación es necesaria para extraer términos principales positivos de las contribuciones diagonales en los cálculos de los segundos momentos, superando la dificultad de que las sumas de Kloosterman en rango superior no se cancelan automáticamente de la misma manera que en el rango uno.
  • Al establecer un límite inferior para el momento de $\mathcal{A}_1$ y un límite superior para $\mathcal{A}_2$, el autor deduce un límite inferior para el momento de la suma de corte agudo original $\mathcal{A}_0$ (que corresponde a la suma en cuestión).

3. Contribuciones Clave y Resultados
El artículo establece varios resultados nuevos respecto a los límites inferiores ($\Omega$-resultados) y límites superiores para estas sumas exponenciales:

• Resultados $\Omega$ Óptimos para Sumas Largas:
  Para un denominador primo $k \ll x^{1/3-\delta}$, el artículo prueba:
  $$\max_{h \in (\mathbb{Z}/k\mathbb{Z})^\times} \left| \sum_{m \le x}' A(m, 1) e\left(\frac{mh}{k}\right) \right| = \Omega\left( k^{1/2} x^{1/3} \right).$$
  Esto coincide con el límite superior conjetural $O_\varepsilon(k^{1/2} x^{1/3+\varepsilon})$ en este rango, proporcionando los primeros resultados $\Omega$ para sumas con giros aditivos racionales en un entorno de rango superior.

• Resultados $\Omega$ No Triviales para Sumas Cortas:
  Para sumas cortas con una longitud $\Delta$ que satisface $k^{3/2} x^{1/2+\delta} \ll \Delta \ll k x^{2/3-\delta}$, el artículo prueba:
  $$\max_{h \in (\mathbb{Z}/k\mathbb{Z})^\times} \left| \sum_{x \le m \le x+\Delta}' A(m, 1) e\left(\frac{mh}{k}\right) \right| = \Omega\left( \Delta x^{-1/3} k^{-1/2} \right).$$
  Este resultado es del orden de magnitud correcto respecto al límite conjetural cuando $\Delta \approx k x^{2/3}$.

• Límite Superior Mejorado:
  Como subproducto del análisis, el artículo mejora el límite superior conocido para sumas largas con denominadores pequeños. Para $1 \le k \ll x^{1/3}$:
  $$\sum_{m \le x} A(m, 1) e\left(\frac{mh}{k}\right) \ll_\varepsilon k^{3/4} x^{1/2 + \vartheta/2 + \varepsilon},$$
  donde $\vartheta$ es el exponente hacia la conjetura de Ramanujan–Petersson para $SL_3(\mathbb{Z})$. Esto mejora los límites previos que incluían términos de error más grandes dependiendo de $k$.

4. Significado y Pretensiones
El autor sostiene que este trabajo proporciona la primera evidencia de resultados $\Omega$ para sumas con giros aditivos racionales en el entorno de rango superior, demostrando que las tasas de cancelación conjeturadas son efectivamente alcanzables (o al menos no violadas) en el sentido del límite inferior.

La importancia del artículo reside en:

1. Avance Metodológico: Navega con éxito las dificultades técnicas de la sumatoria de Voronoi de rango superior utilizando medias de Riesz y funciones $G$ de Meijer, evitando la dominancia de los términos de error que plagan los enfoques de corte agudo.
2. Puente entre Teoría y Conjetura: Los resultados se alinean con los límites conjeturales derivados de las heurísticas de momentos y la forma de las identidades de Voronoi truncadas, ofreciendo un fuerte apoyo a estas conjeturas en el contexto de $GL_3$.
3. Utilidad Práctica: El límite superior mejorado y las técnicas para manejar sumas cortas con giros racionales se presentan como herramientas prácticas para reducir los errores de suavizado en otros problemas de teoría de números analítica que involucran sumas exponenciales lineales.

El artículo mantiene la modestia respecto a la generalidad de sus resultados, señalando que la restricción a denominadores primos $k$ es principalmente por simplicidad técnica en el manejo de sumas de divisores, y que la promediación sobre $h$ es un componente necesario del método actual para extraer términos principales. No pretende resolver la distribución completa de estas sumas para parámetros arbitrarios, sino establecer la existencia de valores grandes dentro de los rangos esperados.