Trilinear Kloosterman fractions I: partially fixed moduli and unbalanced convolutions

1. Formulação do Problema

O artigo aborda um problema central na teoria dos números analítica concernente à distribuição de funções aritméticas em progressões aritméticas, focando especificamente em convoluções desbalanceadas.

Dadas duas sequências de números complexos, $\alpha_m$ (suportadas em $m \sim M$) e $\beta_n$ (suportadas em $n \sim N$), o objetivo é estimar o termo de erro na distribuição do seu produto $mn$ módulo $q$. Especificamente, o autor investiga a quantidade:
$$\Delta(\alpha, \beta, M, N, Q, a) = \sum_{q \sim Q} \left| \sum_{\substack{mn \equiv a \pmod q \\ m \sim M, n \sim N}} \alpha_m \beta_n - \frac{1}{\phi(q)} \sum_{\substack{mn \equiv a \pmod q \\ (mn,q)=1}} \alpha_m \beta_n \right|$$
O objetivo é estabelecer limites da forma $\ll X (\log X)^{-A}$ para módulos $Q$ até $X^{1/2 + \delta}$, onde $X \approx MN$.

O Desafio:
Enquanto o teorema generalizado de Bombieri-Vinogradov lida com casos onde $\delta < 0$, provar resultados para $\delta > 0$ (isto é, estender a faixa de módulos além da raiz quadrada do condutor) é significativamente mais difícil. Trabalhos anteriores de Fouvry e Radziwiłł (2018) estabeleceram tais limites para pequenos $\delta > 0$, mas apenas sob condições restritivas onde $N$ (o comprimento da sequência mais curta) era muito pequeno em relação a $X$ (especificamente $N \le X^{1/72}$). O artigo visa relaxar essas restrições sobre $N$ e $Q$.

2. Metodologia

A inovação central do artigo reside no refinamento da estimação de formas trilineares envolvendo frações de Kloosterman.

2.1. O Framework de Bettin-Chandee

A metodologia baseia-se em um famoso resultado de Bettin e Chandee (2011) sobre formas trilineares com frações de Kloosterman. A forma padrão analisada é:
$$B(M, N, A) = \sum_{a \sim A, m \sim M, n \sim N} \alpha_m \beta_n \nu_a e\left( \frac{\vartheta am}{n} \right)$$
Fouvry e Radziwiłł aplicaram este teorema ao seu problema tratando efetivamente um fator fixo no denominador como parte da variável $n$, o que resultou em uma perda de eficiência (substituindo $N$ por $NQ$ nos limites).

2.2. A Melhoria de "Módulos Parcialmente Fixos"

Wright introduz uma variação novel onde o denominador contém um fator fixo $R$. Ele define uma forma trilinear modificada:
$$B(M, N, A; R) = \sum_{a \in A, m \in M, n \in N} \alpha_m \beta_n \nu_a e\left( \frac{\vartheta am}{nR} \right)$$
onde $R$ é um parâmetro tal que $R \ll M A$.

Passos Técnicos Chave:

1. Divisores Complementares: Wright adapta o mecanismo de "divisor complementar" usado por Bettin e Chandee. Em vez de introduzir uma variável auxiliar $b$ para lidar com o denominador, ele utiliza o fator fixo existente $R$ no denominador.
2. Limites Refinados: Ao analisar a soma com o fator fixo $R$ explicitamente, ele deriva um novo limite para $B(M, N, A; R)$ que é superior à simples substituição $N \to NR$ no teorema original de Bettin-Chandee.
3. Método de Dispersão: O limite aprimorado na forma trilinear é então alimentado no método de dispersão (especificamente a técnica de dispersão de Linnik usada por Fouvry e Radziwiłł) para limitar o termo de erro $\Delta$. Isso envolve decompor o erro em termos principais e termos de erro, onde o novo limite trilinear melhora especificamente a estimação do termo de erro $\tilde{W}_{Err1}$.

3. Contribuições Principais

O artigo faz duas contribuições técnicas primárias:

