An omega result for the first sign change of coefficients of symmetric power $L$-functions of Hecke-Maass cusp forms

Resumen Técnico: Un resultado $\Omega$ para el primer cambio de signo de los coeficientes de las funciones $L$ de potencias simétricas de formas cusp de Hecke-Maass

Planteamiento del problema
El artículo aborda el problema de determinar la magnitud del primer cambio de signo, denotado como $n_f$ (o $n_{\text{sym}^m u_k}$ en este contexto), para los coeficientes de las funciones $L asociadas a formas automórficas. Específicamente, investiga el menor entero positivo $n$ tal que el coeficiente $\lambda(n)$ sea negativo.

Si bien el comportamiento del primer cambio de signo para las formas cusp de Hecke holomorfas ha sido estudiado extensamente (notablemente por Lamzouri [6]), el problema análogo para las formas cusp de Hecke-Maass presenta desafíos técnicos significativos. La dificultad principal radica en la ausencia de la Conjetura de Ramanujan Generalizada (GRC) para las formas de Maass. Sin la GRC, los parámetros de Satake $\alpha_{u_k, j}(p)$ no están garantizados de encontrarse en el círculo unidad, lo que potencialmente conduce a autovalores "excepcionales" que crecen exponencialmente. El artículo tiene como objetivo extender los resultados $\Omega$ de Lamzouri a las formas de Maass y generalizar aún más estos resultados a los coeficientes de las funciones $L$ de potencias simétricas, $L(s, \text{sym}^m u_k)$, sin asumir la GRC.

Metodología
Los autores emplean un método de criba probabilístico adaptado del trabajo de Lamzouri, refinado para manejar la posible falla de la GRC. La metodología central involucra los siguientes pasos:

1. Polinomios Trigonométricos y Expansiones de Chebyshev:
   Los autores utilizan un polinomio trigonométrico específico $f(\theta)$ construido a partir de polinomios de Chebyshev de primera clase ($T_L$) y segunda clase ($X_\ell$). Definen una función no negativa $g(\theta)$ que actúa como un peso de criba. Esta función se expande como $g(\theta) = \sum a_\ell X_\ell(\theta)$, donde los coeficientes $a_\ell$ están acotados. Esta expansión permite la traslación de las condiciones sobre los autovalores en condiciones sobre los ángulos $\theta_k(p)$ asociados con los parámetros de Satake.

2. Manejo de Autovalores Excepcionales:
   Una innovación crítica es la construcción de una función de criba $G(u_k)$ que da cuenta de los primos donde la GRC podría fallar. Los autores definen un umbral $\delta_p$ y un parámetro $L_p$ dependiente de $\log T$.

   • La función $G(u_k)$ se construye como un producto de $g_p(\theta_k(p))$ menos un término de corrección que involucra $\lambda_k(qH)^2/H^2$.
   • A través de un análisis de casos (Casos 1, 2 y 3), los autores demuestran que si $\theta_k(p)$ cae fuera del "buen" rango $[0, 2\pi\delta_p)$, el término $G(u_k)$ se vuelve no positivo. Esto filtra eficazmente las formas con autovalores excepcionales grandes.

3. Fórmula de Traza de Kuznetsov:
   Para estimar el valor promedio de $G(u_k)$ sobre la familia de formas de Maass $H_T = \{u_k : t_k \leq T\}$, los autores aplican la fórmula de traza de Kuznetsov truncada (Lema 2.1). Esto permite relacionar la suma de los autovalores ponderados con el término principal (el producto de los coeficientes $a_{0, p_j}$) y los términos de error que involucran la brecha espectral.

4. Coeficientes de Potencias Simétricas:
   Para las funciones $L$ de potencias simétricas, los autores expresan los coeficientes $\lambda_{\text{sym}^m u_k}(p^a)$ como polinomios simétricos en los parámetros de Satake. Muestran que para ángulos pequeños $\theta_k(p)$ (dentro del "buen" rango de la criba), estos coeficientes permanecen positivos, asegurando así que el primer cambio de signo ocurra solo después del rango de la criba.

Contribuciones Clave y Resultados
El artículo establece un resultado $\Omega$ para el primer cambio de signo de los coeficientes para las formas cusp de Hecke-Maass y sus potencias simétricas.

• Teorema 1.1: Para $T$ suficientemente grande, existen al menos
  $$\gg |H_T| \exp\left( - \frac{(\log T) \log \log \log T}{m (\log \log T)^2} \right\}$$
  formas de Hecke-Maass $u_k \in H_T$ tales que el menor entero positivo $n$ que satisface $\lambda_{\text{sym}^m u_k}(n) < 0$ cumple:
  $$n_{\text{sym}^m u_k} \gg \frac{\log T}{m \log \log T}.$$

• Extensión del Trabajo de Lamzouri: Este resultado generaliza el límite inferior $\Omega$ de Lamzouri [6] para formas holomorfas al caso de Maass. Crucialmente, logra esto sin asumir la Conjetura de Ramanujan Generalizada. La metodología logra aislar las formas con "malos" parámetros de Satake (aquellos que violan la GRC) y muestra que una proporción significativa de las formas aún exhibe el comportamiento esperado respecto al primer cambio de signo.

• Potencias Simétricas: El artículo demuestra que límites inferiores similares se mantienen para los coeficientes de las funciones $L$ de potencias simétricas, extendiendo el alcance más allá de los autovalores de Hecke estándar ($m=1$).

Significancia y Reivindicaciones
Los autores posicionan este trabajo como una extensión necesaria de resultados recientes en el campo de la teoría analítica de números. La significancia reside en:

1. Eliminación de Supuestos de la GRC: Al probar el resultado sin asumir la GRC, el artículo proporciona una comprensión más robusta de la distribución de los cambios de signo para las formas de Maass, las cuales son menos comprendidas que sus contrapartes holomorfas.
2. Refinamiento Técnico: El artículo afirma refinar la criba utilizada en [6] para abordar específicamente las dificultades técnicas derivadas de la posible falla de la GRC en el entorno de Maass.
3. Generalización: Demuestra que el comportamiento "$\Omega$" (grandes límites inferiores para el primer cambio de signo) es una característica persistente a través de las funciones $L$ de potencias simétricas, no solo de la función $L$ base.

El artículo no propone nuevas aplicaciones o direcciones experimentales futuras, sino que se enfoca estrictamente en establecer el límite inferior teórico para el primer cambio de signo en estas familias específicas de funciones $L$.