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

Resumo Técnico: Um Resultado Ômega para a Primeira Mudança de Sinal dos Coeficientes de Funções L de Potências Simétricas de Formas de Cúspide de Hecke-Maass

Enunciado do Problema
O artigo aborda o problema de determinar a magnitude da primeira mudança de sinal, denotada por $n_f$ (ou $n_{\text{sym}^m u_k}$ neste contexto), para os coeficientes de funções $L$ associadas a formas automórficas. Especificamente, investiga-se o menor inteiro positivo $n$ tal que o coeficiente $\lambda(n)$ torna-se negativo.

Embora o comportamento da primeira mudança de sinal para formas de cúspide de Hecke holomorfas tenha sido extensivamente estudado (notadamente por Lamzouri [6]), o problema análogo para formas de Hecke-Maass apresenta desafios técnicos significativos. A principal dificuldade reside na ausência da Conjectura de Ramanujan Generalizada (GRC) para formas de Maass. Sem a GRC, os parâmetros de Satake $\alpha_{u_k, j}(p)$ não estão garantidos a residir no círculo unitário, o que pode levar a autovalores "excepcionais" que crescem exponencialmente. O artigo visa estender os resultados ômega de Lamzouri para formas de Maass e, além disso, generalizar esses resultados para os coeficientes das funções $L$ de potências simétricas, $L(s, \text{sym}^m u_k)$, sem assumir a GRC.

Metodologia
Os autores empregam um método de crivo probabilístico adaptado do trabalho de Lamzouri, refinado para lidar com a potencial falha da GRC. A metodologia central envolve as seguintes etapas:

1. Polinômios Trigonométricos e Expansões de Chebyshev:
   Os autores utilizam um polinômio trigonométrico específico $f(\theta)$ construído a partir de polinômios de Chebyshev de primeira espécie ($T_L$) e segunda espécie ($X_\ell$). Eles definem uma função não negativa $g(\theta)$ que atua como um peso de crivo. Esta função é expandida como $g(\theta) = \sum a_\ell X_\ell(\theta)$, onde os coeficientes $a_\ell$ são limitados. Esta expansão permite a tradução de condições sobre autovalores em condições sobre os ângulos $\theta_k(p)$ associados aos parâmetros de Satake.

2. Lidando com Autovalores Excepcionais:
   Uma inovação crítica é a construção de uma função de crivo $G(u_k)$ que contabiliza os primos onde a GRC pode falhar. Os autores definem um conjunto de primos "excepcionais" onde o ângulo $\theta_k(p)$ é puramente imaginário (indicando que $|\alpha_{u_k, j}(p)| \neq 1$).

   • Eles definem um limiar $\delta_p$ e um parâmetro $L_p$ dependente de $\log T$.
   • A função $G(u_k)$ é construída como um produto de $g_p(\theta_k(p))$ menos um termo de correção envolvendo $\lambda_k(qH)^2/H^2$.
   • Através de uma análise de casos (Casos 1, 2 e 3), os autores demonstram que, se $\theta_k(p)$ cair fora do intervalo "bom" $[0, 2\pi\delta_p)$, o termo $G(u_k)$ torna-se não positivo. Isso efetivamente filtra formas com autovalores excepcionais grandes.

3. Fórmula de Traço de Kuznetsov:
   Para estimar o valor médio de $G(u_k)$ sobre a família de formas de Maass $H_T = \{u_k : t_k \leq T\}$, os autores aplicam a fórmula de traço de Kuznetsov truncada (Lema 2.1). Isso permite relacionar a soma de autovalores ponderados ao termo principal (o produto dos coeficientes $a_{0, p_j}$) e termos de erro envolvendo o gap espectral.

4. Coeficientes de Potência Simétrica:
   Para as funções $L$ de potência simétrica, os autores expressam os coeficientes $\lambda_{\text{sym}^m u_k}(p^a)$ como polinômios simétricos nos parâmetros de Satake. Eles mostram que, para ângulos pequenos $\theta_k(p)$ (dentro do intervalo "bom" do crivo), estes coeficientes permanecem positivos, garantindo assim que a primeira mudança de sinal ocorra apenas após o intervalo do crivo.

Principais Contribuições e Resultados
O artigo estabelece um resultado ômega para a primeira mudança de sinal dos coeficientes de formas de cúspide de Hecke-Maass e suas potências simétricas.

• Teorema 1.1: Para $T$ suficientemente grande, existem pelo 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$ tais que o menor inteiro positivo $n$ satisfazendo $\lambda_{\text{sym}^m u_k}(n) < 0$ é:
  $$n_{\text{sym}^m u_k} \gg \frac{\log T}{m \log \log T}.$$

• Extensão do Trabalho de Lamzouri: Este resultado generaliza o limite inferior de Lamzouri [6] para formas holomorfas para o caso de Maass. Crucialmente, alcança isso sem assumir a Conjectura de Ramanujan Generalizada. A metodologia isola com sucesso formas com parâmetros de Satake "ruins" (aqueles que violam a GRC) e mostra que uma proporção significativa de formas ainda exibe o comportamento esperado em relação à primeira mudança de sinal.

• Potências Simétricas: O artigo prova que limites inferiores semelhantes valem para os coeficientes das funções $L$ de potência simétrica, estendendo o escopo além dos autovalores de Hecke padrão ($m=1$).

Significância e Alegações
Os autores posicionam este trabalho como uma extensão necessária de resultados recentes no campo da teoria analítica dos números. A significância reside em:

1. Remoção das Suposições da GRC: Ao provar o resultado sem assumir a GC, o artigo fornece uma compreensão mais robusta da distribuição de mudanças de sinal para formas de Maass, que são menos compreendidas que suas contrapartes holomorfas.
2. Refinamento Técnico: O artigo afirma refinar o crivo usado em [6] para abordar especificamente as dificuldades técnicas decorrentes da potencial falha da GRC no cenário de Maass.
3. Generalização: Demonstra que o comportamento "ômega" (grandes limites inferiores para a primeira mudança de sinal) é uma característica persistente através das funções $L$ de potência simétrica, não apenas da função $L$ base.

O artigo não propõe novas aplicações ou direções experimentais futuras, mas foca estritamente em estabelecer o limite inferior teórico para a primeira mudança de sinal nestas famílias específicas de funções $L$.