A lower bound for classical Kloosterman sums and an application

Resumo Técnico: Um Limite Inferior para Somas de Kloosterman Clássicas e uma Aplicação

Enunciado do Problema
O artigo aborda dois problemas interconectados na teoria analítica dos números. Primeiro, busca estabelecer um limite inferior não trivial para a soma de Kloosterman clássica $S(a, b; c)$, definida como $\sum_{x \pmod c, (x,c)=1} e^{2\pi i (ax + bx^{-1})/c}$, sob as condições de que $(ab, c) = 1$e$c$ é um inteiro ímpar. Embora o não-anulamento dessas somas tenha sido utilizado na literatura recente para estudar distribuições de autovalores, nenhum limite inferior explícito para $|S(a, b; c)|$ havia sido estabelecido anteriormente na literatura. Segundo, os autores visam aplicar este novo limite para derivar um limite inferior explícito para o termo de discrepância na fórmula do traço de Petersson, especificamente para o espaço de formas de cusp de peso $k$ e nível $N$, onde o peso $k$ e o nível $N$ podem variar independentemente.

Metodologia
A metodologia procede em duas etapas primárias:

1. Derivação do Limite Inferior para Somas de Kloostermans:
   Os autores decompõem o módulo $c$ em $c = du$, onde $u$ é livre de quadrados (squarefree) e $d$ é um número poderoso (powerful number) (com $(d, u)=1$). Eles tratam os componentes separadamente:

   • Caso Livre de Quadrados: Para a parte livre de quadrados $u$, eles utilizam as propriedades algébricas das somas de Kloosterman dentro de corpos ciclotômicos. Ao considerar a norma da soma sobre o grupo de Galois e aplicar o limite de Weil, eles derivam um limite inferior envolvendo o número de divisores $\tau(u)$ e a função totiente de Euler $\phi(u)$.
   • Caso de Potência de Primo Ímpar: Para a parte poderosa $d$ (composta por potências de primos $p^\beta$), eles empregam fórmulas de avaliação explícita para $S(a, b; p^\beta)$ encontradas em textos padrão (ex: Iwaniec e Kowalski). Ao analisar a parte real da expressão resultante e utilizar desigualdades trigonométricas, eles estabelecem um limite inferior de ordem $2/\sqrt{q}$ para potências de primos, desde que $ab$ seja um resíduo quadrático módulo o primo.
   • Caso Geral: Utilizando a multiplicatividade das somas de Kloosterman, eles combinam os limites para os componentes livres de quadrados e poderosos para obter um limite inferior global para $|S(a, b; c)|$.

2. Aplicação à Fórmula do Traço de Petersson:
   Os autores aplicam o limite inferior derivado ao termo de erro na fórmula do traço de Petersson, denotado por $\Delta_{k,N}(m, n) - \delta(m, n)$. A fórmula expressa essa diferença como uma soma envolvendo somas de Kloosterman e funções Bessel de primeira espécie, $J_{k-1}$.

   • Eles dividem a soma sobre o nível $c$ no termo onde $c=N$ e na cauda onde $c > N$.
   • A cauda é limitada superiormente usando testes integrais e estimativas de decaimento exponencial para a função Bessel.
   • O termo principal ($c=N$) é limitado inferiormente usando o novo limite inferior para a soma de Kloosterman e estimativas explícitas para a função Bessel $J_{k-1}$ na faixa de transição (especificamente quando o argumento está próximo da ordem da função).
   • Os autores utilizam lemas específicos relativos ao comportamento de $J_\nu(\nu)$ e $J_\nu(\nu + t\nu^{1/3})$ derivados do trabalho de Kraus para lidar com o comportamento assintótico das funções Bessel.

Principais Contribuições e Resultados

• Teorema 1: O artigo estabelece o primeiro limite inferior explícito para $|S(a, b; c)|$ onde $c$ é ímpar e $(ab, c)=1$. O limite depende da decomposição de $c$ em partes livres de quadrados e poderosas, especificamente envolvendo $\omega(d)$, $\tau(u)$ e $\phi(u)$. O resultado também esclarece que a soma se anula se $ab$ for um não-resíduo quadrático módulo qualquer primo que divide a parte poderosa de $c$.
• Teorema 2: Os autores derivam um limite inferior explícito para $|\Delta_{k,N}(m, n) - \delta(m, n)|$ para peso par $k$ e nível ímpar $N$. Diferente de resultados assintóticos anteriores (ex: [JS20, Teorema 1.7]) que fixam o nível $N$ e deixam $k \to \infty$, este teorema permite que $k$ e $N$ variem independentemente, desde que satisfaçam desigualdades específicas envolvendo uma constante $D_0 \in (e^{H_0}, 1)$. O limite inferior é da ordem $J_{k-1}(k-1)e^{H_0(k-1)}$.
• Teorema 3: Para um intervalo mais curto do argumento $4\pi\sqrt{mn}/N$ (especificamente $[(k-1), (k-1) + (k-1)^{1/3}]$), os autores recuperam um limite inferior de ordem $(k-1)^{-1/3}$, que é mais forte que o decaimento exponencial encontrado na faixa mais ampla do Teorema 2.
• Corolários: O artigo fornece corolários específicos (Corolário 1 e Corolário 3) que quantificam esses limites para intervalos específicos de parâmetros, oferecendo constantes explícitas para os limites inferiores do traço ponderado de operadores de Hecke.

Significância e Alegações
Os autores alegam que seu trabalho preenche uma lacuna na literatura ao fornecer o primeiro limite inferior explícito para somas de Kloosterman clássicas. Este resultado é significativo porque permite uma análise mais precisa do não-anulamento dos termos da fórmula do traço de Petersson.

A principal aplicação destacada é uma "versão modificada" de [JS20, Teorema 1.7]. A modificação permite que o peso $k$ e o nível $N$ variem independentemente, enquanto resultados anteriores exigiam que $N$ fosse fixo. Os autores observam que, embora seu intervalo para a variável $4\pi\sqrt{mn}/N$ seja maior (de tamanho proporcional a $k$) comparado ao intervalo $k^{1/3}$ de [JS20], isso ocorre ao custo de um limite inferior mais fraco (decaimento exponencial vs. decaimento polinomial). No entanto, para um intervalo mais curto, eles conseguem recuperar o limite inferior de ordem polinomial.

O artigo conclui fornecendo uma tabela de valores para as constantes derivadas $H(N)$, $k_0(N)$ e $k_1(N)$ para níveis $N$ específicos, demonstrando a aplicabilidade prática de seus limites explícitos para pesos e níveis variáveis. O trabalho é apresentado como um passo fundamental para obter resultados de discrepância para a distribuição de autovalores de operadores de Hecke, construindo sobre o aspecto de não-anulamento das somas de Kloosterman.