1. Teorema 2.1 (Limite Trilinear Aprimorado):
   Wright prova um novo limite para formas trilineares com um fator fixo $R$ no denominador.
   $$B(M, N, A; R) \ll M^\epsilon \|\alpha\| \|\nu\| \|\beta\| (AMN)^{1/2} R^{1/4} \left( 1 + \frac{|\vartheta|A}{MN} \right)^{1/4} \times (\text{termos polinomiais em } M, N, A, R)$$
   Crucialmente, quando $R$ é grande, este limite é significativamente mais apertado do que a aplicação ingênua do teorema original de Bettin-Chandee.

2. Teorema 2.3 (Limite de Dispersão Aprimorado):
   Ao aplicar o Teorema 2.1 ao método de dispersão, Wright deriva um limite mais agudo para a dispersão $\Delta$.

   • Resultado Anterior (Fouvry-Radziwiłł): O termo de erro continha componentes como $Q^{15/8} N^{23/8}$.
   • Novo Resultado: O termo de erro é reduzido para $Q^{15/8} N^{11/4}$.
   • Economia: Isso representa uma economia de um fator de $N^{1/8}$ no primeiro termo e $N^{2/5}$ no segundo termo da estimativa de erro.

4. Resultados Principais

Os limites de erro aprimorados permitem faixas de validade significativamente mais amplas para as estimativas de convolução desbalanceada (Corolário 2.2).

O Corolário 2.2 estabelece que o limite desejado $\ll X (\log X)^{-A}$ vale sob as seguintes condições (onde $MN \approx X$):

• Caso (i) - Faixa Aprimorada para $N$:
  Se $Q \le X^{1/2 + 1/66 - \delta}$, a faixa admissível para $N$ é aprimorada de $N \le X^{1/72}$ (anterior) para:
  $$N \le Q^{-33/28} X^{17/28 - \epsilon}$$
  Especificamente, se $Q = X^{1/2 + \epsilon}$, isso permite $N \le X^{1/56 - \epsilon'}$, uma melhoria substancial sobre $X^{1/72}$.

• Caso (ii) & (iii) - Faixa Aprimorada para $Q$:
  Para $N$ fixo na faixa $X^{1/89} \le N \le X^{7/90}$, o módulo admissível $Q$ é aprimorado de $X^{53/105}$ para:
  $$Q \le X^{45/89 - \epsilon}$$
  (Nota: $45/89 \approx 0,5056$, enquanto $53/105 \approx 0,5047$).

Além disso, o Corolário 2.4 estende essas melhorias à distribuição de somas de divisores (relacionadas à função divisora), aprimorando a faixa de módulos $Q$ para a qual o teorema de Bombieri-Vinogradov vale neste contexto.

5. Significado

• Quebra de Barreiras: O artigo empurra as fronteiras do caso "desbalanceado" no teorema de Bombieri-Vinogradov. Na teoria dos números analítica, a capacidade de lidar com módulos maiores $Q$ (mais próximos de $X^{1/2}$) ou sequências mais longas $N$ é crítica para problemas envolvendo primos, como a conjectura de Elliott-Halberstam.
• Refinamento Metodológico: O trabalho demonstra que o "fator fixo" no denominador de somas de Kloosterman, frequentemente tratado como um incômodo ou absorvido em variáveis, pode ser explorado estruturalmente para obter economias. Isso sugere uma nova via para o refinamento de estimativas de somas exponenciais.
• Fundação para Trabalhos Futuros: Como a primeira parte de uma série ("Parte I"), este artigo estabelece as bases para futuras melhorias. As técnicas desenvolvidas aqui são provavelmente aplicáveis a problemas de convolução mais complexos ou para empurrar o expoente $\delta$ mais próximo dos limites conjecturados.

Em resumo, Thomas Wright refina com sucesso a análise de frações de Kloosterman trilineares explorando módulos parcialmente fixos, resultando em limites de erro mais apertados que expandem a faixa conhecida de validade para estimativas de convolução desbalanceada na teoria dos números analítica.